Expand description


A standard exception type used for relaying underlying C++ exceptions.

A MethodId represents a unique identifier associated with a particular ELF binary.

The prover generates a Receipt by executing a given method in a ZKVM.

A record attesting to the correct execution of a ‘method’.


The default digest count when generating a MethodId.

Type Definitions

A Result specialized for Exception.