`FixedBaseScalarMul` black box function#80

Draft

ilitteri wants to merge 6 commits intogenerate_constraints_in_black_box_functionsfrom

fixed_base_scalar_mul

Commits on Mar 31, 2023

Implement `ScalarBaseMul` component
Iván Litteri
committed
Add curve components
Iván Litteri
committed
Add `Square` component
Iván Litteri
committed
Add `AssertPointIsOnCurve` component
Iván Litteri
committed
Add tests scaffoldings for the implemented components
Iván Litteri
committed
Add test for `Square` component
Iván Litteri
committed