Lucas Xia comments

Results 14 comments of


                                            Lucas Xia

Investigate why adding default aggregation object adds many gates to double_verify_proof circuit

Figured it out: it comes from the bigfield constructor. That constructor add constraints when it breaks down the Fq values to bigfield limbs.

Investigate why adding default aggregation object adds many gates to double_verify_proof circuit

Well, the solution that avoided the bigfield constructor caused some sumcheck failure.

Pairing-input aggregation in Honk recursive verifier

Duplicate of https://github.com/AztecProtocol/barretenberg/issues/1059.

Sumcheck loop ordering

I don't remember exactly what this is referring to. Should've attached it to a line in the code. Maybe @zac-williamson would know.

Add aggregation to merge/decider/translator recursive verifiers

I would think we need to do this for all three still. They all output pairing point objects that need to be accumulated. I'm not sure how difficult it would...

Investigate constraint count increase caused by enabling poseidon gate for the Tube circuit

also for the ultra recursive verifier. I observed a ~46k gate difference before and after poseidon2 was added, when it should be way lower.

Write VK functionality for tube

Also would allow us to remove the prove_tube function and file.

Merge ultra_recursive_verifier and ultra_verifier

I no longer think merging recursive and non-recursive is a good idea

Better handling of "fixed" public inputs in CIVC

Not fully addressed, but added asserts in https://github.com/AztecProtocol/aztec-packages/pull/13828 to enforce ordering and existence of certain backend public inputs, which should help a lot. Seems unlikely we will ever need to...

Hash accumulator in PG

Closed by https://github.com/AztecProtocol/aztec-packages/pull/16243.