microsoft / NimbleLinks
Rollback protection for confidential services
☆32Updated last week
Alternatives and similar repositories for Nimble
Users that are interested in Nimble are comparing it to the libraries listed below
Sorting:
- ORAM and related for Intel SGX enclaves☆53Updated 2 years ago
- Global-Scale Secure Multiparty Computation☆50Updated last month
- The tdx-guest provides a Rust implementation of Intel® Trust Domain Extensions (Intel® TDX) Guest APIs, supporting for TDX Guest specific…☆27Updated last week
- ☆19Updated 8 months ago
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆14Updated 3 years ago
- Rust library for AMD SEV and SEV-SNP☆126Updated last week
- Experiments with Universal Composability in EasyCrypt☆42Updated this week
- (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.☆312Updated 6 months ago
- A CLI tool for interacting with SEV-SNP guest environment☆83Updated last month
- An implementation of the 'DiStefano: Decentralized Infrastructure for Sharing Trusted Encrypted Facts and Nothing More' protocol.☆38Updated 3 weeks ago
- Efficient and Interactive Zero-Knowledge Proofs☆102Updated last month
- Libra zero knowledge proof system☆54Updated 2 years ago
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆49Updated 3 years ago
- A basic implementation of Yao's Garbled Circuits☆30Updated 3 years ago
- OpenFHE-rs - a Rust interface for the OpenFHE library; documentation https://openfhe-rust-wrapper.readthedocs.io/☆54Updated 10 months ago
- Oblivious key-value store based on Circuit ORAM☆33Updated 9 months ago
- Awesome Byzantine Fault Tolerance (BFT)☆69Updated 3 years ago
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated last year
- crates-sgx is a monorepo of all Rust crates ported for Teaclave SGX SDK targeting Intel SGX.☆12Updated 5 years ago
- (Towards) Scalable Threshold Crypto: BLS threshold signatures with millions of signers and a scalable Distributed Key Generation (and VSS…☆34Updated last year
- ☆60Updated last month
- ☆48Updated 10 months ago
- Go, C++, and C implementation of a bilinear group and pairing-based cryptography for both embedded and non-embedded systems☆38Updated 2 years ago
- Ancillary open source software to support confidential computing on NVIDIA GPUs☆293Updated last week
- C++ implementation of VSS using LWE encryption and proofs☆15Updated 4 years ago
- LaTeX package to Do The Right Thing☆13Updated 4 years ago
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆41Updated 5 years ago
- C++ library for IOP-based zkSNARKs☆175Updated last year
- ☆54Updated 2 weeks ago
- A framework for deploying on-demand distributed-trust.☆14Updated last year