virtee / tdx
Rust library for Intel TDX
☆24Updated 4 months ago
Alternatives and similar repositories for tdx:
Users that are interested in tdx are comparing it to the libraries listed below
- The tdx-guest provides a Rust implementation of Intel® Trust Domain Extensions (Intel® TDX) Guest APIs, supporting for TDX Guest specific…☆23Updated last month
- An implementation of ZKBoo☆33Updated 2 years ago
- A library for decentralized private computation☆19Updated 3 years ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆11Updated last week
- Designatived verifier Schnorr signatures☆13Updated 2 years ago
- ☆18Updated last week
- Rust 256-bit unsigned integers.☆9Updated last year
- calculate new mpt root without loading entire trie☆16Updated 10 months ago
- ☆14Updated 6 years ago
- This library is archived; see crypto-primities for the latest version of this code☆23Updated 2 years ago
- A high-performance verifiable storage layer for appchains and L2s.☆11Updated 3 weeks ago
- Abstractions for iterating and mapping over struct fields☆16Updated 5 months ago
- An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algori…☆13Updated 4 years ago
- Rust encryption library for practical time-lock encryption.☆29Updated 9 months ago
- Efficient nibble-sized (4-bit) byte sequence data structure☆25Updated 4 months ago
- An instantiation of the Poseidon hash for use with decaf377☆29Updated 2 months ago
- A rusty implementation of the Caulk+ lookup algorithm.☆12Updated 2 years ago
- Remote Attestation VErification☆32Updated 9 months ago
- Rust-libp2p transport for {t,n}-threshold signature schemes☆34Updated 2 years ago
- Celestia derivation pipeline and proof crate built with kona☆14Updated this week
- Rust library for practical time-lock encryption using `drand` threshold network☆40Updated 2 years ago
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆15Updated 5 years ago
- High-performance Multi-scalar Multiplication for Pasta curves☆23Updated last year
- ☆24Updated 2 months ago
- Reference implementation of Squirrel, an Efficient Synchronized Multi-Signatures from Lattices☆24Updated last year
- Sierra decompiler and analyzer☆11Updated 2 weeks ago
- Identity Based Encryption schemes on the BLS12-381 pairing-friendly elliptic curve☆20Updated 3 years ago
- {{{ rem = reth + malachite }}} {{{ proof of concept }}}☆18Updated 4 months ago
- Ethereum's RLP encoding implemented as a Serde data format☆13Updated 2 years ago
- A Reth Execution Extension (ExEx) with shared object (.so / .dylib) plugins☆16Updated 6 months ago