Module mpt_test::circuit::state_update

source ·
Expand description

A circuit to verify chained proofs of state updates in a block.

Structs§

  • StateUpdateCircuit
    MPT Circuit for proving that a from a given root, a set of state updates are valid. Public inputs: old_root_lo old_root_hi new_root_lo new_root_hi number of MPT changes for each change | change_type | address | value_lo | value_hi | key_lo | key_hi
  • StateUpdateCircuitConfig
    The circuit to verify chained proofs of state updates in a block.

Functions§