区（qū）块链关键技术架构分（fèn）析
2018-9-7 14:09
来源：
链门户（hù）
区块链关（guān）键技术--智能合约（yuē）（Smart Contract）
智能合（hé）约层负责将
区（qū）块（kuài）链系（xì）统的业务逻辑以代码（mǎ）的形式实现、编 译并部署（shǔ），完成既定规则的条件触发和自动执行，最大限度的减少人 工干（gàn）预。智能合（hé）约的操作对象大多为数字（zì）资产，数据上链后难以修改、 触发条件强等特（tè）性决定了（le）智（zhì）能（néng）合约的使（shǐ）用（yòng）具有高（gāo）价值和高风（fēng）险，如何 规避风险并发（fā）挥价值是当前智（zhì）能合约（yuē）大范围应用（yòng）的（de）难点。
智能合（hé）约根据图灵完备（bèi）6与否可以分为两类，即图灵完备和非（fēi）图 灵完备。影（yǐng）响实现图灵（líng）完备的常见原因包括：循环或递归（guī）受限、无法 实现数组（zǔ）或更复（fù）杂的数据结构等。图灵完备的（de）智能合约有（yǒu）较（jiào）强适应性， 可以（yǐ）对逻辑较（jiào）复杂（zá）的（de）业务操作（zuò）进行编程，但有陷入死（sǐ）循环的可能。对 比（bǐ）而言，图灵不完备的智能合约虽然不能进行复杂逻辑（jí）操作，但更加简单、高（gāo）效和安全。
表 4：部分区块（kuài）链系统的（de）智能合约特性（xìng）
当前智能合约的应用仍处于比较（jiào）初级（jí）的阶段，智能合约成为区（qū）块链安全的“重灾区（qū）”。从历（lì）次（cì）智能合（hé）约漏（lòu）洞引发（fā）的安全事件看（kàn），合约编 写（xiě）存在较多安全（quán）漏洞，对其安全（quán）性带来了（le）巨大挑战。目前（qián），提升智（zhì）能 合约安（ān）全性一般有几个思路：一是形式化验证（Formal Verification）。 通（tōng）过严密的数学证明来确（què）保合（hé）约代码所表达（dá）的逻辑符合意图。此法逻 辑严密，但难度（dù）较大，一般需要委托第三方专业机构进行审计（jì）。二是 智（zhì）能（néng）合（hé）约加密（mì）。智能合约不能被第三方（fāng）明文读取，以此（cǐ）减少智能合（hé）约 因（yīn）逻辑上的安（ān）全漏洞而被（bèi）攻（gōng）击。此法成本较低，但无法用（yòng）于（yú）开源应用（yòng）。 三是严格规范合（hé）约语言的语法格式（shì）。总结智（zhì）能合约优（yōu）秀模（mó）式，开发（fā）标 准智能合约模板，以一（yī）定标准（zhǔn）规范智能合（hé）约的编写可以提高智能合约（yuē） 质量（liàng），提（tí）高智能合约安全性。
版（bǎn）权申明：本（běn）内容来自（zì）于互联（lián）网，属第（dì）三方汇集推荐平（píng）台。本文的版（bǎn）权归原作者所有，文（wén）章（zhāng）言论不代表（biǎo）链门户的观点，链门户不承担任何法律责（zé）任。如有（yǒu）侵权请联系QQ：3341927519进行反馈。
