agencyenterprise / zkgraph-bnb-hack
A zkml framework based on the Libra procotol for proving onnx and general numpy computations built with pure python.
☆48Updated last month
Related projects ⓘ
Alternatives and complementary repositories for zkgraph-bnb-hack
- ☆45Updated 3 years ago
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆75Updated this week
- Verifiable FHE prototype☆17Updated 3 months ago
- Implementations of protocols from the book 'Proofs, Arguments and Zero Knowledge'☆13Updated 2 weeks ago
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆34Updated 11 months ago
- Big integer arithmetic // secp256k1 & additional P256 ECC operations in circom☆12Updated 11 months ago
- We are a community of researchers and developers interested in advancing homomorphic encryption and other secure computation techniques.☆49Updated this week
- ☆51Updated last month
- SysX☆15Updated 7 months ago
- Rust library for ZKBoogie, ZKBoo-based ZKP scheme optimized for client-side proving and its recursion.☆12Updated 5 months ago
- SHA512 Circom circuits☆15Updated last year
- Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.☆42Updated this week
- A GKR-based zero-knowledge proof protocol for CNN model inference.☆70Updated last year
- Private and Reliable Neural Network Inference (CCS '22)☆18Updated last year
- Reference implementation in Python of Poseidon and optimized Poseidon (Neptune) hash functions☆76Updated 11 months ago
- zkDL, an open source toolkit for zero-knowledge proofs of deep learning powered by CUDA☆34Updated 11 months ago
- Prototype implementations of various Collaborative zkSNARKs.☆111Updated 8 months ago
- ☆23Updated 2 years ago
- ☆46Updated this week
- Fast, High-Rate Single-Server PIR via FHE Composition☆28Updated 2 years ago
- Circom Circuits Library for Machine Learning☆164Updated 4 months ago
- An efficient interactive zero-knowledge proof scheme based on GKR in terms of unlayered circuit.☆15Updated last year
- Zama Bounty Program: Contribute to the FHE space and Zama's open source libraries and get rewarded 💰☆244Updated last month
- Reef: A zkSNARK system for proving that a committed document matches a regex☆63Updated 4 months ago
- A python library for ElGamal-based threshold decryption.☆36Updated 7 months ago
- Verifying a 512-layer CNN w/ Nova☆155Updated last year
- Connect with ZK Summit 11 attendees by tapping NFC cards to share digital signatures☆20Updated 5 months ago
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/ZKPedia☆71Updated 2 months ago
- Constant-weight PIR using Constant-weight Equality Operators☆21Updated 2 years ago
- Incremental Offline/Online PIR☆14Updated 7 months ago