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

Enabled proven settlement #224

Open

rpanic wants to merge 2 commits into feature/contract-compiling from feature/proven-settlemnet

Member

rpanic commented Nov 9, 2024 •

edited

Loading

This PR now fixes the remaining issues that led to errors during settlement with proofs enabled.

Added SettlementStartupModule to handle the compiling of Settlement Contract and returning of the VKs of those contracts
Used the returned VKs in the deployments on the Baselayer
Fixed serialization issues with the previousProofs value on SC calls
Fixed serialization issues on AccountUpdateForest usage as contract arguments
Made LocalBlockchain respect protokits AreProofsEnabled

This PR is the last of a PR chain in order of:
#210
#218
#219
#220
#224 (this)

Closes #226
Closes #207

rpanic added 2 commits

November 9, 2024 23:52


          Enabled proven settlement

684b621


          Added forceProverExists to protect against missing provers for non-si…

4a3e15b

…deloaded circuits

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

Labels

None yet