project-oak / oak
Meaningful control of data in distributed systems.
☆1,349Updated this week
Alternatives and similar repositories for oak:
Users that are interested in oak are comparing it to the libraries listed below
- A Rust library for lattice-based additive homomorphic encryption.☆415Updated last year
- An open and flexible framework for developing enclave applications☆974Updated 2 years ago
- A model checker for implementing distributed systems.☆1,618Updated 5 months 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
- SDK for developing enclaves☆1,098Updated this week
- Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).☆194Updated last week
- Mundane is a Rust cryptography library backed by BoringSSL that is difficult to misuse, ergonomic, and performant (in that order).☆1,071Updated last year
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,245Updated this week
- Sandboxed kernel mode WebAssembly runtime.☆742Updated 5 years ago
- The Fortanix Rust Enclave Development Platform☆449Updated this week
- Graphene / Graphene-SGX - a library OS for Linux multi-process applications, with Intel SGX support☆775Updated 3 years ago
- Enarx: Confidential Computing with WebAssembly☆1,342Updated this week
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,055Updated 7 years ago
- 🧑🔬 Operating system☆1,435Updated this week
- A kernel designed to run one and only one application in a virtualized environment☆2,743Updated last week
- An implementation of differential dataflow using timely dataflow on Rust.☆2,666Updated 3 weeks ago
- Highly-available Distributed Fault-tolerant Runtime☆2,833Updated last year
- Cranelift code generator☆2,491Updated 4 years ago
- TFHE: Fast Fully Homomorphic Encryption Library over the Torus☆1,259Updated last year
- EdgelessDB is a MySQL-compatible database for confidential computing. It runs entirely inside a secure enclave and comes with advanced fe…☆169Updated 2 years ago
- A library OS for Linux multi-process applications, with Intel SGX support☆663Updated this week
- A dynamic library providing Virtualization-based process isolation capabilities☆1,043Updated this week
- Hermit for Rust.☆1,754Updated this week
- A binary-compatible unikernel☆392Updated 7 months ago
- ☆627Updated this week
- A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.☆2,338Updated 2 years ago
- A Fully Homomorphic Encryption Brainfuck virtual machine☆217Updated 5 years ago
- On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees☆266Updated 3 years ago
- a collection of well-tested, serializable CRDTs for Rust☆1,423Updated 9 months ago
- firecracker-containerd enables containerd to manage containers as Firecracker microVMs☆2,310Updated last week