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.

Sign up for GitHub

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

Jump to bottom

Missing representation of cycle_group point_at_infinity in the transcript #1017

Closed
maramihali opened this issue May 30, 2024 · 2 comments
Closed

Missing representation of cycle_group point_at_infinity in the transcript #1017

maramihali opened this issue May 30, 2024 · 2 comments
Labels
bug Something isn't working

Comments

@maramihali
Copy link
Contributor

If the prover sends a point at infinity and, on the recursive verifier side, this is constructed as a cycle_group, calling point.get_value().on_curve() will be false because the transcript doesnt have a representation of cycle_group point at infinity (which seems to be just a flag).
@maramihali maramihali added the bug Something isn't working label May 30, 2024
@maramihali
Copy link
Contributor Author

cc @lucasxia01

@maramihali
Copy link
Contributor Author

Closed by AztecProtocol/aztec-packages#7709

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@maramihali