List of all items

Structs

• blob::FieldBlob
• cli::ComputeCommitmentArgs
• cli::DecodeFileArgs
• cli::EncodeFileArgs
• cli::HexString
• cli::StorageProofArgs
• cli::VerifyStorageProofArgs
• diff::Diff
• folding::CoreInstance
• folding::CoreWitness
• folding::ReadProof
• folding::RelaxedInstance
• folding::RelaxedWitness
• read_proof::ReadProof
• storage_proof::StorageProof
• utils::QueryBytes
• utils::QueryField

Enums

• cli::Commands
• diff::DiffError
• utils::QueryError

Functions

• commitment::combine_commitments
• commitment::commit_to_field_elems
• env::get_srs_from_cache
• env::init_console_subscriber
• folding::folding_prover
• folding::folding_verifier
• folding::prove_relaxed
• folding::testing::generate_random_inst_wit_core
• folding::testing::generate_random_inst_wit_relaxed
• folding::verify_relaxed
• read_proof::prove
• read_proof::verify
• storage_proof::prove
• storage_proof::verify
• storage_proof::verify_wrt_combined_data_commitment
• utils::aggregate_commitments
• utils::chunk_size_in_bytes
• utils::decode_into
• utils::decode_into_vec
• utils::encode
• utils::encode_as_field_elements
• utils::encode_for_domain
• utils::min_encoding_chunks

Type Aliases

• BaseField
• Curve
• CurveFqSponge
• CurveFrSponge
• CurveParameters
• ProjectiveCurve
• ScalarField

Constants

• SRS_SIZE