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

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.

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

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

Privacy-Preserving Compliance Infrastructure for Web3 Businesses

Darwin Protocol documentation: architecture specs, litepaper, integration guides

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

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

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

Darwin core MASM: Protocol Account, basket faucets, asset faucets, note scripts (DepositNote, RedeemNote, B2AGG)