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

Enabled proven settlement #224

Open
wants to merge 25 commits into
base: feature/contract-compiling
Choose a base branch
from

Conversation

rpanic
Copy link
Member

@rpanic rpanic commented Nov 9, 2024

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

asimaranov and others added 25 commits May 1, 2024 22:19
Fix to avoid duplicate entries for Fee Analyzer Service
…rity

Enhance base layer contract modularity
…le-witness

Refactor STProver to Accept Merkle Witness as Argument
Fix bug in protocol and flow for merging blocks
fix: Missed hash function invocation
# Conflicts:
#	packages/common/src/utils.ts
#	packages/protocol/src/prover/block/BlockProver.ts
#	packages/protocol/src/prover/statetransition/StateTransitionProvable.ts
#	packages/protocol/src/prover/statetransition/StateTransitionProver.ts
#	packages/sequencer/src/protocol/production/tasks/StateTransitionTask.ts
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants