Skip to content
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

Implement Hint#48 pack512 #1000

Merged
merged 22 commits into from
Apr 21, 2023
Merged

Implement Hint#48 pack512 #1000

Show file tree
Hide file tree
Changes from 17 commits
Commits
Show all changes
22 commits
Select commit Hold shift + click to select a range
986c95b
Add cairo program for integration test
Apr 17, 2023
329ed63
WIP implement hint
Apr 17, 2023
dad63e6
Add pack_512 fn + unit tests
Apr 17, 2023
e5f7948
Update pack_512.cairo
pefontana Apr 18, 2023
69aba57
Add hint code && implement hint
pefontana Apr 18, 2023
c9a4220
Reimplement pack_512 function && fix hint
pefontana Apr 19, 2023
a29f0a0
handle error
pefontana Apr 19, 2023
ee69bcb
Merge branch 'main' into hint-48-pack512
pefontana Apr 19, 2023
6017d71
Fix merge conflicts
pefontana Apr 19, 2023
99e78d8
Update Changelog
pefontana Apr 19, 2023
9ce9cec
Rename pack_512.rs -> inv_mod_p_uint512.rs
pefontana Apr 19, 2023
6ac4aaf
Add integration test
pefontana Apr 19, 2023
040f5e1
Rename u255.cairo -> cairo_programs/fq_uint256.cairo
pefontana Apr 20, 2023
567fab7
pack_512 -> BigUint
pefontana Apr 20, 2023
a0793e2
Add unit test
pefontana Apr 20, 2023
2c91109
Merge branch 'main' into hint-48-pack512
pefontana Apr 20, 2023
9bb98e8
fix wasm tests
pefontana Apr 20, 2023
c33a5e2
Remove fq_uint256.cairo
pefontana Apr 21, 2023
3a00011
Merge branch 'main' into hint-48-pack512
pefontana Apr 21, 2023
46c7128
use u128::MAX
pefontana Apr 21, 2023
33a0f44
Merge branch 'main' into hint-48-pack512
pefontana Apr 21, 2023
b064822
fix tests
pefontana Apr 21, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
19 changes: 19 additions & 0 deletions CHANGELOG.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,25 @@

#### Upcoming Changes

* Add missing hint on vrf.json lib [#1000](https://github.com/lambdaclass/cairo-rs/pull/1000):

`BuiltinHintProcessor` now supports the following hint:

```python
def pack_512(u, num_bits_shift: int) -> int:
limbs = (u.d0, u.d1, u.d2, u.d3)
return sum(limb << (num_bits_shift * i) for i, limb in enumerate(limbs))

x = pack_512(ids.x, num_bits_shift = 128)
p = ids.p.low + (ids.p.high << 128)
x_inverse_mod_p = pow(x,-1, p)

x_inverse_mod_p_split = (x_inverse_mod_p & ((1 << 128) - 1), x_inverse_mod_p >> 128)

ids.x_inverse_mod_p.low = x_inverse_mod_p_split[0]
ids.x_inverse_mod_p.high = x_inverse_mod_p_split[1]
```

* Add missing hint on uint256_improvements lib [#1016](https://github.com/lambdaclass/cairo-rs/pull/1016):

`BuiltinHintProcessor` now supports the following hint:
Expand Down
Loading