tamper_proof.hpp File Reference

#include "barretenberg/commitment_schemes/ipa/ipa.hpp"
#include "barretenberg/flavor/flavor_concepts.hpp"
#include "barretenberg/flavor/test_utils/proof_structures.hpp"

Go to the source code of this file.

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.

Enumerations
enum class	bb::TamperType {   bb::MODIFY_SUMCHECK_UNIVARIATE , bb::MODIFY_SUMCHECK_EVAL , bb::MODIFY_Z_PERM_COMMITMENT , bb::MODIFY_GEMINI_WITNESS ,   bb::END }

Functions
template<typename Flavor >
size_t	bb::compute_proof_length_for_export (size_t num_public_inputs)
	Compute the proof length for re-exporting after tampering.
template<typename InnerProver , typename InnerFlavor , typename ProofType >
void	bb::tamper_with_proof (InnerProver &inner_prover, ProofType &inner_proof, TamperType type)
	Test method that provides several ways to tamper with a proof. TODO(https://github.com/AztecProtocol/barretenberg/issues/1298): Currently, several tests are failing due to challenges not being re-computed after tampering. We need to extend this tool to allow for more elaborate tampering.
template<typename InnerProver , typename InnerFlavor , typename ProofType = typename InnerFlavor::Transcript::Proof>
void	bb::tamper_with_proof (ProofType &inner_proof, bool end_of_proof)
	Tamper with a proof by modifying curve points directly in the proof vector.