EVM FV-verktyg blir ganska bra. Jag är positivt överraskad av vad team som @CertoraInc & @CyfrinAudits kan åstadkomma på 2-4 veckor Nu behöver vi göra det ännu mer tillgängligt och skalbart.
Jag skulle hellre betala för 1 bra FV-svit än 3 revisioner från toppföretag, den förstnämnda ger mig mycket bättre garantier.
1,5K