Alternatives and similar repositories for amd-sev-snp-attestation-sdk

Users that are interested in amd-sev-snp-attestation-sdk are comparing it to the libraries listed below

• automata-network / automata-on-chain-pccs
  Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations
  ☆13Updated last 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…
  ☆24Updated 6 months ago
• tiktok-privacy-innovation / trustless-attestation-verification
  ☆49Updated 3 months ago
• automata-network / automata-dcap-attestation
  This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems
  ☆37Updated this week
• 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…
  ☆22Updated last week
• tiktok-privacy-innovation / trustless-attestation-verification-circom
  ☆53Updated 3 weeks ago
• automata-network / sgx-prover
  SGX implementation of the TEE prover used in the Automata Multi-Prover AVS
  ☆27Updated 3 months ago
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆60Updated last year
• risc0 / zirgen
  Zirgen compiler and RISC Zero circuits
  ☆96Updated this week
• succinctlabs / gnark-plonky2-verifier
  ☆99Updated 10 months ago
• NethermindEth / horus-checker
  Horus, a formal verification tool for StarkNet smart contracts.
  ☆74Updated last week
• succinctlabs / zkvm-perf
  ☆25Updated 5 months ago
• scroll-tech / ceno
  Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆116Updated this week
• PolyhedraZK / Expander
  Expander, an open-source GKR prover designed for scaling large-scale parallel computing.
  ☆114Updated this week
• ingonyama-zk / open-binius
  building blocks for accelerating ZK proofs over binary fields
  ☆45Updated last week
• MystenLabs / mysticeti
  Mysticeti: Low-Latency DAG Consensus with Fast Commit Path
  ☆75Updated 2 weeks ago
• eniac / Reef
  Reef: A zkSNARK system for proving that a committed document matches a regex
  ☆74Updated last year
• 0xMiden / miden-node
  Reference implementation of the node for the Miden blockchain
  ☆66Updated this week
• quantstamp / halo2-analyzer
  SMT 2023 Submission; license pending
  ☆55Updated 7 months ago
• lambdaclass / cairo_native
  A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
  ☆127Updated this week
• starkoracles / zkos
  Cross-zk-rollup aggregation
  ☆60Updated 2 years ago
• coset-io / zk-insights
  The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights
  ☆47Updated 6 months ago
• anoma / zkp-compiler-shootout
  Evaluating & benchmarking ZKP compilation strategies.
  ☆121Updated last year
• gakonst / awesome-sp1
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆109Updated 3 months ago
• flashbots / geth-sgx-gramine
  Geth-in-SGX provides an example of running go-ethereum in SGX
  ☆75Updated last year
• rutefig / zklings
  👽 Small exercises to get you used to ZK fundamentals!
  ☆33Updated 4 months ago
• ethproofs / ethproofs
  SNARKifying Ethereum
  ☆103Updated last week
• sec-bit / mle-pcs
  A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes
  ☆24Updated last week
• MatteoMer / any-zkvm
  A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use
  ☆53Updated 2 months ago
• alloy-rs / trie
  Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles
  ☆135Updated last week