区块链技术诞生十年以来，初步形成了区块链1.0—比特币，区块链2.0—以太坊为主导的加密资产体系。下一代更能满足人们需求的区块链技术该是什么样的？新一代的加密资产又如何赋予人们更多的数字权利？这些问题亟待我们去探索，也是DAF（中文名：智户）的愿景。DAF建立无须信任的决策、智能分享收益的流程及自治组织结构，由于链上组织的行为可通过修改合约来自定义，最终可形成一个能自我进化、自我治理的去中心化智能经济组织（DAFO）。
DAF智户认为，未来的区块链技术，第一要自我更新，自我迭代。比特币协议定位于“数字黄金”，对于协议层的改进十分保守；以太坊协议定位于“世界计算机”，主链改进也有限。所谓的以太2.0，两年来迟迟没有大动作，形式大于实质。新一代区块链协议应能够随时改进和迭代，适应环境。“物竞天择，适者生存”，不能适应环境改变，再强大的物种都会消失，就像白垩纪时期的恐龙一样。其次，新一代区块链协议应具备形式化验证的功能，这可以有效防止代码执行顺序被篡改，黑客攻击盗币、合约出现漏洞。经过形式化验证的代码，可以称得上“有生命的代码”，没有经过形式化验证的代码，是“无生命的代码”。以终结者为例，假如终结者的核心代码没有经过形式化验证，那么被黑客入侵过，T800就会杀死本来应该由它保护的主人；但是经过形式化验证的T800，即便被黑客入侵，也会拒绝执行“杀死主人”这一代码指令。DAF智户，兼具自我更新及形式化验证功能，就因此而诞生。
从安全性与功能性角度来看，DAF Network存在若干层面的问题：
首先，软件有可能出现漏洞。尽管DAF上的智能合约可通过相应的功能模块来处理，仍有一些漏洞无法由平台已有的处理方式所应对。
其次，任何事物或组织都是不断发展的，发展过程中会出现各种新的业务逻辑或者是针对现有的业务逻辑所进行的修改以及升级。这些业务逻辑可能随着时间、情境、外在环境的变化而变更对自身形态和功能的要求。任何智慧都无法预测五年、十年、乃至二十年后的智能经济将会走向何处，而拥有自我升级的能力将是“以不变应万变”的最终解决方案。
DAF Network（网络协议层）的自我升级包括两种模式：
ü 常规修正（Fix）
ü 社区自治流程触发的Merge
DAFO（组织层）的自我升级过程则支持三种升级策略：
ü 程序自动升级
ü 通知升级
ü DAFO组织自行决定是否升级
*DAFO升级功能主要是通过升级Solidity库来实现DAFO相关业务升级的。这会使得DAFO的合约相对轻量，尤其是一些体量较小的DAFO的合约甚至可以只保存相关数据存储，然后再跳转到所用的所有DAFO共享库里。该功能可以使得任意DAFO可以设置自己的升级方式。
DAF的自我更新功能，还彻底解决了困扰区块链公链的一大难题：分叉。众所周知，比特币和以太坊都主要通过链下精英实行系统治理，一旦出现分歧，就会产生矛盾，甚至导致主链的分叉。2016年底的“The DAO”事件促使以太坊分叉成以太坊经典（原链）和以太坊（新链），而今，以太坊社区内对于是否实行ProgPoW算法再次产生分歧，社区内两派支持者争吵的喋喋不休。而一个完善的平台，平台的权利和控制应分布在所有代币持有者和关心社区的人手中，实现分散治理，这才是至关重要的。
在区块链网络中，一些资源是由整个社区共享的，即公共资源。网络本身和区块来协议的参数，都是重要的公共资源；同时，还存在一些不大重要的公共资源，例如，该区块链上数字资产的名称是什么。区块链的价值主要来自于网络效应，而分叉减少了网络效应。DAF希望社区中产生的任何想法、任何预实施的行为都存在于一条链上，保持网络资源完整和统一。具体做法是：
DAF Network的协议升级涉及两个阶段：
Ø 试运行阶段（Trial）：需要进行社区投票以决定新功能或新特性是否纳入正式考虑；如果纳入正式考虑，需要由开发组正式进行评估并出具报告，并添加到Testnet进行测试。
Ø 实践阶段（Practice）：需要进行社区投票以决定新功能或新特性是否Merge入主协议（DAF Core）以及是否变更核心共识机制。对于所以涉及共识机制的变更，需要开发组谨慎评估并获得绝对多数DAT投票通过。
在每个阶段决策时，都需要绝对多数的社区成员投票通过。如果某一个提案先后通过了试运行阶段和实践阶段，那么，该提案将会在主网激活，正式实施，提案发出者也会得到奖励。而且，整个流程通常持续2-3个月时间，远远短于多数PoW公链的升级时间。
决策流程示意图
DAF的另一大功能，即形式化验证。形式化验证（Formal Verification）是指用数学方法验证程序代码将完全正确地体现其语义含义。DAF将采用形式化验证方法检查其底层协议与基础只能合约，并考虑提供形式化验证平台以考察系统内部“极为重要”的合约模块。
形式化验证是一个较为陌生的概念，有人认为他略等同与“测试（Test）”，但两者在实质上和定义上都有巨大差别。测试的目的是尽可能发现程序中的错误，而形式化验证的目的是证明程序不会发生错误。当然，形式化验证需要针对特定的功能，并证明该功能能够被确保实现。因此，测试是从结果反推代码可能存在的问题，而形式化验证是直接正向地证明代码不会出现问题，两者的思路是完全相反的。
由于形式化验证的成本非常高昂，过往这一流程被应用于重要的硬件设备，例如通讯设备、军用加密设备、芯片设计、航天工具等。相比之下，软件代码具有快速迭代的特性，难以承受形式化验证的高额成本。 
但是，DAF认为程序代码也有可能需要形式化验证。我们介绍两个典型的场景。首先，区块链的底层协议，尤其是设计共识的部分，具有无需许可性或开放性（Permissionless-ness），一旦出现问题将波及所有的共识参与者；再例如，发行智能资产（如STO）的智能合约，上链后不可更改，一旦出现潜在漏洞则后果不堪设想。
DAF旨在打造智能经济系统，其合约代码具有“系统重要性”。DAFO发行的智能资产可能涉巨额经济利益，也可能要求相似的“重要性”定位。这是为何DAF非常重视形式化验证技术，并将着力推出可供调用的专用形式化验证平台（FVP，Formal Verification Platform）。
DAF实现了组织名册、代币转账、投票、工作者任命、融资、会计等组织机构的基础功能。DAF链上组织的行为可以轻易地通过修改章程来自定义。另外，DAF组织还可以通过连接智能合约的第三方模块进行扩展。而DAFO是一个由具有营利目的的个体与其资产构成的自治组织，人们以其能力、劳动、影响力和资产作为话语权，参与自治组织的治理。
例如，你创建了一个类似现有世界中的“基金”的DAFO—NewFunder，DAF中的其他个体就可以加入NewFunder，加入的方式有两种，一种是NewFunder发行了的代币—NFT，别的个体用以太坊购买了NFT，就代表了对NewFunder的权。NFT可以在市场中自由买卖，也可以被NewFunder以合理的价格回购；另一种是个体带着资产直接加入了NewFunder成为了一员，参与决策自治。而你始终是无法操作别人的资产的，因为只要有一个人加入NewFunder，她就不再属于你一个人了。
在真实世界运作中，一个可能的NewFunder形式是“捐赠人建议基金”（Donor Advised Fund）。它由捐赠人捐资，在基金会设立一个捐赠人专属公益基金，捐赠人有权在基金会的业务范围允许的领域内，对该公益基金的资助方向提出建议，有很大的公益自主权。
基金主要涉及三方主体：捐赠者、基金会、接受捐赠的慈善机构。捐赠者最低捐赠金额只需几千美元即可，捐赠资产可以是现金、基金份额、证券、股份、股权、房地产、人寿保险单等。捐赠资产所有权归属于募资机构，但捐赠人自己或其指定的人员可以决定捐赠资产的投资方式、捐赠资助的慈善组织、金额、时间等，同时享有税收优惠。
捐赠人建议基金（Donor-advised Fund，也简称DAF），是当前美国最有影响力的慈善模式。2015年，以DAF为捐赠模式的富达慈善基金获得的捐赠资产为全美首位。2017年，在美国设立的DAF基金总额达到1100亿美元。未来，基于DAF区块链的捐赠人建议基金，将会进一步去金融中介化，让信托基金助力慈善事业的发展。
基于DAFO亦可以成立区块链市场指数基金（CoinMarketETF）。其设立原则可以如下: CoinMarketETF的加入方式可以是在设立之初参加CoinMarketETF的初始发行，或者在发行后直接在DAF去中心化交易所中购入其代币METF。决策机制是被动的根据市值挑选出整个市场上前30名的数字货币进行观察，如果其市值连续三个月排名在前三十，根据其占区块链市场的总市值比例进行配置，做到指数基金覆盖区块链市场市值的90%以上。自动执行，投资组合动态实时配置，不需要通过讨论。基金总资产的95%投资在区块链资产，5%分配在法币等价数字货币上（USDT、USDC等），以应对赎回。基金存续期满后，基金的收益反应到CoinmarketETF的代币价值上，基金费用扣除基金运营费用后的费用根据份额平均分摊给所有投资用户。
这就类似于传统金融市场上的沪深300 、纳斯达克100等指数基金，帮助投资者在区块链世界也能获得不菲的收益。特别是考虑到未来世界加密资产会越来越流行，世界最大对冲基金桥水创始人达里奥就曾说过：世界金融体系正面临着巨大的范式转变。
总而言之，DAF是全球首个带有形式化验证和链上治理功能的双系统公链，有早期投资者称呼DAF是“中国版的Tezos”，对DAF寄予厚望。DAF将在5月登陆GJ比特国际交易平台Gallop专区，成为第4期Gallop项目，敬请期待。
为了庆祝DAF首发，DAF项目方还将联合GJ比特国际交易所举办“进群即空投”活动，每一个进群的小伙伴都会获得价值不菲的DAF糖果大礼包。
感兴趣的小伙伴请扫描下面的群二维码，加入DAF社区大家庭
如果群满了，还可以扫下面DAF社区志愿者二维码，添加好友后申请加群
本文来自，仅作分享，存在异议请联系平台删除。本文观点不代表刺猬财经 - 刺猬区块链资讯站立场。