Learning Notes
Personal walkthroughs of every concept — math, intuition, where it breaks, and the Rust patterns used.
ZKP Exercises
- ZK mental map (high level) SVG figures: witness → proof → verifier; claims → modules → rollup
- Ex1: Knowledge of Preimage Sigma protocol & Fiat-Shamir
- Ex2: Sum is Computed Correctly Homomorphic commitments
- Ex3: Threshold Check Range proofs via bit decomposition
- Ex4: Membership Merkle tree membership proofs
Composing the Rollup
Backend Layer
- Backend Basics axum HTTP server fundamentals
- POST Endpoints JSON, serde, error responses
- Rust Async Primer async / await / tokio mental model
- Persistence with sled KV database, recovery, atomicity
- CORS Explained Why browsers block your API & how to fix it
- Deploy to Render Free hosting via Docker, no credit card required
- Mempool & Background Tasks tokio::spawn, MPSC channels, async drain pattern
- Serde Traits & Field Override Per-field codecs via #[serde(with = ...)]
- Rate Limiting & API Key Auth tower middleware, token bucket, layer ordering
- WebSockets & Broadcast Fan-out from one producer to many live clients