Capitalización Total del Mercado:$00
API
ES
Oscuro

Buscar SSI/Mag7/Meme/ETF/Moneda/Índice/Gráficos/Investigación
00:00 / 00:00
Ver
    Mercados
    Índexes
    Información
    TokenBar®
    Análisis
    Macro
    Lista
Comp
CertoraInc

Como dice @VitalikButerin, necesitamos una verificación formal de las propiedades de seguridad.

Pero escalar la verificación formal para los contratos inteligentes de Ethereum siempre ha sido un desafío debido a cómo el EVM maneja la memoria: un gran array monolítico sin una asignación explícita. Esto plantea dificultades para los solucionadores SMT porque requiere que los solucionadores infieran invariantes complejos sobre la memoria.

Entonces, ¿cómo superó Certora esto? Desglosemoslo 🧵👇

10s para entender el mercado crypto
Términospolítica de privacidadLibro BlancoVerificación oficialCookieBlog
sha512-gmb+mMXJiXiv+eWvJ2SAkPYdcx2jn05V/UFSemmQN07Xzi5pn0QhnS09TkRj2IZm/UnUmYV4tRTVwvHiHwY2BQ==
sha512-kYWj302xPe4RCV/dCeCy7bQu1jhBWhkeFeDJid4V8+5qSzhayXq80dsq8c+0s7YFQKiUUIWvHNzduvFJAPANWA==