taceo-circom-types 0.2.4

This crate provides a Rust representation of the types in the `Circom` ecosystem and ways to de/serialize them in a way that is compatible to the existing implementation in snarkjs.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

//! This module defines types related to Groth16 used in Circom and utilities to read these types from files.
#[cfg(feature = "proof")]
mod proof;
#[cfg(feature = "public-input")]
mod public_input;
#[cfg(feature = "verification-key")]
mod verification_key;
#[cfg(feature = "zkey")]
mod zkey;
#[cfg(feature = "zkey")]
mod zkey_to_ark;

#[cfg(feature = "proof")]
pub use proof::Proof;
#[cfg(feature = "public-input")]
pub use public_input::PublicInput;
#[cfg(feature = "verification-key")]
pub use verification_key::VerificationKey;
#[cfg(feature = "zkey")]
pub use zkey::Zkey;
#[cfg(feature = "zkey")]
pub use zkey_to_ark::{ArkZkey, ConstraintMatricesWrapper};