Inheritance diagram for bb::avm2::simulation::NullifierTreeCheckInterface:

Public Member Functions
virtual	~NullifierTreeCheckInterface ()=default

virtual void	assert_read (const FF &nullifier, std::optional< AztecAddress > contract_address, bool exists, const NullifierTreeLeafPreimage &low_leaf_preimage, uint64_t low_leaf_index, std::span< const FF > sibling_path, const AppendOnlyTreeSnapshot &snapshot)=0

virtual AppendOnlyTreeSnapshot	write (const FF &nullifier, std::optional< AztecAddress > contract_address, uint64_t nullifier_counter, const NullifierTreeLeafPreimage &low_leaf_preimage, uint64_t low_leaf_index, std::span< const FF > low_leaf_sibling_path, const AppendOnlyTreeSnapshot &prev_snapshot, std::optional< std::span< const FF > > insertion_sibling_path)=0

Detailed Description

Definition at line 11 of file nullifier_tree_check.hpp.

Constructor & Destructor Documentation

virtual bb::avm2::simulation::NullifierTreeCheckInterface::~NullifierTreeCheckInterface ( )

virtualdefault

virtual void bb::avm2::simulation::NullifierTreeCheckInterface::assert_read	(	const FF &	nullifier,
		std::optional< AztecAddress >	contract_address,
		bool	exists,
		const NullifierTreeLeafPreimage &	low_leaf_preimage,
		uint64_t	low_leaf_index,
		std::span< const FF >	sibling_path,
		const AppendOnlyTreeSnapshot &	snapshot
	)

pure virtual

virtual AppendOnlyTreeSnapshot bb::avm2::simulation::NullifierTreeCheckInterface::write	(	const FF &	nullifier,
		std::optional< AztecAddress >	contract_address,
		uint64_t	nullifier_counter,
		const NullifierTreeLeafPreimage &	low_leaf_preimage,
		uint64_t	low_leaf_index,
		std::span< const FF >	low_leaf_sibling_path,
		const AppendOnlyTreeSnapshot &	prev_snapshot,
		std::optional< std::span< const FF > >	insertion_sibling_path
	)

pure virtual

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