zk-ml / research
repository for machine learning algorithms and systems on emergent runtimes
☆22Updated last year
Alternatives and similar repositories for research:
Users that are interested in research are comparing it to the libraries listed below
- https://eprint.iacr.org/2020/1516.pdf☆19Updated 2 years ago
- On-Chain Experiment Hub☆14Updated 2 years ago
- Base64 decoding circuit in halo2☆14Updated last year
- Write Zero Knowledge Circuits in Solidity☆13Updated last year
- ZK Theorem Proving☆10Updated 5 months ago
- Historical L1Block snapshotter for OP Stack chains☆16Updated last year
- ☆10Updated 2 years ago
- ECDSA gadgets for plonky2☆17Updated last year
- Zero-knowledge gadget for Sparse Merkle Tree.☆20Updated 2 years ago
- A Cairo VM prover implemented using Winterfell☆16Updated last year
- Foundry project for the RLN☆17Updated last year
- Proof of concept implementation of sumcheck over fields of small characteristics.☆12Updated 2 months ago
- powdr application running Ethereum tests via revm☆17Updated 6 months ago
- Single owner authorization with zk-based two-factor-authorization.☆18Updated 2 years ago
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Updated last year
- Demo application for circomlib-ml☆10Updated last year
- ☆17Updated last year
- A list of awesome Cairo and STARK-adjacent projects☆16Updated 2 years ago
- ☆12Updated 2 years ago
- Better assertion macros for pure Huff tests.☆19Updated last year
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated last year
- a simple implementation of the KZG polynomial commitment scheme☆26Updated 3 years ago
- A persistent, robust, and composable proposal service for rollup stacks written in pure rust.☆18Updated last year
- ☆10Updated last year
- Solidity verifier for Recursive Proof Composition using Plonk☆12Updated 3 years ago
- ☆10Updated last year
- Gather blocks and headers from an ethers provider☆17Updated 2 years ago
- ☆23Updated last year