#include <transcript_wrappers.hpp>
Inheritance diagram for transcript::StandardTranscript:
Public Member Functions | |
| StandardTranscript (const Manifest input_manifest, const HashType hash_type=HashType::Keccak256, const size_t challenge_bytes=32) | |
| StandardTranscript (const std::vector< uint8_t > &input_transcript, const Manifest input_manifest, const HashType hash_type=HashType::Keccak256, const size_t challenge_bytes=32) | |
| void | add_field_element (const std::string &element_name, const barretenberg::fr &element) |
| barretenberg::fr | get_field_element (const std::string &element_name) const |
| barretenberg::g1::affine_element | get_group_element (const std::string &element_name) const |
| std::vector< barretenberg::fr > | get_field_element_vector (const std::string &element_name) const |
| barretenberg::fr | get_challenge_field_element (const std::string &challenge_name, const size_t idx=0) const |
| barretenberg::fr | get_challenge_field_element_from_map (const std::string &challenge_name, const std::string &challenge_map_name) const |
| std::vector< uint8_t > | export_transcript () const |
| barretenberg::fr | get_mock_challenge () |
 Public Member Functions inherited from transcript::Transcript | |
| Transcript (const Manifest input_manifest, const HashType hash_type=HashType::Keccak256, const size_t challenge_bytes=32) | |
| Transcript (const std::vector< uint8_t > &input_transcript, const Manifest input_manifest, const HashType hash_type=HashType::Keccak256, const size_t challenge_bytes=32) | |
| Manifest | get_manifest () const |
| void | add_element (const std::string &element_name, const std::vector< uint8_t > &buffer) |
| void | apply_fiat_shamir (const std::string &challenge_name) |
| bool | has_challenge (const std::string &challenge_name) const |
| std::array< uint8_t, PRNG_OUTPUT_SIZE > | get_challenge (const std::string &challenge_name, const size_t idx=0) const |
| int | get_challenge_index_from_map (const std::string &challenge_map_name) const |
| std::array< uint8_t, PRNG_OUTPUT_SIZE > | get_challenge_from_map (const std::string &challenge_name, const std::string &challenge_map_name) const |
| size_t | get_num_challenges (const std::string &challenge_name) const |
| std::vector< uint8_t > | get_element (const std::string &element_name) const |
| size_t | get_element_size (const std::string &element_name) const |
| std::vector< uint8_t > | export_transcript () const |
| void | compute_challenge_map () |
| void | mock_inputs_prior_to_challenge (const std::string &challenge_name, size_t circuit_size=1) |
| Mock prover transcript interactions up to fiat-shamir of a given challenge. | |
| void | print () |
Additional Inherited Members | |
| Public Types inherited from transcript::Transcript | |
| typedef proof_system::plonk::verification_key | Key |
Detailed Description
Transcript extended with functions for easy field element setting/getting
Constructor & Destructor Documentation
◆ StandardTranscript() [1/2]
|
inline |
Create a new standard transcript for Prover based on the manifest.
- Parameters
-
input_manifest The manifest with round descriptions. hash_type The hash to use for Fiat-Shamir. challenge_bytes The number of bytes per challenge to generate.
◆ StandardTranscript() [2/2]
|
inline |
Parse a serialized version of an input_transcript into a deserialized one based on the manifest.
- Parameters
-
input_transcript Serialized transcript. input_manifest The manifest which governs the parsing. hash_type The hash used for Fiat-Shamir challenge_bytes The number of bytes per challenge to generate.
The documentation for this class was generated from the following files:
- src/barretenberg/plonk/transcript/transcript_wrappers.hpp
- src/barretenberg/plonk/transcript/transcript_wrappers.cpp
