project-oak / oak
Meaningful control of data in distributed systems.
☆1,360Updated this week
Alternatives and similar repositories for oak:
Users that are interested in oak are comparing it to the libraries listed below
- Mundane is a Rust cryptography library backed by BoringSSL that is difficult to misuse, ergonomic, and performant (in that order).☆1,074Updated last year
- An open and flexible framework for developing enclave applications☆974Updated 3 years ago
- A Rust library for lattice-based additive homomorphic encryption.☆415Updated last year
- A model checker for implementing distributed systems.☆1,629Updated last week
- The Stanford Builder☆987Updated 2 years ago
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,253Updated 3 weeks ago
- Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homom…☆406Updated last year
- Highly-available Distributed Fault-tolerant Runtime☆2,840Updated 2 years ago
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,053Updated 7 years ago
- Hermit for Rust.☆1,770Updated this week
- ☆568Updated 2 years ago
- delegated, decentralized, capabilities based authorization token☆1,009Updated last month
- State of the art for unikernels☆216Updated last year
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,405Updated last year
- Sandboxed kernel mode WebAssembly runtime.☆743Updated 5 years ago
- Cranelift code generator☆2,493Updated 4 years ago
- Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).☆195Updated last month
- Black-box transactional safety checker based on cycle detection☆662Updated 3 weeks ago
- Cryptographic Primitive Code Generation by Fiat☆755Updated last week
- A dynamic library providing Virtualization-based process isolation capabilities☆1,075Updated last week
- Gossip-based service discovery (and more) for large distributed systems.☆925Updated this week
- A high-level distributed programming framework for Rust☆891Updated this week
- a collection of well-tested, serializable CRDTs for Rust☆1,435Updated 10 months ago
- A kernel designed to run one and only one application in a virtualized environment☆2,778Updated 3 weeks ago
- Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup☆540Updated 2 years ago
- The Fortanix Rust Enclave Development Platform☆453Updated last week
- Lucet, the Sandboxing WebAssembly Compiler.☆4,054Updated 3 years ago
- Add hardship to your tests☆961Updated last month
- SDK for developing enclaves☆1,115Updated 2 weeks ago
- Ignite a Firecracker microVM☆3,497Updated last year