江苏龙网

  1. 首页 > 人文 > >

DAF Network如何点亮加密金融市场？


DAF Network如何点亮加密金融市场？
本文插图
免责声明：本文旨在传递更多市场信息 ， 不构成任何投资建议 。 文章仅代表作者观点 ， 不代表火星财经官方立场 。
小编：记得关注哦
来源：GJ区块链研究院
1996年 ， 欧洲航天局首次发射的阿丽亚娜5型（Ariane 5）运载火箭 ， 由于惯性导航系统发送的错误指令（64位浮点数转换为整数造成溢出） ， 导致火箭在发射仅仅37秒后便偏离了预定轨道 ， 最终坠毁 ， 欧洲航天局投入的80亿欧元的巨额研发经费也付之一炬 。
DAF Network如何点亮加密金融市场？
本文插图
2016年6月17日 ， 黑客利用The DAO代码里的一个递归漏洞 ， 不停地从The DAO 资金池里分离以太坊资产 。 The DAO项目总共筹到了超过1,200万个以太坊 ， 几乎占到了当时以太坊数量的14% ， 当时价值超过1.5亿美金 ， 参与众筹的人数超过11,000人 。 黑客总共盗走了360万的以太坊 ， 造成了用户的巨大损失 ， 成为以太坊发展历史上的分水岭 。 因此 ， 以太坊分叉为以太坊和以太经典 。
通过以上两个故事 ， 我们能发现 ， 安全性对于重大公共资产的重要性 。 在区块链的世界里 ， 这一点也极其重要 。 而作为“中国版的Tezos”,DAF将通过在程序语言、形式化证明、匿名加密三大方面来彻底避免区块链网络出现问题 ， 保护社区用户的资产安全和网络的流畅运行 。
DAF Network如何点亮加密金融市场？
本文插图
Ocaml语言实力护体
对于底层区块链网路 ， DAF的主要编程语言将使用OCaml语言 。 OCaml ， 最早称为Objective Caml ， 是Caml编程语言的主要实现 ， 由计算机学家Xavier Leroy ， Jér?me Vouillon ， Damien Doligez ， Didier Rémy及其他人于1996年创立 。 OCaml是开放源代码项目 。 此项目的管理和大部分维护工作交由INRIA 。 INRIA即法国国立计算机及自动化研究院 ， 法文为 Institut national de recherche en informatique et en automatique (简称INRIA) ， 其重点研究领域为计算机科学 ， 控制理论及应用数学 。 该研究院于1967年在巴黎附近罗克库尔的创立 。 INRIA是世界著名的科研机构 ， 其科研实力在世界大学和科研机构的计算机领域中排名前列 。 在计算机研究的各个领域 ， INRIA几乎都能名列世界研究机构的前20乃至前10 。 INRIA是法国国家科研机构 ， 直接属于教育部和财政部管理 。
而今 ， 同样使用Ocaml语言展开工作和研究的还有Facebook ， 彭博社 ， 也包括纽约高频量化对冲基金Jane Street Capital等 。 Ocaml语言清晰的语法 ， 易识别的逻辑都是它的独特魅力 。
DAF Network如何点亮加密金融市场？
本文插图
DAF网络将基于Ocaml语言和Go语言开发出一种专门的智能合约验证和执行语言Crete (中文名：克里特） 。 对于智能合约语言 ， 高效的编译和精确的执行是关键 ， 否则对分布式区块链上的虚拟机原语的任何低效编译都会导致执行任何给定程序所需的成本资金增加很多 ， 降低网络效率 。 Crete是一种特殊的语言 ， 是面向对象的领域特定语言 ， 也是基于类型堆栈的语言 。 和以太坊上的Solidity语言相比 ， Solidity和Crete中简单值的类型系统非常相似 。 Crete有整数、字符串、地址、nat（Solidity的无符号整数）、布尔值等 。 Crete类型的优点之一是可以声明自己的类型 ， 它允许更好的代码结构和组织 。 例如 ， 有时创建一个新类型而不是使用原始类型（username而不是string ， score而不是nat）可能更清楚 。 Crete有元组、集合和列表 ， 但没有数组 。 集合可以看作是无序数组 ， 包含相同类型的唯一值 ， 而列表可以看作是包含相同类型值的有序数组 。 Crete还提供了许多方法来读取、修改或返回有关集合和列表的信息 ， 这些方法非常方便 。


推荐阅读


上一篇：科技"性能小钢炮"来袭，iQOO Z1火力全开，受KPL认证官方

下一篇：毕业季加载完毕，点击观赏另类毕设的辛酸