Poseidon2FailureTests Class Reference

Inheritance diagram for Poseidon2FailureTests:

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

Public Member Functions
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 (std::shared_ptr< ProverInstance > &prover_instance, bool expected_result)

Detailed Description

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

Member Typedef Documentation

Builder

using Poseidon2FailureTests::Builder = Flavor::CircuitBuilder

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

FF

using Poseidon2FailureTests::FF = Flavor::FF

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

Flavor

using Poseidon2FailureTests::Flavor = UltraFlavor

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

ProverInstance

using Poseidon2FailureTests::ProverInstance = ProverInstance_<Flavor>

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

RelationParameters

using Poseidon2FailureTests::RelationParameters = bb::RelationParameters<FF>

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

SubrelationSeparator

using Poseidon2FailureTests::SubrelationSeparator = Flavor::SubrelationSeparator

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

SumcheckProver

using Poseidon2FailureTests::SumcheckProver = bb::SumcheckProver<Flavor>

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

SumcheckVerifier

using Poseidon2FailureTests::SumcheckVerifier = bb::SumcheckVerifier<Flavor>

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

Transcript

using Poseidon2FailureTests::Transcript = Flavor::Transcript

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

Member Function Documentation

hash_single_input()

void Poseidon2FailureTests::hash_single_input ( Builder &  builder )

inline

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

modify_witness()

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

inline

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

prove_and_verify()

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

inline

Definition at line 67 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 38 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