type Proof = Vec<u8>;
The ZK proof generated by the [ZkvmHost::run] method.
ZkvmHost::run
struct Proof { /* private fields */ }