Expand description
Witnesses of NOMT sessions. These types encapsulate entire sets of reads and writes.
Structsยง
- Witness
- A witness that can be used to prove the correctness of state trie retrievals and updates.
- Witnessed
Operations - Operations provable by a corresponding witness.
- Witnessed
Path - A path observed in the witness.
- Witnessed
Read - A witness of a read value.
- Witnessed
Write - A witness of a write operation.