|
static_CallRipemd160_1_d0_g0_v0#tests/src/GeneralStateTestsFiller/stStaticCall/static_CallRipemd160_1Filler.json
|
static_CallRipemd160_1_d0_g0_v0
|
Panic
|
assertion failed: `(left == right)`
left: `Err([ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 38,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x9c",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 38,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x9c",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 39,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x11",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 39,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x11",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 40,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x85",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 40,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x85",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 41,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xa5",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 41,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xa5",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 42,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xc5",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 42,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xc5",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 43,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xe9",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 43,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xe9",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 44,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xfc",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 44,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xfc",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 45,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x54",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 45,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x54",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 46,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x61",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 46,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x61",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 47,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x28",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 47,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x28",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 48,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x8",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 48,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x8",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 49,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x97",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 49,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x97",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 50,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x7e",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 50,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x7e",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 51,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xe8",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 51,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xe8",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xf5",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xf5",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 53,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x48",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 53,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x48",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 54,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xb2",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 54,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xb2",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 55,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x25",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 55,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x25",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 56,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x8d",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 56,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x8d",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 57,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x31",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 57,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x31",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}])`,
right: `Ok(())`
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stStaticCall/static_CallRipemd160_1Filler.json
|
|
static_CallSha256_1_d0_g0_v0#tests/src/GeneralStateTestsFiller/stStaticCall/static_CallSha256_1Filler.json
|
static_CallSha256_1_d0_g0_v0
|
Panic
|
assertion failed: `(left == right)`
left: `Err([ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 26,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xe3",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 26,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xe3",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 27,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xb0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 27,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xb0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 28,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xc4",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 28,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xc4",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 29,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x42",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 29,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x42",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 30,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x98",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 30,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x98",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 31,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xfc",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 31,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xfc",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 32,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x1c",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 32,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x1c",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 33,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x14",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 33,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x14",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 34,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x9a",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 34,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x9a",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 35,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xfb",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 35,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xfb",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 36,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xf4",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 36,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xf4",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 37,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xc8",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 37,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xc8",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 38,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x99",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 38,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x99",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 39,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x6f",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 39,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x6f",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 40,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xb9",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 40,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xb9",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 41,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x24",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 41,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x24",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 42,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x27",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 42,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x27",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 43,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xae",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 43,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xae",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 44,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x41",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 44,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x41",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 45,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xe4",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 45,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xe4",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 46,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x64",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 46,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x64",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 47,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x9b",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 47,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x9b",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 48,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x93",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 48,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x93",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 49,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x4c",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 49,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x4c",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 50,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xa4",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 50,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xa4",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 51,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x95",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 51,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x95",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x99",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x99",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 53,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x1b",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 53,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x1b",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 54,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x78",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 54,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x78",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 55,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x52",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 55,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x52",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 56,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xb8",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 56,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xb8",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 57,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x55",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 17,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 57,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x55",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}])`,
right: `Ok(())`
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stStaticCall/static_CallSha256_1Filler.json
|