keep-starknet-strange / garaga

State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.

https://felt.gitbook.io/garaga

MIT License

188 stars 47 forks source link

implementing scalar_to_base_neg3_le #127

Closed luiz-lvj closed 3 months ago

luiz-lvj commented 3 months ago

I implemented the scalar_to_base_neg3_le function, with the behavior expected by issue #126.

Pull Request type

Please check the type of change your PR introduces:

[ ] Bugfix
[x] Feature
[ ] Code style update (formatting, renaming)
[ ] Refactoring (no functional changes, no API changes)
[ ] Build-related changes
[ ] Documentation content changes
[ ] Testing
[ ] Other (please describe):

What is the current behavior?

There is no implementation of scalar_to_base_neg3_le in Cairo 1.

Issue Number: 126

What is the new behavior?

Implementation of scalar_to_base_neg3_le, counting the positive and negative multiplicities of the base (-3) decomposition of a u128 parameter.

implemented function scalar_to_base_neg3_le
implemented function neg_3_base_le

Does this introduce a breaking change?

[ ] Yes
[x] No

Other information