SeiyaKobayashi / zkml-optimizationLinks
Optimization for on-chain private machine learning.
☆13Updated 2 years ago
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☆101Updated 9 months ago
- 翻譯區塊鏈相關專有名詞☆11Updated 5 months ago
- A minimal KZG polynominal commitment library with a Solidity verifier☆72Updated 2 years ago
- Circom interpreter to arithmetic circuit description☆58Updated last year
- Email verification circuit in halo2☆68Updated last year
- Solidity implementation of Nova proving system verifier☆66Updated last year
- Proving physical interactions with digital signatures☆32Updated last year
- Anonymous Proof of Ethereum Address Ownership☆43Updated last year
- Poseidon hash function implemented in Solidity☆58Updated last year
- keccak256 hash implementation in Circom☆83Updated 3 years ago
- ☆89Updated 3 years ago
- ☆45Updated 2 years ago
- Implementation of ERC 7524 - PLUME for ECDSA Nullifiers☆139Updated 5 months ago
- Benchmarks of popular zkVMs including Jolt☆63Updated last year
- Provides tools for testing circom circuits.☆66Updated 5 months ago
- Step by step implementation of KZG☆19Updated last year
- A toolkit to compile and debug circom circuit.☆27Updated 2 years ago
- Monorepo for Summa Proof of Solvency Protocol☆98Updated last year
- A system for managing privacy-preserving groups.☆76Updated 7 months ago
- Private authentic photo sharing using ZKP☆25Updated 2 years ago
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆81Updated 2 weeks ago
- ☆94Updated last year
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆101Updated 11 months ago
- Kate commitment based PLONK recursive aggregation circuit☆42Updated last year
- The MPC suite of tools for conducting zkSNARK Phase 2 Trusted Setup ceremonies☆103Updated 4 months ago
- A(n almost) complete atlas of contemporary Zero-Knowledge Proof technologies☆15Updated 3 years ago
- ☆24Updated 8 months ago
- Batch ECDSA in circom☆34Updated 3 years ago
- fast zksnark prover☆118Updated last year
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆66Updated last year