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 10, 2026Updated last month
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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A community preview of ongoing formal verification efforts for Asterinas☆44Updated this week
- Trust Domain Extensions (TDX) is introducing new, architectural elements to help deploy hardware-isolated, virtual machines (VMs) called …☆100Aug 13, 2025Updated 8 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 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 Community☆339Mar 30, 2026Updated 2 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆49Apr 9, 2026Updated last week
- Confidential Computing Zoo provides confidential computing solutions based on Intel SGX, TDX, HEXL, etc. technologies.☆354Updated this week
- uwu stack☆11Jan 8, 2025Updated last year
- decaf377 is a prime-order group designed for use in SNARKs over BLS12-377☆17Mar 9, 2025Updated last year
- ☆37Oct 29, 2025Updated 5 months ago
- 面向可信执行环境的OS。☆12May 9, 2025Updated 11 months ago
- COCONUT-SVSM☆210Updated this week
- This is fork of code.google.com/p/snappy-go.☆11Mar 8, 2015Updated 11 years ago
- Bridge between Coz profiler and rust tracing☆14Sep 26, 2019Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Cast between trait objects using only safe Rust.☆17Dec 10, 2024Updated last year
- Code for paper: Narrowing the Gap Between Serverless and its State with Storage Functions☆12Jul 10, 2020Updated 5 years 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
- Low level attester and verifier drivers for multiple TEEs☆26May 30, 2024Updated last year
- A Rust Linter with Decoupled Rule Definition and Detection Logic.☆17Mar 30, 2026Updated 2 weeks ago
- SGX-Spark☆26Dec 5, 2022Updated 3 years ago
- epoll emulation on cygwin☆11May 9, 2015Updated 10 years ago
- ♾️ A library for universe levels and universe polymorphism☆39Apr 6, 2026Updated last week
- A speicifically designed KV store for blockchain systems☆11Mar 10, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Render PDFs in Rust using libpoppler☆14Dec 27, 2017Updated 8 years ago
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆29Aug 14, 2024Updated last year
- A halo2 implementation of on-chain DCAP attestation verification☆15Sep 9, 2024Updated last year
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆17Mar 24, 2026Updated 3 weeks ago
- One-time programs on X, create and share a one-time post link from your Twitter account with LLM-enforced policies☆119Dec 12, 2024Updated last year
- Confidential VM Platform Guest attestation sample apps☆83Updated this week
- C/C++ toolchain for MiniOS☆17Sep 19, 2018Updated 7 years ago
- r stores all successfully executed commands per directory☆17Jan 17, 2018Updated 8 years ago
- Benchmark workloads of Nightcore☆12Feb 15, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- P4Control: Line-Rate Cross-Host Attack Prevention via In-Network Information Flow Control Enabled by Programmable Switches and eBPF☆11May 20, 2024Updated last year
- Drop-in replacement for CometBFT in end-to-end tests☆23Mar 15, 2024Updated 2 years ago
- Library containing the definition of S-expressions and some base converters☆20Apr 6, 2026Updated last week
- A migration for the page table entry based side-channel attack agains SGX enclaves.☆19Feb 10, 2025Updated last year
- Automated verification of uniqueness property for ZKP circuits☆93Mar 13, 2024Updated 2 years ago
- ☆11May 19, 2022Updated 3 years ago
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆13Apr 8, 2024Updated 2 years ago