project-oak / oakLinks
Meaningful control of data in distributed systems.
☆1,380Updated this week
Alternatives and similar repositories for oak
Users that are interested in oak are comparing it to the libraries listed below
Sorting:
- Mundane is a Rust cryptography library backed by BoringSSL that is difficult to misuse, ergonomic, and performant (in that order).☆1,074Updated 2 years ago
- A Rust library for lattice-based additive homomorphic encryption.☆417Updated last year
- An open and flexible framework for developing enclave applications☆977Updated 3 years ago
- A model checker for implementing distributed systems.☆1,677Updated this week
- Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homom…☆407Updated last month
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,281Updated 2 weeks ago
- Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).☆197Updated 3 months ago
- Some notes on things I find interesting and important.☆2,075Updated last week
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,056Updated 8 years ago
- The Stanford Builder☆987Updated 2 years ago
- Systems performance telemetry☆1,584Updated 2 years ago
- Cryptographic Primitive Code Generation by Fiat☆768Updated this week
- SDK for developing enclaves☆1,127Updated 3 weeks ago
- Black-box transactional safety checker based on cycle detection☆669Updated 2 months ago
- A high-level distributed programming framework for Rust☆940Updated this week
- The Fortanix Rust Enclave Development Platform☆459Updated last week
- A UI for eBPF-based performance debugging☆577Updated 2 years ago
- Apache Teaclave (incubating) SGX SDK helps developers to write Intel SGX applications in the Rust programming language, and also known as…☆1,200Updated 2 months ago
- Highly-available Distributed Fault-tolerant Runtime☆2,857Updated 2 years ago
- Hermit for Rust.☆1,801Updated this week
- Enarx: Confidential Computing with WebAssembly☆1,376Updated 3 months ago
- ☆569Updated 2 years ago
- Fully Decentralized Fully Replicated Key/Value Store☆895Updated 2 years ago
- An ergonomic and safe syscall interception framework for Linux.☆611Updated 2 weeks ago
- Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup☆542Updated 2 years ago
- SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…☆659Updated last month
- Graphene / Graphene-SGX - a library OS for Linux multi-process applications, with Intel SGX support☆782Updated 3 years ago
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆825Updated last year
- A lightweight Datalog engine in Rust☆829Updated 3 years ago
- Apache Teaclave (incubating) is an open source universal secure computing platform, making computation on privacy-sensitive data safe and…☆777Updated last year