Skip to content

chore: biggroup coordinates are private#17923

Merged
ledwards2225 merged 11 commits intomerge-train/barretenbergfrom
lde/biggroup-private-coords
Oct 28, 2025
Merged

chore: biggroup coordinates are private#17923
ledwards2225 merged 11 commits intomerge-train/barretenbergfrom
lde/biggroup-private-coords

Conversation

@ledwards2225
Copy link
Contributor

@ledwards2225 ledwards2225 commented Oct 23, 2025

Makes coordinates of biggroup private and adds both non mutating and mutating accessors (for now)

@ledwards2225 ledwards2225 changed the base branch from next to merge-train/barretenberg October 23, 2025 21:13
@ledwards2225 ledwards2225 marked this pull request as ready for review October 23, 2025 21:14
Copy link
Contributor

@suyash67 suyash67 left a comment

Choose a reason for hiding this comment

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

looks good! Thanks for adding the AUDITTODOs for mutable accesses, will take care of them in my audit.

#endif
}

static void test_assert_coordinates_in_field()
Copy link
Contributor Author

Choose a reason for hiding this comment

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

Test for new method added to support ecdsa

// Tags from members are merged
bool_ct pif = bool_ct(witness_ct(&builder, 0));
// Create field elements with specific tags before constructing the biggroup element
affine_element input_c(element::random_element());
Copy link
Contributor Author

Choose a reason for hiding this comment

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

just rearranging this test to not modify coordinates of a biggroup element directly. Instead modify prio to construction

@ledwards2225 ledwards2225 merged commit ebdfb30 into merge-train/barretenberg Oct 28, 2025
6 checks passed
@ledwards2225 ledwards2225 deleted the lde/biggroup-private-coords branch October 28, 2025 21:51
github-merge-queue bot pushed a commit that referenced this pull request Oct 29, 2025
BEGIN_COMMIT_OVERRIDE
feat(ci/bb): enable BB_BENCH benchmarking in wasm (#17569)
fix: BB acir expression conversion issue (#17998)
chore: arithmetic relation cleanup (#17878)
chore: biggroup coordinates are private (#17923)
END_COMMIT_OVERRIDE
ludamad pushed a commit that referenced this pull request Dec 16, 2025
Makes coordinates of biggroup private and adds both non mutating and
mutating accessors (for now)
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.

2 participants