contract_crypto.cpp File Reference

#include "barretenberg/vm2/simulation/lib/contract_crypto.hpp"
#include "barretenberg/aztec/aztec_constants.hpp"
#include "barretenberg/crypto/poseidon2/poseidon2.hpp"
#include "barretenberg/crypto/poseidon2/poseidon2_params.hpp"

Go to the source code of this file.

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.
namespace	bb::avm2
namespace	bb::avm2::simulation
	AVM range check gadget for witness generation.

Typedefs
using	bb::avm2::simulation::poseidon2 = crypto::Poseidon2< crypto::Poseidon2Bn254ScalarFieldParams >

Functions
std::vector< FF >	bb::avm2::simulation::encode_bytecode (std::span< const uint8_t > bytecode)
	Encodes the bytecode into a vector of field elements. Each field element represents 31 bytes of the bytecode. The field encoding is performed in big-endian order, i.e., the ith field element is 2^240 * bytecode[31*i] + 2^232 * bytecode[31*i + 1] + ... + 2^8 * bytecode[31*i + 30] + bytecode[31*i + 31].
FF	bb::avm2::simulation::compute_public_bytecode_first_field (size_t bytecode_size)
FF	bb::avm2::simulation::compute_public_bytecode_commitment (std::span< const uint8_t > bytecode)
FF	bb::avm2::simulation::compute_contract_class_id (const FF &artifact_hash, const FF &private_fn_root, const FF &public_bytecode_commitment)
FF	bb::avm2::simulation::hash_public_keys (const PublicKeys &public_keys)
FF	bb::avm2::simulation::compute_contract_address (const ContractInstance &contract_instance)
FF	bb::avm2::simulation::compute_calldata_hash (std::span< const FF > calldata)