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 abstracting Linux AMD SEV and SEV-SNP ioctls.☆114Updated this week
- A CLI tool for interacting with SEV-SNP guest environment☆71Updated last week
- Intel confidential computing - TDX☆178Updated this week
- Experiments with Universal Composability in EasyCrypt☆36Updated this week
- Global-Scale Secure Multiparty Computation☆46Updated 2 years ago
- Microsoft Azure Attestation is a solution for attesting Trusted Execution Environments (TEEs)☆33Updated 3 months ago
- The tdx-guest provides a Rust implementation of Intel® Trust Domain Extensions (Intel® TDX) Guest APIs, supporting for TDX Guest specific…☆24Updated last month
- A framework for deploying on-demand distributed-trust.☆13Updated last year
- Go, C++, and C implementation of a bilinear group and pairing-based cryptography for both embedded and non-embedded systems☆37Updated 2 years ago
- Efficient and Interactive Zero-Knowledge Proofs☆96Updated last year
- Edgeless RT is an SDK and a runtime for Intel SGX. It combines top-notch Go support with simplicity, robustness and a small TCB. Developi…☆138Updated last week
- (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.☆304Updated last month
- Awesome Byzantine Fault Tolerance (BFT)☆68Updated 3 years ago
- ☆17Updated 3 months ago
- ☆67Updated 2 years ago
- A basic implementation of Yao's Garbled Circuits☆29Updated 3 years ago
- crates-sgx is a monorepo of all Rust crates ported for Teaclave SGX SDK targeting Intel SGX.☆12Updated 4 years ago
- Tools, scripts, and configuration files necessary to demonstrate an end-to-end remote attestation example with SEV-SNP.☆57Updated last year
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated last year
- Ancillary open source software to support confidential computing on NVIDIA GPUs☆258Updated last month
- OpenFHE-rs - a Rust interface for the OpenFHE library; documentation https://openfhe-rust-wrapper.readthedocs.io/☆49Updated 4 months ago
- A formally verified security module for AMD confidential VMs☆48Updated last month
- Trust Domain Extensions (TDX) is introducing new, architectural elements to help deploy hardware-isolated, virtual machines (VMs) called …☆66Updated last month
- ☆50Updated this week
- Oblivious key-value store based on Circuit ORAM☆29Updated 3 months ago
- ORAM and related for Intel SGX enclaves☆52Updated last year
- C++ implementation of VSS using LWE encryption and proofs☆15Updated 3 years ago
- Examples for EasyCrypt Lectures☆24Updated 2 weeks ago
- Interfaces between SGX SDKs and the Azure Attestation SGX Certification Cache.☆64Updated 4 months ago
- Calculate AMD SEV/SEV-ES/SEV-SNP measurement for confidential computing☆66Updated last year