Expand description

ProverResult

Structs

Proof of correctness of tx spending