首先是保密性。交易保密自古以来就是刚需,我国古代交易双方袖内拉手谈价的传统,正是满足这一需求的古老智慧。如今 DeFi 所有交易都在链上进行,区块链账本的公开性让每个人的交易行为成为公开信息,因此交易抢跑、杠杆合约交易被操纵定点爆仓频频发生,妨碍大资金和正规玩家进入 DeFi。而那些早于以太坊、以匿名交易为特色的 Monero、Dash 和 Zcash 等隐私币,由于其不可扩展的技术架构,或多或少存在一定的功能和安全漏洞。 Findora 区块链则被构建为一个零知识证明的无需信任数据结构,所谓零知识证明,即你有能力向验证者证明某些陈述是事实,但是又不向其披露任何明显的信息。Findora 区块链节点处理并验证交易采用零知识证明,这意味着节点对交易本身的了解为零,只有授权方才能在区块浏览器上查看交易。这与任何人都可以查看任何交易比特币和以太坊非常不同。 Findora 运用 Bulletproofs (防弹证明)、Supersonic 这两个自己独创的零知识证明系统,和多方计算技术(MPC)一起来来实现隐私保护功能。在 Bulletproofs 出现之前,零知识证明技术计算量和耗时巨大。比如,Zcash 运用了一种零知识证明解决方案——zk-SNARKs,但是 zk-SNARKs 的计算速度较慢,很难满足大规模多方的计算需求。Bulletproofs 能减小加密交易的大小,从而保证消费者和金融服务者的隐私不被侵犯。2018 年 10 月,Monero 进行的硬分叉升级也用到了 Bulletproofs 的技术,将其机密交易的大小削减了 80% 左右。Supersonic 是一种简洁实用、且可有效验证的零知识证明方式。Supersonic 的验证证明数据小于 10KB,仅需 7 毫秒便可验证一个 10 万个逻辑门的语句(一个机密交易的语句大概需要 4000 个逻辑门,一个完全匿名的交易语句则需要 10 万个逻辑门)。 Bulletproof 通常用于只想要隐匿简单事物的交易 ,比如交易金额,并擅长区间证明,即证明某些加密的数字位于某个数值区间。但是 Supersonic 善于隐匿复杂交易中的信息 ,因此用于需要完全保密的交易,隐匿了所有的信息以及任何可能让人追寻蛛丝马迹的数据。 安全多方计算(MPC)支持一组参与方共同学习输入计算的输出,而不会相互揭示有关私密输入的任何其他信息。例如,MPC 可用于进行秘密投标拍卖,而不依赖于受信任方来收集投标。通常,MPC 要么需要多轮交互,要么要求进行成本昂贵的计算,例如完全同态加密,因此对于智能合约的执行是不切实际的。但是,Findora 的专用高效 MPC 协议能做到这一点(例如,保持基金的资产负债表保密)。 其次是可审计性。目前 DeFi 的全透明不能满足用户交易保密的需求,而现有隐私币的全匿名、缺乏合规需要的审计性,又为全球金融监管层所关切。在金融交易活动保密和可审计性这两个看似相反的极端需求,Findora 认为其找到了一个非常好的平衡点,上述 Findora 发明应用的零知识证明技术能够让任何在 Findora 网络上的交易可被公开审计,而元数据保持机密状态。 (责任编辑:admin) |