microsoft / NimbleLinks
Rollback protection for confidential services
☆32Updated 2 years ago
Alternatives and similar repositories for Nimble
Users that are interested in Nimble are comparing it to the libraries listed below
Sorting:
- Rust library for AMD SEV and SEV-SNP☆123Updated last week
- A CLI tool for interacting with SEV-SNP guest environment☆81Updated 2 weeks ago
- The tdx-guest provides a Rust implementation of Intel® Trust Domain Extensions (Intel® TDX) Guest APIs, supporting for TDX Guest specific…☆26Updated this week
- ORAM and related for Intel SGX enclaves☆53Updated 2 years ago
- Oblivious key-value store based on Circuit ORAM☆33Updated 8 months ago
- (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.☆312Updated 5 months ago
- Global-Scale Secure Multiparty Computation☆49Updated 2 weeks ago
- ☆59Updated 3 weeks ago
- Awesome Byzantine Fault Tolerance (BFT)☆69Updated 3 years ago
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆48Updated 2 years ago
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆14Updated 3 years ago
- An implementation of the 'DiStefano: Decentralized Infrastructure for Sharing Trusted Encrypted Facts and Nothing More' protocol.☆37Updated last week
- Libra zero knowledge proof system☆54Updated 2 years ago
- ☆61Updated last year
- ☆19Updated 7 months ago
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated last year
- Administrative utility for AMD SEV☆62Updated 6 months ago
- Efficient and Interactive Zero-Knowledge Proofs☆101Updated 2 weeks ago
- Intel confidential computing - TDX☆207Updated 2 weeks ago
- ☆70Updated 3 years ago
- ☆11Updated 3 years ago
- Experiments with Universal Composability in EasyCrypt☆41Updated 2 weeks ago
- Low level attester and verifier drivers for multiple TEEs☆25Updated last year
- A basic implementation of Yao's Garbled Circuits☆30Updated 3 years ago
- Ancillary open source software to support confidential computing on NVIDIA GPUs☆290Updated last week
- Code for zero-knowledge middleboxes☆63Updated 3 years ago
- Tools, scripts, and configuration files necessary to demonstrate an end-to-end remote attestation example with SEV-SNP.☆57Updated last year
- The reference implementation of Tiptoe, accompanying the paper "Private web search with Tiptoe" (SOSP 2023).☆51Updated 2 years ago
- ZPiE: Zero-knowledge Proofs in Embedded systems☆28Updated 2 years ago
- lattice-based zkSNARKs over libsnark [ISW21]☆34Updated last year