Skip to content

Conversation

@ivokub
Copy link
Collaborator

@ivokub ivokub commented Jun 21, 2023

We modreduced when the input was constant, but did not when it was a variable. For ECDSA we assert against the modulus which was constant and modreduced.

Need to apply to plonk branch.

@ivokub ivokub added type: bug Something isn't working dep: linea Issues affecting Linea downstream labels Jun 21, 2023
@ivokub ivokub added this to the v0.9.0 milestone Jun 21, 2023
@ivokub ivokub requested a review from gbotrel June 21, 2023 14:01
@ivokub ivokub self-assigned this Jun 21, 2023
@ivokub ivokub merged commit 0fdc46e into develop Jun 22, 2023
@ivokub ivokub deleted the fix/emulated-tobits branch June 22, 2023 11:26
ivokub added a commit that referenced this pull request Jun 22, 2023
* test: implement failing test case

* fix: unify emulated ToBits between constant and var
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dep: linea Issues affecting Linea downstream type: bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants