You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Indexes have been added to the Mongo but we should have some migration procedure from Karnot in case we ever want to update these or change the Mongo models. This needs to be discussed with Karnot.
The text was updated successfully, but these errors were encountered:
<!--- Please provide a general summary of your changes in the title
above -->
<!-- Give an estimate of the time you spent on this PR in terms of work
days.
Did you spend 0.5 days on this PR or rather 2 days? -->
Time spent on this PR:
## Pull request type
<!-- Please try to limit your pull request to one type,
submit multiple pull requests if needed. -->
Please check the type of change your PR introduces:
- [x] Bugfix
- [ ] Feature
- [ ] Code style update (formatting, renaming)
- [ ] Refactoring (no functional changes, no api changes)
- [ ] Build related changes
- [ ] Documentation content changes
- [ ] Other (please describe):
## What is the current behavior?
Do not assert the value is 0 at the end of load_bytecode leading to
prover being able to
Resolveskkrt-labs#1279, resolveskkrt-labs#1293
## What is the new behavior?
assert value is 0 at the end of load_bytecode
<!-- Reviewable:start -->
- - -
This change is [<img src="https://reviewable.io/review_button.svg"
height="34" align="absmiddle"
alt="Reviewable"/>](https://reviewable.io/reviews/kkrt-labs/kakarot/1290)
<!-- Reviewable:end -->
---------
Co-authored-by: Clément Walter <[email protected]>
Describe the enhancement request
Indexes have been added to the Mongo but we should have some migration procedure from Karnot in case we ever want to update these or change the Mongo models. This needs to be discussed with Karnot.
The text was updated successfully, but these errors were encountered: