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.

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

Auto faucet, send token.

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

Private payments on Miden, with receipts the other side can check in the browser. Plus small developer tools.

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

Miden web payroll

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

Privacy-Preserving Compliance Infrastructure for Web3 Businesses

Frontend for the ZoroSwap DEX on Miden.

Miden ecosystem contribution hub & testnet automation

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.

Runnable Rust examples for the Miden rollup on testnet: accounts, notes, private transfers, faucets, timelocks, swaps, MASM and raw RPC

A hash time-locked contract (HTLC) note for the Miden rollup: Miden Assembly script, Rust library, mock-chain tests and testnet examples