Choose the security model you want to inspect.

One app, one backend, two focused labs. Optimistic rollups accept a proposed state unless someone successfully challenges during a window. ZK rollups require a validity proof before the state update is accepted.

checking backend…

Optimistic Rollup Lab

/op

Fraud proofs, challenge bonds, and withdrawal finality.

Proposed state is accepted unless challenged during a window.
User verifies locally before risking a challenge bond.
Dispute bisection, L1 settlement, and bond movement are visible.

Open optimistic lab

ZK Rollup Lab

/zk

Proof generation, verifier checks, and settlement gating.

State update is accepted only after proof verification.
Invalid proofs fail at the L1 verifier, not in a fraud game.
Proving costs, verification gas, and bridge status are tracked.

Open ZK lab

Hosted lab

UI is on Vercel; live simulation needs the Ubuntu backend via https://api-staging-eth-l2.magro.dev. If the status above is offline, you can still read the labs - Start / demos stay disabled until the tunnel is up.