Summary
Miden Sourcify is a set of self-hostable services for verifying that on-chain Miden accounts and notes correspond to specific Rust source packages. It extracts the verification logic currently baked into the miden-playground API into an independently deployable monorepo, enabling the broader Miden ecosystem (explorers, wallets, third-party developers) to run their own verifier and reducing reliance on a single hosted instance.
Background & motivation
Today, Miden contract verification lives inside the miden-playground API. This creates three problems:
- Coupling. The playground owns logic that other tools (block explorers, CLIs, dApps) increasingly need.
- Centralization. A single hosted verifier is a trust and availability bottleneck for an ecosystem that values verifiability.
- Scaling. Extracting and separating the monolith in separate dedicated services will allow better scaling and avoid single point of failure as well as setup appropriate rate-limiting.
Extracting verification into standalone services — inspired by Ethereum's Sourcify — lets anyone run the full stack, scale components independently, and treat verified-source data as a public good.
Goals
- Provide a standalone, self-hostable verification stack for Miden accounts and notes.
- Offer fast (~5–6s latency even for cold starts) compilation of Miden Rust packages.
- Maintain a queryable registry of verified accounts and notes per network.
- Ship a developer-friendly web UI for submitting verifications.
- Make each service independently deployable (compile API, registry API, frontends).
Users & use cases
- dApp developers verifying their own deployed accounts and notes so users can trust them.
- Block explorers & wallets querying the registry to display "verified" badges and source code.
- Miden Playground delegating its verification flow to the new service.
- Ecosystem operators self-hosting the stack for sovereignty or compliance.
Verification model