Step.Statementtype ('unfinalized_proofs, 'messages_for_next_step_proof, 'messages_for_next_wrap_proof)
t =
{proof_state : ( 'unfinalized_proofs, 'messages_for_next_step_proof )
Proof_state.t; |
messages_for_next_wrap_proof : 'messages_for_next_wrap_proof; |
}val to_yojson :
( 'unfinalized_proofs -> Yojson.Safe.t ) ->
( 'messages_for_next_step_proof -> Yojson.Safe.t ) ->
( 'messages_for_next_wrap_proof -> Yojson.Safe.t ) ->
( 'unfinalized_proofs,
'messages_for_next_step_proof,
'messages_for_next_wrap_proof )
t ->
Yojson.Safe.tval of_yojson :
( Yojson.Safe.t -> 'unfinalized_proofs Ppx_deriving_yojson_runtime.error_or ) ->
( Yojson.Safe.t ->
'messages_for_next_step_proof Ppx_deriving_yojson_runtime.error_or ) ->
( Yojson.Safe.t ->
'messages_for_next_wrap_proof Ppx_deriving_yojson_runtime.error_or ) ->
Yojson.Safe.t ->
( 'unfinalized_proofs,
'messages_for_next_step_proof,
'messages_for_next_wrap_proof )
t
Ppx_deriving_yojson_runtime.error_orinclude Ppx_sexp_conv_lib.Sexpable.S3
with type ('unfinalized_proofs, 'messages_for_next_step_proof, 'messages_for_next_wrap_proof) t :=
( 'unfinalized_proofs,
'messages_for_next_step_proof,
'messages_for_next_wrap_proof )
tval t_of_sexp :
( Sexplib0__.Sexp.t -> 'a ) ->
( Sexplib0__.Sexp.t -> 'b ) ->
( Sexplib0__.Sexp.t -> 'c ) ->
Sexplib0__.Sexp.t ->
( 'a, 'b, 'c ) tval sexp_of_t :
( 'a -> Sexplib0__.Sexp.t ) ->
( 'b -> Sexplib0__.Sexp.t ) ->
( 'c -> Sexplib0__.Sexp.t ) ->
( 'a, 'b, 'c ) t ->
Sexplib0__.Sexp.tval compare :
( 'unfinalized_proofs -> 'unfinalized_proofs -> int ) ->
( 'messages_for_next_step_proof -> 'messages_for_next_step_proof -> int ) ->
( 'messages_for_next_wrap_proof -> 'messages_for_next_wrap_proof -> int ) ->
( 'unfinalized_proofs,
'messages_for_next_step_proof,
'messages_for_next_wrap_proof )
t ->
( 'unfinalized_proofs,
'messages_for_next_step_proof,
'messages_for_next_wrap_proof )
t ->
intval to_data :
( ( ( 'a, 'b, 'c, 'd, 'e Pickles_types.Hlist0.Id.t, 'f, 'g )
Proof_state.Per_proof.In_circuit.t,
'h )
Pickles_types.Vector.t,
'i Pickles_types.Hlist0.Id.t,
'j Pickles_types.Hlist0.Id.t )
t ->
option_map:
( 'd ->
f:
( ( 'k Pickles_types.Hlist0.Id.t, 'l Pickles_types.Hlist0.Id.t )
Proof_state.Deferred_values.Plonk.In_circuit.Lookup.t ->
('k * ('l * unit)) Pickles_types.Hlist.HlistId.t ) ->
'm Pickles_types.Hlist0.Id.t ) ->
(( (( 'c, Pickles_types.Nat.N9.n ) Pickles_types.Vector.t
* (( 'f, Pickles_types.Nat.N1.n ) Pickles_types.Vector.t
* (( 'a, Pickles_types.Nat.N2.n ) Pickles_types.Vector.t
* (( 'b, Pickles_types.Nat.N3.n ) Pickles_types.Vector.t
* ('e
* (( 'g, Pickles_types.Nat.N1.n ) Pickles_types.Vector.t
* ('m * unit)))))))
Pickles_types.Hlist.HlistId.t,
'h )
Pickles_types.Vector.t
* ('i * ('j * unit)))
Pickles_types.Hlist.HlistId.tval of_data :
(( (( 'a, Pickles_types.Nat.N9.n ) Pickles_types.Vector.t
* (( 'b, Pickles_types.Nat.N1.n ) Pickles_types.Vector.t
* (( 'c, Pickles_types.Nat.N2.n ) Pickles_types.Vector.t
* (( 'd, Pickles_types.Nat.N3.n ) Pickles_types.Vector.t
* ('e
* (( 'f, Pickles_types.Nat.N1.n ) Pickles_types.Vector.t
* ('g * unit)))))))
Pickles_types.Hlist.HlistId.t,
'h )
Pickles_types.Vector.t
* ('i * ('j * unit)))
Pickles_types.Hlist.HlistId.t ->
option_map:
( 'g Pickles_types.Hlist0.Id.t ->
f:
( ('k * ('l * unit)) Pickles_types.Hlist.HlistId.t ->
( 'k Pickles_types.Hlist0.Id.t, 'l Pickles_types.Hlist0.Id.t )
Proof_state.Deferred_values.Plonk.In_circuit.Lookup.t ) ->
'm ) ->
( ( ( 'c, 'd, 'a, 'm, 'e Pickles_types.Hlist0.Id.t, 'b, 'f )
Proof_state.Per_proof.In_circuit.t,
'h )
Pickles_types.Vector.t,
'i Pickles_types.Hlist0.Id.t,
'j Pickles_types.Hlist0.Id.t )
tval spec :
'a Spec.impl ->
'b Pickles_types.Nat.t ->
'c Pickles_types.Nat.t ->
( 'd, 'e, 'f Pickles_types.Hlist0.Id.t, 'g Pickles_types.Hlist0.Id.t )
Wrap.Lookup_parameters.t ->
( (( (( 'f, Pickles_types.Nat.N9.n ) Pickles_types.Vector.t
* (( 'h, Pickles_types.Nat.N1.n ) Pickles_types.Vector.t
* (( 'd, Pickles_types.Nat.N2.n ) Pickles_types.Vector.t
* (( 'd Scalar_challenge.t, Pickles_types.Nat.N3.n )
Pickles_types.Vector.t
* (( 'i, 'c ) Pickles_types.Vector.t
* (( bool, Pickles_types.Nat.N1.n ) Pickles_types.Vector.t
* (('d Scalar_challenge.t * ('f * unit))
Pickles_types.Hlist.HlistId.t
option
* unit)))))))
Pickles_types.Hlist.HlistId.t,
'b )
Pickles_types.Vector.t
* ('h * (( 'h, 'b ) Pickles_types.Vector.t * unit)))
Pickles_types.Hlist.HlistId.t,
(( (( 'g, Pickles_types.Nat.N9.n ) Pickles_types.Vector.t
* (( 'j, Pickles_types.Nat.N1.n ) Pickles_types.Vector.t
* (( 'e, Pickles_types.Nat.N2.n ) Pickles_types.Vector.t
* (( 'e Scalar_challenge.t, Pickles_types.Nat.N3.n )
Pickles_types.Vector.t
* (( 'k, 'c ) Pickles_types.Vector.t
* (( 'a Snarky_backendless.Cvar.t
Snarky_backendless.Boolean.t,
Pickles_types.Nat.N1.n )
Pickles_types.Vector.t
* (( ('e Scalar_challenge.t * ('g * unit))
Pickles_types.Hlist.HlistId.t,
'a Snarky_backendless.Cvar.t
Snarky_backendless.Boolean.t )
Pickles_types.Plonk_types.Opt.t
* unit)))))))
Pickles_types.Hlist.HlistId.t,
'b )
Pickles_types.Vector.t
* ('j * (( 'j, 'b ) Pickles_types.Vector.t * unit)))
Pickles_types.Hlist.HlistId.t,
< bool1 : bool
; bool2 : 'a Snarky_backendless.Cvar.t Snarky_backendless.Boolean.t
; bulletproof_challenge1 : 'i
; bulletproof_challenge2 : 'k
; challenge1 : 'd
; challenge2 : 'e
; digest1 : 'h
; digest2 : 'j
; field1 : 'f
; field2 : 'g.. > )
Spec.T.t