对智能合约进行形式化验证可避免它们出现错误、漏洞和其他不利的情况。在这个过程中，人类专家会将智能合约的逻辑转换为数学语句，然后通过自动化流程对照合约预期行为的模型检查实际逻辑。将形式化验证和人工审计相结合，我们就可以对智能合约的安全性进...
只要看过一些加密货币相关领域的文章，一定常常看到一个词：智能合约(Smart Contract)。智能合约是什么意思？英文直译是聪明的合约，是这样吗？ 智能合约：由程序自动执行的合约 不需要经...
美国伊利诺伊州的“区块链技术法案” 于2020 年1 月1 日生效，该法案赋予智能合约和链上纪录法律效力，使纸质合约享有的法律认可范围扩展到区块链合约和协议，从而使它们具有法律约束力。 赋予链上记录法律效力 由众议员基思·惠勒（...
智能合约审计团队ChainSecurity与四大审计公司之一的普华永道瑞士分公司合作，以加强全球审计机构提供的服务。 普华永道的一位发言人在发送给Cointelegraph的电子邮件中解释说，没有进行收购，多个ChainSecuri...
股权证明 (Proof-of-stake) 区块链 Algorand 在其 2.0 被本中正式支援智能合约，并强调与其他区块链开创的智能合约存在着后端差异不是错误，而是其功能之一。 在星期 4，Algorand 基金会发布了其区块链草...
鸿途知科网
