Expand description
Aggchain proof data structures.
The aggchain-proof is the extra custom logic which is verified within the pessimistic-proof.
For now, this is constraint to be either one ECDSA signature, or one SP1 stark proof proving a specified statement which can be abstracted here.
Structs§
Enums§
- Aggchain
Data - Chain proof which include either multisig, aggchain proof, or both. Explicit enum which forbid the case where we have none of them.
- Aggchain
Hash Values - Multisig
Error