Expand description
State related commitments involved in the pessimistic proof.
The pessimistic proof has the “pessimistic root” as part of its public inputs. Some logic in this file handles the migration on its computation.
Structs§
- Pessimistic
Root Commitment Values - The parameters which compose the pessimistic root.
- Signature
Commitment Values - The values which compose the signature.
- State
Commitment - The state commitment of one
super::NetworkState.
Enums§
- Pessimistic
Root Commitment Version - The pessimistic root is a public value of the PP which is settled in the L1.
- Signature
Commitment Version