intel / tdx-guest
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.
☆23Updated last month
Alternatives and similar repositories for tdx-guest:
Users that are interested in tdx-guest are comparing it to the libraries listed below
- Rust library for Intel TDX☆24Updated 4 months ago
- crates-sgx is a monorepo of all Rust crates ported for Teaclave SGX SDK targeting Intel SGX.☆12Updated 4 years ago
- Rust library abstracting Linux AMD SEV and SEV-SNP ioctls.☆110Updated this week
- ☆47Updated last month
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆13Updated last month
- ☆16Updated 3 weeks ago
- Automated verification of uniqueness property for ZKP circuits☆41Updated 11 months ago
- A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…☆37Updated 2 years ago
- ☆24Updated 7 months ago
- Compile circom code to llvm partially☆12Updated 2 years ago
- High-performance Multi-scalar Multiplication for Pasta curves☆23Updated last year
- A rusty implementation of the Caulk+ lookup algorithm.☆12Updated 2 years ago
- Poseidon hash function☆75Updated last year
- Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs☆16Updated 10 months ago
- Plonkish Nova implementation along with advanced features☆16Updated last year
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆43Updated 2 years ago
- An implementation of ZKBoo☆33Updated 2 years ago
- Fast implementation of multi-scalar multiplication in WebAssembly☆33Updated 5 months ago
- ☆28Updated last year
- A CLI tool for interacting with SEV-SNP guest environment☆63Updated this week
- This library is archived; see crypto-primities for the latest version of this code☆23Updated 2 years ago
- Reference implementation of Squirrel, an Efficient Synchronized Multi-Signatures from Lattices☆24Updated last year
- Mozak RISC-V Virtual Machine☆25Updated last month
- ☆28Updated 2 years ago
- Confidential Containers Shim Firmware☆111Updated last week
- Rollback protection for confidential services☆31Updated last year
- The Automata SGX SDK is a software development kit designed to help users quickly build secure enclaves on the Intel SGX platform using R…☆23Updated 4 months ago
- Argument systems for inner pairing products☆42Updated 9 months ago
- WebGPU MSM Implementation (BLS12-377 Curve) for ZPrize 2023☆13Updated 5 months ago
- Let's go https://eprint.iacr.org/2022/1763.pdf☆59Updated last year