Alternatives and similar repositories for automata-on-chain-pccs

Users that are interested in automata-on-chain-pccs 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
  ☆50Updated this week
• 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…
  ☆28Updated last year
• boundless-xyz / kailua
  The Ultimate ZK Proving Software Suite for Securing OP Rollups
  ☆63Updated last week
• eth-act / ere
  Unified zkVM Interface & Toolkit
  ☆69Updated this week
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆63Updated last year
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆79Updated 2 years ago
• gakonst / awesome-sp1
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆111Updated 10 months ago
• automata-network / tee-builder
  ☆26Updated 2 years ago
• thor314 / pebble-stark
  A community-developed re-implementation of the Starkware Stone Prover
  ☆69Updated last year
• JumpCrypto / plonky2-crypto
  Crypto Gadgets for Plonky2
  ☆77Updated last year
• MoeMahhouk / gramine-sealing-key-provider
  ☆15Updated 11 months ago
• pluto / caratls
  Browser-based Remote Attestation to TDX
  ☆15Updated 11 months ago
• ithacaxyz / op-rs
  ☆66Updated 2 months ago
• automata-network / sgx-prover
  SGX implementation of the TEE prover used in the Automata Multi-Prover AVS
  ☆29Updated 6 months ago
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆80Updated last month
• automata-network / tdx-attestation-sdk
  The Automata TDX Attestation SDK is a software development kit designed to help users generate the Intel TDX Quote using Rust across diff…
  ☆30Updated last month
• scroll-tech / ceno
  Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆132Updated this week
• crate-crypto / go-eth-kzg
  ☆32Updated last week
• succinctlabs / hypercube-verifier
  ☆46Updated last month
• iykyk-syn / unison
  Consensus nodes performing in unison!
  ☆32Updated last year
• maxgillett / halo2-fri-gadget
  A FRI verifier circuit for the Halo2 proof system
  ☆77Updated 2 years ago
• flashbots / geth-sgx-gramine
  Geth-in-SGX provides an example of running go-ethereum in SGX
  ☆76Updated last year
• succinctlabs / kzg-rs
  Rust implementation of KZG point evaluation
  ☆35Updated 5 months ago
• succinctlabs / sp1-tee
  ☆26Updated 3 months ago
• matter-labs / zk_os
  OS for next iteration of the world computer
  ☆43Updated 2 years ago
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated last year
• starkoracles / zkos
  Cross-zk-rollup aggregation
  ☆61Updated 2 years ago
• privacy-ethereum / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆44Updated 2 years ago
• leanEthereum / leanMultisig
  Minimal zkVM, targeting XMSS aggregation and recursion.
  ☆63Updated last week
• valida-xyz / valida-compiler
  Old, obsolete version of the Valida compiler; its replacement will become public later
  ☆51Updated 2 years ago