Skip to content

@0xPolygonMiden Polygon Miden

Change the repository type filter

All

    Repositories list

    21 repositories

    • miden-vm

      Public
      STARK-based virtual machine
      cryptographyvirtual-machinestarkzero-knowledge
      Rust
      •
      MIT License
      •162•632•133•11•Updated Dec 13, 2024Dec 13, 2024

    • crypto

      Public
      Cryptographic primitives used in Polygon Miden rollup
      Rust
      •
      MIT License
      •36•104•35•7•Updated Dec 13, 2024Dec 13, 2024

    • miden-base

      Public
      Core components of the Polygon Miden rollup
      Rust
      •
      MIT License
      •47•73•65•9•Updated Dec 12, 2024Dec 12, 2024

    • miden-client

      Public
      Client library that facilitates interaction with the Miden rollup
      Rust
      •
      MIT License
      •32•40•44•7•Updated Dec 12, 2024Dec 12, 2024

    • miden-node

      Public
      Reference implementation of the node for the Polygon Miden rollup
      Rust
      •
      MIT License
      •39•53•53•4•Updated Dec 12, 2024Dec 12, 2024

    • compiler

      Public
      Compiler from MidenIR to Miden Assembly
      Rust
      •
      MIT License
      •23•65•54•13•Updated Dec 12, 2024Dec 12, 2024

    • clob-example

      Public
      Rust
      •1•2•0•0•Updated Dec 4, 2024Dec 4, 2024

    • miden-homepage

      Public
      Miden's homepage
      JavaScript
      •1•1•6•0•Updated Dec 4, 2024Dec 4, 2024

    • miden-docs

      Public
      Consolidated documentation for the Miden rollup
      Shell
      •
      MIT License
      •3•0•8•0•Updated Dec 3, 2024Dec 3, 2024

    • miette

      Public
      Fancy extension for std::error::Error with pretty, detailed diagnostic printing.
      Rust
      •
      Apache License 2.0
      •120•1•0•0•Updated Dec 2, 2024Dec 2, 2024

    • rust-templates

      Public
      Templates for Miden starter projects
      Rust
      •
      MIT License
      •2•0•0•1•Updated Oct 16, 2024Oct 16, 2024

    • examples

      Public
      Examples of using Polygon Miden
      TypeScript
      •
      MIT License
      •18•18•10•2•Updated Oct 15, 2024Oct 15, 2024

    • miden-formatting

      Public
      Pretty-printing and formatting utilities for Miden crates
      Rust
      •
      MIT License
      •2•0•1•1•Updated Sep 23, 2024Sep 23, 2024

    • air-script

      Public
      A domain-specific language for writing AIR constraints for STARKs
      Rust
      •
      MIT License
      •11•75•63•10•Updated Sep 18, 2024Sep 18, 2024

    • .github

      Public
      MIT License
      •4•1•0•0•Updated Jul 4, 2024Jul 4, 2024

    • miden-diagnostics

      Public
      Rust
      •
      MIT License
      •3•0•0•1•Updated Jun 24, 2024Jun 24, 2024

    • thiserror

      Public
      derive(Error) for struct and enum error types
      Rust
      •
      Apache License 2.0
      •165•2•0•0•Updated May 5, 2024May 5, 2024

    • contract-examples

      Public
      Examples of Miden rollup smart contracts
      MIT License
      •2•1•0•0•Updated Apr 5, 2024Apr 5, 2024

    • experiments

      Public
      MIT License
      •2•2•0•0•Updated Nov 2, 2023Nov 2, 2023

    • miden-parsing

      Public
      Rust
      •
      MIT License
      •2•0•0•0•Updated Jul 12, 2023Jul 12, 2023

    • zkhack-scaffold

      Public
      A scaffolded repo for hacking on Polygon Miden during zkHack
      Rust
      •5•1•0•0•Updated Mar 30, 2023Mar 30, 2023