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
- ☆40Updated 2 years ago
- A STARK-friendly elliptic curve designed to work within Cairo circuits☆27Updated 2 years ago
- ☆50Updated last year
- an introduction to noir, with simple examples☆45Updated last year
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- client side proving☆28Updated last month
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆42Updated last year
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 6 months ago
- ☆33Updated last year
- Noir implementation of BattleZips circuits☆27Updated last year
- Scikit-learn compatible Python library for generating ZK proofs of execution☆18Updated 2 months ago
- ☆33Updated last year
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆47Updated last year
- BN254 Pairing Implementation in Noir☆22Updated last year
- BigInt library for Aztec's noir language☆32Updated last year
- Rust implementation of KZG point evaluation☆33Updated last week
- Benchmarking Polynomial Commitments☆49Updated last year
- ☆28Updated 3 years ago
- A graph library built with Cairo☆28Updated 2 years ago
- Circuits for Pluto's `web-prover`☆21Updated 2 months ago
- bn254 pairing library for Cairo Zero☆26Updated 2 years ago
- RLN on KZG☆20Updated last year
- Noir implementation of RSA-verify☆42Updated last year
- The entry point for Rust projects to be run on Valida☆10Updated last month
- ☆36Updated 2 years ago
- Honk Verifier in Solidity☆50Updated 6 months ago
- ☆40Updated 3 years ago
- RLN circuits in Circom☆29Updated 9 months ago
- ☆31Updated last year
- A simple multisig implementation for StarkNet☆43Updated 2 years ago