1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72

//! The Marlin_plonk_stubs crate exports some functionalities
//! and structures from the following the Rust crates to OCaml:
//!
//! * [Proof-systems](https://github.com/o1-labs/proof-systems),
//!   a PLONK implementation.
//! * [Arkworks](http://arkworks.rs/),
//!   a math library that Proof-systems builds on top of.
//!

extern crate libc;

/// Caml helpers
#[macro_use]
pub mod caml;

/// Arkworks types
pub mod arkworks;

/// Utils
pub mod urs_utils; // TODO: move this logic to proof-systems

/// Vectors
pub mod field_vector;
pub mod gate_vector;

/// Curves
pub mod projective;

/// SRS
pub mod srs;

pub mod lagrange_basis;
pub use lagrange_basis::WithLagrangeBasis;

/// Indexes
pub mod pasta_fp_plonk_index;
pub mod pasta_fq_plonk_index;

/// Verifier indexes/keys
pub mod plonk_verifier_index;

pub mod pasta_fp_plonk_verifier_index;
pub mod pasta_fq_plonk_verifier_index;

/// Oracles
pub mod oracles;

/// Proofs
pub mod pasta_fp_plonk_proof;
pub mod pasta_fq_plonk_proof;

/// Poseidon
pub mod pasta_fp_poseidon;
pub mod pasta_fq_poseidon;

/// Linearization helpers
pub mod linearization;

/// Handy re-exports
pub use {
    kimchi::circuits::{
        gate::{caml::CamlCircuitGate, CurrOrNext, GateType},
        scalars::caml::CamlRandomOracles,
        wires::caml::CamlWire,
    },
    kimchi::proof::caml::CamlProofEvaluations,
    kimchi::prover::caml::{
        CamlLookupCommitments, CamlProofWithPublic, CamlProverCommitments, CamlProverProof,
    },
    mina_poseidon::sponge::caml::CamlScalarChallenge,
    poly_commitment::{commitment::caml::CamlPolyComm, ipa::caml::CamlOpeningProof},
};