From 6a5aede581194a6ce2ac8853fcc06c67cdecea5f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tom=C3=A1s?= Date: Sat, 15 Apr 2023 11:27:17 -0300 Subject: [PATCH] Fix changelog Some of the entries were being repeated when merging changes, and were also originally misplaced in the 0.3.0-rc1 section --- CHANGELOG.md | 144 +++++++++++++++++++-------------------------------- 1 file changed, 52 insertions(+), 92 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 618ac1dd61..0ffd302d14 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -12,6 +12,58 @@ * Added dynamic layout [#879](https://github.com/lambdaclass/cairo-rs/pull/879) * `get_segment_size` was exposed [#934](https://github.com/lambdaclass/cairo-rs/pull/934) + +* Add missing hint on cairo_secp lib [#990](https://github.com/lambdaclass/cairo-rs/pull/990): + + `BuiltinHintProcessor` now supports the following hint: + ```python + from starkware.cairo.common.cairo_secp.secp_utils import pack + + slope = pack(ids.slope, PRIME) + x = pack(ids.point.x, PRIME) + y = pack(ids.point.y, PRIME) + + value = new_x = (pow(slope, 2, SECP_P) - 2 * x) % SECP_P + ``` + +* Add missing hint on cairo_secp lib [#989](https://github.com/lambdaclass/cairo-rs/pull/989): + + `BuiltinHintProcessor` now supports the following hint: + ```python + from starkware.cairo.common.cairo_secp.secp_utils import SECP_P + q, r = divmod(pack(ids.val, PRIME), SECP_P) + assert r == 0, f"verify_zero: Invalid input {ids.val.d0, ids.val.d1, ids.val.d2}." + ids.q = q % PRIME + ``` + +* Add missing hint on cairo_secp lib [#986](https://github.com/lambdaclass/cairo-rs/pull/986): + + `BuiltinHintProcessor` now supports the following hint: + ```python + from starkware.cairo.common.cairo_secp.secp_utils import SECP_P, pack + from starkware.python.math_utils import div_mod + + # Compute the slope. + x = pack(ids.pt.x, PRIME) + y = pack(ids.pt.y, PRIME) + value = slope = div_mod(3 * x ** 2, 2 * y, SECP_P) + ``` + +* Add missing hint on cairo_secp lib [#984](https://github.com/lambdaclass/cairo-rs/pull/984): + + `BuiltinHintProcessor` now supports the following hint: + ```python + from starkware.cairo.common.cairo_secp.secp_utils import SECP_P, pack + from starkware.python.math_utils import div_mod + + # Compute the slope. + x0 = pack(ids.pt0.x, PRIME) + y0 = pack(ids.pt0.y, PRIME) + x1 = pack(ids.pt1.x, PRIME) + y1 = pack(ids.pt1.y, PRIME) + value = slope = div_mod(y0 - y1, x0 - x1, SECP_P) + ``` + #### [0.3.0-rc1] - 2023-04-13 * Derive Deserialize for ExecutionResources [#922](https://github.com/lambdaclass/cairo-rs/pull/922) * Remove builtin names from VirtualMachine.builtin_runners [#921](https://github.com/lambdaclass/cairo-rs/pull/921) @@ -57,22 +109,6 @@ * after each step * ExecutionResource operations: add and substract [#774](https://github.com/lambdaclass/cairo-rs/pull/774), multiplication [#908](https://github.com/lambdaclass/cairo-rs/pull/908) , and `AddAssign` [#914](https://github.com/lambdaclass/cairo-rs/pull/914) - -* Add missing hint on cairo_secp lib [#984]: - - `BuiltinHintProcessor` now supports the following hint: - ```python - from starkware.cairo.common.cairo_secp.secp_utils import SECP_P, pack - from starkware.python.math_utils import div_mod - - # Compute the slope. - x0 = pack(ids.pt0.x, PRIME) - y0 = pack(ids.pt0.y, PRIME) - x1 = pack(ids.pt1.x, PRIME) - y1 = pack(ids.pt1.y, PRIME) - value = slope = div_mod(y0 - y1, x0 - x1, SECP_P) - ``` - * Implement hints on uint384 lib (Part 2) [#971](https://github.com/lambdaclass/cairo-rs/pull/971) `BuiltinHintProcessor` now supports the following hint: @@ -218,82 +254,6 @@ Used by the common library function `uint256_mul_div_mod` -* Add missing hint on cairo_secp lib [#986]: - - `BuiltinHintProcessor` now supports the following hint: - ```python - from starkware.cairo.common.cairo_secp.secp_utils import SECP_P, pack - from starkware.python.math_utils import div_mod - - # Compute the slope. - x = pack(ids.pt.x, PRIME) - y = pack(ids.pt.y, PRIME) - value = slope = div_mod(3 * x ** 2, 2 * y, SECP_P) - ``` - -* Add missing hint on cairo_secp lib [#984]: - `BuiltinHintProcessor` now supports the following hint: - ```python - from starkware.cairo.common.cairo_secp.secp_utils import SECP_P, pack - from starkware.python.math_utils import div_mod - - # Compute the slope. - x0 = pack(ids.pt0.x, PRIME) - y0 = pack(ids.pt0.y, PRIME) - x1 = pack(ids.pt1.x, PRIME) - y1 = pack(ids.pt1.y, PRIME) - value = slope = div_mod(y0 - y1, x0 - x1, SECP_P) - ``` - -* Add missing hint on cairo_secp lib [#990]: - - `BuiltinHintProcessor` now supports the following hint: - ```python - from starkware.cairo.common.cairo_secp.secp_utils import pack - - slope = pack(ids.slope, PRIME) - x = pack(ids.point.x, PRIME) - y = pack(ids.point.y, PRIME) - - value = new_x = (pow(slope, 2, SECP_P) - 2 * x) % SECP_P - ``` - -* Add missing hint on cairo_secp lib [#989]: - - `BuiltinHintProcessor` now supports the following hint: - ```python - from starkware.cairo.common.cairo_secp.secp_utils import SECP_P - q, r = divmod(pack(ids.val, PRIME), SECP_P) - assert r == 0, f"verify_zero: Invalid input {ids.val.d0, ids.val.d1, ids.val.d2}." - ids.q = q % PRIME - ``` - -* Add missing hint on cairo_secp lib [#986]: - `BuiltinHintProcessor` now supports the following hint: - ```python - from starkware.cairo.common.cairo_secp.secp_utils import SECP_P, pack - from starkware.python.math_utils import div_mod - - # Compute the slope. - x = pack(ids.pt.x, PRIME) - y = pack(ids.pt.y, PRIME) - value = slope = div_mod(3 * x ** 2, 2 * y, SECP_P) - ``` - -* Add missing hint on cairo_secp lib [#984]: - `BuiltinHintProcessor` now supports the following hint: - ```python - from starkware.cairo.common.cairo_secp.secp_utils import SECP_P, pack - from starkware.python.math_utils import div_mod - - # Compute the slope. - x0 = pack(ids.pt0.x, PRIME) - y0 = pack(ids.pt0.y, PRIME) - x1 = pack(ids.pt1.x, PRIME) - y1 = pack(ids.pt1.y, PRIME) - value = slope = div_mod(y0 - y1, x0 - x1, SECP_P) - ``` - * Move `Memory` into `MemorySegmentManager` [#830](https://github.com/lambdaclass/cairo-rs/pull/830) * Structural changes: * Remove `memory: Memory` field from `VirtualMachine`