Общ. рыноч. кап.:$00
API
RU
Тёмный

ПоискSSI/Mag7/Meme/ETF/Монета/Индекс/Графики/Исследования
00:00 / 00:00
Вид
    Рынки
    Индексы
    Лента
    TokenBar®
    Анализ
    Макрос
    Список наблюдения
Поделится
CertoraInc

Как говорит @VitalikButerin, нам необходима формальная верификация свойств безопасности.

Однако масштабирование формальной верификации для смарт-контрактов Ethereum всегда было проблемой из-за особенностей работы EVM с памятью — это один большой, монолитный массив без явного выделения. Это создает трудности для SMT-солверов, так как им приходится выводить сложные инварианты о памяти.

Итак, как же Certora справилась с этой задачей? Давайте разберем подробнее 🧵👇

Все, что вам нужно знать за 10 секунд
УсловияПолитика конфиденциальностиБелая книгаОфициальная проверкаCookieБлог
sha512-gmb+mMXJiXiv+eWvJ2SAkPYdcx2jn05V/UFSemmQN07Xzi5pn0QhnS09TkRj2IZm/UnUmYV4tRTVwvHiHwY2BQ==
sha512-kYWj302xPe4RCV/dCeCy7bQu1jhBWhkeFeDJid4V8+5qSzhayXq80dsq8c+0s7YFQKiUUIWvHNzduvFJAPANWA==