|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
#include <proof_structures.hpp>
Public Types | |
| using | Base = MegaStructuredProofBase< Flavor > |
| using | Commitment = typename Flavor::Commitment |
| using | FF = typename Flavor::FF |
| using | ProofData = typename Transcript::Proof |
Public Types inherited from bb::MegaStructuredProofBase< Flavor > | |
| using | Base = StructuredProofHelper< Flavor > |
| using | Commitment = typename Flavor::Commitment |
| using | FF = typename Flavor::FF |
| using | ProofData = typename Transcript::Proof |
Public Types inherited from bb::StructuredProofHelper< Flavor > | |
| using | FF = typename Flavor::FF |
| using | Commitment = typename Flavor::Commitment |
| using | Transcript = typename Flavor::Transcript |
| using | Codec = typename Transcript::Codec |
| using | ProofData = typename Transcript::Proof |
Public Member Functions | |
| void | deserialize (ProofData &proof_data, size_t num_public_inputs, size_t log_n) |
| void | serialize (ProofData &proof_data, size_t log_n) const |
Public Member Functions inherited from bb::MegaStructuredProofBase< Flavor > | |
| void | deserialize (ProofData &proof_data, size_t num_public_inputs, size_t log_n) |
| void | serialize (ProofData &proof_data, size_t log_n) const |
Additional Inherited Members | |
Static Public Attributes inherited from bb::MegaStructuredProofBase< Flavor > | |
| static constexpr size_t | BATCHED_RELATION_PARTIAL_LENGTH |
| static constexpr size_t | NUM_ALL_ENTITIES |
Static Public Attributes inherited from bb::StructuredProofHelper< Flavor > | |
| static constexpr size_t | BATCHED_RELATION_PARTIAL_LENGTH = Flavor::BATCHED_RELATION_PARTIAL_LENGTH |
| static constexpr size_t | NUM_ALL_ENTITIES = Flavor::NUM_ALL_ENTITIES |
Protected Member Functions inherited from bb::MegaStructuredProofBase< Flavor > | |
| void | clear_vectors () |
| void | deserialize_mega_witness_comms (const ProofData &proof_data, size_t &offset) |
| void | serialize_mega_witness_comms (ProofData &proof_data) const |
| void | deserialize_sumcheck (const ProofData &proof_data, size_t &offset, size_t log_n) |
| void | serialize_sumcheck (ProofData &proof_data, size_t log_n) const |
| void | deserialize_pcs (const ProofData &proof_data, size_t &offset, size_t log_n) |
| void | serialize_pcs (ProofData &proof_data, size_t log_n) const |
Static Protected Member Functions inherited from bb::StructuredProofHelper< Flavor > | |
| template<typename T > | |
| static T | deserialize_from_buffer (const ProofData &proof_data, size_t &offset) |
| template<typename T > | |
| static void | serialize_to_buffer (const T &element, ProofData &proof_data) |
Definition at line 490 of file proof_structures.hpp.
| using bb::MegaZKStructuredProofBase< Flavor >::Base = MegaStructuredProofBase<Flavor> |
Definition at line 491 of file proof_structures.hpp.
| using bb::StructuredProofHelper< Flavor >::Commitment = typename Flavor::Commitment |
Definition at line 306 of file proof_structures.hpp.
| using bb::StructuredProofHelper< Flavor >::FF = typename Flavor::FF |
Definition at line 307 of file proof_structures.hpp.
| using bb::StructuredProofHelper< Flavor >::ProofData = typename Transcript::Proof |
Definition at line 308 of file proof_structures.hpp.
|
inline |
Definition at line 508 of file proof_structures.hpp.
|
inline |
Definition at line 548 of file proof_structures.hpp.
| Commitment bb::MegaZKStructuredProofBase< Flavor >::hiding_polynomial_commitment |
Definition at line 497 of file proof_structures.hpp.
| FF bb::MegaZKStructuredProofBase< Flavor >::libra_claimed_evaluation |
Definition at line 500 of file proof_structures.hpp.
| Commitment bb::MegaZKStructuredProofBase< Flavor >::libra_concatenation_commitment |
Definition at line 498 of file proof_structures.hpp.
| FF bb::MegaZKStructuredProofBase< Flavor >::libra_concatenation_eval |
Definition at line 503 of file proof_structures.hpp.
| Commitment bb::MegaZKStructuredProofBase< Flavor >::libra_grand_sum_commitment |
Definition at line 501 of file proof_structures.hpp.
| FF bb::MegaZKStructuredProofBase< Flavor >::libra_grand_sum_eval |
Definition at line 505 of file proof_structures.hpp.
| Commitment bb::MegaZKStructuredProofBase< Flavor >::libra_quotient_commitment |
Definition at line 502 of file proof_structures.hpp.
| FF bb::MegaZKStructuredProofBase< Flavor >::libra_quotient_eval |
Definition at line 506 of file proof_structures.hpp.
| FF bb::MegaZKStructuredProofBase< Flavor >::libra_shifted_grand_sum_eval |
Definition at line 504 of file proof_structures.hpp.
| FF bb::MegaZKStructuredProofBase< Flavor >::libra_sum |
Definition at line 499 of file proof_structures.hpp.