|
barretenberg
|
Public Member Functions | |
| verification_key (verification_key_data &&data, std::shared_ptr< barretenberg::srs::factories::VerifierCrs< curve::BN254 > > const &crs) | |
| verification_key (size_t num_gates, size_t num_inputs, std::shared_ptr< barretenberg::srs::factories::VerifierCrs< curve::BN254 > > const &crs, CircuitType circuit_type) | |
| verification_key (const verification_key &other) | |
| verification_key (verification_key &&other) noexcept | |
| verification_key & | operator= (verification_key &&other) noexcept |
| verification_key & | operator= (const verification_key &other)=delete |
| sha256::hash | sha256_hash () |
| verification_key_data | as_data () const |
| void | msgpack_pack (auto &packer) const |
| void | msgpack_unpack (auto obj) |
| void | msgpack_schema (auto &packer) const |
Public Attributes | |
| CircuitType | circuit_type |
| size_t | circuit_size |
| size_t | log_circuit_size |
| size_t | num_public_inputs |
| barretenberg::evaluation_domain | domain |
| std::shared_ptr< barretenberg::srs::factories::VerifierCrs< curve::BN254 > > | reference_string |
| std::map< std::string, barretenberg::g1::affine_element > | commitments |
| PolynomialManifest | polynomial_manifest |
| barretenberg::fr | z_pow_n |
| bool | contains_recursive_proof = false |
| std::vector< uint32_t > | recursive_proof_public_input_indices |
| size_t | program_width = 3 |