SeiyaKobayashi / zkml-optimization
Optimization for on-chain private machine learning.
☆13Updated last year
Alternatives and similar repositories for zkml-optimization:
Users that are interested in zkml-optimization are comparing it to the libraries listed below
- A Zero-Knowledge Protocol for Provable User Data Management☆98Updated 3 months ago
- 翻譯區塊鏈相關專有名詞☆11Updated last month
- ☆41Updated last year
- Benchmarks of popular zkVMs including Jolt☆59Updated 9 months ago
- ☆87Updated 2 years ago
- Anonymous Proof of Ethereum Address Ownership☆44Updated 4 months ago
- circom language server☆19Updated last week
- Provides tools for testing circom circuits.☆56Updated 7 months ago
- Email verification circuit in halo2☆66Updated 6 months ago
- An anonymous social media platform.☆23Updated last year
- Old, obsolete version of the Valida compiler; its replacement will become public later☆50Updated last year
- ☆44Updated last year
- Implements hermez network zk-Snarks circuits☆56Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- Poseidon hash function implemented in Solidity☆44Updated 5 months ago
- A minimal KZG polynominal commitment library with a Solidity verifier☆69Updated last year
- Gas-efficient and blazing fast proving for private signaling☆81Updated 11 months ago
- CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.☆49Updated last year
- A Cryptographic Library for Smooth Blockchain uses☆68Updated last month
- neural network inference standard for zero-knowledge-proof systems☆34Updated last year
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆59Updated last month
- Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.☆81Updated last year
- A circuit to verify the voice recovery process.☆49Updated last year
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆34Updated 2 years ago
- Batch ECDSA in circom☆33Updated 2 years ago
- ☆64Updated 6 months ago
- Nova: Recursive SNARKs without trusted setup☆42Updated last year
- Verify a chain of x509 certificates in halo2☆31Updated last year
- ☆95Updated 5 months ago
- FHE in the Risc0 zkVM☆25Updated last year