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

//! 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.
//!
//! For example:
//!
//! ```
//! use ark_ff::BigInteger256;
//! use core::ops::Add;
//! use kimchi_stubs::arkworks::CamlBigInteger256;
//! use num_bigint::BigUint;
//!
//! #[ocaml::func]
//! pub fn caml_add(x: CamlBigInteger256, y: CamlBigInteger256) -> CamlBigInteger256 {
//!    let x: BigUint = x.into();
//!    let y: BigUint = y.into();
//!    let z: BigInteger256 = (x + y).try_into().expect("Something happened while adding");
//!    z.into()
//! }
//! ```
//!

pub mod bigint_256;
pub mod group_affine;
pub mod group_projective;
pub mod pasta_fp;
pub mod pasta_fq;

// re-export what's important

pub use bigint_256::CamlBigInteger256;
pub use group_affine::{CamlGPallas, CamlGVesta, CamlGroupAffine};
pub use group_projective::{CamlGroupProjectivePallas, CamlGroupProjectiveVesta};
pub use pasta_fp::CamlFp;
pub use pasta_fq::CamlFq;