Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Histogram, MultihotCountVec: Move final reduction (*) #437

Merged
merged 1 commit into from
Oct 3, 2024

Conversation

cjpatton
Copy link
Collaborator

@cjpatton cjpatton commented Sep 30, 2024

Based on #436 (merge that first)

Simplify the Histogram and MultihotCountVec circuits by moving the final reduction out of the circuit.

@cjpatton cjpatton marked this pull request as ready for review September 30, 2024 17:50
@cjpatton cjpatton force-pushed the cjpatton/427-followup branch from 0bf9c64 to 3714407 Compare October 1, 2024 21:25
@cjpatton
Copy link
Collaborator Author

cjpatton commented Oct 1, 2024

Rebased.

@divergentdave
Copy link
Collaborator

The sentence "All the individual checks are combined together in a random linear combination" in the Prio3Histogram section is technically still correct, but the random linear combination now happens both inside and outside the circuit, which could be a bit confusing.

@cjpatton cjpatton force-pushed the cjpatton/427-followup branch from 3714407 to b3d9db2 Compare October 3, 2024 16:53
@cjpatton
Copy link
Collaborator Author

cjpatton commented Oct 3, 2024

Rebased.

@cjpatton cjpatton changed the base branch from cjpatton/427 to main October 3, 2024 16:54
@cjpatton cjpatton changed the title Prio3Histogram,MultihotCountVec: Move final reduction (*) Histogram, MultihotCountVec: Move final reduction (*) Oct 3, 2024
Simplify the `Histogram` and `MultihotCountVec` circuits by moving the
final reduction out of the circuit.
@cjpatton cjpatton force-pushed the cjpatton/427-followup branch from b3d9db2 to 31f39dc Compare October 3, 2024 16:57
@cjpatton
Copy link
Collaborator Author

cjpatton commented Oct 3, 2024

The sentence "All the individual checks are combined together in a random linear combination" in the Prio3Histogram section is technically still correct, but the random linear combination now happens both inside and outside the circuit, which could be a bit confusing.

Changed to "The individual checks constitute the output of the circuit."

@cjpatton cjpatton merged commit 033e2cd into main Oct 3, 2024
6 checks passed
@divergentdave divergentdave deleted the cjpatton/427-followup branch October 8, 2024 22:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants