MCPcopy Create free account
hub / github.com/PolyhedraZK/ExpanderCompilerCollection / serializeCircuit

Function serializeCircuit

ecgo/irsource/serialize.go:65–77  ·  view source on GitHub ↗
(o *utils.OutputBuf, c *Circuit, field field.Field)

Source from the content-addressed store, hash-verified

63}
64
65func serializeCircuit(o *utils.OutputBuf, c *Circuit, field field.Field) {
66 o.AppendUint64(uint64(len(c.Instructions)))
67 for _, i := range c.Instructions {
68 serializeInstruction(o, &i, field)
69 }
70 o.AppendUint64(uint64(len(c.Constraints)))
71 for _, i := range c.Constraints {
72 o.AppendUint8(uint8(i.Typ))
73 o.AppendUint64(uint64(i.Var))
74 }
75 o.AppendIntSlice(c.Outputs)
76 o.AppendUint64(uint64(c.NumInputs))
77}
78
79func serializeRootCircuit(o *utils.OutputBuf, c *RootCircuit, field field.Field) {
80 o.AppendUint64(uint64(c.NumPublicInputs))

Callers 1

serializeRootCircuitFunction · 0.70

Calls 4

AppendUint64Method · 0.80
AppendUint8Method · 0.80
AppendIntSliceMethod · 0.80
serializeInstructionFunction · 0.70

Tested by

no test coverage detected