Add certora dai specs to zksync

makerdao / xdomain

GNU Affero General Public License v3.0

19 stars 9 forks source link

Closed naszam closed 1 year ago

naszam commented 1 year ago

naszam commented 1 year ago

Closing as there is already certora FV coverage in xdomain-dss for L2 Dai contract