Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

tracking: Interop Proofs Specification #539

Open
clabby opened this issue Jan 23, 2025 · 0 comments
Open

tracking: Interop Proofs Specification #539

clabby opened this issue Jan 23, 2025 · 0 comments
Labels
A-prover A: fault prover H-interop Hardfork: change planned for Interop upgrade M-tracking Meta: tracking issue

Comments

@clabby
Copy link
Member

clabby commented Jan 23, 2025

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 @:

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-prover A: fault prover H-interop Hardfork: change planned for Interop upgrade M-tracking Meta: tracking issue
Projects
Development

No branches or pull requests

1 participant