laudiacay / barustenberg

barretenburg in rust (here we go)
Apache License 2.0
97 stars 10 forks source link

feat: composer + circuit builder test #93

Open iammadab opened 10 months ago

iammadab commented 10 months ago

Description

Ported tests from: https://github.com/AztecProtocol/aztec-packages/blob/af93a33fdd5d73648d31b4e4f7347d29b8892405/barretenberg/cpp/src/barretenberg/proof_system/circuit_builder/standard_circuit_builder.test.cpp

Link to issue

90

Test plan

PR only includes tests.

iammadab commented 10 months ago

5 ported tests failing:

For the following, the decompose_into_base4_accumulators function hits a deadlock

For the following, the check_circuit check fails

Other notes: