宣布下一轮 Solidity 峰会演讲者!
Solidity 进入了一个新篇章。在过去的几个月里,Solidity 团队从以太坊基金会转型为 Argot,这是一个独立组织,旨在以更开放、社区驱动的方式支持该语言及其生态系统。 @_schmitted 将讨论 Argot 是什么,为什么会发生这种变化,以及它如何塑造 Solidity 的未来。
@kaanuzdogan 来自 @sourcify 将发表演讲 "源代码验证的现状:封闭、痛苦,并准备改变",他将带我们了解验证生态系统中的问题,并展示 Sourcify 和 Verifier Alliance 如何努力改善现状。
在他的演讲中,Moritz Hoffman 将介绍新的 IR 后端,并将其与当前的代码生成进行比较。
@kaanuzdogan 来自 @SourcifyEth 将发表演讲 "源代码验证的现状:封闭、痛苦,并准备改变",他将带我们了解验证生态系统中的问题,并展示 Sourcify 和 Verifier Alliance 如何努力改善现状。
@_schmitted @kaanuzdogan @SourcifyEth 在他的演讲中,Moritz Hoffman 将介绍新的 IR 后端,并将其与当前的代码生成进行比较。
2.21K