tasm_lib::verifier::master_table

Module verify_table_rows

Source

Structs§

ColumnTypeIter
An iterator over the variants of ColumnType
VerifyTableRows
Crashes the VM is the table rows do not authenticate against the provided Merkle root First hashes the rows, then verifies that the digests belong in the Merkle tree.

Enums§

ColumnType