Vitalik Buterin május 18-án közzétett blogbejegyzésében arról írt, hogy a mesterséges intelligenciával támogatott formális verifikáció a kiberbiztonság egyik meghatározó eszközévé válhat. Az Ethereum társalapítója az Arklib projektet emelte ki példaként, amely egy formálisan ellenőrzött STARK-megvalósításon dolgozik. Buterin a vitalik.eth.limo oldalon publikált írásában a formális verifikációt olyan matematikai bizonyítási módszerként írta le, amely biztosítja, hogy a […] A Vitalik Buterin szerint az AI átírhatja a kriptobiztonság szabályait bejegyzés először kriptomagazin.hu-én jelent meg.