cspr-rad / kairos-trieLinks
☆12Updated last year
Alternatives and similar repositories for kairos-trie
Users that are interested in kairos-trie are comparing it to the libraries listed below
Sorting:
- An advanced fork of Nova (contact:@huitseeker)☆85Updated 6 months ago
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆39Updated last month
- Evaluating & benchmarking ZKP compilation strategies.☆121Updated last year
- A domain-specific language for writing AIR constraints for STARKs☆89Updated last week
- Cross-zk-rollup aggregation☆60Updated 2 years ago
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆76Updated 7 months ago
- A collection of ZK light client libraries for various blockchains☆58Updated 9 months ago
- cairo-vm_in_C is a C implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writ…☆20Updated 2 years ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 10 months ago
- Elliptic Curve Fast Fourier Transform built on @arkworks-rs☆67Updated 2 years ago
- On-chain Ethereum light client built with SP1☆68Updated this week
- Mozak RISC-V Virtual Machine☆25Updated 5 months ago
- RISC-V ELF interpreter in cairo☆35Updated 10 months ago
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆119Updated this week
- A library for fast NTTs over the Goldilocks prime field☆81Updated 11 months ago
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆109Updated last year
- barretenburg in rust (here we go)☆98Updated last year
- A verifiable supercomputer☆72Updated 2 months ago
- ☆51Updated this week
- A SNARK using towers of binary fields, implemented in Rust☆123Updated 3 weeks ago
- Tower-based ABCI interface.☆76Updated 6 months ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆55Updated 4 months ago
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆120Updated 2 years ago
- KZG commitments over BLS12-381☆36Updated 2 years ago
- A Language Server Protocol Implementation for Circom☆31Updated 2 years ago
- A battleship game using ZKPs☆43Updated last year
- ☆123Updated 10 months ago
- Testudo: Spartan + Groth16☆52Updated last year
- Noir implementation of RSA-verify☆43Updated last year