Alternatives and similar repositories for zk-remote-attestation

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

• Veridise / circom2llvm
  Compile circom code to llvm partially
  ☆12Updated 2 years ago
• LBruyne / Scalable-Collaborative-zkSNARK
  Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.
  ☆53Updated last month
• guruvamsi-policharla / zksaas
  A prototype implementation of the zksaas protocol for distributed zkSNARK generation
  ☆27Updated last year
• Yoii-Inc / zk-mpc
  ☆29Updated 2 months ago
• Electron-Labs / aes-circom
  AES-GCM implementation in Circom
  ☆38Updated 3 years ago
• mmaker / tinybear
  ☆26Updated 6 months ago
• jdwhite48 / groth-sahai-rs
  A Rust library for the Groth-Sahai non-interactive witness-indistinguishable and zero-knowledge proof system
  ☆13Updated 4 months ago
• zkFHE / circomlib-fhe
  Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption
  ☆43Updated 3 months ago
• rozbb / zkcreds-rs
  ☆68Updated 2 years ago
• lattirust / lattirust
  ☆58Updated 3 months ago
• TrishaDatta / circom-circuits
  ☆23Updated 2 years ago
• lattice-dogs / labrador
  ☆43Updated 6 months ago
• jeong0982 / gkr
  zero knowledge proof aggregator for general circuit
  ☆72Updated last year
• zama-ai / verifiable-fhe-paper
  Verifiable FHE prototype
  ☆25Updated last year
• dreamATD / pianist-gnark
  The implementation of Pianist (a distributed variant of Plonk) based on gnark.
  ☆37Updated last year
• zhenfeizhang / larkworks
  a lattice lib for building snarks
  ☆21Updated last year
• NethermindEth / latticefold
  A lattice-based non-interactive folding scheme written in Rust
  ☆101Updated last week
• lattice-based-zkSNARKs / lattice-zksnark
  lattice-based zkSNARKs over libsnark [ISW21]
  ☆34Updated 10 months ago
• hashcloak / noir-mpc-ml
  Publicly Verifiable & Private Collaborative ML Model Training in Noir
  ☆12Updated 6 months ago
• lattice-complete / Lazarus
  A Framework of Lattice-based Zero-knowledge Arguments in Rust
  ☆65Updated 7 months ago
• zkFHE / ringSNARK
  An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements
  ☆38Updated last year
• arkworks-rs / gemini
  An elastic proof system based on arkworks
  ☆85Updated last year
• geometryxyz / protostar
  ☆51Updated last year
• tangle-network / zk-SaaS
  zkSNARKs as a service using secure multi-party computation.
  ☆31Updated last year
• cryptonetlab / testudo
  Testudo: Spartan + Groth16
  ☆52Updated last year
• guruvamsi-policharla / zkpot
  A prototype implementation of zero-knowledge proofs of training introduced in eprint:2023/1345
  ☆13Updated last year
• Koukyosyumei / zkFuzz
  ZK Circuit Fuzzer
  ☆24Updated last month
• alex-ozdemir / collaborative-zksnark
  Prototype implementations of various Collaborative zkSNARKs.
  ☆127Updated 3 months ago
• sunblaze-ucb / Libra
  Libra zero knowledge proof system
  ☆54Updated 2 years ago
• weijiekoh / elgamal-babyjub
  ☆23Updated 4 years ago