tracking: Interop Proofs Specification #539
Labels
A-prover
A: fault prover
H-interop
Hardfork: change planned for Interop upgrade
M-tracking
Meta: tracking issue
Overview
This ticket serves as a meta tracker for the specification of the interop proof.
Some good high-level material on the initial design is available @:
The text was updated successfully, but these errors were encountered: