在阿根廷周的最后一场小组讨论中，@KFerles 加入了 @codytouchgrass、@vwuestholz 和 @dtumad，深入探讨了 @eth_proofs 由 @ethereumfndn 举办的活动中的形式验证和模糊测试。 感谢 @alexanderhicks 的顺利主持！