Closed Sword-Smith closed 4 months ago
thread 'hashing::merkle_verify::tests::merkle_verify_negative_test' panicked at tasm-lib/src/hashing/merkle_verify.rs:248:13: assertion left == right failed left: Digest([BFieldElement(1302696639903926749), BFieldElement(9552693175321430067), BFieldElement(1193407416794561546), BFieldElement(12606518367317105785), BFieldElement(13067858668480996148)]) right: Digest([BFieldElement(11014537744297756133), BFieldElement(18057426493580023700), BFieldElement(15160870553681206727), BFieldElement(7292421991731732610), BFieldElement(9295576689961474824)]) Triton VM execution failed. Final state:
left == right
╭────────────────────────────────────────────────────────╮ │ assert_vector │ ╭┴────────────────────────────────────────────────────────┴───────────────────────────┬───────────────────╮ │ ip: 40 ╷ ci: 26 ╷ nia: 3 │ 29 │ │ jsp: 1 │ jso: 2 │ jsd: 3 ╰───────────────────┤ │ osp: 26 ╵ │ │ │ │ st0-3: [ 14292835809094802354 | 15571472752133143510 | 17371771604418155962 | 11433805872396196267 ] │ │ st4-7: [ 06112511224356428858 | 15646765564986884026 | 14543964543657762235 | 14970148534243179379 ] │ │ st8-11: [ 08746408648952242987 | 11777299192542692801 | 0 | 0 ] │ │ st12-15: [ 0 | 0 | 0 | 0 ] │ │ │ │ hv0-3: [ 0 | 0 | 0 | 0 ] │ │ hv4-5: [ 0 | 0 ] │ │ ib6-0: [ 0 | 0 | 1 | 1 | 0 | 1 | 0 ] │ ╰─────────────────────────────────────────────────────────────────────────────────────────────────────────╯
now testing: too high leaf index thread 'hashing::merkle_verify::tests::merkle_verify_negative_test' panicked at tasm-lib/src/hashing/merkle_verify.rs:233:13: assertion failed: leaf_index < num_leaves Triton VM execution failed. Final state:
Fixed in 5080fc5.
aszepieniec
commented
4 months ago
thread 'hashing::merkle_verify::tests::merkle_verify_negative_test' panicked at tasm-lib/src/hashing/merkle_verify.rs:248:13: assertion
left == rightfailed left: Digest([BFieldElement(1302696639903926749), BFieldElement(9552693175321430067), BFieldElement(1193407416794561546), BFieldElement(12606518367317105785), BFieldElement(13067858668480996148)]) right: Digest([BFieldElement(11014537744297756133), BFieldElement(18057426493580023700), BFieldElement(15160870553681206727), BFieldElement(7292421991731732610), BFieldElement(9295576689961474824)]) Triton VM execution failed. Final state:╭────────────────────────────────────────────────────────╮ │ assert_vector │ ╭┴────────────────────────────────────────────────────────┴───────────────────────────┬───────────────────╮ │ ip: 40 ╷ ci: 26 ╷ nia: 3 │ 29 │ │ jsp: 1 │ jso: 2 │ jsd: 3 ╰───────────────────┤ │ osp: 26 ╵ │ │ │ │ st0-3: [ 14292835809094802354 | 15571472752133143510 | 17371771604418155962 | 11433805872396196267 ] │ │ st4-7: [ 06112511224356428858 | 15646765564986884026 | 14543964543657762235 | 14970148534243179379 ] │ │ st8-11: [ 08746408648952242987 | 11777299192542692801 | 0 | 0 ] │ │ st12-15: [ 0 | 0 | 0 | 0 ] │ │ │ │ hv0-3: [ 0 | 0 | 0 | 0 ] │ │ hv4-5: [ 0 | 0 ] │ │ ib6-0: [ 0 | 0 | 1 | 1 | 0 | 1 | 0 ] │ ╰─────────────────────────────────────────────────────────────────────────────────────────────────────────╯
now testing: too high leaf index thread 'hashing::merkle_verify::tests::merkle_verify_negative_test' panicked at tasm-lib/src/hashing/merkle_verify.rs:233:13: assertion failed: leaf_index < num_leaves Triton VM execution failed. Final state: