2020-10-05 阅读(58) 作者(LIANYI)

在我们的四部门系列的第二部门中，我们将接头对系统要求举办形式化的进程，以及如何使其适合于 系统和智能合约的形式验证的更大范畴...

2020-08-23 阅读(150) 作者(币源学院)

区块链技能与智能合约的团结提供了诱人的前景：为具有严格安详要求的应用措施（如财政，安详动静通报等）启用漫衍式，可信任且可验...

2020-07-22 阅读(50) 作者(区块链资讯)

据财联社动静，克日央行下发文件及评估法则以类型金融行业的区块链应用，文件是金融体系内区块链系统和应用的顶层设计，并从技能要...