List of all items

Structs

• BigInt
• CircomProver
• prover::CircomProof
• prover::PublicInputs
• prover::ark_circom::CircomCircuit
• prover::ark_circom::CircomReduction
• prover::ark_circom::R1CSFile
• prover::ark_circom::ZkeyHeaderReader
• prover::circom::G1
• prover::circom::G2
• prover::circom::Inputs
• prover::circom::Proof

Enums

• prover::ProofLib
• witness::WitnessFn

Traits

• prover::ark_circom::FieldSerialization

Macros

• paste::paste
• witness

Functions

• fnv
• from_array32
• prover::ark_circom::read_proving_key
• prover::ark_circom::read_zkey
• prover::arkworks::generate_circom_proof
• prover::arkworks::verify_circom_proof
• prover::prove
• prover::verify
• to_array32
• transpile::transpile_wasm
• witness::generate_witness
• witness::json_to_hashmap

Type Aliases

• prover::ark_circom::ConstraintVec
• prover::ark_circom::Constraints

Constants

• prover::circom::CURVE_BLS12_381
• prover::circom::CURVE_BN254
• prover::circom::PROTOCOL_GROTH16