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.
☆14Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for tdx-guest
- crates-sgx is a monorepo of all Rust crates ported for Teaclave SGX SDK targeting Intel SGX.☆12Updated 4 years ago
- Full Solidity Implementation of Intel DCAP Quote Verification☆14Updated this week
- Rust library for Intel TDX☆21Updated 3 months ago
- Rollback protection for confidential services☆30Updated last year
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆41Updated last year
- Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs☆16Updated 4 months ago
- polynomial commitments from linear codes☆37Updated last year
- 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
- Poseidon hash function☆73Updated last year
- ☆23Updated 2 months ago
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆23Updated last year
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆29Updated last year
- For practice to using halo2☆22Updated last year
- A framework for SPDZ-style maliciously-secure MPC.☆48Updated 2 weeks ago
- Trust Domain Extensions (TDX) is introducing new, architectural elements to help deploy hardware-isolated, virtual machines (VMs) called …☆43Updated last week
- ☆25Updated 4 years ago
- Good Riddance to EPID Pre-Deprecation Memorial Contest☆12Updated 11 months ago
- Rust library abstracting Linux AMD SEV and SEV-SNP ioctls.☆89Updated this week
- Plonkish Nova implementation along with advanced features☆16Updated 11 months ago
- ☆21Updated last week
- An implementation of ZKBoo☆33Updated 2 years ago
- Reference implementation of Squirrel, an Efficient Synchronized Multi-Signatures from Lattices☆24Updated 11 months ago
- ☆15Updated 5 months ago
- WebGPU MSM Implementation (BLS12-377 Curve) for ZPrize 2023☆12Updated this week
- Automated verification of uniqueness property for ZKP circuits☆41Updated 5 months ago
- ☆29Updated 7 months ago
- Draft documents for standardization of Plonkish arithmetization☆23Updated 8 months ago
- A collection of comparison-benchmarks for Nova & related Proving systems☆42Updated last year
- ☆27Updated this week
- ORAM and related for Intel SGX enclaves☆51Updated last year