Argentinský týden uzavíráme závěrečným panelem: @KFerles se připojuje k @codytouchgrass, @vwuestholz a @dtumad pro podrobný pohled na formální ověřování a fuzzing na akci @eth_proofs od @ethereumfndn. Děkuji @alexanderhicks za hladké moderování!