Trustworthy Distributed Certification of Program Execution

Alex Wolf, Marco Edoardo Palma, Pasquale Salza +1

Verifying the execution of a program is complicated and often limited by the inability to validate the code's correctness. It is a crucial aspect of scientific research, where it i…