Implement Hint#48 pack512

[pefontana]

Implement Hint#48 pack512

Description

issue: #979

Implement hint:

                "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]"

Checklist

• Linked to Github Issue
• Unit tests added
• Integration tests added.
• This change requires new documentation.
  • Documentation has been added/updated.
  • CHANGELOG has been updated.

[Oppen]

1000! 🎉 🎉 🎉

[github-actions]

Benchmark Results for unmodified programs 🚀

Command	Mean [s]	Min [s]	Max [s]	Relative
base blake2s_integration_benchmark	2.550 ± 0.031	2.512	2.593	1.00
head blake2s_integration_benchmark	2.588 ± 0.023	2.565	2.634	1.01 ± 0.02

Command	Mean [s]	Min [s]	Max [s]	Relative
base compare_arrays_200000	3.106 ± 0.036	3.061	3.159	1.00
head compare_arrays_200000	3.194 ± 0.025	3.168	3.246	1.03 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base dict_integration_benchmark	2.464 ± 0.029	2.433	2.534	1.00
head dict_integration_benchmark	2.476 ± 0.013	2.455	2.496	1.00 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base factorial_multirun	3.779 ± 0.023	3.734	3.810	1.00
head factorial_multirun	3.877 ± 0.030	3.837	3.941	1.03 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base fibonacci_1000_multirun	3.054 ± 0.033	3.019	3.114	1.00
head fibonacci_1000_multirun	3.100 ± 0.019	3.074	3.142	1.01 ± 0.01

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
base field_arithmetic_get_square_benchmark	129.8 ± 1.0	128.3	131.7	1.00
head field_arithmetic_get_square_benchmark	148.9 ± 56.9	128.5	310.7	1.15 ± 0.44

Command	Mean [s]	Min [s]	Max [s]	Relative
base integration_builtins	3.138 ± 0.073	3.089	3.328	1.00
head integration_builtins	3.203 ± 0.018	3.180	3.239	1.02 ± 0.02

Command	Mean [s]	Min [s]	Max [s]	Relative
base keccak_integration_benchmark	2.771 ± 0.068	2.721	2.959	1.00
head keccak_integration_benchmark	2.786 ± 0.018	2.768	2.816	1.01 ± 0.03

Command	Mean [s]	Min [s]	Max [s]	Relative
base linear_search	3.222 ± 0.022	3.193	3.263	1.00
head linear_search	3.308 ± 0.023	3.283	3.361	1.03 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base math_cmp_and_pow_integration_benchmark	2.779 ± 0.036	2.737	2.871	1.00
head math_cmp_and_pow_integration_benchmark	2.832 ± 0.019	2.799	2.874	1.02 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base math_integration_benchmark	2.525 ± 0.011	2.507	2.545	1.00
head math_integration_benchmark	2.569 ± 0.023	2.546	2.618	1.02 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base memory_integration_benchmark	2.183 ± 0.050	2.149	2.321	1.00
head memory_integration_benchmark	2.209 ± 0.012	2.189	2.233	1.01 ± 0.02

Command	Mean [s]	Min [s]	Max [s]	Relative
base operations_with_data_structures_benchmarks	2.237 ± 0.020	2.209	2.278	1.00
head operations_with_data_structures_benchmarks	2.306 ± 0.020	2.279	2.346	1.03 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base pedersen	3.223 ± 0.025	3.207	3.292	1.00
head pedersen	3.821 ± 0.007	3.810	3.831	1.19 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base poseidon_integration_benchmark	1.511 ± 0.007	1.502	1.525	1.00
head poseidon_integration_benchmark	1.537 ± 0.005	1.530	1.543	1.02 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base secp_integration_benchmark	2.367 ± 0.010	2.348	2.382	1.00
head secp_integration_benchmark	2.425 ± 0.025	2.393	2.466	1.02 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base set_integration_benchmark	1.703 ± 0.024	1.686	1.769	1.00
head set_integration_benchmark	1.712 ± 0.010	1.700	1.730	1.01 ± 0.02

Command	Mean [s]	Min [s]	Max [s]	Relative
base uint256_integration_benchmark	3.994 ± 0.024	3.962	4.028	1.00
head uint256_integration_benchmark	4.056 ± 0.046	4.015	4.179	1.02 ± 0.01

[codecov]

Codecov Report

Merging #1000 (b064822) into main (593d9a7) will increase coverage by 0.00%.
The diff coverage is 100.00%.

@@           Coverage Diff            @@
##             main    #1000    +/-   ##
========================================
  Coverage   98.07%   98.08%            
========================================
  Files          78       79     +1     
  Lines       32541    32663   +122     
========================================
+ Hits        31916    32038   +122     
  Misses        625      625            

Impacted Files	Coverage Δ
...int_processor/builtin_hint_processor_definition.rs	98.82% <100.00%> (+<0.01%)	⬆️
...or/builtin_hint_processor/vrf/inv_mod_p_uint512.rs	100.00% <100.00%> (ø)

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

[MegaRedHand]

LGTM