Alternatives and similar repositories for kairos-trie:

Users that are interested in kairos-trie are comparing it to the libraries listed below

• reilabs / gnark-lean-extractor
  A tool to extract gnark circuits defined in Go to Lean for formal verification.
  ☆10Updated 6 months ago
• lurk-lang / arecibo
  An advanced fork of Nova (contact:@huitseeker)
  ☆79Updated this week
• Orbis-Tertius / tiny-ram-halo2
  A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…
  ☆37Updated 2 years ago
• lurk-lab / lurk
  Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …
  ☆58Updated this week
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• ICME-Lab / zkEngine_dev
  A cutting edge zkWASM based on Nova-NIVC type folding techniques
  ☆22Updated this week
• massalabs / riscairo
  RISC-V ELF interpreter in cairo
  ☆35Updated 3 months ago
• arkworks-rs / pcd
  Implementations of proof-carrying data
  ☆33Updated 2 years ago
• pluto / aes-circuits
  Circom AES-GCM circuits
  ☆27Updated 3 months ago
• arkworks-rs / nimue
  Fiat-Shamir for the masses.
  ☆50Updated 3 weeks ago
• andrewmilson / ecfft
  Elliptic Curve Fast Fourier Transform built on @arkworks-rs
  ☆67Updated last year
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆46Updated last month
• CharmsDev / polymath
  Polymath: Groth16 Is Not The Limit
  ☆29Updated 4 months ago
• clvv / rcc
  ☆24Updated last year
• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆53Updated last year
• TritonVM / tasm-lang
  Writing tasm with Rust syntax
  ☆14Updated 4 months ago
• arkworks-rs / spartan
  Spartan on Arkworks
  ☆40Updated last month
• maxgillett / halo2-fri-gadget
  A FRI verifier circuit for the Halo2 proof system
  ☆76Updated last year
• cryptonetlab / testudo
  Testudo: Spartan + Groth16
  ☆51Updated 11 months ago
• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆34Updated last week
• recmo / pc-bench
  Benchmarking Polynomial Commitments
  ☆47Updated last year
• matter-labs / rescue-poseidon
  Rescue and Poseidon hash function implementations
  ☆42Updated 5 months ago
• lambdaclass / era_vm
  EraVM implementation
  ☆20Updated 4 months ago
• xJonathanLEI / oriac
  A toy Cairo VM implementation in Rust™
  ☆72Updated 2 years ago
• halo2-ce / halo2
  ☆28Updated last year
• succinctlabs / zkvm-perf
  ☆19Updated last week
• starkoracles / zkos
  Cross-zk-rollup aggregation
  ☆59Updated last year
• penumbra-zone / jmt
  An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree
  ☆47Updated last month
• greenhat / omnizk
  Compiler framework for ZK VMs
  ☆33Updated last year
• scroll-tech / ceno
  Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆78Updated last week