Pre-Alfa Release

[Psirex]

The list of the changes introduced by the update:

• docs
  • Docs: update mechanism design and spec #29
  • Docs: spec updates #33
  • Spec: allow the Tiebreaker committee to unpause withdrawals #35
  • Spec: limit the time between Veto Signalling and Deactivation entrance #37
  • Spec: clarify rules about the atomicity of state transitions #38
  • Spec: misc clarifications #39
  • Spec: replace dynamic Gate Seals with the Reseal committee #40
  • Spec: Constrain the execution of the proposals in the Veto Cooldown state #44
  • Fix spec and code differences #34
  • Cumulative Update: The specification and mechanism inaccuracies #54
  • Update spec diagram & formatting #60
• code
  • VetoSignalling Mechanics #31
  • VetoCooldown mechanics change #42
  • fix: dual governance model proposals getter fix #49
  • Reseal executor and committee #43
  • gitfix: mock fix #53
  • Accounting in Escrow using only stETH shares #55
  • Use the Solidity custom types #56
  • EmergencyProtectedTimelock improvements #57
  • Tiebraker and Emergency execution committees #21
  • Committees specification #59
  • Solidity bump and OZ submodule #61
• tests
  • Simplified model of Dual Governance protocol #45
  • Initial Kontrol property tests #46
  • CI setup for Kontrol #47
  • Fixes to formal verification code  #48
  • EmergencyProtectedTimelock & SingleGovernance unit tests #41
  • Fix tests falling because of updated signatures of the methods and errors #52
  • Add design review report by RV #51