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

Implement LQT Voting action, and stateless checks #5027

Merged
merged 6 commits into from
Jan 30, 2025

Conversation

cronokirby
Copy link
Contributor

Describe your changes

Closes #5014.

This implements the action for LQT voting, up to (and including) stateless checks. This is similar to delegator voting, but with some light simplification. This also reuses the strategy of UndelegateClaim in using an inner proof shared with a different circuit, which is, imo, cleaner code since the fact that the delegator vote circuit can be reused is a happy coincidence.

Testing deferred.

Checklist before requesting a review

  • I have added guiding text to explain how a reviewer should test these changes.

  • If this code contains consensus-breaking changes, I have added the "consensus-breaking" label. Otherwise, I declare my belief that there are not consensus-breaking changes, for the following reason:

    you betcha

This re-uses the strategy of the undelegate claim proofs, which wrap an inner proof.

This has the advantage of simplifying the proving interface a bit, at the
expense of some one time boilerplate.
@cronokirby cronokirby added the consensus-breaking breaking change to execution of on-chain data label Jan 30, 2025
@cronokirby cronokirby requested a review from erwanor January 30, 2025 07:19
@cronokirby cronokirby changed the base branch from main to protocol/lqt_branch January 30, 2025 07:19
@cronokirby cronokirby requested a review from TalDerei January 30, 2025 07:19
Copy link
Member

@erwanor erwanor left a comment

Choose a reason for hiding this comment

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

LGTM modulo typo in balance commitment method

Copy link
Collaborator

@TalDerei TalDerei left a comment

Choose a reason for hiding this comment

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

this looks good to me as well

@cronokirby cronokirby force-pushed the cronokirby/lqt_actions branch from cd1edf6 to a8d55dc Compare January 30, 2025 17:55
@cronokirby cronokirby merged commit 9c7da1f into protocol/lqt_branch Jan 30, 2025
13 checks passed
@cronokirby cronokirby deleted the cronokirby/lqt_actions branch January 30, 2025 18:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
consensus-breaking breaking change to execution of on-chain data
Projects
None yet
Development

Successfully merging this pull request may close these issues.

funding: stub LQT actions
3 participants