miden

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

Neovim support for Miden Assembly (.masm): tree-sitter highlighting, go-to-definition, references, hover docs (no language server required).

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

Experimental smart contract and counter implementation built with Rust

Private automated asset control protocol built on Miden blockchain

Miden web payroll

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.

A simple Counter smart contract on Polygon Miden zkVM, built with Rust. Features local mock chain tests and Miden Testnet integration.

Privacy-Preserving Compliance Infrastructure for Web3 Businesses

Darwin Protocol documentation: architecture specs, litepaper, integration guides

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

Darwin Protocol frontend — Next.js + Miden Web SDK, deposit/redeem/Bali claim UI

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

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