A blazingly fast sdk for running proofs on the browser... and verifying them on-chain

A web-based playground for Miden: create accounts, consume notes, and submit transactions.

ZoroSwap is an Oracle-informed AMM for the Miden blockchain.

Auto faucet, send token.

Exploratory work around Zcash-style privacy flows using Miden and ZK tooling.

Allows you to create miden programs with rust

Experimental smart contract and counter implementation built with Rust

Private automated asset control protocol built on Miden blockchain

Weather prediction market built natively on Miden, using ZK commitments for private bet placement

AggLayer bridge integration (B2AGG, CLAIM note infrastructure) + L1 WrappedBasketToken ERC20 with 13 Foundry tests.

This is a Python SDK for interacting with the Miden blockchain.

Miden web payroll

🗳️ Anonymous ZK Voting DApp on Miden Blockchain — STARK proofs, commitment+nullifier primitives, wallet connect, on-chain notes

Darwin Protocol documentation: architecture specs, litepaper, integration guides

Privacy-Preserving Compliance Infrastructure for Web3 Businesses

Miden Source Code Verification is a set of self-hostable services for verifying that on-chain Miden accounts and notes correspond to specific Rust source packages.

Local dev stack (Docker compose: Miden devnet + AggLayer + Postgres) and reproducible testnet deployment scripts.

Custodial Miden-side wallet bridging ETH deposits (via 1Click) into Darwin basket positions, with B2AGG canonical bridge outbound for redemptions

Pragma Oracle adapter on Miden (dynamic address resolution) + signed-attestation fallback

Frontend for the ZoroSwap DEX on Miden.