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

fix(spec): layout in documentation file #577

Merged
merged 2 commits into from
Nov 20, 2024
Merged

fix(spec): layout in documentation file #577

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
dac1cea
Update README.md
josef-widder Nov 19, 2024
fa50cce
Merge branch 'main' into josef-widder-patch-1
cason Nov 20, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions specs/quint/specs/reset/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -31,9 +31,9 @@ The following actions add faulty behaviors to the standard `step` action:
- `L1ForkIDMonotonic`: L2 forkID in L1 blocks is non-decreasing

- Proofs validation invariants
- `InvalidRegistrationProofRejectedInv`: If the latest block in L1 does not include a (valid) proof or the proof contains an invalid registration, then the proof should be rejected. We check that by attesting that L1's provenHeight remains unchanged (checked also for `--step "stepWithInvalidRegs"`)
- `OldProofRejectedInv`: L1 blocks should not accept proofs with non monotonically increasing proven L2 heights. As a consequence, the latest L2 proven height in L1 should remain unchanged with such a proof is submitted (checked also with `--step stepWithPotentiallyOldProofs`)
- `FutureProofRejectedInv`: If the proof starts from a block with height greater than provenHeight + 1 it is rejected. (checked also with `--step stepWithPotentiallyFutureProofs`)
- `InvalidRegistrationProofRejectedInv`: If the latest block in L1 does not include a (valid) proof or the proof contains an invalid registration, then the proof should be rejected. We check that by attesting that L1's provenHeight remains unchanged (checked also for `--step "stepWithInvalidRegs"`)
- `OldProofRejectedInv`: L1 blocks should not accept proofs with non monotonically increasing proven L2 heights. As a consequence, the latest L2 proven height in L1 should remain unchanged with such a proof is submitted (checked also with `--step stepWithPotentiallyOldProofs`)
- `FutureProofRejectedInv`: If the proof starts from a block with height greater than provenHeight + 1 it is rejected. (checked also with `--step stepWithPotentiallyFutureProofs`)

- Local L2 invariants
- `monotonicForkIDInv`: ForkID on L2 is non-decreasing
Expand Down
Loading