automata-network / amd-sev-snp-attestation-sdkView external linksLinks
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
☆20Feb 9, 2026Updated last week
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:
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆16Feb 7, 2026Updated last week
- The Automata TDX Attestation SDK is a software development kit designed to help users generate the Intel TDX Quote using Rust across diff…☆30Dec 19, 2025Updated last month
- Smart contracts for Pileum project☆31Jun 25, 2025Updated 7 months ago
- This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems☆50Feb 10, 2026Updated last week
- The Automata SGX SDK is a software development kit designed to help users quickly build secure enclaves on the Intel SGX platform using R…☆28Dec 20, 2024Updated last year
- Implementation of the Reusable Enclaves paper☆14Sep 25, 2023Updated 2 years ago
- ☆31Jun 14, 2023Updated 2 years ago
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆26Apr 22, 2024Updated last year
- Administrative utility for AMD SEV☆65Feb 6, 2026Updated last week
- Low level attester and verifier drivers for multiple TEEs☆25May 30, 2024Updated last year
- Rust library for Intel TDX☆31Nov 24, 2025Updated 2 months ago
- ☆24Jul 27, 2025Updated 6 months ago
- Proof-of-concept implementation for the paper "Efficient and Generic Microarchitectural Hash-Function Recovery" (IEEE S&P 2024)☆33Aug 30, 2023Updated 2 years ago
- A rust implementation for DMTF SPDM protocol to support Confidential Computing☆50Updated this week
- semaphore-mtb repository☆49Dec 16, 2025Updated 2 months ago
- ☆12Jan 3, 2024Updated 2 years ago
- Public repository of the UCSC CMPE220 class project☆10Oct 8, 2017Updated 8 years ago
- Generate music videos starring yourself.☆11Apr 3, 2025Updated 10 months ago
- Code repository for experiments in SpecROP paper☆13Sep 3, 2021Updated 4 years ago
- Linux integrity monitoring for CentOS/RHEL☆10May 13, 2020Updated 5 years ago
- ☆12Feb 28, 2025Updated 11 months ago
- ☆11Mar 28, 2022Updated 3 years ago
- 🏆 Finalist at EthOnline'23 Hackathon 🏆☆12Nov 4, 2023Updated 2 years ago
- ☆12Dec 21, 2024Updated last year
- A memory allocator that aims to eliminate dangling pointer vulnerabilities at a low overhead, using virtualisation via Dune. My Computer …☆10Nov 27, 2019Updated 6 years ago
- VMSDK implements the Evidence API☆11Nov 25, 2024Updated last year
- A simple 8086-CPU simulator using Verilog and Quartus II☆10Jul 9, 2018Updated 7 years ago
- ☆11Feb 11, 2022Updated 4 years ago
- Practical and Efficient in-TEE Verification of Privacy Compliance☆46Jan 10, 2025Updated last year
- OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to…☆35Feb 6, 2026Updated last week
- Public Audits in the NEAR Ecosystem☆14Jun 10, 2024Updated last year
- ☆10Jun 10, 2024Updated last year
- A Rust-based Unikernel Enhancing Reliability and Efficiency of Embedded Systems.☆11Jun 28, 2024Updated last year
- PNG library benchmarking and testing utility☆11May 16, 2023Updated 2 years ago
- Implementing Bendersnatch curve using Arkwork's framework in Rust.☆14Oct 28, 2021Updated 4 years ago
- Proof-of-Concept of the Frontal Attack☆11Jul 6, 2023Updated 2 years ago
- 收集一些好用的AI/ChatGPT相关工具。原则是基于它开发的工具使我们更加轻松地完成工作 / A collection of some good AI/ChatGPT related tools. The principle is that the tools devel…☆16Apr 5, 2023Updated 2 years ago
- EFI driver which disables Virtualization-based Security (VBS) in Microsoft Windows☆17Aug 1, 2024Updated last year
- P4Control: Line-Rate Cross-Host Attack Prevention via In-Network Information Flow Control Enabled by Programmable Switches and eBPF☆11May 20, 2024Updated last year