Hongbo
Hongbo
It seems the whole process is stateful, where "first run" generates a key pair and the key will be used in "following runs". In general, Teaclave cannot handle statefule tasks...
I'm also interested in incorporating Graphene as an Executor of Teaclave. However, I think we must take serious consideration about the interfaces of Graphene (mainly system calls). As @bigdata-memory mentioned,...
Hi @bigdata-memory , I think you're right about this example! Since the enclave measurement is determined by its initial code and data before instantiation, the payload which is loaded into...
Update: I can run MIRAI successfully on MacOS. I guess MIRAI itself works but some dependency cause the problem.
Thanks for your response! I just checked the CI and it seems `validate.sh` is not executed explicitly in the workflow. So I spent some time to make a reproducible snippet...
Thanks for updating me. I think you encountered the same failure as me. If you'd like to explain more details about this error maybe I can also provide some help...
Sorry for the misunderstanding. I double checked your paste and yes I didn't find an error occurrence. I also tried it on my Mac and the error occurred again. My...
Update: It seems the error is because of limited resource. I re-execute the validate script on my Mac without using a container, it prints: ``` running 1 test Unexpected error:...
Thank you for the explanation!
The errors still exists on the latest commit. So I would reopen this issue. Manually install Z3 may solve this issue.