ChainSecurity, Certora and zeroShadow Updates

Governance Process
21

Proposal Updates Jan 21st

Proposals 522 and 523 have been reviewed, and no issues were found.

22

Proposal Updates Jan 28th

Proposals 524, 525, 526, 527, and 528 have been reviewed, and no issues were found.

Note that seatbelt simulations fail for proposals 524 and 525 due to message passing to Ronin. Price registries are not updated properly in the simulation environment, causing the simulations to fail. We’re closely monitoring these proposals and expect them to be executable on-chain when the price registries are up-to-date.

23

Proposal Updates Feb 3rd

Proposals 524 and 525 are currently not executable. ETH-nominated fees for message passing to Ronin have increased, exceeding the hardcoded fee paid by the proposals. As the proposals are not time-sensitive, we will wait about a week to see if the fees normalize and the proposals can be executed. Otherwise, updated proposals will be resubmitted.

Proposal 529 has been reviewed, and no issues were found.

1 Like
24

Proposal Updates Feb 6th

Proposals 530, 531, 532, 533 and 534 have been reviewed and no issues were found.

1 Like
25

Proposal Updates Feb 16th

Proposals 535, 536, 537 and 538 have been reviewed and no issues were found.