摘要：区块链联盟链智能合约形式化验证揭秘，解释了我们为什么要对区块链上的智能合约进行形式化验证，以及形式化验证的分类和业界针对每种分类所推出的形式化验证工具，最后作者描述了一下目前形式化验证的种种 ...

上个世纪九十年代，人工智能曾是计算机研究领域的热门。当时AI发展的重点在于用形式系统模拟人脑的逻辑思维，即如何用符号表示推理法则，再令机器像人脑一样运用规则进行推演与判断。这类AI在短 ...

今天我们来看看2PC协议，不知道大家对2PC协议是不是了解，我们先简单介绍一下。 两阶段提交协议（two phase commit protocol, 2PC）可以保证数据的强一致性，许多分布式关系 ...