SeiyaKobayashi / zkml-optimizationLinks
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
Sorting:
- A Zero-Knowledge Protocol for Provable User Data Management☆100Updated 4 months ago
- 翻譯區塊鏈相關專有名詞☆11Updated 2 weeks ago
- Groth16 over ICICLE☆31Updated this week
- Educational Version of Lookup Argument☆12Updated 2 months ago
- Benchmarks of popular zkVMs including Jolt☆60Updated last year
- Solidity implementation of Nova proving system verifier☆63Updated last year
- keccak256 hash implementation in Circom☆80Updated 3 years ago
- Implements hermez network zk-Snarks circuits☆56Updated last year
- Email verification circuit in halo2☆68Updated 11 months ago
- Lowering client-side proving cost for private ZK signatures in circom☆109Updated 2 years ago
- Gas-efficient and blazing fast proving for private signaling☆82Updated last year
- A minimal KZG polynominal commitment library with a Solidity verifier☆71Updated last year
- Create MPC apps with TypeScript.☆48Updated last month
- Provides tools for testing circom circuits.☆61Updated 2 weeks ago
- ☆45Updated last month
- Implementation of Plonk by Hand in rust☆61Updated last year
- Proving physical interactions with digital signatures☆33Updated 10 months ago
- Implementation of ERC 7524 - PLUME for ECDSA Nullifiers☆137Updated 3 weeks ago
- Circom interpreter to arithmetic circuit description☆55Updated 9 months ago
- Poseidon hash function implemented in Solidity☆50Updated 10 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆25Updated last year
- A PoC repo for a HyperNova impl☆83Updated last year
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆34Updated 2 years ago
- A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…☆95Updated last week
- zero knowledge proof aggregator for general circuit☆72Updated last year
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆51Updated last year
- ☆42Updated last year
- A collection of the Notes on the Nova folding scheme explained from scratch☆28Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year