Dapphub、MakerDAO、CirclesUBI 形式化验证的研究员。
Martin Lundfall 在 Dapphub、MakerDAO、CirclesUBI 做形式化验证的研究员。在加入 Dapphub 以前,他是去中心化能源市场 TransActive Grid 主要开发者,后来发展成为 Grid +。 他的背景是数学、计算机科学、物理等。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。
Dapphub、MakerDAO、CirclesUBI 形式化验证的研究员。
Martin Lundfall 在 Dapphub、MakerDAO、CirclesUBI 做形式化验证的研究员。在加入 Dapphub 以前,他是去中心化能源市场 TransActive Grid 主要开发者,后来发展成为 Grid +。 他的背景是数学、计算机科学、物理等。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。
Zcash 联合创始人。 Ian Miers概述, Ian Miers信息, Ian Miers区块链, Ian Miers维基, Ian Miers社交, Ian Miers Medium, Ian Miers ICO, Ian Miers回顾, Ian Miers快讯, Ian Miers追踪
Facebook 区块链项目的开发总监。 Hui Ding概述, Hui Ding信息, Hui Ding区块链, Hui Ding维基, Hui Ding社交, Hui Ding Medium, Hui Ding ICO, Hui Ding回顾, Hui Ding快讯, Hui Ding追踪
ConsenSys 创建管理合伙人。 Kavita Gupta概述, Kavita Gupta信息, Kavita Gupta区块链, Kavita Gupta维基, Kavita Gupta社交, Kavita Gupta Medium, Kavita Gupta ICO, Kavita Gupta回顾, Kavita Gupta快讯, Kavita Gupta追踪
Mechanism Labs 与 SHE-256 联合创始人。 Alexis Gauba概述, Alexis Gauba信息, Alexis Gauba区块链, Alexis Gauba维基, Alexis Gauba社交, Alexis Gauba Medium, Alexis Gauba ICO, Alexis Gauba回顾, Alexis Gauba快讯, Alexis Gauba追踪