很高興分享 @alexanderlhicks，@ethereumfndn 的研究員，將在 Devconnect 的 Open AGI 峰會上發言。 他的工作探索了加密和去中心化系統的形式驗證，重點在於激勵結構。 在布宜諾斯艾利斯，快來聽他和其他領先的研究者 👇