Crate kimchi_stubs

The Marlin_plonk_stubs crate exports some functionalities and structures from the following the Rust crates to OCaml:

• Proof-systems, a PLONK implementation.
• Arkworks, a math library that Proof-systems builds on top of.

Re-exports

pub use lagrange_basis::WithLagrangeBasis;

Modules

arkworks

Arkworks types This module contains wrapper types to Arkworks types. To use Arkwork types in OCaml, you have to convert to these types, and convert back from them to use them in Rust.

caml

Caml helpers

field_vector

Vectors We implement a custom type for field vectors in order to quickly build field vectors from the OCaml side and avoid large vector clones.

gate_vector

A GateVector: this is used to represent a list of gates.

lagrange_basis

linearization

Linearization helpers

oracles

Oracles

pasta_fp_plonk_index

Indexes

pasta_fp_plonk_proof

Proofs

pasta_fp_plonk_verifier_index

pasta_fp_poseidon

Poseidon

pasta_fq_plonk_index

pasta_fq_plonk_proof

pasta_fq_plonk_verifier_index

pasta_fq_poseidon

plonk_verifier_index

Verifier indexes/keys

projective

Curves

srs

SRS

urs_utils

Utils

Structs

CamlCircuitGate

Handy re-exports

CamlLookupCommitments

Handy re-exports

CamlOpeningProof

Handy re-exports

CamlPolyComm

Handy re-exports

CamlProofEvaluations

Handy re-exports

CamlProofWithPublic

Handy re-exports

CamlProverCommitments

Handy re-exports

CamlProverProof

Handy re-exports

CamlRandomOracles

Handy re-exports

CamlScalarChallenge

Handy re-exports

CamlWire

Handy re-exports

Enums

CurrOrNext

Handy re-exports A row accessible from a given row, corresponds to the fact that we open all polynomials at zeta and omega * zeta.

GateType

Handy re-exports The different types of gates the system supports. Note that all the gates are mutually exclusive: they cannot be used at the same time on single row. If we were ever to support this feature, we would have to make sure not to re-use powers of alpha across constraints.