Alternatives and similar repositories for Terms:

Users that are interested in Terms are comparing it to the libraries listed below

• SeiyaKobayashi / zkml-optimization
  Optimization for on-chain private machine learning.
  ☆13Updated last year
• fluidex / snarkit
  A toolkit to compile and debug circom circuit.
  ☆28Updated last year
• gy001 / hypercube
  ☆40Updated last year
• lurk-lab / solidity-verifier
  Solidity implementation of Nova proving system verifier
  ☆60Updated last year
• lattice-complete / Lazarus
  A Framework of Lattice-based Zero-knowledge Arguments in Rust
  ☆48Updated 2 months ago
• privacy-scaling-explorations / nova-by-hand
  A collection of the Notes on the Nova folding scheme explained from scratch
  ☆28Updated 9 months ago
• jeong0982 / gkr
  zero knowledge proof aggregator for general circuit
  ☆72Updated 10 months ago
• namnc / circom-mp-spdz
  Circom to MP-SPDZ
  ☆17Updated 5 months ago
• dmpierre / plonky3-ccs
  ☆10Updated 6 months ago
• nooma-42 / pylookup
  Educational Version of Lookup Argument
  ☆11Updated 6 months ago
• zhenfeizhang / larkworks
  a lattice lib for building snarks
  ☆22Updated 10 months ago
• privacy-scaling-explorations / rln
  ☆18Updated 2 years ago
• geometryxyz / technical_notes
  A collection of technical notes from the Geometry research team.
  ☆47Updated last year
• lurk-lab / circom-scotia
  ☆20Updated last year
• alexander-camuto / rs-gkr
  ☆20Updated last year
• 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
• sunblaze-ucb / Orion
  ☆24Updated 2 years ago
• hero78119 / risc0-nova
  RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme
  ☆28Updated last year
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆59Updated 11 months ago
• ed255 / polyexen-demo
  Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits
  ☆30Updated last year
• ingonyama-zk / metal-poc
  Demonstrate zero cost memory transfer between CPU and GPU in Metal (for apple silicon)
  ☆12Updated 2 months ago
• privacy-scaling-explorations / nova-ml
  ☆24Updated last year
• privacy-scaling-explorations / sol-whir
  Solidity libraries and contracts for verifying WHIR proofs on the EVM.
  ☆25Updated 3 months ago
• NethermindEth / latticefold
  A lattice-based non-interactive folding scheme written in Rust
  ☆65Updated last week
• cursive-team / jubmoji.quest
  Proving physical interactions with digital signatures
  ☆32Updated 8 months ago
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• arnaucube / protogalaxy-poc
  ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf
  ☆40Updated last year
• chancehudson / ashlang
  ☆12Updated 5 months ago
• SoraSuegami / iOMaker
  [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf
  ☆28Updated 5 months ago
• arkworks-rs / ldt
  An `arkworks` library for low-degree testing
  ☆21Updated 6 months ago