Blockchain_snark_state.Witnesstype t = {prev_state : Mina_state.Protocol_state.Value.t; |
prev_state_proof : ( Pickles_types.Nat.N2.n, Pickles_types.Nat.N2.n )
Pickles.Proof.t; |
transition : Mina_state.Snark_transition.Value.t; |
txn_snark : Transaction_snark.Statement.With_sok.t; |
txn_snark_proof : ( Pickles_types.Nat.N2.n, Pickles_types.Nat.N2.n )
Pickles.Proof.t; |
}