Toplam Piyasa Değeri:$00
API
TR
Karanlık

SSI/Mag7/Meme/ETF/Coin/Endeks/Grafikler/Araştırma Ara
00:00 / 00:00
Görüş
    Piyasalar
    Endeksler
    Haber Akışı
    TokenBar®
    Analiz
    Makro
    İzleme listesi
Paylaş
CertoraInc

@VitalikButerin'in dediği gibi, güvenlik özelliklerinin resmi doğrulamasına ihtiyacımız var.

Ancak, Ethereum akıllı sözleşmeleri için resmi doğrulamayı ölçeklendirmek, EVM'nin belleği nasıl işlediği nedeniyle her zaman bir zorluk olmuştur; çünkü EVM, açık bir tahsisat olmaksızın tek bir büyük, monolitik dizi kullanır. Bu durum, SMT çözücülerinin bellekle ilgili karmaşık invariant'ları çıkarmasını gerektirdiği için zorluklar yaratmaktadır.

Peki, Certora bunu nasıl aştı? Hadi bunu inceleyelim 🧵👇

10 saniyede bilmeniz gerekenler
ŞartlarGizlilik PolitikasıBeyaz KitapResmi DoğrulamaCookieBlog
sha512-gmb+mMXJiXiv+eWvJ2SAkPYdcx2jn05V/UFSemmQN07Xzi5pn0QhnS09TkRj2IZm/UnUmYV4tRTVwvHiHwY2BQ==
sha512-kYWj302xPe4RCV/dCeCy7bQu1jhBWhkeFeDJid4V8+5qSzhayXq80dsq8c+0s7YFQKiUUIWvHNzduvFJAPANWA==