Generate constraints in black box functions#74

Draft

ilitteri wants to merge 30 commits intomainfrom

generate_constraints_in_black_box_functions

Commits on Mar 17, 2023

Update test programs
Iván Litteri
committed
Remove test program
Iván Litteri
committed
Merge branch 'main' of github.com:lambdaclass/noir_backend_using_gnark into update_test_programs
Iván Litteri
committed
Remove test program
Iván Litteri
committed
Remove test program
Iván Litteri
committed
Remove test program
Iván Litteri
committed
Handle Directive opcodes correctly
Iván Litteri
committed
Handle `BlackBoxFunction` opcodes unmarshal
Iván Litteri
committed
Refactor `Arithmetic` opcode unmarshaling
Iván Litteri
committed
Change types visibility
Iván Litteri
committed
`handleBlackBoxFunctionOpcode`
Iván Litteri
committed
Abstract `ArithmeticOpcode` handling
Iván Litteri
committed
Reorder functions
Iván Litteri
committed
Handle each black box function case
Iván Litteri
committed

Commits on Mar 20, 2023

Handle some black box functions
Iván Litteri
committed
cargo fmt
Iván Litteri
committed

Commits on Mar 21, 2023

Update which black box functions we support
Iván Litteri
committed
Separate local imports from std imports
Iván Litteri
committed
Fix `BlackBoxFunction`'s `UnmarshalJSON`
Iván Litteri
committed
Fix `Opcode`'s `UnmarshalJSON`
Iván Litteri
committed
Update components
Iván Litteri
committed

Commits on Mar 22, 2023

`FixedBaseScalarMul` is not supported yet
Iván Litteri
committed

Commits on Mar 27, 2023

`assertIsBoolean` component (#71)
ilitteri
authored

Commits on Mar 30, 2023

Commits on Mar 31, 2023

`assertIsInRange` component (#79)
ilitteri
authored

Commits on Mar 8, 2024

Merge branch 'main' of github.com:lambdaclass/noir_backend_using_gnark into generate_constraints_in_black_box_functions
ilitteri
committed
Fix merge error
ilitteri
committed
Fix merge error
ilitteri
committed