IA

ETH比特币:币圈:合久必分、分久必合_区块链

做为2017年6月份入场的中间人,比圈子里的大佬晚了很久,也比这两年被割的韭菜们资深一些。从2018年1月份算起,币圈的光景不是很好,或者用很糟糕来形容。“暴力的欢愉终将以暴力结束.

SOLVALUE:技术分享:简析智能合约和形式化验证_VAL

本文主要介绍了智能合约和形式化验证。什么是智能合约?一个智能合约是一套以数字形式定义的承诺,包括合约参与方可以在上面执行这些承诺的协议。在区块链技术领域就是一段运行在区块链上的有多方参与的代码.

[0:15ms0-27:549ms