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
  ☆36Updated this week
• automata-network / automata-on-chain-pccs
  Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations
  ☆13Updated last month
• automata-network / sgx-prover
  SGX implementation of the TEE prover used in the Automata Multi-Prover AVS
  ☆27Updated 2 months ago
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆90Updated this week
• automata-network / automata-dcap-v3-attestation
  ☆25Updated 8 months ago
• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆59Updated 9 months ago
• amiller / dstack-vm
  ☆24Updated 7 months ago
• DelphinusLab / zkWasm-host-circuits
  ☆25Updated last week
• JumpCrypto / plonky2-crypto
  Crypto Gadgets for Plonky2
  ☆71Updated last year
• Consensys / gkr-mimc
  gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation
  ☆25Updated 10 months ago
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆80Updated last year
• yetanotherco / zkRust
  ☆40Updated 6 months ago
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• gakonst / awesome-sp1
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆109Updated 2 months ago
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆49Updated this week
• matter-labs / recursive_aggregation_circuit
  Kate commitment based PLONK recursive aggregation circuit
  ☆40Updated last year
• Dhole / polyexen
  Polynomial Expression Engine
  ☆35Updated last year
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆51Updated 5 months ago
• MoeMahhouk / gramine-sealing-key-provider
  ☆12Updated 3 months ago
• flashbots / flashbox
  ☆64Updated 3 months ago
• maxgillett / halo2-fri-gadget
  A FRI verifier circuit for the Halo2 proof system
  ☆76Updated 2 years ago
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆59Updated last year
• DelphinusLab / continuation-batcher
  customizable halo2 circuits batcher
  ☆30Updated this week
• spire-labs / based-stack
  The Spire Based Stack
  ☆17Updated last week
• risc0 / kailua
  The Ultimate ZK Proving Software Suite for Securing OP Rollups
  ☆41Updated this week
• brevis-network / pico
  ☆45Updated this week
• Ethan-000 / halo2_backend
  ☆38Updated last year
• MachinaIO / diamond-io
  Diamond iO implementation https://eprint.iacr.org/2025/236
  ☆67Updated this week
• yetanotherco / zkvm_benchmarks
  ☆28Updated last month
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated 10 months ago