intel / confidential-computing.tdx.tdx-guestView external linksLinks
The tdx-guest provides a Rust implementation of Intel® Trust Domain Extensions (Intel® TDX) Guest APIs, supporting for TDX Guest specific instructions, structures and functions.
☆27Jan 21, 2026Updated 3 weeks ago
Alternatives and similar repositories for confidential-computing.tdx.tdx-guest
Users that are interested in confidential-computing.tdx.tdx-guest are comparing it to the libraries listed below
Sorting:
- Rust library for Intel TDX☆31Nov 24, 2025Updated 2 months ago
- 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
- Trust Domain Extensions (TDX) is introducing new, architectural elements to help deploy hardware-isolated, virtual machines (VMs) called …☆91Aug 13, 2025Updated 6 months ago
- A community preview of ongoing formal verification efforts for Asterinas☆42Updated this week
- Software Artifacts for the paper "TDXdown: Single-Stepping and Instruction Counting Attacks against Intel TDX"☆19Oct 14, 2024Updated last year
- decaf377 is a prime-order group designed for use in SNARKs over BLS12-377☆17Mar 9, 2025Updated 11 months ago
- ☆18Jun 30, 2024Updated last year
- A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…☆39Nov 18, 2022Updated 3 years ago
- Confidential Containers Shim Firmware☆120Feb 5, 2026Updated last week
- ☆31Jun 14, 2023Updated 2 years ago
- Drop-in replacement for CometBFT in end-to-end tests☆23Mar 15, 2024Updated last year
- A TypeScript penumbra SDK☆18Aug 4, 2022Updated 3 years ago
- Low level attester and verifier drivers for multiple TEEs☆25May 30, 2024Updated last year
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆29Aug 14, 2024Updated last year
- Proof-of-concept for the paper "StackWarp: Breaking AMD SEV-SNP Integrity via Deterministic Stack-Pointer Manipulation through the CPU’s …☆73Jan 30, 2026Updated 2 weeks ago
- Administrative utility for SEV-SNP☆40Feb 6, 2026Updated last week
- PrivacyGo Data Clean Room (PGDCR) is an open-source project for easily building and deploying data collaboration framework to the cloud u…☆35Oct 31, 2024Updated last year
- ♾️ A library for universe levels and universe polymorphism☆37Nov 21, 2025Updated 2 months ago
- Modular, Asynchronous Implementation of a Log-Structured Merge Tree☆43Jun 8, 2025Updated 8 months ago
- ☆46Updated this week
- Next-Gen Occlum, a work-in-progress fork of Occlum that is optimized for the next-generation of Intel SGX (on Xeon SP processors)☆35Mar 28, 2023Updated 2 years ago
- Automated verification of uniqueness property for ZKP circuits☆93Mar 13, 2024Updated last year
- ☆11Feb 11, 2022Updated 4 years ago
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆16Feb 7, 2026Updated last week
- ☆11May 19, 2022Updated 3 years ago
- ☆10Feb 3, 2023Updated 3 years ago
- Implement Discord MCP server enabling AI assistants to interact with the Discord platform.☆19Apr 4, 2025Updated 10 months ago
- A simple minimax chess engine written in prolog☆11May 8, 2023Updated 2 years ago
- Project template for GBA programming without the hassle of installing devkitpro☆13Nov 13, 2021Updated 4 years ago
- A wrapper library for the set of ptrace-related system calls in Linux☆13May 20, 2014Updated 11 years ago
- This is fork of code.google.com/p/snappy-go.☆11Mar 8, 2015Updated 10 years ago
- Analysis of "flash loan attack" from YouTuber https://www.youtube.com/watch?v=HynfsKoFlaw&t=105s☆11Jul 5, 2021Updated 4 years ago
- ☆12May 17, 2021Updated 4 years ago
- Celestia derivation pipeline and proof crate built with kona☆15Dec 19, 2025Updated last month
- A confidential VM running unmodified container images in AWS Nitro Enclaves☆12Jan 5, 2026Updated last month
- SHA256 implemented in WASM☆13Jun 2, 2023Updated 2 years ago
- A collection of tools to measure and analyze MEV across Layer-2 Rollups (CCS 2024).☆14Oct 25, 2024Updated last year
- ☆11Feb 18, 2025Updated 11 months ago
- Raccoon Signature Scheme -- Reference Code☆12Jul 12, 2023Updated 2 years ago