Skip to content
This repository was archived by the owner on Apr 18, 2025. It is now read-only.

Conversation

lispc
Copy link

@lispc lispc commented Sep 1, 2023

maybe due to msg_hash is 0?

C="ecrecoverWeirdV_d1(good)_g0_v0"
FLAG=" --features=scroll"
export CIRCUIT=sig
RUST_BACKTRACE=1 RUST_LOG=trace cargo run --release $FLAG -- --circuits basic --suite nightly --inspect "${C}" 2>&1 | tee one.log

output:

error: lookup input does not exist in table
  (L0) ∉ ("F2")

  Lookup 'lookup wo selector' inputs:
    L0 = x0
    ^

    | Cell layout in region 'ecdsa chip verification':
    |   | Offset | A70|
    |   +--------+----+
    |   | 124925 | x0 | <--{ Lookup 'lookup wo selector' inputs queried here
    |
    | Assigned cell values:
    |   x0 = 0x1e9e780

Equality constraint not satisfied by cell (Column('Advice', 13 - ), in Region 1 ('ecdsa chip verification') at offset 913815)

Equality constraint not satisfied by cell (Column('Advice', 13 - ), in Region 1 ('ecdsa chip verification') at offset 913836)

thread 'main' panicked at 'circuit was not satisfied', /home/ubuntu/.cargo/git/checkouts/halo2-189ea3cf7f17e3ad/01f0b52
/halo2_proofs/src/dev.rs:1691:13

@lispc lispc marked this pull request as ready for review September 1, 2023 07:11
@lispc lispc changed the title testing sig circuit failure bump l2geth; support sig circuit in testool Sep 1, 2023
@lispc lispc merged commit 4bf0777 into develop Sep 1, 2023
@lispc lispc deleted the debug/testool4 branch September 1, 2023 07:32
@zhenfeizhang zhenfeizhang mentioned this pull request Sep 1, 2023
4 tasks
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant