|
|
知识路径： > 电子商务新技术与新应用 > 区块链 > 区块链的关键技术架构和发展趋势 > 区块链关键技术架构和发展趋势 > 区块链的技术架构 >
|
|
相关知识点：9个
|
|
|
|
|
智能合约层负责将区块链系统的业务逻辑以代码的形式实现、编译并部署，完成既定规则的条件触发和自动执行，最大限度的减少人工干预。智能合约的操作对象大多为数字资产，数据上链后难以修改、触发条件强等特性决定了智能合约的使用具有高价值和高风险，如何规避风险并发挥价值是当前智能合约大范围应用的难点。
|
|
|
|
智能合约根据图灵完备与否可以分为两类，即图灵完备和非图灵完备。影响实现图灵完备的常见原因包括：循环或递归受限、无法实现数组或更复杂的数据结构等。图灵完备的智能合约有较强适应性，可以对逻辑较复杂的业务操作进行编程，但有陷入死循环的可能。对比而言，图灵不完备的智能合约虽然不能进行复杂逻辑操作，但更加简单、高效和安全。
|
|
|
|
当前智能合约的应用仍处于比较初级的阶段，智能合约成为区块链安全的“重灾区”。从历次智能合约漏洞引发的安全事件看，合约编写存在较多安全漏洞，对其安全性带来了巨大挑战。目前，提升智能合约安全性一般有几个思路：一是形式化验证（Formal Verification）。通过严密的数学证明来确保合约代码所表达的逻辑符合意图。此法逻辑严密，但难度较大，一般需要委托第三方专业机构进行审计。二是智能合约加密。智能合约不能被第三方明文读取，以此减少智能合约因逻辑上的安全漏洞而被攻击。此法成本较低，但无法用于开源应用。三是严格规范合约语言的语法格式。总结智能合约优秀模式，开发标准智能合约模板，以一定标准规范智能合约的编写可以提高智能合约质量，提高智能合约安全性。
|
|
|
