ChainSecurity, Certora and zeroShadow Updates

Proposal Updates Oct 7th

483: canceled due to a wrong parameter encoding that would make the proposal revert. More details can be found here.

1 Like