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

Complete implementation of Prover #11

Open

hadasz opened this issue Dec 14, 2023 · 1 comment

Assignees

Labels

MVP

hadasz commented Dec 14, 2023

The implementation of Stark prover is not complete in derive Machine code (and doesn't seem to be implemented anywhere else)

https://github.com/valida-xyz/valida/blob/main/derive/src/lib.rs#L187

hadasz self-assigned this

thealmarty mentioned this issue

Finish STARK implementation for added instructions. #17

Open

Author

hadasz commented Dec 23, 2023

WIP: https://github.com/lita-xyz/valida/commits/prove/

TODO: Implement batching for multiple Chips instead of calling prove from uni-stark (which only works for a single Chip)

morganthomas added MVP and removed MVP labels

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment