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

[contract] Define public inputs to light client SNARK verification #705

Closed
1 task done
alxiong opened this issue Oct 11, 2023 · 0 comments · Fixed by #754
Closed
1 task done

[contract] Define public inputs to light client SNARK verification #705

alxiong opened this issue Oct 11, 2023 · 0 comments · Fixed by #754
Assignees
@alxiong
Labels
crypto Crypto team related tasks hotshot-contract T-feature Type: new features

Comments

@alxiong
Copy link
Contributor

alxiong commented Oct 11, 2023 •
edited
Loading

This issue aims to define struct related to public inputs of the SNARKed hotshot state update.

Related to #673 (at least the StakeTableCommitment as a global variable should come from the stake table interface.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@alxiong alxiong

Labels
crypto Crypto team related tasks hotshot-contract T-feature Type: new features
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

feat: Add new LightClient contract skeleton EspressoSystems/espresso-sequencer
1 participant
@alxiong