maramihali issues

Results 73 issues of


                                            maramihali

cycle_group(field_t _x, field_t _y, bool_t is_infinity) should check the new point is on curve

However, this makes the acir schnorr test fail because it provided a (0,0) public key, not set to point at infinity, that should never be the case. Investigate this and...

optimise validate_on_curve() and check points retrieved from transcript

Relevant when we convert transcript data into a biggroup or cycle_group

Proper testing for transcript for both curves

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

See: https://github.com/AztecProtocol/aztec-packages/pull/7494

ZK Shplemini

Transfer ZK sumcheck work to all relevant flavors

Recursively verify last folding proof client-side and produce a Honk proof

stdlib_honk_recursion_tests should be separated for faster build times

Consider renaming `prove` and `verify` function

All the subprotocols in our prover and verifier have a `prove` and `verify` method even though most dont prove or verify anything, but rather reduce the claima in some way/...

Uncomment the asserts in Ultra Recursive Verifiers

We have asserts that check the circuit size and number of public inputs in the verification key is the same as what is received as part of the proofs. These...