Skip to content

Instantly share code, notes, and snippets.

@ed255

ed255/gist:ba4991427bb4cee0fa909f498e9e5786 Secret

Created December 27, 2021 15:38
Show Gist options
  • Save ed255/ba4991427bb4cee0fa909f498e9e5786 to your computer and use it in GitHub Desktop.
Save ed255/ba4991427bb4cee0fa909f498e9e5786 to your computer and use it in GitHub Desktop.
Download ZIP
2021-12-27 circuits integration test log
Raw
gistfile1.txt
$ RUST_LOG=circuits=trace cargo test --profile release --test circuits --features circuits test_state_circuit_block_a -- --nocapture
Compiling integration-tests v0.1.0 (/home/dev/git/zkevm/tmp/zkevm-circuits/integration-tests)
Finished release [optimized] target(s) in 12.96s
Running tests/circuits.rs (/home/dev/git/zkevm/tmp/zkevm-circuits/target/release/deps/circuits-6746b7860123ca79)
running 1 test
[2021-12-27T15:32:09Z TRACE circuits] stack_ops: [
Operation {
rwc: 235,
revert: false,
op: StackOp { WRITE, addr: 1009, val: 42 },
},
Operation {
rwc: 237,
revert: false,
op: StackOp { READ, addr: 1009, val: 42 },
},
Operation {
rwc: 239,
revert: false,
op: StackOp { WRITE, addr: 1009, val: 0 },
},
Operation {
rwc: 240,
revert: false,
op: StackOp { READ, addr: 1009, val: 0 },
},
Operation {
rwc: 231,
revert: false,
op: StackOp { WRITE, addr: 1010, val: 129 },
},
Operation {
rwc: 232,
revert: false,
op: StackOp { READ, addr: 1010, val: 129 },
},
Operation {
rwc: 233,
revert: false,
op: StackOp { WRITE, addr: 1010, val: 0 },
},
Operation {
rwc: 236,
revert: false,
op: StackOp { READ, addr: 1010, val: 0 },
},
Operation {
rwc: 238,
revert: false,
op: StackOp { WRITE, addr: 1010, val: 42 },
},
Operation {
rwc: 242,
revert: false,
op: StackOp { READ, addr: 1010, val: 42 },
},
Operation {
rwc: 244,
revert: false,
op: StackOp { WRITE, addr: 1010, val: 153 },
},
Operation {
rwc: 246,
revert: false,
op: StackOp { READ, addr: 1010, val: 153 },
},
Operation {
rwc: 248,
revert: false,
op: StackOp { WRITE, addr: 1010, val: 42 },
},
Operation {
rwc: 249,
revert: false,
op: StackOp { READ, addr: 1010, val: 42 },
},
Operation {
rwc: 230,
revert: false,
op: StackOp { WRITE, addr: 1011, val: 42 },
},
Operation {
rwc: 234,
revert: false,
op: StackOp { READ, addr: 1011, val: 42 },
},
Operation {
rwc: 245,
revert: false,
op: StackOp { READ, addr: 1011, val: 42 },
},
Operation {
rwc: 247,
revert: false,
op: StackOp { WRITE, addr: 1011, val: 153 },
},
Operation {
rwc: 250,
revert: false,
op: StackOp { READ, addr: 1011, val: 153 },
},
Operation {
rwc: 252,
revert: false,
op: StackOp { WRITE, addr: 1011, val: 42 },
},
Operation {
rwc: 253,
revert: false,
op: StackOp { READ, addr: 1011, val: 42 },
},
Operation {
rwc: 256,
revert: false,
op: StackOp { WRITE, addr: 1011, val: 164 },
},
Operation {
rwc: 257,
revert: false,
op: StackOp { READ, addr: 1011, val: 164 },
},
Operation {
rwc: 226,
revert: false,
op: StackOp { WRITE, addr: 1012, val: 144 },
},
Operation {
rwc: 227,
revert: false,
op: StackOp { READ, addr: 1012, val: 144 },
},
Operation {
rwc: 228,
revert: false,
op: StackOp { WRITE, addr: 1012, val: 153 },
},
Operation {
rwc: 241,
revert: false,
op: StackOp { READ, addr: 1012, val: 153 },
},
Operation {
rwc: 243,
revert: false,
op: StackOp { WRITE, addr: 1012, val: 42 },
},
Operation {
rwc: 254,
revert: false,
op: StackOp { READ, addr: 1012, val: 42 },
},
Operation {
rwc: 255,
revert: false,
op: StackOp { WRITE, addr: 1012, val: 1 },
},
Operation {
rwc: 258,
revert: false,
op: StackOp { READ, addr: 1012, val: 1 },
},
Operation {
rwc: 225,
revert: false,
op: StackOp { WRITE, addr: 1013, val: 42 },
},
Operation {
rwc: 229,
revert: false,
op: StackOp { READ, addr: 1013, val: 42 },
},
Operation {
rwc: 251,
revert: false,
op: StackOp { READ, addr: 1013, val: 42 },
},
Operation {
rwc: 259,
revert: false,
op: StackOp { READ, addr: 1013, val: 42 },
},
Operation {
rwc: 183,
revert: false,
op: StackOp { WRITE, addr: 1014, val: 128 },
},
Operation {
rwc: 184,
revert: false,
op: StackOp { READ, addr: 1014, val: 128 },
},
Operation {
rwc: 185,
revert: false,
op: StackOp { WRITE, addr: 1014, val: 0 },
},
Operation {
rwc: 219,
revert: false,
op: StackOp { READ, addr: 1014, val: 42 },
},
Operation {
rwc: 221,
revert: false,
op: StackOp { WRITE, addr: 1014, val: 0 },
},
Operation {
rwc: 222,
revert: false,
op: StackOp { READ, addr: 1014, val: 0 },
},
Operation {
rwc: 223,
revert: false,
op: StackOp { WRITE, addr: 1014, val: 78 },
},
Operation {
rwc: 260,
revert: false,
op: StackOp { READ, addr: 1014, val: 78 },
},
Operation {
rwc: 175,
revert: false,
op: StackOp { WRITE, addr: 1015, val: 128 },
},
Operation {
rwc: 176,
revert: false,
op: StackOp { READ, addr: 1015, val: 128 },
},
Operation {
rwc: 179,
revert: false,
op: StackOp { WRITE, addr: 1015, val: 63 },
},
Operation {
rwc: 180,
revert: false,
op: StackOp { READ, addr: 1015, val: 63 },
},
Operation {
rwc: 181,
revert: false,
op: StackOp { WRITE, addr: 1015, val: 0 },
},
Operation {
rwc: 218,
revert: false,
op: StackOp { READ, addr: 1015, val: 0 },
},
Operation {
rwc: 220,
revert: false,
op: StackOp { WRITE, addr: 1015, val: 42 },
},
Operation {
rwc: 224,
revert: false,
op: StackOp { READ, addr: 1015, val: 42 },
},
Operation {
rwc: 262,
revert: false,
op: StackOp { READ, addr: 1015, val: 42 },
},
Operation {
rwc: 264,
revert: false,
op: StackOp { WRITE, addr: 1015, val: 120 },
},
Operation {
rwc: 266,
revert: false,
op: StackOp { READ, addr: 1015, val: 120 },
},
Operation {
rwc: 268,
revert: false,
op: StackOp { WRITE, addr: 1015, val: 160 },
},
Operation {
rwc: 269,
revert: false,
op: StackOp { READ, addr: 1015, val: 160 },
},
Operation {
rwc: 173,
revert: false,
op: StackOp { WRITE, addr: 1016, val: 0 },
},
Operation {
rwc: 177,
revert: false,
op: StackOp { READ, addr: 1016, val: 0 },
},
Operation {
rwc: 178,
revert: false,
op: StackOp { WRITE, addr: 1016, val: 128 },
},
Operation {
rwc: 182,
revert: false,
op: StackOp { READ, addr: 1016, val: 128 },
},
Operation {
rwc: 270,
revert: false,
op: StackOp { READ, addr: 1016, val: 128 },
},
Operation {
rwc: 156,
revert: false,
op: StackOp { WRITE, addr: 1017, val: 160 },
},
Operation {
rwc: 157,
revert: false,
op: StackOp { READ, addr: 1017, val: 160 },
},
Operation {
rwc: 171,
revert: false,
op: StackOp { WRITE, addr: 1017, val: 160 },
},
Operation {
rwc: 265,
revert: false,
op: StackOp { READ, addr: 1017, val: 160 },
},
Operation {
rwc: 267,
revert: false,
op: StackOp { WRITE, addr: 1017, val: 120 },
},
Operation {
rwc: 271,
revert: false,
op: StackOp { READ, addr: 1017, val: 120 },
},
Operation {
rwc: 154,
revert: false,
op: StackOp { WRITE, addr: 1018, val: 128 },
},
Operation {
rwc: 158,
revert: false,
op: StackOp { READ, addr: 1018, val: 128 },
},
Operation {
rwc: 159,
revert: false,
op: StackOp { WRITE, addr: 1018, val: 32 },
},
Operation {
rwc: 160,
revert: false,
op: StackOp { READ, addr: 1018, val: 32 },
},
Operation {
rwc: 165,
revert: false,
op: StackOp { WRITE, addr: 1018, val: 106 },
},
Operation {
rwc: 166,
revert: false,
op: StackOp { READ, addr: 1018, val: 106 },
},
Operation {
rwc: 169,
revert: false,
op: StackOp { WRITE, addr: 1018, val: 120 },
},
Operation {
rwc: 261,
revert: false,
op: StackOp { READ, addr: 1018, val: 120 },
},
Operation {
rwc: 263,
revert: false,
op: StackOp { WRITE, addr: 1018, val: 42 },
},
Operation {
rwc: 273,
revert: false,
op: StackOp { READ, addr: 1018, val: 42 },
},
Operation {
rwc: 275,
revert: false,
op: StackOp { WRITE, addr: 1018, val: 0 },
},
Operation {
rwc: 276,
revert: false,
op: StackOp { READ, addr: 1018, val: 0 },
},
Operation {
rwc: 88,
revert: false,
op: StackOp { WRITE, addr: 1019, val: 128 },
},
Operation {
rwc: 152,
revert: false,
op: StackOp { WRITE, addr: 1019, val: 32 },
},
Operation {
rwc: 161,
revert: false,
op: StackOp { READ, addr: 1019, val: 32 },
},
Operation {
rwc: 162,
revert: false,
op: StackOp { WRITE, addr: 1019, val: 0 },
},
Operation {
rwc: 163,
revert: false,
op: StackOp { READ, addr: 1019, val: 0 },
},
Operation {
rwc: 164,
revert: false,
op: StackOp { WRITE, addr: 1019, val: 1 },
},
Operation {
rwc: 167,
revert: false,
op: StackOp { READ, addr: 1019, val: 1 },
},
Operation {
rwc: 168,
revert: false,
op: StackOp { WRITE, addr: 1019, val: 0 },
},
Operation {
rwc: 172,
revert: false,
op: StackOp { READ, addr: 1019, val: 0 },
},
Operation {
rwc: 277,
revert: false,
op: StackOp { READ, addr: 1019, val: 0 },
},
Operation {
rwc: 86,
revert: false,
op: StackOp { WRITE, addr: 1020, val: 639 },
},
Operation {
rwc: 92,
revert: false,
op: StackOp { WRITE, addr: 1020, val: 32 },
},
Operation {
rwc: 93,
revert: false,
op: StackOp { READ, addr: 1020, val: 32 },
},
Operation {
rwc: 96,
revert: false,
op: StackOp { WRITE, addr: 1020, val: 64 },
},
Operation {
rwc: 97,
revert: false,
op: StackOp { READ, addr: 1020, val: 64 },
},
Operation {
rwc: 149,
revert: false,
op: StackOp { WRITE, addr: 1020, val: 84 },
},
Operation {
rwc: 150,
revert: false,
op: StackOp { READ, addr: 1020, val: 84 },
},
Operation {
rwc: 151,
revert: false,
op: StackOp { WRITE, addr: 1020, val: 0 },
},
Operation {
rwc: 272,
revert: false,
op: StackOp { READ, addr: 1020, val: 0 },
},
Operation {
rwc: 274,
revert: false,
op: StackOp { WRITE, addr: 1020, val: 42 },
},
Operation {
rwc: 279,
revert: false,
op: StackOp { READ, addr: 1020, val: 42 },
},
Operation {
rwc: 281,
revert: false,
op: StackOp { WRITE, addr: 1020, val: 50 },
},
Operation {
rwc: 283,
revert: false,
op: StackOp { READ, addr: 1020, val: 50 },
},
Operation {
rwc: 285,
revert: false,
op: StackOp { WRITE, addr: 1020, val: 160 },
},
Operation {
rwc: 286,
revert: false,
op: StackOp { READ, addr: 1020, val: 160 },
},
Operation {
rwc: 293,
revert: false,
op: StackOp { WRITE, addr: 1020, val: 42 },
},
Operation {
rwc: 295,
revert: false,
op: StackOp { READ, addr: 1020, val: 42 },
},
Operation {
rwc: 297,
revert: false,
op: StackOp { WRITE, addr: 1020, val: 0 },
},
Operation {
rwc: 306,
revert: false,
op: StackOp { WRITE, addr: 1020, val: 0 },
},
Operation {
rwc: 41,
revert: false,
op: StackOp { WRITE, addr: 1021, val: 16 },
},
Operation {
rwc: 42,
revert: false,
op: StackOp { READ, addr: 1021, val: 16 },
},
Operation {
rwc: 81,
revert: false,
op: StackOp { READ, addr: 1021, val: 671 },
},
Operation {
rwc: 85,
revert: false,
op: StackOp { WRITE, addr: 1021, val: 32 },
},
Operation {
rwc: 90,
revert: false,
op: StackOp { WRITE, addr: 1021, val: 128 },
},
Operation {
rwc: 94,
revert: false,
op: StackOp { READ, addr: 1021, val: 128 },
},
Operation {
rwc: 95,
revert: false,
op: StackOp { WRITE, addr: 1021, val: 160 },
},
Operation {
rwc: 98,
revert: false,
op: StackOp { READ, addr: 1021, val: 160 },
},
Operation {
rwc: 132,
revert: false,
op: StackOp { WRITE, addr: 1021, val: 128 },
},
Operation {
rwc: 133,
revert: false,
op: StackOp { READ, addr: 1021, val: 128 },
},
Operation {
rwc: 140,
revert: false,
op: StackOp { WRITE, addr: 1021, val: 50 },
},
Operation {
rwc: 142,
revert: false,
op: StackOp { READ, addr: 1021, val: 50 },
},
Operation {
rwc: 144,
revert: false,
op: StackOp { WRITE, addr: 1021, val: 160 },
},
Operation {
rwc: 146,
revert: false,
op: StackOp { READ, addr: 1021, val: 160 },
},
Operation {
rwc: 148,
revert: false,
op: StackOp { WRITE, addr: 1021, val: 128 },
},
Operation {
rwc: 153,
revert: false,
op: StackOp { READ, addr: 1021, val: 128 },
},
Operation {
rwc: 174,
revert: false,
op: StackOp { READ, addr: 1021, val: 128 },
},
Operation {
rwc: 287,
revert: false,
op: StackOp { READ, addr: 1021, val: 128 },
},
Operation {
rwc: 291,
revert: false,
op: StackOp { WRITE, addr: 1021, val: 0 },
},
Operation {
rwc: 294,
revert: false,
op: StackOp { READ, addr: 1021, val: 0 },
},
Operation {
rwc: 296,
revert: false,
op: StackOp { WRITE, addr: 1021, val: 42 },
},
Operation {
rwc: 305,
revert: false,
op: StackOp { WRITE, addr: 1021, val: 182 },
},
Operation {
rwc: 2,
revert: false,
op: StackOp { WRITE, addr: 1022, val: 64 },
},
Operation {
rwc: 3,
revert: false,
op: StackOp { READ, addr: 1022, val: 64 },
},
Operation {
rwc: 38,
revert: false,
op: StackOp { WRITE, addr: 1022, val: 0 },
},
Operation {
rwc: 39,
revert: false,
op: StackOp { READ, addr: 1022, val: 0 },
},
Operation {
rwc: 40,
revert: false,
op: StackOp { WRITE, addr: 1022, val: 1 },
},
Operation {
rwc: 43,
revert: false,
op: StackOp { READ, addr: 1022, val: 1 },
},
Operation {
rwc: 80,
revert: false,
op: StackOp { WRITE, addr: 1022, val: 639 },
},
Operation {
rwc: 82,
revert: false,
op: StackOp { READ, addr: 1022, val: 639 },
},
Operation {
rwc: 83,
revert: false,
op: StackOp { WRITE, addr: 1022, val: 32 },
},
Operation {
rwc: 84,
revert: false,
op: StackOp { READ, addr: 1022, val: 32 },
},
Operation {
rwc: 91,
revert: false,
op: StackOp { READ, addr: 1022, val: 32 },
},
Operation {
rwc: 134,
revert: false,
op: StackOp { READ, addr: 1022, val: 32 },
},
Operation {
rwc: 135,
revert: false,
op: StackOp { WRITE, addr: 1022, val: 160 },
},
Operation {
rwc: 137,
revert: false,
op: StackOp { READ, addr: 1022, val: 160 },
},
Operation {
rwc: 139,
revert: false,
op: StackOp { WRITE, addr: 1022, val: 128 },
},
Operation {
rwc: 145,
revert: false,
op: StackOp { READ, addr: 1022, val: 128 },
},
Operation {
rwc: 147,
revert: false,
op: StackOp { WRITE, addr: 1022, val: 160 },
},
Operation {
rwc: 155,
revert: false,
op: StackOp { READ, addr: 1022, val: 160 },
},
Operation {
rwc: 170,
revert: false,
op: StackOp { READ, addr: 1022, val: 160 },
},
Operation {
rwc: 282,
revert: false,
op: StackOp { READ, addr: 1022, val: 160 },
},
Operation {
rwc: 284,
revert: false,
op: StackOp { WRITE, addr: 1022, val: 50 },
},
Operation {
rwc: 288,
revert: false,
op: StackOp { READ, addr: 1022, val: 50 },
},
Operation {
rwc: 290,
revert: false,
op: StackOp { WRITE, addr: 1022, val: 42 },
},
Operation {
rwc: 292,
revert: false,
op: StackOp { READ, addr: 1022, val: 42 },
},
Operation {
rwc: 298,
revert: false,
op: StackOp { READ, addr: 1022, val: 42 },
},
Operation {
rwc: 304,
revert: false,
op: StackOp { WRITE, addr: 1022, val: 457 },
},
Operation {
rwc: 307,
revert: false,
op: StackOp { WRITE, addr: 1022, val: 0 },
},
Operation {
rwc: 1,
revert: false,
op: StackOp { WRITE, addr: 1023, val: 128 },
},
Operation {
rwc: 4,
revert: false,
op: StackOp { READ, addr: 1023, val: 128 },
},
Operation {
rwc: 37,
revert: false,
op: StackOp { READ, addr: 1023, val: 0 },
},
Operation {
rwc: 44,
revert: false,
op: StackOp { READ, addr: 1023, val: 0 },
},
Operation {
rwc: 45,
revert: false,
op: StackOp { WRITE, addr: 1023, val: 64 },
},
Operation {
rwc: 46,
revert: false,
op: StackOp { READ, addr: 1023, val: 64 },
},
Operation {
rwc: 47,
revert: false,
op: StackOp { WRITE, addr: 1023, val: 0 },
},
Operation {
rwc: 87,
revert: false,
op: StackOp { READ, addr: 1023, val: 128 },
},
Operation {
rwc: 89,
revert: false,
op: StackOp { READ, addr: 1023, val: 128 },
},
Operation {
rwc: 131,
revert: false,
op: StackOp { READ, addr: 1023, val: 128 },
},
Operation {
rwc: 136,
revert: false,
op: StackOp { READ, addr: 1023, val: 128 },
},
Operation {
rwc: 138,
revert: false,
op: StackOp { WRITE, addr: 1023, val: 160 },
},
Operation {
rwc: 141,
revert: false,
op: StackOp { READ, addr: 1023, val: 160 },
},
Operation {
rwc: 143,
revert: false,
op: StackOp { WRITE, addr: 1023, val: 50 },
},
Operation {
rwc: 278,
revert: false,
op: StackOp { READ, addr: 1023, val: 50 },
},
Operation {
rwc: 280,
revert: false,
op: StackOp { WRITE, addr: 1023, val: 42 },
},
Operation {
rwc: 289,
revert: false,
op: StackOp { READ, addr: 1023, val: 42 },
},
Operation {
rwc: 299,
revert: false,
op: StackOp { READ, addr: 1023, val: 42 },
},
Operation {
rwc: 300,
revert: false,
op: StackOp { WRITE, addr: 1023, val: 167 },
},
Operation {
rwc: 301,
revert: false,
op: StackOp { READ, addr: 1023, val: 167 },
},
Operation {
rwc: 302,
revert: false,
op: StackOp { WRITE, addr: 1023, val: 457 },
},
Operation {
rwc: 303,
revert: false,
op: StackOp { READ, addr: 1023, val: 457 },
},
]
[2021-12-27T15:32:09Z TRACE circuits] memory_ops: [
Operation {
rwc: 5,
revert: false,
op: MemoryOp { WRITE, addr: 0x000040, value: 0x00 },
},
Operation {
rwc: 48,
revert: false,
op: MemoryOp { READ, addr: 0x000040, value: 0x00 },
},
Operation {
rwc: 99,
revert: false,
op: MemoryOp { WRITE, addr: 0x000040, value: 0x00 },
},
Operation {
rwc: 6,
revert: false,
op: MemoryOp { WRITE, addr: 0x000041, value: 0x00 },
},
Operation {
rwc: 49,
revert: false,
op: MemoryOp { READ, addr: 0x000041, value: 0x00 },
},
Operation {
rwc: 100,
revert: false,
op: MemoryOp { WRITE, addr: 0x000041, value: 0x00 },
},
Operation {
rwc: 7,
revert: false,
op: MemoryOp { WRITE, addr: 0x000042, value: 0x00 },
},
Operation {
rwc: 50,
revert: false,
op: MemoryOp { READ, addr: 0x000042, value: 0x00 },
},
Operation {
rwc: 101,
revert: false,
op: MemoryOp { WRITE, addr: 0x000042, value: 0x00 },
},
Operation {
rwc: 8,
revert: false,
op: MemoryOp { WRITE, addr: 0x000043, value: 0x00 },
},
Operation {
rwc: 51,
revert: false,
op: MemoryOp { READ, addr: 0x000043, value: 0x00 },
},
Operation {
rwc: 102,
revert: false,
op: MemoryOp { WRITE, addr: 0x000043, value: 0x00 },
},
Operation {
rwc: 9,
revert: false,
op: MemoryOp { WRITE, addr: 0x000044, value: 0x00 },
},
Operation {
rwc: 52,
revert: false,
op: MemoryOp { READ, addr: 0x000044, value: 0x00 },
},
Operation {
rwc: 103,
revert: false,
op: MemoryOp { WRITE, addr: 0x000044, value: 0x00 },
},
Operation {
rwc: 10,
revert: false,
op: MemoryOp { WRITE, addr: 0x000045, value: 0x00 },
},
Operation {
rwc: 53,
revert: false,
op: MemoryOp { READ, addr: 0x000045, value: 0x00 },
},
Operation {
rwc: 104,
revert: false,
op: MemoryOp { WRITE, addr: 0x000045, value: 0x00 },
},
Operation {
rwc: 11,
revert: false,
op: MemoryOp { WRITE, addr: 0x000046, value: 0x00 },
},
Operation {
rwc: 54,
revert: false,
op: MemoryOp { READ, addr: 0x000046, value: 0x00 },
},
Operation {
rwc: 105,
revert: false,
op: MemoryOp { WRITE, addr: 0x000046, value: 0x00 },
},
Operation {
rwc: 12,
revert: false,
op: MemoryOp { WRITE, addr: 0x000047, value: 0x00 },
},
Operation {
rwc: 55,
revert: false,
op: MemoryOp { READ, addr: 0x000047, value: 0x00 },
},
Operation {
rwc: 106,
revert: false,
op: MemoryOp { WRITE, addr: 0x000047, value: 0x00 },
},
Operation {
rwc: 13,
revert: false,
op: MemoryOp { WRITE, addr: 0x000048, value: 0x00 },
},
Operation {
rwc: 56,
revert: false,
op: MemoryOp { READ, addr: 0x000048, value: 0x00 },
},
Operation {
rwc: 107,
revert: false,
op: MemoryOp { WRITE, addr: 0x000048, value: 0x00 },
},
Operation {
rwc: 14,
revert: false,
op: MemoryOp { WRITE, addr: 0x000049, value: 0x00 },
},
Operation {
rwc: 57,
revert: false,
op: MemoryOp { READ, addr: 0x000049, value: 0x00 },
},
Operation {
rwc: 108,
revert: false,
op: MemoryOp { WRITE, addr: 0x000049, value: 0x00 },
},
Operation {
rwc: 15,
revert: false,
op: MemoryOp { WRITE, addr: 0x00004a, value: 0x00 },
},
Operation {
rwc: 58,
revert: false,
op: MemoryOp { READ, addr: 0x00004a, value: 0x00 },
},
Operation {
rwc: 109,
revert: false,
op: MemoryOp { WRITE, addr: 0x00004a, value: 0x00 },
},
Operation {
rwc: 16,
revert: false,
op: MemoryOp { WRITE, addr: 0x00004b, value: 0x00 },
},
Operation {
rwc: 59,
revert: false,
op: MemoryOp { READ, addr: 0x00004b, value: 0x00 },
},
Operation {
rwc: 110,
revert: false,
op: MemoryOp { WRITE, addr: 0x00004b, value: 0x00 },
},
Operation {
rwc: 17,
revert: false,
op: MemoryOp { WRITE, addr: 0x00004c, value: 0x00 },
},
Operation {
rwc: 60,
revert: false,
op: MemoryOp { READ, addr: 0x00004c, value: 0x00 },
},
Operation {
rwc: 111,
revert: false,
op: MemoryOp { WRITE, addr: 0x00004c, value: 0x00 },
},
Operation {
rwc: 18,
revert: false,
op: MemoryOp { WRITE, addr: 0x00004d, value: 0x00 },
},
Operation {
rwc: 61,
revert: false,
op: MemoryOp { READ, addr: 0x00004d, value: 0x00 },
},
Operation {
rwc: 112,
revert: false,
op: MemoryOp { WRITE, addr: 0x00004d, value: 0x00 },
},
Operation {
rwc: 19,
revert: false,
op: MemoryOp { WRITE, addr: 0x00004e, value: 0x00 },
},
Operation {
rwc: 62,
revert: false,
op: MemoryOp { READ, addr: 0x00004e, value: 0x00 },
},
Operation {
rwc: 113,
revert: false,
op: MemoryOp { WRITE, addr: 0x00004e, value: 0x00 },
},
Operation {
rwc: 20,
revert: false,
op: MemoryOp { WRITE, addr: 0x00004f, value: 0x00 },
},
Operation {
rwc: 63,
revert: false,
op: MemoryOp { READ, addr: 0x00004f, value: 0x00 },
},
Operation {
rwc: 114,
revert: false,
op: MemoryOp { WRITE, addr: 0x00004f, value: 0x00 },
},
Operation {
rwc: 21,
revert: false,
op: MemoryOp { WRITE, addr: 0x000050, value: 0x00 },
},
Operation {
rwc: 64,
revert: false,
op: MemoryOp { READ, addr: 0x000050, value: 0x00 },
},
Operation {
rwc: 115,
revert: false,
op: MemoryOp { WRITE, addr: 0x000050, value: 0x00 },
},
Operation {
rwc: 22,
revert: false,
op: MemoryOp { WRITE, addr: 0x000051, value: 0x00 },
},
Operation {
rwc: 65,
revert: false,
op: MemoryOp { READ, addr: 0x000051, value: 0x00 },
},
Operation {
rwc: 116,
revert: false,
op: MemoryOp { WRITE, addr: 0x000051, value: 0x00 },
},
Operation {
rwc: 23,
revert: false,
op: MemoryOp { WRITE, addr: 0x000052, value: 0x00 },
},
Operation {
rwc: 66,
revert: false,
op: MemoryOp { READ, addr: 0x000052, value: 0x00 },
},
Operation {
rwc: 117,
revert: false,
op: MemoryOp { WRITE, addr: 0x000052, value: 0x00 },
},
Operation {
rwc: 24,
revert: false,
op: MemoryOp { WRITE, addr: 0x000053, value: 0x00 },
},
Operation {
rwc: 67,
revert: false,
op: MemoryOp { READ, addr: 0x000053, value: 0x00 },
},
Operation {
rwc: 118,
revert: false,
op: MemoryOp { WRITE, addr: 0x000053, value: 0x00 },
},
Operation {
rwc: 25,
revert: false,
op: MemoryOp { WRITE, addr: 0x000054, value: 0x00 },
},
Operation {
rwc: 68,
revert: false,
op: MemoryOp { READ, addr: 0x000054, value: 0x00 },
},
Operation {
rwc: 119,
revert: false,
op: MemoryOp { WRITE, addr: 0x000054, value: 0x00 },
},
Operation {
rwc: 26,
revert: false,
op: MemoryOp { WRITE, addr: 0x000055, value: 0x00 },
},
Operation {
rwc: 69,
revert: false,
op: MemoryOp { READ, addr: 0x000055, value: 0x00 },
},
Operation {
rwc: 120,
revert: false,
op: MemoryOp { WRITE, addr: 0x000055, value: 0x00 },
},
Operation {
rwc: 27,
revert: false,
op: MemoryOp { WRITE, addr: 0x000056, value: 0x00 },
},
Operation {
rwc: 70,
revert: false,
op: MemoryOp { READ, addr: 0x000056, value: 0x00 },
},
Operation {
rwc: 121,
revert: false,
op: MemoryOp { WRITE, addr: 0x000056, value: 0x00 },
},
Operation {
rwc: 28,
revert: false,
op: MemoryOp { WRITE, addr: 0x000057, value: 0x00 },
},
Operation {
rwc: 71,
revert: false,
op: MemoryOp { READ, addr: 0x000057, value: 0x00 },
},
Operation {
rwc: 122,
revert: false,
op: MemoryOp { WRITE, addr: 0x000057, value: 0x00 },
},
Operation {
rwc: 29,
revert: false,
op: MemoryOp { WRITE, addr: 0x000058, value: 0x00 },
},
Operation {
rwc: 72,
revert: false,
op: MemoryOp { READ, addr: 0x000058, value: 0x00 },
},
Operation {
rwc: 123,
revert: false,
op: MemoryOp { WRITE, addr: 0x000058, value: 0x00 },
},
Operation {
rwc: 30,
revert: false,
op: MemoryOp { WRITE, addr: 0x000059, value: 0x00 },
},
Operation {
rwc: 73,
revert: false,
op: MemoryOp { READ, addr: 0x000059, value: 0x00 },
},
Operation {
rwc: 124,
revert: false,
op: MemoryOp { WRITE, addr: 0x000059, value: 0x00 },
},
Operation {
rwc: 31,
revert: false,
op: MemoryOp { WRITE, addr: 0x00005a, value: 0x00 },
},
Operation {
rwc: 74,
revert: false,
op: MemoryOp { READ, addr: 0x00005a, value: 0x00 },
},
Operation {
rwc: 125,
revert: false,
op: MemoryOp { WRITE, addr: 0x00005a, value: 0x00 },
},
Operation {
rwc: 32,
revert: false,
op: MemoryOp { WRITE, addr: 0x00005b, value: 0x00 },
},
Operation {
rwc: 75,
revert: false,
op: MemoryOp { READ, addr: 0x00005b, value: 0x00 },
},
Operation {
rwc: 126,
revert: false,
op: MemoryOp { WRITE, addr: 0x00005b, value: 0x00 },
},
Operation {
rwc: 33,
revert: false,
op: MemoryOp { WRITE, addr: 0x00005c, value: 0x00 },
},
Operation {
rwc: 76,
revert: false,
op: MemoryOp { READ, addr: 0x00005c, value: 0x00 },
},
Operation {
rwc: 127,
revert: false,
op: MemoryOp { WRITE, addr: 0x00005c, value: 0x00 },
},
Operation {
rwc: 34,
revert: false,
op: MemoryOp { WRITE, addr: 0x00005d, value: 0x00 },
},
Operation {
rwc: 77,
revert: false,
op: MemoryOp { READ, addr: 0x00005d, value: 0x00 },
},
Operation {
rwc: 128,
revert: false,
op: MemoryOp { WRITE, addr: 0x00005d, value: 0x00 },
},
Operation {
rwc: 35,
revert: false,
op: MemoryOp { WRITE, addr: 0x00005e, value: 0x00 },
},
Operation {
rwc: 78,
revert: false,
op: MemoryOp { READ, addr: 0x00005e, value: 0x00 },
},
Operation {
rwc: 129,
revert: false,
op: MemoryOp { WRITE, addr: 0x00005e, value: 0x00 },
},
Operation {
rwc: 36,
revert: false,
op: MemoryOp { WRITE, addr: 0x00005f, value: 0x80 },
},
Operation {
rwc: 79,
revert: false,
op: MemoryOp { READ, addr: 0x00005f, value: 0x00 },
},
Operation {
rwc: 130,
revert: false,
op: MemoryOp { WRITE, addr: 0x00005f, value: 0xa0 },
},
Operation {
rwc: 186,
revert: false,
op: MemoryOp { READ, addr: 0x000080, value: 0x00 },
},
Operation {
rwc: 187,
revert: false,
op: MemoryOp { READ, addr: 0x000081, value: 0x00 },
},
Operation {
rwc: 188,
revert: false,
op: MemoryOp { READ, addr: 0x000082, value: 0x00 },
},
Operation {
rwc: 189,
revert: false,
op: MemoryOp { READ, addr: 0x000083, value: 0x00 },
},
Operation {
rwc: 190,
revert: false,
op: MemoryOp { READ, addr: 0x000084, value: 0x00 },
},
Operation {
rwc: 191,
revert: false,
op: MemoryOp { READ, addr: 0x000085, value: 0x00 },
},
Operation {
rwc: 192,
revert: false,
op: MemoryOp { READ, addr: 0x000086, value: 0x00 },
},
Operation {
rwc: 193,
revert: false,
op: MemoryOp { READ, addr: 0x000087, value: 0x00 },
},
Operation {
rwc: 194,
revert: false,
op: MemoryOp { READ, addr: 0x000088, value: 0x00 },
},
Operation {
rwc: 195,
revert: false,
op: MemoryOp { READ, addr: 0x000089, value: 0x00 },
},
Operation {
rwc: 196,
revert: false,
op: MemoryOp { READ, addr: 0x00008a, value: 0x00 },
},
Operation {
rwc: 197,
revert: false,
op: MemoryOp { READ, addr: 0x00008b, value: 0x00 },
},
Operation {
rwc: 198,
revert: false,
op: MemoryOp { READ, addr: 0x00008c, value: 0x00 },
},
Operation {
rwc: 199,
revert: false,
op: MemoryOp { READ, addr: 0x00008d, value: 0x00 },
},
Operation {
rwc: 200,
revert: false,
op: MemoryOp { READ, addr: 0x00008e, value: 0x00 },
},
Operation {
rwc: 201,
revert: false,
op: MemoryOp { READ, addr: 0x00008f, value: 0x00 },
},
Operation {
rwc: 202,
revert: false,
op: MemoryOp { READ, addr: 0x000090, value: 0x00 },
},
Operation {
rwc: 203,
revert: false,
op: MemoryOp { READ, addr: 0x000091, value: 0x00 },
},
Operation {
rwc: 204,
revert: false,
op: MemoryOp { READ, addr: 0x000092, value: 0x00 },
},
Operation {
rwc: 205,
revert: false,
op: MemoryOp { READ, addr: 0x000093, value: 0x00 },
},
Operation {
rwc: 206,
revert: false,
op: MemoryOp { READ, addr: 0x000094, value: 0x00 },
},
Operation {
rwc: 207,
revert: false,
op: MemoryOp { READ, addr: 0x000095, value: 0x00 },
},
Operation {
rwc: 208,
revert: false,
op: MemoryOp { READ, addr: 0x000096, value: 0x00 },
},
Operation {
rwc: 209,
revert: false,
op: MemoryOp { READ, addr: 0x000097, value: 0x00 },
},
Operation {
rwc: 210,
revert: false,
op: MemoryOp { READ, addr: 0x000098, value: 0x00 },
},
Operation {
rwc: 211,
revert: false,
op: MemoryOp { READ, addr: 0x000099, value: 0x00 },
},
Operation {
rwc: 212,
revert: false,
op: MemoryOp { READ, addr: 0x00009a, value: 0x00 },
},
Operation {
rwc: 213,
revert: false,
op: MemoryOp { READ, addr: 0x00009b, value: 0x00 },
},
Operation {
rwc: 214,
revert: false,
op: MemoryOp { READ, addr: 0x00009c, value: 0x00 },
},
Operation {
rwc: 215,
revert: false,
op: MemoryOp { READ, addr: 0x00009d, value: 0x00 },
},
Operation {
rwc: 216,
revert: false,
op: MemoryOp { READ, addr: 0x00009e, value: 0x00 },
},
Operation {
rwc: 217,
revert: false,
op: MemoryOp { READ, addr: 0x00009f, value: 0x00 },
},
]
[2021-12-27T15:32:09Z TRACE circuits] storage_ops: []
thread 'test_state_circuit_block_a' panicked at 'state_circuit verification failed: [ConstraintNotSatisfied { constraint: Constraint { gate: Gate {
index: 2, name: "Memory operation + padding" }, index: 4, name: "" }, row: 126, cell_values: [(VirtualCell { name: "", column: Column { column_typ
e: Advice, index: 3 }, rotation: -1 }, "0x80"), (VirtualCell { name: "", column: Column { column_type: Advice, index: 3 }, rotation: 0 }, "0"), (Vi
rtualCell { name: "", column: Column { column_type: Advice, index: 4 }, rotation: 0 }, "0"), (VirtualCell { name: "", column: Column { column_type:
Fixed, index: 0 }, rotation: 0 }, "0x2")] }, ConstraintNotSatisfied { constraint: Constraint { gate: Gate { index: 3, name: "Stack operation" }, i
ndex: 1, name: "" }, row: 16422, cell_values: [(VirtualCell { name: "", column: Column { column_type: Advice, index: 3 }, rotation: -1 }, "0"), (Vi
rtualCell { name: "", column: Column { column_type: Advice, index: 3 }, rotation: 0 }, "0x2a"), (VirtualCell { name: "", column: Column { column_ty
pe: Advice, index: 4 }, rotation: 0 }, "0"), (VirtualCell { name: "", column: Column { column_type: Fixed, index: 0 }, rotation: 0 }, "0x3")] }, Co
nstraintNotSatisfied { constraint: Constraint { gate: Gate { index: 3, name: "Stack operation" }, index: 1, name: "" }, row: 16494, cell_values: [(
VirtualCell { name: "", column: Column { column_type: Advice, index: 3 }, rotation: -1 }, "0x10"), (VirtualCell { name: "", column: Column { column
_type: Advice, index: 3 }, rotation: 0 }, "0x29f"), (VirtualCell { name: "", column: Column { column_type: Advice, index: 4 }, rotation: 0 }, "0"),
(VirtualCell { name: "", column: Column { column_type: Fixed, index: 0 }, rotation: 0 }, "0x3")] }, ConstraintNotSatisfied { constraint: Constrain
t { gate: Gate { index: 3, name: "Stack operation" }, index: 1, name: "" }, row: 16543, cell_values: [(VirtualCell { name: "", column: Column { col
umn_type: Advice, index: 3 }, rotation: -1 }, "0x80"), (VirtualCell { name: "", column: Column { column_type: Advice, index: 3 }, rotation: 0 }, "0
"), (VirtualCell { name: "", column: Column { column_type: Advice, index: 4 }, rotation: 0 }, "0"), (VirtualCell { name: "", column: Column { colum
n_type: Fixed, index: 0 }, rotation: 0 }, "0x3")] }, ConstraintNotSatisfied { constraint: Constraint { gate: Gate { index: 3, name: "Stack operatio
n" }, index: 1, name: "" }, row: 16548, cell_values: [(VirtualCell { name: "", column: Column { column_type: Advice, index: 3 }, rotation: -1 }, "0
"), (VirtualCell { name: "", column: Column { column_type: Advice, index: 3 }, rotation: 0 }, "0x80"), (VirtualCell { name: "", column: Column { co
lumn_type: Advice, index: 4 }, rotation: 0 }, "0"), (VirtualCell { name: "", column: Column { column_type: Fixed, index: 0 }, rotation: 0 }, "0x3")
] }]', integration-tests/tests/circuits.rs:343:21
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
test test_state_circuit_block_a ... FAILED
failures:
failures:
test_state_circuit_block_a
test result: FAILED. 0 passed; 1 failed; 0 ignored; 0 measured; 1 filtered out; finished in 1.50s
error: test failed, to rerun pass '--test circuits'
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment