Chih Cheng Liang

Something along the lines of pseudocode as in figure 1 of https://eprint.iacr.org/2021/793.pdf is what auditors need.

@kilic, are your concerns about ECC multiplication cycles related to this?

Hi @Brechtpd, can you assign a reviewer for this PR?

Hey @smtmfft and @CPerezz, it looks like the test error is triggered when the PR is merged with the master branch. If you rebase the branch, the error can be...

Hi @Brechtpd, I noticed you still need to approve the PR. Anything you'd like to add to the review?

Will be updated once the witness generator work is finished.

The spec needs to be updated to reflect the changes in the refactor.

~~This task only requires us to specify the "bit" implementation~~

Scroll has an on going implementation https://github.com/scroll-tech/zkevm-circuits/pull/520

@LuozhuZhang What's the status of this PR? Is there any blocker?