zkLimit
Breaking the Hardware Barrier: $zkL as Your Permissionless Validator License
A complete protocol to eliminate Solana's $34M+ annual decentralization tax through verifiable computation, powered by the Validator Lock economic engine.
76sLSitBWqUCo5ZiuF34P1DuiKa1FN5YT3vwLxu2pumpThe Protocol Thesis: Solving Solana's $34M+ Market Failure
Project's Roadmap
Milestone-Based: Measured by Delivery, Not Dates
Planning Ethic
To align with an under-promise and over-deliver ethic, this plan intentionally avoids timeline or scheduling commitments. Activities should be executed in the order that de-risks the system earliest (on-chain invariants → DS/Ed25519 correctness → off-chain verification → integration), with scope and sequencing decided by maintainers based on empirical readiness. Progress is measured by deterministic tests and conformance gates rather than dates.
Deliverables Checklist
Devnet Program Deployed
validator_lock program deployed to Solana Devnet
Orchestrator Fully Functional
Service operational with /prove and /anchor requests
Phase A Prover Complete
Winterfell-based prover with functional CLI
Indexer Operational
Mirroring ProofRecord and ValidatorRecord to Postgres
Conformance Tests Passed
Full KAT corpus and cross-language conformance (green)
Full Test Matrix Implemented
Unit, PBT, Fuzz, Benchmark, Integration, E2E tests
CI/CD Gates Activated
Pipeline active with lints, denials, and audits
Deterministic Scripts Delivered
Bootstrap, initialization, and demo scripts complete