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 2 months ago
• 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
• quantstamp / halo2-analyzer
  SMT 2023 Submission; license pending
  ☆56Updated 8 months ago
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆61Updated last year
• franklynwang / EcneProject
  Ecne: An engine for verifying the soundness of R1CS constraints
  ☆111Updated 3 years ago
• sbellem / qtee
  Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.
  ☆44Updated 9 months ago
• NethermindEth / latticefold
  A lattice-based non-interactive folding scheme written in Rust
  ☆88Updated last week
• succinctlabs / gnark-plonky2-verifier
  ☆99Updated last year
• ingonyama-zk / zkctf-2023-writeups
  Write-ups submitted by CTF participants
  ☆35Updated 2 years ago
• erayack / awesome-sgx-blockchain
  Awesome SGX and TEE on Blockchain Resources
  ☆24Updated 2 years ago
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆85Updated last year
• emilianobonassi / zkFHE
  Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.
  ☆83Updated 2 years ago
• eniac / Reef
  Reef: A zkSNARK system for proving that a committed document matches a regex
  ☆74Updated last year
• geometryxyz / cq
  Let's go https://eprint.iacr.org/2022/1763.pdf
  ☆61Updated 2 years ago
• Yoii-Inc / zk-mpc
  ☆27Updated 2 months ago
• Electron-Labs / aes-circom
  AES-GCM implementation in Circom
  ☆38Updated 2 years ago
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• scroll-tech / ceno
  Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆118Updated this week
• enricobottazzi / zk-fhe
  Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme
  ☆113Updated last year
• lucasgleba / zkRiscV
  A Risc-V CPU implemented as a zk-SNARK
  ☆49Updated 2 years ago
• SoraSuegami / iOMaker
  [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf
  ☆35Updated 9 months ago
• lattice-complete / Lazarus
  A Framework of Lattice-based Zero-knowledge Arguments in Rust
  ☆63Updated 7 months ago
• pluto / aes-circuits
  Circom AES-GCM circuits
  ☆32Updated last month
• obliviouslabs / oram
  Oblivious key-value store based on Circuit ORAM
  ☆29Updated 4 months ago
• ingonyama-zk / open-binius
  building blocks for accelerating ZK proofs over binary fields
  ☆45Updated last month
• zkCert / halo2-zkcert
  Verify a chain of x509 certificates in halo2
  ☆31Updated last year
• philsippl / circom-witness-rs
  ☆61Updated last year
• MoeMahhouk / gramine-sealing-key-provider
  ☆12Updated 6 months ago
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated last year
• automata-network / automata-sgx-sdk
  The Automata SGX SDK is a software development kit designed to help users quickly build secure enclaves on the Intel SGX platform using R…
  ☆25Updated 7 months ago