update_check.test.cpp File Reference

#include "barretenberg/vm2/simulation/gadgets/update_check.hpp"
#include "barretenberg/vm2/common/aztec_types.hpp"
#include "barretenberg/vm2/simulation/events/field_gt_event.hpp"
#include "barretenberg/vm2/simulation/events/gt_event.hpp"
#include "barretenberg/vm2/simulation/events/update_check.hpp"
#include "barretenberg/vm2/simulation/gadgets/field_gt.hpp"
#include "barretenberg/vm2/simulation/gadgets/gt.hpp"
#include "barretenberg/vm2/simulation/lib/contract_crypto.hpp"
#include "barretenberg/vm2/simulation/testing/mock_dbs.hpp"
#include "barretenberg/vm2/simulation/testing/mock_gt.hpp"
#include "barretenberg/vm2/simulation/testing/mock_merkle_check.hpp"
#include "barretenberg/vm2/simulation/testing/mock_poseidon2.hpp"
#include "barretenberg/vm2/simulation/testing/mock_range_check.hpp"
#include "barretenberg/vm2/testing/fixtures.hpp"
#include "barretenberg/vm2/testing/macros.hpp"
#include <gmock/gmock.h>
#include <gtest/gtest.h>

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	poseidon2 = bb::crypto::Poseidon2< bb::crypto::Poseidon2Bn254ScalarFieldParams >
using	bb::avm2::simulation::PublicDataTreeLeafPreimage = IndexedLeaf< PublicDataLeafValue >

Typedef Documentation

poseidon2

using poseidon2 = bb::crypto::Poseidon2<bb::crypto::Poseidon2Bn254ScalarFieldParams>

Definition at line 21 of file update_check.test.cpp.

Variable Documentation

current_class_id

FF current_class_id

Definition at line 92 of file update_check.test.cpp.

original_class_id

FF original_class_id

Definition at line 91 of file update_check.test.cpp.

should_throw

bool should_throw

Definition at line 96 of file update_check.test.cpp.

update_post_class

FF update_post_class

Definition at line 94 of file update_check.test.cpp.

update_pre_class

FF update_pre_class

Definition at line 93 of file update_check.test.cpp.

update_timestamp_of_change

FF update_timestamp_of_change

Definition at line 95 of file update_check.test.cpp.