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

1996年，阿丽亚娜5号运载火箭**由欧洲航天局发射升空。由于惯性导航系统发出错误指令（64位浮点数转换为整数导致溢出），火箭发射后仅37秒就偏离预定轨道，最终坠毁。欧洲航天局投资80亿欧元的巨额研发基金也被烧毁。

2016年6月17日，黑客利用Dao代码中的递归漏洞，将以太坊资产与Dao基金池不断分离。Dao项目募集了1200多万个以太坊，几乎占当时以太坊总数的14%，价值超过1.5亿美元，参与众筹的人数超过1.1万人。黑客共窃取以太坊360万台，给用户造成巨大损失，成为以太坊发展史上的分水岭。因此，以太坊分为以太坊和以太坊经典。

从以上两个故事中，我们可以看出安全对于重大公共资产的重要性。这在区块链世界中也是极其重要的。作为“中国版的tezos”，DAF将从程序语言、形式证明和匿名加密三个方面彻底避免区块链网络问题，保护社区用户的资产安全和网络的顺利运行。

Ocaml语言强度保护器

对于底层区块链网络，DAF的主要编程语言将是Ocaml。Ocaml首先被称为目标CAML，是CAML编程语言的主要实现。它是由泽维尔·勒罗伊、JéRôme ouillon、达米恩·多利吉兹、迪迪埃·雷米等人于1996年创立的。Ocaml是一个开源项目。本项目的管理和大部分维护工作委托给INRIA。INRIA是法国国家计算机和自动化研究所。它的法语是Institut National de Reccher en informatique et en automatique（简称INRIA）。它的主要研究领域是计算机科学、控制理论和应用数学。该研究所于1967年在巴黎附近的罗科成立。印度研究院是世界**的科研机构。其科研实力居世界高校和科研机构计算机领域第一。在计算机研究的各个领域，INRIA几乎可以跻身世界研究机构前20名甚至前10名。INRIA是法国国家科学研究机构，直接隶属于教育部和财政部。

现在，Facebook、Bloomberg和纽约高频量化对冲基金Jane Street capital也在利用Ocaml开展工作和研究。Ocaml语法清晰，逻辑易于识别，是其独特的魅力所在。

DAF网络将在Ocaml和go的基础上开发一种专用的智能合同验证与执行语言Crete（中文名：Crete）。对于智能合约语言来说，高效的编译和准确的执行是关键，否则在分布式区块链上对虚拟机原语的任何低效编译都会导致执行任何给定程序所需的大量成本资本，降低网络效率。Crete是一种特殊的语言，它是面向对象的、特定于领域的、基于类栈的。与以太坊的实性语言相比，实性与克里特的简单值类系统非常相似。Crete有integer、string、address、NAT（SOLidity的无符号整数）、Boolean值等，Crete类的优点之一是可以声明自己的类，这样可以更好地进行代码结构和组织。例如，有时创建一个新类而不是使用原始类（用户名而不是字符串，score而不是NAT）可能会更清楚。克里特岛有元组、集合和列表，但没有数组。集合可视为具有相同类的唯一值的无序数组，而列表可视为具有相同类的值的有序数组。克里特岛还提供了许多方便的方法来读取、修改或返回有关集合和列表的信息。

正式证明，高安全性

形式证明是用数学方法证明电子或计算机系统是完整的、没有漏洞的。其中，第一步是用数学语言来描述我们要解决的问题。通过建立问题的数学模，对系统在不同时期应具有和不应具有的状态进行了限制。然后利用这些数学规则来限制系统的设计和实现。

一般来说，它通常用于电子硬件设计和航空航天基础设施领域。例如，在地铁调度领域，形式化证明方法从巴黎地铁信号系统开始，在北美、欧洲、亚洲等主要国家和南美一些国家的地铁系统开发中得到了广泛应用。在地铁里，每天有很多密集的地铁列车从市中心开往铜锣湾？这是由于正式的证据。此外，在能源和电力领域，很多电厂设备控制软件也需要做数学演示（即形式证明），否则被黑客攻击就不好玩了。据《华尔街日报》报道，2016年3月25日，7名伊朗黑客对美国企业和主要金融机构发动DDoS（分布式拒绝服务）攻击，入侵纽约州鲍曼大坝的计算机控制系统。幸运的是，黑客没有得逞，否则纽约会财源滚滚。

国防部必须考虑这样一个重要的问题。DAF旨在构建一个智能经济系统，其合同代码具有“系统重要性”达福发行的智能资产可能涉及巨大的经济效益，或需要类似的“重要性”定位。这就是为什么DAF非常重视形式化验证技术，并将努力推出一个可以调用的特殊形式化验证平台（FVP，formal erification platform）。DAF network将与tezos、certik project、UIUC、Lund Uniersity等合作，对DAF network的基本层、协议层和共识层代码进行深入的形式化验证。

零知识证明加密与机器人应用

在DAF中，计划集成zcash项目开发的零知识证明协议。零知识证明是麻省理工学院研究人员s.Goldwasser、s.Micali和C.rackoff在20世纪80年代提出的一种加密方案，顾名思义，零知识证明就是充分证明自己是某些权益的合法拥有者，而不泄露相关信息，也就是说，对外界来说，“知识”是“零”ZK-snarks协议由三个算法组成：设置、验证和验证。在DAF的世界里，通过扩展Crete智能合约语言，数字资产可以以保护隐私的方式进行交换。DAF认为zcash项目的ZK snarks代表了保护生产中隐私交易的**技术。因此，DAF网络致力于将ZK-snarks协议作为一种指令集成到DAF的Crete智能合约语言中。

机器人是现代工厂环境中的重要设备。为了维护和提高工厂的生产效率，可以使用包含机器人操作的分类账来识别装配线上可能存在的瓶颈，或者作为无意行为的记录，无论其是否恶意。基于DAF区块链网络，采用区块链技术的解决方案也应运而生。它可以防止机器人动作台账不必要的变化，并提供一种利用台账帮助提高生产效率或其他管理要求的方法，使现代工厂生产车间的机器人能够高效地运行。

DAF旨在创造一个更加智能化、自我更新的自主虚拟经济，成为一种新的技术形态和社区互动模式。银行业、机械制造业和证券业的前景也决定了DAF网络将是最难的核心区块链之一。在未来，我们期待着。

DAF将于5月22日（星期五）作为第四个gallop项目登录GJ-bit国际交易平台gallop区域。请期待。

为了庆祝DAF的启动，DAF项目合作伙伴还将与GJ bit国际交流举办“团体入境是空投”活动，每个团体入境合作伙伴将获得一个价值不菲的DAF糖果包。