Research lab for blockchain cryptographic primitives — ZK-biased, Rust-first.
Mission: deepen foundations, implement protocols from scratch, actively hunt weaknesses, then ship small concrete improvements. Breakthroughs come from questioning assumptions, not polishing the same protocol forever.
| Document | Purpose |
|---|---|
| STATUS.md | Where we started / where we stand |
| LIMITATIONS.md | Living backlog — pick one limitation per month |
| ASSUMPTIONS.md | Explicit assumption registry (question these) |
| CONTRIBUTING.md | Track rules, IDs, monthly cadence |
| docs/taxonomy.md | Where does this file go? |
| docs/glossary.md | Lab / ZK terms |
| references/ | Reading spine |
| Track | Role |
|---|---|
| tracks/01-foundations | Math depth: fields, groups, polynomials, lemmas |
| tracks/02-implement | From-scratch protocol impls (not production) |
| tracks/03-break | Weaknesses, bottlenecks, minimal repros |
| tracks/04-improve | Bounded deltas — not brand-new primitives |
Shared mature code lives in crates/. Time-boxed monthly work lives in experiments/.
cargo test --workspaceRequires a recent stable Rust toolchain.
Nothing here is audited or production-ready. Implementations are for understanding and for attack surfaces. Do not deploy lab code as a security dependency.