Module kimchi_stubs::arkworks
source · Expand description
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.
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()
}Re-exports
pub use bigint_256::CamlBigInteger256;pub use group_affine::CamlGPallas;pub use group_affine::CamlGVesta;pub use group_affine::CamlGroupAffine;pub use group_projective::CamlGroupProjectivePallas;pub use group_projective::CamlGroupProjectiveVesta;pub use pasta_fp::CamlFp;pub use pasta_fq::CamlFq;