What is a Computational Receipt?
The receipt serves as a cryptographic authentication that the given method was executed faithfully. In particular, the receipt includes an Image ID, which serves as an identifier for a particular computational method and a seal which indicates that the associated execution trace satisfies the rules of the RISC-V ISA.
By linking the image ID to the asserted output of the computation, computational receipts offer a powerful new model for trust in software.
The option to check a computational receipt opens the doors to the
era of verifiable computing, where we use mathematics and science to bring trustable software into trustless environments.