automata-network / amd-sev-snp-attestation-sdk
The Automata AMD SEV-SNP Attestation SDK is a software development kit designed to help users generate the AMD SEV-SNP Attestation Report using Rust across different cloud service providers, and generate Risc0 and SP1 ZK Proofs which can be verified on-chain. Powered by Automata
☆13Updated 4 months ago
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
Sorting:
- The Automata TDX Attestation SDK is a software development kit designed to help users generate the Intel TDX Quote using Rust across diff…☆21Updated last month
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆13Updated last month
- 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 4 months ago
- ☆47Updated last month
- This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems☆36Updated this week
- Horus, a formal verification tool for StarkNet smart contracts.☆74Updated 2 years ago
- Ecne: An engine for verifying the soundness of R1CS constraints☆110Updated 2 years ago
- ☆53Updated 3 months ago
- ☆24Updated 7 months ago
- Automated verification of uniqueness property for ZKP circuits☆41Updated 11 months ago
- Reef: A zkSNARK system for proving that a committed document matches a regex☆73Updated 10 months ago
- Automated verification of uniqueness property for ZKP circuits☆76Updated last year
- Expander Compiler☆36Updated this week
- SMT 2023 Submission; license pending☆55Updated 5 months ago
- Reference implementation of the node for the Miden blockchain☆63Updated this week
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆109Updated 2 months ago
- ☆99Updated 9 months ago
- A Symbolic Execution Tool for Cairo☆51Updated 2 years ago
- Private Attestations for Mina wallets☆13Updated last month
- A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.☆126Updated this week
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆107Updated this week
- Diamond iO implementation https://eprint.iacr.org/2025/236☆67Updated this week
- building blocks for accelerating ZK proofs over binary fields☆45Updated 9 months ago
- Playing with zero-knowledge proof languages☆105Updated 2 years ago
- Zirgen compiler and RISC Zero circuits☆95Updated this week
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆51Updated last month
- A course on Halo2 in collaboration with Zircuit☆22Updated 4 months ago
- ☆25Updated 8 months ago
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆71Updated 10 months ago
- ☆64Updated 3 months ago