Cryptographic bindings (Merkle roots, Poseidon2 hashes) tying execution traces, memory, or DA shards to a block for auditing without re-running computation.
Commitments
CryptographyCryptographic bindings (Merkle roots, Poseidon2 hashes) tying execution traces, memory, or DA shards to a block for auditing without re-running computation.
Sections
Definition
Cryptographic bindings (Merkle roots, Poseidon2 hashes) tying execution traces, memory, or DA shards to a block for auditing without re-running computation.
Why it matters
Lets anyone verify state correctness by checking a small proof instead of replaying all transactions.