智能合约验证。
以太坊智能合约的全功能验证。由 ChainSecurity AG 创建。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。
VerX
金宝趣谈
德国区块链公司，创始人 Heiko Hees 是以太坊核心开发者。 brainbot概述, brainbot信息, brainbot区块链, brainbot维基, brainbot社交, brainbot Medium, brainbot ICO, brainbot回顾, brainbot快讯, brainbot追踪
瑞士 Lugano 开发的分布式资产管理协议。 Rigoblock概述, Rigoblock信息, Rigoblock区块链, Rigoblock维基, Rigoblock社交, Rigoblock Medium, Rigoblock ICO, Rigoblock回顾, Rigoblock快讯, Rigoblock追踪
理性问题解决者的家。 The Vantage Project概述, The Vantage Project信息, The Vantage Project区块链, The Vantage Project维基, The Vantage Project社交, The Vantage Project Medium, The Vantage Project ICO, The Vantage Project
波动性低的抵押品，非挂钩资产。 Reflexer Labs概述, Reflexer Labs信息, Reflexer Labs区块链, Reflexer Labs维基, Reflexer Labs社交, Reflexer Labs Medium, Reflexer Labs ICO, Reflexer Labs回顾, Reflexer Labs快讯, Reflexer Labs追踪