KernelIOTamperingTests Class Reference

Inheritance diagram for KernelIOTamperingTests:

Additional Inherited Members
Public Types inherited from ChonkTests
using	AccumulateHook = std::function< void(Chonk &, size_t)>
	Hook fired after each accumulate() inside run_ivc.
Static Public Member Functions inherited from ChonkTests
static void	tamper_with_proof (HonkProof &proof, size_t public_inputs_offset)
	Tamper with a proof.
static std::pair< ChonkProof, std::shared_ptr< MegaZKFlavor::VKAndHash > >	run_ivc (size_t num_app_circuits, TestSettings settings={}, const AccumulateHook &post_hook=nullptr, bool check_circuit_sizes=false)
static std::pair< ChonkProof, std::shared_ptr< MegaZKFlavor::VKAndHash > >	run_ivc (std::vector< bool > leading_is_kernel_flags, TestSettings settings={}, const AccumulateHook &post_hook=nullptr, bool check_circuit_sizes=false)
static std::pair< ChonkProof, std::shared_ptr< MegaZKFlavor::VKAndHash > >	accumulate_and_prove_ivc (size_t num_app_circuits, TestSettings settings={}, bool check_circuit_sizes=false)
static bool	verify_chonk (const ChonkProof &proof, const std::shared_ptr< MegaZKFlavor::VKAndHash > &vk_and_hash)
static void	test_app_io_tampering ()
	Helper function to test tampering with AppIO pairing inputs.
static void	test_kernel_io_tampering (KernelIOField field_to_tamper)
	Helper function to test tampering with KernelIO fields.
Protected Types inherited from ChonkTests
using	FF = Chonk::FF
using	Commitment = Chonk::Commitment
using	Builder = Chonk::ClientCircuit
using	DeciderProver = Chonk::DeciderProver
using	CircuitProducer = PrivateFunctionExecutionMockCircuitProducer
using	ChonkVerifier = ChonkNativeVerifier
Static Protected Member Functions inherited from ChonkTests
static void	SetUpTestSuite ()

Detailed Description

Definition at line 412 of file chonk.test.cpp.

---

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

• src/barretenberg/chonk/chonk.test.cpp