Certora Prover v7.29.1 on julkaistu! Prover on avoimen lähdekoodin työkalu, jolla voidaan todistaa, että älykkäät sopimukset toimivat oikein kaikissa mahdollisissa tiloissa ja syötteissä. Tämä julkaisu lisää uusia ominaisuuksia, joiden avulla voit kirjoittaa turvallisempia teknisiä tietoja, yksinkertaistaa määrityksiä ja työskennellä tehokkaammin. Tässä on uusia 👇🧵 ominaisuuksia