No proof generated #104
Assignees
Milestone
Comments
tolikzinovyev
added a commit
that referenced
this issue
Dec 13, 2024
rrtoledo
added a commit
that referenced
this issue
Dec 16, 2024
## Content
The lottery parameters does not check that the computed proof size
`proof_size > lower_bound` or even `proof_size > set_size`.
This PR returns proof_size=lower_bound if the lower bound is lower than
the computed u.
## Pre-submit checklist
- Branch
- [ ] Tests are provided (if possible)
- [x] Commit sequence broadly makes sense
- [x] Key commits have useful messages
- PR
- [x] No clippy warnings in the CI
- [x] Self-reviewed the diff
- [x] Useful pull request description
- [x] Reviewer requested
- Documentation
- [ ] Update README file (if relevant)
- [ ] Update documentation website (if relevant)
## Comments
We will chech that lower_bound < set_size in issue #6
## Issue(s)
<!-- The issue(s) this PR relates to or closes -->
Relates to #104
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Context & versions
The lottery input parameters can be too big and no proof is generated.
This is because
proof_sizecan be higher thanset_size.Steps to reproduce
Actual behavior
Expected behavior
Tasks
proof_size = min(lower_bound, computed_proof_size)proof_size > lower_bounddone in Alba-rust Error handling #6The text was updated successfully, but these errors were encountered: