Alternatives and similar repositories for enclave

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

• hashcloak / noir-mpc-ml
  Publicly Verifiable & Private Collaborative ML Model Training in Noir
  ☆12Updated 5 months ago
• 0xmozak / mozak-vm
  Mozak RISC-V Virtual Machine
  ☆25Updated 4 months ago
• geometryxyz / functional-commitment
  Implementation of efficient function-hiding functional commitments https://eprint.iacr.org/2021/1342
  ☆16Updated 2 years ago
• h-hafezi / kzh_fold
  ☆24Updated 2 weeks ago
• Yoii-Inc / zk-mpc
  ☆27Updated 2 months ago
• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆72Updated 6 months ago
• renegade-fi / ark-mpc
  A framework for SPDZ-style maliciously-secure MPC.
  ☆54Updated 6 months ago
• pluto / web-prover-circuits
  Circuits for Pluto's `web-prover`
  ☆22Updated 3 months ago
• pluto / caratls
  Browser-based Remote Attestation to TDX
  ☆16Updated 6 months ago
• geometryxyz / sparkworks
  Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama
  ☆10Updated 2 years ago
• pluto / aes-circuits
  Circom AES-GCM circuits
  ☆32Updated last week
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• morgana-proofs / hashcaster
  Frobenius sumcheck for vectorized boolean ops
  ☆56Updated 4 months ago
• Dhole / polyexen
  Polynomial Expression Engine
  ☆35Updated last year
• Janmajayamall / bfv
  ☆26Updated last year
• hashcloak / fhe_risc0_zkvm
  FHE in the Risc0 zkVM
  ☆25Updated last year
• crate-crypto / rust-eth-kzg
  ☆25Updated 3 weeks ago
• worldfnd / provekit
  Client side zero-knowledge proving.
  ☆76Updated this week
• joshbeal / derecho
  A Rust library for proof-carrying disclosures
  ☆21Updated last year
• geometryxyz / cq
  Let's go https://eprint.iacr.org/2022/1763.pdf
  ☆61Updated 2 years ago
• lambdaclass / simpleworks
  Arkworks made simple for us: the non cryptographer software plumbers
  ☆21Updated 2 years ago
• geometryxyz / proof-toolbox
  Cryptographic protocols
  ☆39Updated 2 years ago
• cryptonetlab / testudo
  Testudo: Spartan + Groth16
  ☆52Updated last year
• TaceoLabs / noir-poseidon
  ☆14Updated 2 weeks ago
• b-wagn / hash-sig
  Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf
  ☆29Updated this week
• iden3 / circom-witnesscalc
  ☆16Updated this week
• privacy-scaling-explorations / nova-bench
  A collection of comparison-benchmarks for Nova & related Proving systems
  ☆44Updated 2 years ago
• WizardOfMenlo / stir
  STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries
  ☆62Updated 9 months ago
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆26Updated last year
• TomWambsgans / Whirlaway
  A pqSNARK with lightweight proofs, powered by the Whir PCS.
  ☆24Updated this week