This commit mainly adds a new Prover-Verifier in order to accommodate Intel SGX. In this case, we consider the Server to be trusted and the Client to be the one that needs to be verified. Since the codebase is written in Kotlin, we use Native Image to convert the Client to an executable, which is then run using Gramine SGX.
In order to build and run the client, from the root directory, execute:
This commit mainly adds a new Prover-Verifier in order to accommodate Intel SGX. In this case, we consider the Server to be trusted and the Client to be the one that needs to be verified. Since the codebase is written in Kotlin, we use Native Image to convert the Client to an executable, which is then run using Gramine SGX.
In order to build and run the client, from the root directory, execute: