|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
#include <proof_structures.hpp>
Public Types | |
| using | Base = UltraStructuredProofBase< Flavor > |
| using | Commitment = typename Flavor::Commitment |
| using | FF = typename Flavor::FF |
| using | ProofData = typename Transcript::Proof |
Public Types inherited from bb::UltraStructuredProofBase< 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::UltraStructuredProofBase< 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 |
Public Attributes | |
| Commitment | hiding_polynomial_commitment |
| Commitment | libra_concatenation_commitment |
| FF | libra_sum |
| FF | libra_claimed_evaluation |
| Commitment | libra_grand_sum_commitment |
| Commitment | libra_quotient_commitment |
| FF | libra_concatenation_eval |
| FF | libra_shifted_grand_sum_eval |
| FF | libra_grand_sum_eval |
| FF | libra_quotient_eval |
Public Attributes inherited from bb::UltraStructuredProofBase< Flavor > | |
| std::vector< FF > | public_inputs |
| Commitment | w_l_comm |
| Commitment | w_r_comm |
| Commitment | w_o_comm |
| Commitment | lookup_read_counts_comm |
| Commitment | lookup_read_tags_comm |
| Commitment | w_4_comm |
| Commitment | z_perm_comm |
| Commitment | lookup_inverses_comm |
| std::vector< bb::Univariate< FF, BATCHED_RELATION_PARTIAL_LENGTH > > | sumcheck_univariates |
| std::array< FF, NUM_ALL_ENTITIES > | sumcheck_evaluations |
| std::vector< Commitment > | gemini_fold_comms |
| std::vector< FF > | gemini_fold_evals |
| Commitment | shplonk_q_comm |
| Commitment | kzg_w_comm |
Additional Inherited Members | |
Static Public Attributes inherited from bb::UltraStructuredProofBase< 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::UltraStructuredProofBase< Flavor > | |
| void | clear_vectors () |
| void | deserialize_ultra_witness_comms (const ProofData &proof_data, size_t &offset) |
| void | serialize_ultra_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 201 of file proof_structures.hpp.
| using bb::UltraZKStructuredProofBase< Flavor >::Base = UltraStructuredProofBase<Flavor> |
Definition at line 202 of file proof_structures.hpp.
| using bb::StructuredProofHelper< Flavor >::Commitment = typename Flavor::Commitment |
Definition at line 65 of file proof_structures.hpp.
| using bb::StructuredProofHelper< Flavor >::FF = typename Flavor::FF |
Definition at line 66 of file proof_structures.hpp.
| using bb::StructuredProofHelper< Flavor >::ProofData = typename Transcript::Proof |
Definition at line 67 of file proof_structures.hpp.
|
inline |
Definition at line 219 of file proof_structures.hpp.
|
inline |
Definition at line 259 of file proof_structures.hpp.
| Commitment bb::UltraZKStructuredProofBase< Flavor >::hiding_polynomial_commitment |
Definition at line 208 of file proof_structures.hpp.
| FF bb::UltraZKStructuredProofBase< Flavor >::libra_claimed_evaluation |
Definition at line 211 of file proof_structures.hpp.
| Commitment bb::UltraZKStructuredProofBase< Flavor >::libra_concatenation_commitment |
Definition at line 209 of file proof_structures.hpp.
| FF bb::UltraZKStructuredProofBase< Flavor >::libra_concatenation_eval |
Definition at line 214 of file proof_structures.hpp.
| Commitment bb::UltraZKStructuredProofBase< Flavor >::libra_grand_sum_commitment |
Definition at line 212 of file proof_structures.hpp.
| FF bb::UltraZKStructuredProofBase< Flavor >::libra_grand_sum_eval |
Definition at line 216 of file proof_structures.hpp.
| Commitment bb::UltraZKStructuredProofBase< Flavor >::libra_quotient_commitment |
Definition at line 213 of file proof_structures.hpp.
| FF bb::UltraZKStructuredProofBase< Flavor >::libra_quotient_eval |
Definition at line 217 of file proof_structures.hpp.
| FF bb::UltraZKStructuredProofBase< Flavor >::libra_shifted_grand_sum_eval |
Definition at line 215 of file proof_structures.hpp.
| FF bb::UltraZKStructuredProofBase< Flavor >::libra_sum |
Definition at line 210 of file proof_structures.hpp.