Dapphub、MakerDAO、CirclesUBI 形式化验证的研究员。
Martin Lundfall 在 Dapphub、MakerDAO、CirclesUBI 做形式化验证的研究员。在加入 Dapphub 以前,他是去中心化能源市场 TransActive Grid 主要开发者,后来发展成为 Grid +。 他的背景是数学、计算机科学、物理等。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。
Dapphub、MakerDAO、CirclesUBI 形式化验证的研究员。
Martin Lundfall 在 Dapphub、MakerDAO、CirclesUBI 做形式化验证的研究员。在加入 Dapphub 以前,他是去中心化能源市场 TransActive Grid 主要开发者,后来发展成为 Grid +。 他的背景是数学、计算机科学、物理等。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。
网址: http://www.catalini.com Matic Network推出质押解决方案:金色财经报道,以太坊侧链扩容方案Matic Network周日宣布.
网址: http://jerrybrito.com Coin Center 执行董事。Jerry Brito 是 Coin Center 执行董事.
BitGo 与 Beluga 联合创始人。Ben Davenport 是 BitGo 联合创始人兼首席技术官,BitGo 致力于搭建比特币与其他数字货币的基础设施.
ConsenSys 创建管理合伙人。Kavita Gupta 是 2015 年联合国社会金融创新奖的获得者,也是世界银行绿色债券创始团队的重要成员.