-
smartcontracts authored
When the FDG is about to execute a step, we must add an additional clock extension equal to the PreimageOracle challenge period. This gives the PreimageOracle time to elapse.
ff136e1f
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| deployment | ||
| proofs | ||
| scripts | ||
| README.md | ||
| pausability-lemmas.md |