-
Notifications
You must be signed in to change notification settings - Fork 809
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Opcode SHR
#519
Opcode SHR
#519
Conversation
Co-authored-by: Haichen Shen <shenhaichen@gmail.com>
Co-authored-by: Haichen Shen <shenhaichen@gmail.com>
Reviewing this now. Sorry for the delay. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
overall LGTM
Co-authored-by: Haichen Shen <shenhaichen@gmail.com>
with `shr_gadget_rand_normal_shift`.
Sorry, will defer my review to @miha-stopar. Was too busy working on other stuff. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM! Only some minor comments.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM
* Add `SHR` circuit. * Add `ShrWordsGadget` to `math_gadget.rs`. * Add more contraints. * Update. * Fix lint. * Fix. * Fix to convert `shf_div64` to u64 when calling assign. Co-authored-by: Haichen Shen <shenhaichen@gmail.com> * Fix to convert `shf_mod64` to u64 when calling assign. Co-authored-by: Haichen Shen <shenhaichen@gmail.com> * Delete useless local variables `shf_div64` and `shf_mod64`. * Fix to add `cb.require_equal` when contructing `a64s_lo_lt_p_lo`. * Shorten `b64s[0]` constraint name. Co-authored-by: Haichen Shen <shenhaichen@gmail.com> * Shorten other `b64s[idx]` constraint names. * Add more test cases. * Fixed to use `rand_word()` in cases of `shr_gadget_simple` and merged with `shr_gadget_rand_normal_shift`. * Add more comments according to code review. * minor tweak Co-authored-by: Haichen Shen <shenhaichen@gmail.com>
* expose keccak circuit APIs * expose more fields * [chore] fix clippy
Spec: privacy-scaling-explorations/zkevm-specs#195