在阿根廷週的最後一場小組討論中，@KFerles 與 @codytouchgrass、@vwuestholz 和 @dtumad 一起深入探討在 @eth_proofs 由 @ethereumfndn 主辦的活動中的形式驗證和模糊測試。 感謝 @alexanderhicks 的流暢主持！