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

Added Aggregator::is_agg_param_valid method #1139

Merged
merged 3 commits into from
Nov 15, 2024

Conversation

rozbb
Copy link
Contributor

@rozbb rozbb commented Nov 13, 2024

Copied the method verbatim from here, which is effectively unchanged from draft-09.

One point: this doesn't have any unit tests. I've read and re-read the draft and I still don't quite understand what this is supposed to be testing. A unit test that tests the error case we care about would be much appreciated.

@rozbb rozbb requested a review from a team as a code owner November 13, 2024 17:03
Copy link
Contributor

@divergentdave divergentdave left a comment

Choose a reason for hiding this comment

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

We have some unit tests in the proof of concept implementation here: https://github.com/cfrg/draft-irtf-cfrg-vdaf/blob/a4874547794818573acd8734874c9784043b1140/poc/tests/test_vdaf_poplar1.py#L187

The most important case to test is that you can't aggregate the same level of the tree twice, since that would double-dip the Beaver multiplication triple generated by the client.

src/vdaf/prio3.rs Outdated Show resolved Hide resolved
src/vdaf/poplar1.rs Outdated Show resolved Hide resolved
src/vdaf/poplar1.rs Outdated Show resolved Hide resolved
src/vdaf/poplar1.rs Outdated Show resolved Hide resolved
@rozbb
Copy link
Contributor Author

rozbb commented Nov 14, 2024

Alright, should be ready for another pass

src/vdaf/poplar1.rs Outdated Show resolved Hide resolved
Co-authored-by: David Cook <[email protected]>
@divergentdave divergentdave enabled auto-merge (squash) November 15, 2024 00:34
@divergentdave divergentdave merged commit d57731b into divviup:main Nov 15, 2024
6 checks passed
@rozbb rozbb deleted the impl-is-valid branch November 15, 2024 15:46
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