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.

Sign up for GitHub

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

Jump to bottom

crypto(zk): add rounding down to `U128x128Var` #2617

Merged

redshiftzero merged 2 commits into main from u128-round-down

May 22, 2023

Member

redshiftzero commented May 22, 2023 •

edited

Loading

We round down in the batch swap pro rata output calculation, so need to be able to do so in R1CS


          crypto(zk): add rounding down to U128x128Var

14d5fb6

redshiftzero had a problem deploying to smoke-test

May 22, 2023 15:19

— with

GitHub Actions Error


          chore: buf mod update

735a764

redshiftzero temporarily deployed to smoke-test

May 22, 2023 15:21

— with

GitHub Actions Inactive

redshiftzero merged commit 38d4208 into main

redshiftzero deleted the u128-round-down branch

May 22, 2023 15:44

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet