kaushik-himself / winterfell-boilerplateLinks
☆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
Sorting:
- Using folding schemes for a provable bitcoin light client☆34Updated last year
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆43Updated 2 years ago
- Honk Verifier in Solidity☆50Updated 11 months ago
- ☆50Updated last year
- ☆40Updated 2 years ago
- Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.☆28Updated 11 months ago
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 11 months ago
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago
- ☆38Updated last year
- Gas-efficient and blazing fast proving for private signaling☆81Updated last year
- Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.☆34Updated 2 years ago
- ☆28Updated 3 years ago
- Noir implementation of RSA-verify☆43Updated last year
- Cryptographic protocols☆39Updated 2 years ago
- ☆34Updated 2 years ago
- ☆33Updated last year
- Cross-zk-rollup aggregation☆60Updated 2 years ago
- A collection of technical notes from the Geometry research team.☆47Updated 2 years ago
- RLN on KZG☆21Updated 2 years ago
- 🏆 Finalist of ETHGlobal FVM Space Warp Hack☆26Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- Delve into low-level RISC Zero machine☆28Updated last year
- Library and gadget to do regex string matches in halo2☆35Updated last year
- storage proof made by sp1☆25Updated last year
- A blazingly fast sdk for running proofs on the browser... and verifying them on-chain☆39Updated 2 years ago
- https://geometryresearch.xyz/notebook/zkhack-groth-challenge☆49Updated 3 years ago
- ☆30Updated last year
- Noir implementation of BattleZips circuits☆27Updated 2 years ago
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- The entry point for Rust projects to be run on Valida☆10Updated 6 months ago