Uusi korkeatasoinen älysopimusten auditointi: @AragonProject x Spearbit Tarkastelimme Aragonin lukitusta äänestämään perustuvaa OSx-hallintaominaisuutta, jonka avulla kaikki tokenit, joilla ei ole hallintoyhteensopivuutta, kuten DeFin poolitokenit, voivat äänestää tai käyttää veto-oikeuttaan päätöksiin ilman saldotilannekuvaa. Raportti alla.

Muodollisesta todentamisesta on tulossa protokollan kehittämisen ratkaiseva kypsyyssignaali. Se tarjoaa matemaattisia takeita siitä, että ydinlogiikka käyttäytyy täsmälleen määritellyllä tavalla kaikissa mahdollisissa syötteissä. Puretaan se alla.