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.
☆15Updated last month
Alternatives and similar repositories for tdx-guest:
Users that are interested in tdx-guest are comparing it to the libraries listed below
- ☆22Updated last month
- Rust library for Intel TDX☆22Updated last month
- Full Solidity Implementation of Intel DCAP Quote Verification☆22Updated 3 weeks ago
- Good Riddance to EPID Pre-Deprecation Memorial Contest☆12Updated last year
- crates-sgx is a monorepo of all Rust crates ported for Teaclave SGX SDK targeting Intel SGX.☆12Updated 4 years ago
- The Automata TDX Attestation SDK is a software development kit designed to help users generate the Intel TDX Quote using Rust across diff…☆14Updated this week
- ☆14Updated 2 weeks ago
- Automated verification of uniqueness property for ZKP circuits☆41Updated 7 months ago
- ☆16Updated 2 weeks 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
- ☆18Updated 4 months ago
- 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…☆17Updated last month
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆42Updated 2 years ago
- ☆24Updated 4 months ago
- Implementations of proof-carrying data☆33Updated 2 years ago
- polynomial commitments from linear codes☆36Updated last month
- snarkpack for arkwork☆21Updated last year
- Let's go https://eprint.iacr.org/2022/1763.pdf☆57Updated last year
- For practice to using halo2☆22Updated last year
- zkSNARKs as a service using secure multi-party computation.☆29Updated last year
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆23Updated last year
- Remote Attestation VErification☆30Updated 6 months ago
- Rust-libp2p transport for {t,n}-threshold signature schemes☆33Updated 2 years ago
- Poseidon hash function☆73Updated last year
- Base64 decoding circuit in halo2☆14Updated last year
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆28Updated last year
- ☆15Updated 8 months ago
- ☆26Updated last year