Examples of using Polygon Miden
☆21Aug 25, 2025Updated 6 months ago
Alternatives and similar repositories for examples
Users that are interested in examples are comparing it to the libraries listed below
Sorting:
- Core components of the Miden protocol☆112Updated this week
- Reference implementation of the node for the Miden blockchain☆91Updated this week
- This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Pl…☆27Apr 4, 2025Updated 10 months ago
- Compiler from Rust to Miden Assembly☆104Updated this week
- Write Zero Knowledge Circuits in Solidity☆13Nov 30, 2023Updated 2 years ago
- Generic implementation of the Number Theoretic Transform in the context of cryptography applications☆14Aug 13, 2025Updated 6 months ago
- A generator for vue component☆13May 13, 2017Updated 8 years ago
- ☆37Nov 7, 2023Updated 2 years ago
- Fun with MuSig2 and Ledger devices 🎵☆11Jul 1, 2025Updated 8 months ago
- ☆16Oct 20, 2023Updated 2 years ago
- To bring zero knowledge privacy primitives to all web3 developers.☆13Oct 20, 2023Updated 2 years ago
- Solidity implementation of the baby jubjub curve☆21Apr 30, 2024Updated last year
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆41Feb 17, 2025Updated last year
- A python notebook to explain how Plonky3 underlying works☆20Mar 2, 2025Updated 11 months ago
- A set of tooling of halo2 circuits verification in Move environments☆16Feb 14, 2026Updated 2 weeks ago
- Cryptographic primitives used in Polygon Miden rollup☆132Updated this week
- NOT MAINTAINED Scaffold vuex actions, mutations, getters and the state☆16Jul 15, 2020Updated 5 years ago
- Make your zero-knowledge circuits safe with formal verification! 🍀☆32Nov 27, 2025Updated 3 months ago
- Ethereum Token Implementing RingCT☆24Jul 18, 2018Updated 7 years ago
- High performance EraVM for zkSync.☆23Feb 20, 2026Updated last week
- Official Ledger Starknet application (Rust implementation)☆22Updated this week
- Client library that facilitates interaction with the Miden blockchain☆61Updated this week
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆28Jun 12, 2025Updated 8 months ago
- A Symfony pack for API Platform Admin☆23Jun 3, 2022Updated 3 years ago
- The PSE website☆26Feb 23, 2026Updated last week
- plonky2 proving over paladin☆22Jun 19, 2024Updated last year
- ☆36Updated this week
- List of Maths Resources for ZKPs☆28May 11, 2024Updated last year
- Yul precompile library to speedup elliptic curves operations.☆51Apr 20, 2024Updated last year
- ☆10Nov 2, 2023Updated 2 years ago
- Utilities for vuex to easily create and manage actions.☆26Mar 14, 2017Updated 8 years ago
- A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes☆38Oct 17, 2025Updated 4 months ago
- Benchmark of ZKVMs and Proving Schemes☆32Dec 12, 2025Updated 2 months ago
- Email verification circuit in halo2☆69Jul 3, 2024Updated last year
- A lazyload plugin for Vue.js v2.x+.☆25Dec 9, 2022Updated 3 years ago
- Batch ECDSA in circom☆35Jul 20, 2022Updated 3 years ago
- An observatory fork of SP1☆77Feb 11, 2025Updated last year
- ☆11Feb 18, 2026Updated last week
- Archived. See https://github.com/AztecProtocol/aztec-packages/tree/master/barretenberg☆194Updated this week