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
  ☆33Updated 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…
  ☆23Updated 3 months ago
• automata-network / automata-dcap-v3-attestation
  ☆25Updated 6 months ago
• automata-network / sgx-prover
  SGX implementation of the TEE prover used in the Automata Multi-Prover AVS
  ☆27Updated 2 weeks ago
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• automata-network / tee-builder
  ☆26Updated last year
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆79Updated last year
• risc0 / kailua
  The Ultimate ZK Fault/Validity Proof Software Suite for Securing Rollups
  ☆37Updated this week
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated 8 months ago
• Ethan-000 / halo2_backend
  ☆38Updated last year
• leonardoalt / evm
  Simple EVM implementation in [no_std] Rust to be used in Powdr.
  ☆17Updated last year
• 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…
  ☆20Updated last week
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆59Updated 11 months ago
• 0x3327 / SKProof
  Scikit-learn compatible Python library for generating ZK proofs of execution
  ☆18Updated last month
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆55Updated last year
• NebraZKP / upa
  UPA is the proof aggregation engine built by NEBRA team.
  ☆30Updated this week
• arkworks-rs / sumcheck
  linear-time sumcheck protocol for multilinear polynomials and related addends
  ☆65Updated 5 months ago
• summa-dev / halo2-experiments
  For practice to using halo2
  ☆22Updated last year
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆39Updated last year
• worldcoin / semaphore-mtb
  semaphore-mtb repository
  ☆32Updated last month
• pluto / aes-circuits
  Circom AES-GCM circuits
  ☆29Updated last week
• personaelabs / merkle-tree
  ☆31Updated last year
• sambarnes / noir-by-example
  an introduction to noir, with simple examples
  ☆43Updated last year
• starkoracles / zkos
  Cross-zk-rollup aggregation
  ☆60Updated 2 years ago
• MoeMahhouk / gramine-sealing-key-provider
  ☆11Updated last month
• zhenfeizhang / pasta-solidity
  A Solidity implementation of Halo2's Pasta curves
  ☆49Updated 2 years ago
• pluto / edge
  client side proving
  ☆28Updated 2 weeks ago
• amiller / dstack-vm
  ☆20Updated 6 months ago
• privacy-scaling-explorations / zkvm-ideas
  A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team
  ☆37Updated last year
• DoHoonKim8 / stark-verifier
  ☆49Updated last year