kaushik-himself / winterfell-boilerplate
☆13Updated 2 years ago
Alternatives and similar repositories for winterfell-boilerplate:
Users that are interested in winterfell-boilerplate are comparing it to the libraries listed below
- ☆39Updated 2 years ago
- ☆28Updated 3 years ago
- BigInt library for Aztec's noir language☆31Updated 10 months ago
- ☆48Updated 10 months ago
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Updated last month
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- RLN circuits in Circom☆29Updated 6 months ago
- ☆33Updated last year
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 3 months ago
- an introduction to noir, with simple examples☆42Updated last year
- Axiom smart contracts☆26Updated last year
- ☆34Updated last year
- Library and gadget to do regex string matches in halo2☆35Updated 6 months ago
- Benchmarking Polynomial Commitments☆47Updated last year
- ☆31Updated 10 months ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆52Updated last year
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- A blazingly fast sdk for running proofs on the browser... and verifying them on-chain☆40Updated last year
- Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.☆28Updated 3 months ago
- bn254 pairing library for Cairo Zero☆26Updated 2 years ago
- Honk Verifier in Solidity☆49Updated 3 months ago
- ☆2Updated 10 months ago
- Noir implementation of RSA-verify☆42Updated last year
- RLN on KZG☆17Updated last year
- In-browser ECDSA aggregation using Nova over secp/secq☆33Updated last year
- ☆36Updated last year
- A minimal example of recursion in Noir.☆11Updated last year
- zkSNARK circuits for the Telepathy protocol☆51Updated last year
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆33Updated last week
- Circuits for Pluto's `web-prover`☆15Updated this week