ZenProtocol一个没有中间商的金融服务交易平台

浏览量:270 次

Zen是一个没有中间商的金融服务交易平台


通过Zen,你可以创建并且交易任意的资产、衍生品,可以是常规也可以是非常规的,可以是简单的也可以是复杂去中心化的金融是去中心化货币的天然产物。


Zen在协议层集成了BiTCOin。在不影响Bitcoin网络的可扩展性和安全性的前提下,由Bitcoin支持的复杂合约是可行的。


关键概念
合约可以裁定协议和发行向参与者让渡权益的代币或者说资产。参与者可以通过托管持有资产,并且释放资产从而获取另外一种类型的资产。


代币合约定义的代币可以让渡权益,所以代币才是有价值的数字资产。代币只能由它的父级合同创建,但是可以被任何合约或人所使用。


与真实的事件和外部信息源相连接的合约,才是有意义的,也只有这样合约才有实际价值。对大量的数据进行加密提交成为一个压缩的交易,使得在Zen上存储认证过的数据是极其有效的,并且只有在支付的情况下才可以看到对应的数据。

例子


集成BITCOIN

Zen并不打算和Bitcoin竞争成为一个更好的货币,因为Bitcoin为这一角色进行了高度优化。相反,通过建立Zen共识和Bitcoin共识之间的牢固连接,Zen可以专注于成为优秀的复杂去中心化金融协议平台。


Zen是一个和Bitcoin并行的区块链:它有自己的工作量证明机制,但是向Bitcoin的UTXO集合和其他Bitcoin共识状态的要素嵌入了提交。每一个完全确认的Zen节点同时也是一个Bitcoin节点。


这直接使得Zen合约可以持有Bitcoin网络活动所对应的抵押物,意味着Bitcoin持有者可以使用Zen合约而不用直接接触Zen网络。它还使得Zen可以和将来其他的侧链机制进行交互。


Zen强大的合约验证工具让合约可以自动地决定是否接收不同的Bitcoin背书的资产源,决定由哈希算力、人和组织组成的Bitcoin网络上的资产是否安全。在Zen上保护Bitcoin的不同方式竞争提供安全保证,无需给予任何公司和联盟特权。

在Zen上保护BTC
Zen和Bitcoin紧密的互操作性使得建立大量的侧链机制变得简单。基于自由市场原则,楔子由密码学、哈希算力、抵押物或者它们的组合提供安全保证。

融合共识:
ZEN区块链和BITCOIN并行运行




技术架构


不可变合约和UTXOs
Zen合约从它们被创建之时就固定了,无需特别分配的数据存储空间。这使得合约自身可以很好地适应构建于Bitcoin范式之上的区块链,此类的区块链通过每个交易解锁代币价值并向新的目的地锁定价值。Zen合约通过创建交易作用于共识机制,交易可以向其它合约和人传递数据和价值。需要跟踪状态的合约使用交易输出来存储数据。

沙盒环境
合约不直接调用其它合约的代码,它们通过向交易输出发送数据进行通信。这种方式极大地简化了对合约行为的推理,并且防止了很多典型的智能合约漏洞。

高效的解决机制
对于达成一致的方式,如果各方都赞成,合约可以提供一个计算代价低的解决方式,无需潜在昂贵的链上计算。

F* - 安全、正式验证过的合约编程语言
Zen合约是用F*语言的特殊子集编写的,由微软研究院和Inria共同开发的F*语言可用于程序验证。合约通过F*提供的高级检查后,提取并编译成 .NET 字节码。这使得合约可以在裸机速度下运行并保持两个属性:

正确性证明
开发人员能够验证合约是否满足给定的规范,而无需进行切换,因为凭证使用的是相同语言。高级合约可以扩展现存的功能,当开发人员编写此类合约时,他们创建的资产对现存的合约可以向后兼容。例如,开发人员可以增大(而不能减少!)看涨期权合约的抵押物。

资源限制
现存的智能合约平台会终止耗尽系统资源的合约,可能是通过“耗尽gas”这种中途停止的形式,也可能是合约语言太简单导致的死循环。Zen引入了编译时资源限制的范式。所有的Zen合约有一个成本类型,代表了消耗资源的上限。

开发人员验证合约符合预期成本类型的方式和验证合约满足其它任何规范的方式完全一致,都是通过使用F*语言的内置功能。Zen合约执行时从不会耗尽资金,并且可以表述任意的计算终止方式。

经济学

稀缺代币
Zen的交易历史的安全由矿工提供。Zen需要一个焦点,例如由一种有竞争力的稀缺代币所提供。这种代币被用来创建合约。事实上,使用合约或者支付交易费用可以通过任何资产进行。
这不仅保证了代币的使用价值,并且故意地给其他资产(包括Bitcoin背书的资产)建立自己的货币使用形式如抵押物、购买等提供了空间。

多哈希挖矿
Zen区块链由一个新的工作量证明算法提供安全保障,在这一算法中允许多个哈希函数,每个函数的相对困难度调整取向一个比率,比率由代币持有者投票选出。这促使专注于某个特定哈希函数的旷工积极响应Zen使用者所产生的利益。

有效合约组
合约所对应的有效区块,合约会提前留出资金支付这些区块的矿工。激活合约的费用拆分为支付未来矿工费用和第一个将合约纳入区块的矿工费用。按需付费鼓励用户使用尽可能小的有效合约集合,从而减少挖矿的费用。在不损失任何数据的前提下总是可以激活不活跃的合约。

关于更多Zen Protocol信息:https://www.zenprotocol.com/



󰄯 分享
 
®关于本站文章™ | 若非注明原创,默认 均为网友分享文章,如有侵权,请联系我们™
㊣ 本文永久链接: ZenProtocol一个没有中间商的金融服务交易平台