Dummy_values
val blockchain_proof : Pickles.Proof.Proofs_verified_2.Stable.Latest.t
val transaction_proof : Pickles.Proof.Proofs_verified_2.Stable.Latest.t