zk-ml / research
repository for machine learning algorithms and systems on emergent runtimes
☆22Updated last year
Related projects ⓘ
Alternatives and complementary repositories for research
- Zero-knowledge gadget for Sparse Merkle Tree.☆20Updated 2 years ago
- neural network inference standard for zero-knowledge-proof systems☆33Updated last year
- Foundry project for the RLN☆17Updated last year
- FHE in the Risc0 zkVM☆25Updated last year
- ☆10Updated last year
- Cryptography libraries for ZKsync☆20Updated this week
- a simple implementation of the KZG polynomial commitment scheme☆26Updated 3 years ago
- Solidity source debugger built around EthereumJS☆23Updated 2 weeks ago
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Updated last year
- A Cairo VM prover implemented using Winterfell☆16Updated last year
- https://eprint.iacr.org/2020/1516.pdf☆19Updated last year
- Base64 decoding circuit in halo2☆14Updated last year
- Historical L1Block snapshotter for OP Stack chains☆16Updated last year
- ☆36Updated 2 years ago
- A list of awesome Cairo and STARK-adjacent projects☆16Updated 2 years ago
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆30Updated last month
- ☆18Updated last year
- Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr☆28Updated last year
- Scikit-learn compatible Python library for generating ZK proofs of execution☆18Updated last year
- ☆32Updated last year
- ☆14Updated 2 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Single owner authorization with zk-based two-factor-authorization.☆18Updated 2 years ago
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- zkSNARK circuits for the Telepathy protocol☆51Updated last year
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Updated 10 months ago
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated last year
- compiler tooling for Stark-based zkVMs☆15Updated last year