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.
☆27Mar 3, 2026Updated this week
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 3 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
- 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 last year
- ☆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
- ☆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
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆29Aug 14, 2024Updated last year
- Proof-of-concept implementation for the paper "Efficient and Generic Microarchitectural Hash-Function Recovery" (IEEE S&P 2024)☆33Aug 30, 2023Updated 2 years ago
- Administrative utility for SEV-SNP☆43Feb 20, 2026Updated 2 weeks ago
- ♾️ A library for universe levels and universe polymorphism☆37Nov 21, 2025Updated 3 months ago
- Proof-of-concept for the paper "StackWarp: Breaking AMD SEV-SNP Integrity via Deterministic Stack-Pointer Manipulation through the CPU’s …☆90Jan 30, 2026Updated last month
- Modular, Asynchronous Implementation of a Log-Structured Merge Tree☆43Jun 8, 2025Updated 9 months ago
- ☆46Mar 2, 2026Updated last 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☆94Mar 13, 2024Updated last year
- ☆11Feb 11, 2022Updated 4 years ago
- ☆11May 19, 2022Updated 3 years ago
- A simple minimax chess engine written in prolog☆11May 8, 2023Updated 2 years ago
- A complete Pokemon generation 1 battle simulator including all Pokemon and moves.☆12Feb 17, 2024Updated 2 years ago
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆16Updated this week
- A speicifically designed KV store for blockchain systems☆11Mar 10, 2025Updated 11 months ago
- P4Control: Line-Rate Cross-Host Attack Prevention via In-Network Information Flow Control Enabled by Programmable Switches and eBPF☆11May 20, 2024Updated last year
- The Boiler framework, including sample projects☆13Feb 11, 2020Updated 6 years ago
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆13Apr 8, 2024Updated last year
- Enarx Keep Loader☆15Oct 25, 2021Updated 4 years ago
- Video generated only using prompts!☆47Jan 19, 2026Updated last month
- A collection of tools to measure and analyze MEV across Layer-2 Rollups (CCS 2024).☆15Oct 25, 2024Updated last year
- ☆13Aug 15, 2024Updated last year
- ☆11Feb 18, 2025Updated last year
- Asterinas Confidential Computing is a collection of open-source projects featuring full-stack capabilities in confidential computing.☆16Oct 15, 2024Updated last year
- SHA256 implemented in WASM☆13Jun 2, 2023Updated 2 years ago
- Good Riddance to EPID Pre-Deprecation Memorial Contest☆12Dec 22, 2023Updated 2 years ago
- Merkle distributor☆11Nov 19, 2021Updated 4 years ago
- A wrapper library for the set of ptrace-related system calls in Linux☆13May 20, 2014Updated 11 years ago
- Open-source APIs to make building on BitClout easier, faster and more fun.☆12Dec 14, 2021Updated 4 years ago