Alternatives and similar repositories for automata-sgx-sdk

Users that are interested in automata-sgx-sdk are comparing it to the libraries listed below

• automata-network / automata-dcap-attestation
  This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems
  ☆41Updated last week
• JumpCrypto / plonky2-crypto
  Crypto Gadgets for Plonky2
  ☆73Updated last year
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆68Updated this week
• automata-network / sgx-prover
  SGX implementation of the TEE prover used in the Automata Multi-Prover AVS
  ☆29Updated last month
• amiller / dstack-vm
  ☆25Updated 11 months ago
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆81Updated last year
• boundless-xyz / kailua
  The Ultimate ZK Proving Software Suite for Securing OP Rollups
  ☆49Updated this week
• succinctlabs / hypercube-verifier
  ☆40Updated 3 months ago
• yetanotherco / zkRust
  ☆42Updated 10 months ago
• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆61Updated last year
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆61Updated last year
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated last year
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆58Updated 9 months ago
• ethereum-optimism / asterisc
  RISC-V interactive fault proof tech
  ☆104Updated 3 months ago
• flashbots / flashbox
  ☆64Updated 7 months ago
• privacy-scaling-explorations / zkvm-ideas
  A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team
  ☆36Updated 2 years ago
• PufferFinance / rave
  Remote Attestation VErification
  ☆34Updated last year
• spire-labs / based-stack
  The Spire Based Stack
  ☆19Updated last week
• axiom-crypto / axiom-eth
  ☆94Updated last year
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆44Updated 2 years ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• zkCollective / zk-Harness
  Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
  ☆101Updated 9 months ago
• succinctlabs / gnark-plonky2-verifier
  ☆102Updated last year
• hashcloak / fhe_risc0_zkvm
  FHE in the Risc0 zkVM
  ☆25Updated last year
• grandinetech / rust-kzg
  Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)
  ☆126Updated 4 months ago
• plume-sig / zk-nullifier-sig
  Implementation of ERC 7524 - PLUME for ECDSA Nullifiers
  ☆138Updated 2 months ago
• NebraZKP / upa
  UPA is the proof aggregation engine built by NEBRA team.
  ☆34Updated 4 months ago
• 0xPolygonZero / zk_evm
  ☆97Updated 4 months ago
• thor314 / pebble-stark
  A community-developed re-implementation of the Starkware Stone Prover
  ☆69Updated 10 months ago
• lita-xyz / reth-valida
  revm/reth block proving on Valida
  ☆15Updated 6 months ago