|
|
| Transcript (const std::vector< uint8_t > &proof) |
| |
|
void | deserialize_full_transcript () |
| |
|
void | serialize_full_transcript () |
| |
| | BaseTranscript (const Proof &proof_data) |
| | Construct a new Base Transcript object for Verifier using proof_data.
|
| |
| std::vector< uint8_t > | export_proof () |
| | Return the proof data starting at proof_start.
|
| |
|
void | load_proof (const std::vector< uint8_t > &proof) |
| |
| template<typename... Strings> |
| std::array< uint256_t, sizeof...(Strings)> | get_challenges (const Strings &... labels) |
| | After all the prover messages have been sent, finalize the round by hashing all the data and then create the number of requested challenges.
|
| |
| template<class T > |
| void | send_to_verifier (const std::string &label, const T &element) |
| | Adds a prover message to the transcript, only intended to be used by the prover.
|
| |
| template<class T > |
| T | receive_from_prover (const std::string &label) |
| | Reads the next element of type T from the transcript, with a predefined label, only used by verifier.
|
| |
|
uint256_t | get_challenge (const std::string &label) |
| |
|
TranscriptManifest | get_manifest () const |
| |
|
void | print () |
| |
|
|
uint32_t | circuit_size |
| |
|
Commitment | memTrace_m_clk |
| |
|
Commitment | memTrace_m_sub_clk |
| |
|
Commitment | memTrace_m_addr |
| |
|
Commitment | memTrace_m_val |
| |
|
Commitment | memTrace_m_lastAccess |
| |
|
Commitment | memTrace_m_rw |
| |
|
Commitment | avmMini_subop |
| |
|
Commitment | avmMini_ia |
| |
|
Commitment | avmMini_ib |
| |
|
Commitment | avmMini_ic |
| |
|
Commitment | avmMini_mem_op_a |
| |
|
Commitment | avmMini_mem_op_b |
| |
|
Commitment | avmMini_mem_op_c |
| |
|
Commitment | avmMini_rwa |
| |
|
Commitment | avmMini_rwb |
| |
|
Commitment | avmMini_rwc |
| |
|
Commitment | avmMini_mem_idx_a |
| |
|
Commitment | avmMini_mem_idx_b |
| |
|
Commitment | avmMini_mem_idx_c |
| |
|
Commitment | avmMini_last |
| |
|
std::vector< barretenberg::Univariate< FF, BATCHED_RELATION_PARTIAL_LENGTH > > | sumcheck_univariates |
| |
|
std::array< FF, NUM_ALL_ENTITIES > | sumcheck_evaluations |
| |
|
std::vector< Commitment > | zm_cq_comms |
| |
|
Commitment | zm_cq_comm |
| |
|
Commitment | zm_pi_comm |
| |
|
std::ptrdiff_t | proof_start = 0 |
| |
|
size_t | num_bytes_written = 0 |
| |
|
size_t | num_bytes_read = 0 |
| |
|
size_t | round_number = 0 |
| |
|
Proof | proof_data |
| |
|
|
using | Proof = std::vector< uint8_t > |
| |
| static std::shared_ptr< BaseTranscript > | prover_init_empty () |
| | For testing: initializes transcript with some arbitrary data so that a challenge can be generated after initialization. Only intended to be used by Prover.
|
| |
| static std::shared_ptr< BaseTranscript > | verifier_init_empty (const std::shared_ptr< BaseTranscript > &transcript) |
| | For testing: initializes transcript based on proof data then receives junk data produced by BaseTranscript::prover_init_empty(). Only intended to be used by Verifier.
|
| |
|
static constexpr size_t | HASH_OUTPUT_SIZE = 32 |
| |
| void | consume_prover_element_bytes (const std::string &label, std::span< const uint8_t > element_bytes) |
| | Adds challenge elements to the current_round_buffer and updates the manifest.
|
| |
| template<typename T > |
| void | serialize_to_buffer (const T &element, Proof &proof_data) |
| | Serializes object and appends it to proof_data.
|
| |
| template<typename T > |
| T | deserialize_from_buffer (const Proof &proof_data, size_t &offset) const |
| | Deserializes the bytes starting at offset into the typed element and returns that element.
|
| |
The documentation for this class was generated from the following file:
Public Member Functions inherited from proof_system::honk::BaseTranscript