Skip to content

Conversation

@iquerejeta
Copy link

Some regions might have no rows (if the lookup table is empty, or if it only contains equality constraints).

We missed that when counting the number of rows.

@iquerejeta iquerejeta changed the base branch from main to fixed_73408a1 March 29, 2024 12:24
@iquerejeta iquerejeta force-pushed the iquerejeta/fix_nr_rows branch from c26b960 to 4084b80 Compare April 1, 2024 09:19
Unfortunately the wasm backend makes a breaking change. We need newer version to support bumpalo
Copy link

@miguel-ambrona miguel-ambrona left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@John-Gong-Math John-Gong-Math self-requested a review April 1, 2024 14:26
@iquerejeta iquerejeta merged commit 66ae3ec into fixed_73408a1 Apr 1, 2024
iquerejeta added a commit that referenced this pull request May 8, 2024
@iquerejeta iquerejeta deleted the iquerejeta/fix_nr_rows branch October 10, 2024 08:18
iquerejeta referenced this pull request in midnightntwrk/halo2 Apr 8, 2025
Issue #1

Not permit duplicate queries
Issue #3
dkaidalov pushed a commit that referenced this pull request Jul 1, 2025
* Compare polynomials and polynomial commitments by reference.
Issue #1

Not permit duplicate queries
Issue #3

* Add Length of PIs to the transcript
Issue #2

* Check trailing bytes
Issue #6

* Panic if two points are equals in lagrange_interpolate.
Issue #10

* Hash the byte representation of the VK in the transcript Issue #5

We do not add the architecture, as the verifier is already parametrised by that.

* Consistency in polynomial multiplication Issue #7

We mutate the polynomial (with all zeroes) to be consistent with the behaviour.

* Make commitment homomorphic, and don't send evals of pieces - Issue#0
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants