# Rollup Mechanics Lab
> Interactive optimistic and ZK rollup mechanics: L2 batches, lying sequencers, Merkle bisection fraud proofs, bond economics, and validity proofs - visualized step by step.

Interactive optimistic and ZK rollup mechanics: L2 batches, lying sequencers, Merkle bisection fraud proofs, bond economics, and validity proofs - visualized step by step.

## Agent Mode

- [Agent overview](https://eth-l2.vercel.app/agent/): Human-readable contract and endpoint map
- [JSON manifest](https://eth-l2.vercel.app/agent.json): Structured labs, demos, topics, and links
- [LLM router](https://eth-l2.vercel.app/llms.txt): This file; compact markdown router for language models

## Site

- [Home](https://eth-l2.vercel.app): Lab chooser - optimistic vs ZK
- [Optimistic lab](https://eth-l2.vercel.app/op): Fraud proofs, bonds, challenge window
- [ZK lab](https://eth-l2.vercel.app/zk): Validity proofs and verifier settlement
- [README](https://github.com/DanDo385/eth-l2/blob/main/README.md): Setup, architecture, protocol constants
- [Demo guide](https://github.com/DanDo385/eth-l2/blob/main/DEMO_GUIDE.md): Suggested live demo flow

## Projects

- [Rollup Mechanics Lab](https://eth-l2.vercel.app): Interactive optimistic and ZK rollup mechanics: L2 batches, lying sequencers, Merkle bisection fraud proofs, bond economics, and validity proofs - visualized step by step.

## Interactive Labs

- [Optimistic Rollup Lab](https://eth-l2.vercel.app/op): Interactive lab. Health probe: https://eth-l2.vercel.app/health/ready. Public API origin when hosted: https://api-staging-eth-l2.magro.dev.
- [ZK Rollup Lab](https://eth-l2.vercel.app/zk): Interactive lab. Health probe: https://eth-l2.vercel.app/health/ready. Public API origin when hosted: https://api-staging-eth-l2.magro.dev.

## Demo scenarios

- [OP · Mostly honest (seed 88)](https://eth-l2.vercel.app/op#seed=88): Quiet first run - post, verify, finalize.
- [OP · Subtle fraud (seed 42)](https://eth-l2.vercel.app/op#seed=42): Fee-rounding lie buried in an SSTORE.
- [OP · Obvious fraud (seed 17)](https://eth-l2.vercel.app/op#seed=17): Output doubled - full challenge arc.
- [OP · Mixed (seed 99)](https://eth-l2.vercel.app/op#seed=99): Both fraud types - usually 1-3 in 60s.
- [ZK · Mostly valid (seed 88)](https://eth-l2.vercel.app/zk#seed=88): Accepted proofs - Claim → Prove → Verify.
- [ZK · Rejected claim (seed 42)](https://eth-l2.vercel.app/zk#seed=42): Bad root fails the L1 verifier.
- [ZK · Fast rejection (seed 17)](https://eth-l2.vercel.app/zk#seed=17): Caught at the validity gate.
- [ZK · Mixed proofs (seed 99)](https://eth-l2.vercel.app/zk#seed=99): Accepted and rejected over a longer run.

## Writing

- No published writing on this site yet.

## Contact

- Email: dan@magro.dev
- GitHub: https://github.com/DanDo385/eth-l2
- Portfolio: https://magro.dev
- Website: https://eth-l2.vercel.app