很高兴分享 @alexanderlhicks，@ethereumfndn 的研究员，将在 Devconnect 的 Open AGI 峰会上发言。 他的工作探讨了加密和去中心化系统的形式验证，重点关注激励结构。 请在布宜诺斯艾利斯关注他和其他领先的研究人员 👇