Alternatives and similar repositories for trustless-attestation-verification

Users that are interested in trustless-attestation-verification are comparing it to the libraries listed below

• tiktok-privacy-innovation / trustless-attestation-verification-circom
  ☆54Updated last month
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆60Updated last year
• franklynwang / EcneProject
  Ecne: An engine for verifying the soundness of R1CS constraints
  ☆109Updated 2 years ago
• Yoii-Inc / zk-mpc
  ☆27Updated last month
• scroll-tech / ceno
  Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆117Updated last week
• eniac / Reef
  Reef: A zkSNARK system for proving that a committed document matches a regex
  ☆74Updated last year
• lucasgleba / zkRiscV
  A Risc-V CPU implemented as a zk-SNARK
  ☆49Updated 2 years ago
• sbellem / qtee
  Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.
  ☆44Updated 8 months ago
• ingonyama-zk / open-binius
  building blocks for accelerating ZK proofs over binary fields
  ☆45Updated 3 weeks ago
• LBruyne / Scalable-Collaborative-zkSNARK
  Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.
  ☆50Updated last week
• Veridise / Coda
  ☆47Updated last year
• quantstamp / halo2-analyzer
  SMT 2023 Submission; license pending
  ☆56Updated 7 months ago
• NebraZKP / upa
  UPA is the proof aggregation engine built by NEBRA team.
  ☆33Updated 2 months ago
• zk-ml / tachikoma
  neural network inference standard for zero-knowledge-proof systems
  ☆34Updated last year
• emilianobonassi / zkFHE
  Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.
  ☆83Updated 2 years ago
• BrianSeong99 / Plonky3_Fibonacci
  This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.
  ☆34Updated 2 weeks ago
• enricobottazzi / zk-fhe
  Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme
  ☆113Updated last year
• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆42Updated last year
• geometryxyz / cq
  Let's go https://eprint.iacr.org/2022/1763.pdf
  ☆61Updated 2 years ago
• obliviouslabs / oram
  Oblivious key-value store based on Circuit ORAM
  ☆29Updated 3 months ago
• morgana-proofs / hashcaster
  Frobenius sumcheck for vectorized boolean ops
  ☆54Updated 3 months ago
• tangle-network / zk-SaaS
  zkSNARKs as a service using secure multi-party computation.
  ☆31Updated last year
• recmo / goldilocks
  A library for fast NTTs over the Goldilocks prime field
  ☆79Updated 9 months ago
• MachinaIO / diamond-io
  Diamond iO implementation https://eprint.iacr.org/2025/236
  ☆74Updated this week
• ingonyama-zk / zkctf-2023-writeups
  Write-ups submitted by CTF participants
  ☆35Updated 2 years ago
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆77Updated last year
• privacy-scaling-explorations / greco
  ☆76Updated 6 months ago
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• zkCert / halo2-zkcert
  Verify a chain of x509 certificates in halo2
  ☆31Updated last year
• privacy-scaling-explorations / zk-kit.circom
  A monorepo of reusable Circom circuits.
  ☆26Updated 2 weeks ago