首页 H资讯 产品
区块链查询
超级节点 下载 白皮书 关于
Haicoin
Galtcoin
Haichat畅聊
Haicoin
Galtcoin
 > 
 > 
 > 
文章
Haichain分布式商业平台拥有哪些智能合约?
来源:
幸福社区
  Haichain 丨 2019-08-26 05:08
分享
Haichain 分布式商业平台中,将通过一系列的智能合约,来将目前中心化商业模式涉及的利益分配和权益归属相关的问题进行程序自动化执行。这些智能合约由商家和用户的互动行为直接触发,保证公开透明。

knokHBUtNG7SLq3hrQXKslTRwDTI6sigaru0CRuY.jpeg

HaiChainCode 机制

Haichain 提倡使用简易的智能合约,通过链下的数据和网络输入作为触发条件,完成合约的执行。以太坊中智能合约的编写和执行简单,得益于以太坊的合约执行环境 EVM。但由于所提出的“代码即合约”的策略,也导致一系列合约安全性问题。Haichain 平台也采用虚拟机机制,但是整个合约是被运行在独立于主链运行生态外的虚拟机体系内,主要作用是缩减因合约解析而带来的时间消耗成本,以及链上规则安全性问题。

智能合约审计

Haichain 中包含对智能合约的自动化审计,以及形式化验证的保护性机制。这样可以降低上传的智能合约出现代码逻辑漏洞的概率,减少用户的损失,加强系统的可用性。

异构智能合约

Haichain 可以使用异构智能合约。不同的节点将采用逻辑相同但是编写语言不同的智能合约。在这些智能合约中,对于相同的输入将得到相同的输出,攻击者要想完成对智能合约的攻击,必须找到所有智能合约的漏洞,完成对所有智能合约的攻击。

采用 Affordances 范式设计的全新合约语言

为了更好地解决智能合约的安全性问题,Haichain 将采用一种全新的强类型的、使用了 Afforances 范式设计的新语言。Afforances 范式可以给基于区块链的合约,提供额外的安全性。



关键词:
相关文章