tamper_proof.hpp File Reference

#include "barretenberg/commitment_schemes/ipa/ipa.hpp"
#include "barretenberg/eccvm/eccvm_flavor.hpp"
#include "barretenberg/flavor/flavor_concepts.hpp"
#include <cstddef>

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 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 >
void	bb::tamper_with_proof (ProofType &inner_proof, bool end_of_proof)
	Tamper with a proof by finding the first non-zero value and incrementing it by 1 and by modifying the last commitment.