Hi, I have a question about verifying the messages. In the cryptoflow paper, the aramis protocol needs to verify each Compute message with input w_ctr. However, in this repository, sgx remote attestation only happens at the beginning of the program. After sgx remote attestation, I can't find any verification code in the main aramis protocol. If anyone can help to answer the question? Than you!
Hi, I have a question about verifying the messages. In the cryptoflow paper, the aramis protocol needs to verify each
Compute messagewith input w_ctr. However, in this repository, sgx remote attestation only happens at the beginning of the program. After sgx remote attestation, I can't find any verification code in the main aramis protocol. If anyone can help to answer the question? Than you!