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:
- A CLI tool for interacting with SEV-SNP guest environment☆71Updated last week
- ORAM and related for Intel SGX enclaves☆52Updated last year
- (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.☆306Updated 2 months ago
- Global-Scale Secure Multiparty Computation☆46Updated 2 years ago
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated last year
- Rust library abstracting Linux AMD SEV and SEV-SNP ioctls.☆115Updated last week
- The tdx-guest provides a Rust implementation of Intel® Trust Domain Extensions (Intel® TDX) Guest APIs, supporting for TDX Guest specific…☆26Updated 2 months ago
- Ancillary open source software to support confidential computing on NVIDIA GPUs☆265Updated this week
- Experiments with Universal Composability in EasyCrypt☆37Updated 2 weeks ago
- A Go library for MerkleSquare: A Low-Latency Transparency Log System☆22Updated 4 years ago
- Libra zero knowledge proof system☆53Updated 2 years ago
- An implementation of the 'DiStefano: Decentralized Infrastructure for Sharing Trusted Encrypted Facts and Nothing More' protocol.☆34Updated 2 months ago
- ☆67Updated 2 years ago
- Efficient and Interactive Zero-Knowledge Proofs☆96Updated last year
- Intel confidential computing - TDX☆184Updated 3 weeks ago
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆13Updated 2 years ago
- ☆50Updated 3 weeks ago
- sgxtop and sgxstat utilities for monitoring SGX driver statistics☆26Updated 5 years ago
- OpenFHE-rs - a Rust interface for the OpenFHE library; documentation https://openfhe-rust-wrapper.readthedocs.io/☆51Updated 5 months ago
- ☆18Updated 3 months ago
- A basic implementation of Yao's Garbled Circuits☆29Updated 3 years ago
- ☆59Updated 3 years ago
- Formal Analysis of the PQXDH Protocol☆26Updated last year
- Oblivious key-value store based on Circuit ORAM☆29Updated 4 months ago
- ☆43Updated 5 months ago
- C++ implementation of VSS using LWE encryption and proofs☆15Updated 3 years ago
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆45Updated 2 years ago
- Awesome Byzantine Fault Tolerance (BFT)☆68Updated 3 years ago
- Prototype implementations of various Collaborative zkSNARKs.☆126Updated 2 months ago
- ☆83Updated last week