oak

Oak is a software platform for building distributed systems providing externally verifiable or falsifiable claims about system behaviors in a transparent way. Oak provides building blocks that are used to build Enclave Applications, i.e. applications that are isolated from the host on which they...