SGX-LKL Library OS for running Linux applications inside of Intel SGX en...
Implementation of MinBFT consensus protocol.