Poseidon2FailureTests Class Reference

Inheritance diagram for Poseidon2FailureTests:

Public Types
using	Flavor = UltraFlavor
using	ProverInstance = ProverInstance_< Flavor >
using	SumcheckProver = SumcheckProver< Flavor >
using	SumcheckVerifier = SumcheckVerifier< Flavor >
using	FF = Flavor::FF
using	Builder = Flavor::CircuitBuilder
using	Transcript = Flavor::Transcript
using	SubrelationSeparators = Flavor::SubrelationSeparators
using	RelationParameters = RelationParameters< FF >

Public Member Functions
void	modify_selector (auto &selector)
void	modify_witness (const auto &selector, auto &witness)
void	tamper_with_shifts (const auto &selector, auto &witness, bool external)
void	hash_single_input (Builder &builder)
void	prove_and_verify (const std::shared_ptr< ProverInstance > &prover_instance, bool expected_result)

Detailed Description

Definition at line 9 of file poseidon2.circuit.failure.test.cpp.

Member Typedef Documentation

Builder

using Poseidon2FailureTests::Builder = Flavor::CircuitBuilder

Definition at line 16 of file poseidon2.circuit.failure.test.cpp.

FF

using Poseidon2FailureTests::FF = Flavor::FF

Definition at line 15 of file poseidon2.circuit.failure.test.cpp.

Flavor

using Poseidon2FailureTests::Flavor = UltraFlavor

Definition at line 11 of file poseidon2.circuit.failure.test.cpp.

ProverInstance

using Poseidon2FailureTests::ProverInstance = ProverInstance_<Flavor>

Definition at line 12 of file poseidon2.circuit.failure.test.cpp.

RelationParameters

using Poseidon2FailureTests::RelationParameters = RelationParameters<FF>

Definition at line 19 of file poseidon2.circuit.failure.test.cpp.

SubrelationSeparators

using Poseidon2FailureTests::SubrelationSeparators = Flavor::SubrelationSeparators

Definition at line 18 of file poseidon2.circuit.failure.test.cpp.

SumcheckProver

using Poseidon2FailureTests::SumcheckProver = SumcheckProver<Flavor>

Definition at line 13 of file poseidon2.circuit.failure.test.cpp.

SumcheckVerifier

using Poseidon2FailureTests::SumcheckVerifier = SumcheckVerifier<Flavor>

Definition at line 14 of file poseidon2.circuit.failure.test.cpp.

Transcript

using Poseidon2FailureTests::Transcript = Flavor::Transcript

Definition at line 17 of file poseidon2.circuit.failure.test.cpp.

Member Function Documentation

hash_single_input()

void Poseidon2FailureTests::hash_single_input ( Builder &  builder )

inline

Definition at line 73 of file poseidon2.circuit.failure.test.cpp.

modify_selector()

void Poseidon2FailureTests::modify_selector ( auto &  selector )

inline

Definition at line 21 of file poseidon2.circuit.failure.test.cpp.

modify_witness()

void Poseidon2FailureTests::modify_witness ( const auto &  selector, auto &  witness  )

inline

Definition at line 35 of file poseidon2.circuit.failure.test.cpp.

prove_and_verify()

void Poseidon2FailureTests::prove_and_verify ( const std::shared_ptr< ProverInstance > &  prover_instance, bool  expected_result  )

inline

Definition at line 80 of file poseidon2.circuit.failure.test.cpp.

tamper_with_shifts()

void Poseidon2FailureTests::tamper_with_shifts ( const auto &  selector, auto &  witness, bool  external  )

inline

Definition at line 51 of file poseidon2.circuit.failure.test.cpp.

---

The documentation for this class was generated from the following file:

• src/barretenberg/stdlib/hash/poseidon2/poseidon2.circuit.failure.test.cpp