describe provable assertions#123

Merged

pepebndc merged 38 commits intomainfrom

describe-provable-assertions

Jul 17, 2025

Commits on May 27, 2025

Commits on May 28, 2025

Describe the same-slot mechanism
nikeshnazareth
committed

Commits on May 31, 2025

Fix typo
nikeshnazareth
committed

Commits on Jun 2, 2025

Commits on Jun 5, 2025

Commits on Jun 6, 2025

Commits on Jun 10, 2025

Use "pauser" instead of "asserter" mechanism.
nikeshnazareth
committed

Commits on Jul 16, 2025

Describe the open abstraction caveat
nikeshnazareth
committed
Describe the one-line idea after explaining the pattern
nikeshnazareth
committed
Use "explained" instead of "noted" to avoid repetition
nikeshnazareth
committed
Rephrase cross-rollup setting to mention compatibility with the agg-layer approach
nikeshnazareth
committed
Explain how the posted state is useful for AggLayer
nikeshnazareth
committed
Explain that the staked claim should not be used for the native bridge
nikeshnazareth
committed
Add introductory clause to implementation section
nikeshnazareth
committed
Include caveat that walkthrough may be overkill in practice
nikeshnazareth
committed