Ironwood Soundness Proof Journey
The logical route from the deployed verifier to the formal soundness endpoint.
←
Play
→
⛶
Stage 1
0:00
0.75x
1x
1.5x
2x