snarkify/sirius

fix(exm): copy constraint in input of sha256

Opened this issue · 3 comments

cyphersnake commented

Found the problem, it's inside the step circuit example code, not fold. I am investigating why the input processing does not work as expected

VerifyFailed([
    MockRunFailed { err: Equality constraint not satisfied by cell (Column('Advice', 6 - ), in Region 5 ('make folding') at offset 32), is_primary: true, step: 0 },
    MockRunFailed { err: Equality constraint not satisfied by cell (Column('Advice', 6 - ), in Region 5 ('make folding') at offset 33), is_primary: true, step: 0 },
    MockRunFailed { err: Equality constraint not satisfied by cell (Column('Advice', 6 - ), in Region 5 ('make folding') at offset 34), is_primary: true, step: 0 },
    MockRunFailed { err: Equality constraint not satisfied by cell (Column('Advice', 6 - ), in Region 5 ('make folding') at offset 35), is_primary: true, step: 0 }, 
    MockRunFailed { err: Equality constraint not satisfied by cell (Column('Advice', 6 - ), in Region 5 ('make folding') at offset 36), is_primary: true, step: 0 }, 
    MockRunFailed { err: Equality constraint not satisfied by cell (Column('Advice', 6 - ), in Region 5 ('make folding') at offset 37), is_primary: true, step: 0 }, 
    MockRunFailed { err: Equality constraint not satisfied by cell (Column('Advice', 6 - ), in Region 5 ('make folding') at offset 38), is_primary: true, step: 0 }, 
    MockRunFailed { err: Equality constraint not satisfied by cell (Column('Advice', 7 - ), in Region 8 ('process message block') at offset 2), is_primary: true, step: 0 }, 
    MockRunFailed { err: Equality constraint not satisfied by cell (Column('Advice', 7 - ), in Region 8 ('process message block') at offset 8), is_primary: true, step: 0 }, 
    MockRunFailed { err: Equality constraint not satisfied by cell (Column('Advice', 7 - ), in Region 8 ('process message block') at offset 14), is_primary: true, step: 0 }, 
    MockRunFailed { err: Equality constraint not satisfied by cell (Column('Advice', 7 - ), in Region 8 ('process message block') at offset 20), is_primary: true, step: 0 }, 
    MockRunFailed { err: Equality constraint not satisfied by cell (Column('Advice', 7 - ), in Region 8 ('process message block') at offset 26), is_primary: true, step: 0 }, 
    MockRunFailed { err: Equality constraint not satisfied by cell (Column('Advice', 7 - ), in Region 8 ('process message block') at offset 32), is_primary: true, step: 0 }, 
    MockRunFailed { err: Equality constraint not satisfied by cell (Column('Advice', 7 - ), in Region 8 ('process message block') at offset 38), is_primary: true, step: 0 }
])
cyphersnake commented

Maybe we can postpone it because of #171
I need to check how much time we need to migrate to sha256 when we get a fully working IVC (after #33)

cyphersnake commented

Last blocker for #33

chaosma commented

can you summarize what is this copy constraint issue you have found? @cyphersnake