socathie / ZKaggleV2Links
Version 2 of ZKaggle, π Finalist of ETHGlobal FVM Space Warp Hack
β16Updated 2 years ago
Alternatives and similar repositories for ZKaggleV2
Users that are interested in ZKaggleV2 are comparing it to the libraries listed below
Sorting:
- powdr application running Ethereum tests via revmβ17Updated last year
- Solidity verifier for Plonkβ42Updated last year
- β28Updated 3 years ago
- zkSNARK circuits for the Telepathy protocolβ53Updated 2 years ago
- π Finalist of ETHGlobal FVM Space Warp Hackβ27Updated 2 years ago
- ECDSA gadgets for plonky2β19Updated 2 years ago
- Some very rough benchmarks between sha256 circuits in different proving systemsβ52Updated 3 years ago
- A repository for the Leela VS the World project for On-Chain machine learningβ19Updated last year
- β39Updated 2 years ago
- BN254 Pairing Implementation in Noirβ23Updated 2 years ago
- A toolkit to compile and debug circom circuit.β27Updated 2 years ago
- neural network inference standard for zero-knowledge-proof systemsβ34Updated 2 years ago
- A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program executionβ¦β38Updated 2 years ago
- Using folding schemes for a provable bitcoin light clientβ34Updated last year
- β27Updated 3 years ago
- β33Updated last year
- Benchmarking Polynomial Commitmentsβ50Updated 2 years ago
- a sketch of what a zkvm could look likeβ26Updated 4 years ago
- A Solidity implementation of Halo2's Pasta curvesβ50Updated 2 years ago
- β17Updated 2 years ago
- Circuits for Pluto's `web-prover`β24Updated 6 months ago
- Pairing-friendly elliptic curve libraryβ24Updated last year
- β33Updated 2 years ago
- Minimal Yul Transpilation to the Miden VMβ52Updated 2 years ago
- β17Updated 3 months ago
- β19Updated 3 years ago
- β29Updated this week
- Cryptographic protocolsβ38Updated 2 years ago
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworksβ16Updated 2 years ago
- Starknet sequencer built with Tendermint Coreβ53Updated 2 years ago