Closed mimoo closed 1 year ago
Builds on top of https://github.com/o1-labs/snarky/pull/798
This contains a number of misc changes that I need to make in order to make the Mina-side work (https://github.com/MinaProtocol/mina/pull/12738). It contains:
length
to_constant_and_terms
var_indices
linear_combination
sum
state.ml
fake_state
State.make
seal
the wrapper state has moved anything that's not relevant to Rust to its own fields:
type t = { state : Run_state.t ; stack : string list ; handler : Request.Handler.t ; is_running : bool ; log_constraint : ( ?at_label_boundary:[ `Start | `End ] * string -> (Cvar.t, Field.t) Constraint.t option -> unit ) option }
Stale pull request message
Builds on top of https://github.com/o1-labs/snarky/pull/798
This contains a number of misc changes that I need to make in order to make the Mina-side work (https://github.com/MinaProtocol/mina/pull/12738). It contains:
length
,to_constant_and_terms
,var_indices
,linear_combination
,sum
from Cvar (unused)state.ml
)fake_state
functionState.make
functionseal
function that exists in pickles (so we can delete it there)the wrapper state has moved anything that's not relevant to Rust to its own fields: