Alternatives and similar repositories for zk-remote-attestation

Users that are interested in zk-remote-attestation are comparing it to the libraries listed below

• LBruyne / Scalable-Collaborative-zkSNARK
  Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.
  ☆52Updated last week
• jdwhite48 / groth-sahai-rs
  A Rust library for the Groth-Sahai non-interactive witness-indistinguishable and zero-knowledge proof system
  ☆13Updated 3 months ago
• hashcloak / noir-mpc-ml
  Publicly Verifiable & Private Collaborative ML Model Training in Noir
  ☆12Updated 5 months ago
• Yoii-Inc / zk-mpc
  ☆27Updated 2 months ago
• weijiekoh / elgamal-babyjub
  ☆23Updated 4 years ago
• lattirust / lattirust
  ☆58Updated 2 months ago
• mmaker / tinybear
  ☆26Updated 5 months ago
• Electron-Labs / aes-circom
  AES-GCM implementation in Circom
  ☆38Updated 2 years ago
• jeong0982 / gkr
  zero knowledge proof aggregator for general circuit
  ☆72Updated last year
• zama-ai / verifiable-fhe-paper
  Verifiable FHE prototype
  ☆25Updated 11 months ago
• zkFHE / circomlib-fhe
  Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption
  ☆43Updated 3 months ago
• guruvamsi-policharla / zksaas
  A prototype implementation of the zksaas protocol for distributed zkSNARK generation
  ☆27Updated last year
• cryptonetlab / testudo
  Testudo: Spartan + Groth16
  ☆52Updated last year
• sunblaze-ucb / Orion
  ☆27Updated 2 years ago
• Koukyosyumei / zkFuzz
  ZK Circuit Fuzzer
  ☆23Updated last week
• Veridise / circom2llvm
  Compile circom code to llvm partially
  ☆12Updated 2 years ago
• zkemail / asn1-parser-circom
  Circom ASN.1 Parser
  ☆20Updated last year
• zkFHE / ringSNARK
  An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements
  ☆38Updated last year
• b-wagn / hash-sig
  Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf
  ☆29Updated last week
• NP-Eng / ligero
  Rust implementation of (the non-interactive, non-ZK version of) the Ligero SNARK for arithmetic circuits.
  ☆15Updated 9 months ago
• brave-experiments / DiStefano
  An implementation of the 'DiStefano: Decentralized Infrastructure for Sharing Trusted Encrypted Facts and Nothing More' protocol.
  ☆34Updated 2 months ago
• lattice-based-zkSNARKs / lattice-zksnark
  lattice-based zkSNARKs over libsnark [ISW21]
  ☆34Updated 9 months ago
• lattice-dogs / labrador
  ☆43Updated 5 months ago
• kobigurk / legogro16
  LegoGroth16 implementation on top of Zexe
  ☆24Updated 3 years ago
• geometryxyz / protostar
  ☆51Updated last year
• arnaucube / protogalaxy-poc
  ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf
  ☆41Updated last year
• zhenfeizhang / larkworks
  a lattice lib for building snarks
  ☆21Updated last year
• TrishaDatta / circom-circuits
  ☆23Updated 2 years ago
• lurk-lab / circom-scotia
  ☆21Updated last year
• NethermindEth / latticefold
  A lattice-based non-interactive folding scheme written in Rust
  ☆88Updated last week