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

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

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

Miden web payroll

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

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

🗳️ 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

Frontend for the ZoroSwap DEX on Miden.

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