taceo-circom-types 0.2.5

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

//! This module defines types related to Plonk used in Circom and utilities to read these types from files.

#[cfg(feature = "proof")]
mod proof;
#[cfg(feature = "verification-key")]
mod verification_key;
#[cfg(feature = "zkey")]
mod zkey;

#[cfg(feature = "proof")]
pub use proof::PlonkProof;
#[cfg(feature = "verification-key")]
pub use verification_key::VerificationKey;
#[cfg(feature = "zkey")]
pub use zkey::{Additions, CircomPolynomial, VerifyingKey, Zkey};