project-oak / oak
Meaningful control of data in distributed systems.
☆1,320Updated this week
Related projects ⓘ
Alternatives and complementary repositories for oak
- A model checker for implementing distributed systems.☆1,576Updated last month
- An open and flexible framework for developing enclave applications☆974Updated 2 years ago
- A Rust library for lattice-based additive homomorphic encryption.☆407Updated last year
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,196Updated last week
- Mundane is a Rust cryptography library backed by BoringSSL that is difficult to misuse, ergonomic, and performant (in that order).☆1,072Updated last year
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,378Updated last year
- Verified Rust for low-level systems code☆1,214Updated this week
- Shuttle is a library for testing concurrent Rust code☆682Updated 3 weeks ago
- Hydro's low-level dataflow runtime☆480Updated this week
- Cryptographic Primitive Code Generation by Fiat☆714Updated this week
- Add hardship to your tests☆788Updated last month
- Black-box transactional safety checker based on cycle detection☆642Updated last month
- Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homom…☆404Updated 9 months ago
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,043Updated 7 years ago
- A transparent, highly scalable and cryptographically verifiable data store.☆3,547Updated this week
- ☆554Updated last year
- Apache Teaclave (incubating) SGX SDK helps developers to write Intel SGX applications in the Rust programming language, and also known as…☆1,172Updated last month
- A fast linearizability checker written in Go 🔎☆928Updated 5 months ago
- Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup☆535Updated last year
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆822Updated this week
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆812Updated 7 months ago
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,564Updated 3 weeks ago
- Gossip-based service discovery (and more) for large distributed systems.☆712Updated this week
- SDK for developing enclaves☆1,066Updated last week
- CIRCL: Cloudflare Interoperable Reusable Cryptographic Library☆1,306Updated last week
- TFHE: Fast Fully Homomorphic Encryption Library over the Torus☆1,232Updated last year
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆487Updated 2 weeks ago
- A lightweight Datalog engine in Rust☆801Updated 2 years ago
- An implementation of differential dataflow using timely dataflow on Rust.☆2,583Updated this week
- A library OS for Linux multi-process applications, with Intel SGX support☆598Updated this week