时髦的密码学工具能帮助DeFi吗？

:"\u003Cp\u003E编者按：本文来自\u003Cahref=\"https:\u002F\u002Fmp.weixin.qq.com\u002Fs\u002FyiaBW3g6wYgqq1IBSlg8RQ\"target=\"_blank\"\u003E以太坊爱好者\u003C\u002Fa\u003E，作者:ShiriPerciger，翻译:阿剑，Odaily星球日报经授权转载。\u003C\u002Fp\u003E\u003Cp\u003E\u003Cimgalt=\"时髦的密码学工具能帮助DeFi吗？\"src=\"https:\u002F\u002Fpiccdn.0daily.com\u002F202005\u002F31044900\u002Fikfgrih77hhz1z61.jpeg!webp\"data-img-size-val=\"713,400\"\u002F\\\u003E\u003C\u002Fp\u003E\u003Cp\u003E去中心化金融运动誓言要让金融世界平等化，要让它更为公平和透明。但是，DeFi若要在全球范围内实现这个目标，像以太坊这样的去中心化区块链就需要拓展吞吐量！这就意味着我们要运用新的密码学证明方案。\u003C\u002Fp\u003E\u003Cp\u003E像zk-STARK这样的密码学证明系统并不是唯一的解决方案。其它办法包括Plasma、以太坊2.0、许多所谓的“以太坊杀手”提出的方案，还有最近的OptimisticRollup方案。\u003C\u002Fp\u003E\u003Cp\u003E在本文中，我们将解释去中心化的密码学货币当前面临的挑战、各密码学证明系统解决这些问题的路径，以及为什么说zk-STARK最适合于解决这个问题。\u003C\u002Fp\u003E\u003Ch3style=\"\"\u003E去中心化与处理量扩展\u003C\u002Fh3\u003E\u003Cpstyle=\"\"\u003E我们身处的时代，是计算机系统吞吐量不断提高的时代。从带宽，到存储空间，再到一块屏幕上的像素点数量，每一样都在不断提高。那么，为什么要提高比特币和以太坊的交易处理速度这么困难呢？\u003C\u002Fp\u003E\u003Cp\u003E答案是我们还想要保证去中心化。区块链保持免许可性的先决条件是：每一个使用普通笔记本的用户都能验证交易历史的完整性。这里有一个核心原则，我们称之为“包容的可追责性”，意思是：我们不能操之过急地提高系统的处理能力，否则它会退化成一个中心化的支付系统，只有少数几个财阀来控制的那种。\u003C\u002Fp\u003E\u003Cp\u003E\u003Cimgalt=\"时髦的密码学工具能帮助DeFi吗？\"src=\"https:\u002F\u002Fpiccdn.0daily.com\u002F202005\u002F31044241\u002Ffqmzpww32v1kqilg!webp\"data-img-size-val=\"775,553\"\u002F\\\u003E\u003C\u002Fp\u003E\u003Cpclass=\"img-desc\"style=\"\"\u003E-我们必须打破区块链三难困境，创造一个不同于传统系统的去中心化金融系统-\u003C\u002Fp\u003E\u003Cp\u003E因此，所有的扩展方案，包括Plasma、OptimisticRollup和我们的方法，都引入了两类不同的实体：一小群“强大的”参与方，需要投入大量的资源来执行密集的计算；还有一大群节点，这些节点负责验证交易、保证强大参与方产生的计算结果是可审计的。\u003C\u002Fp\u003E\u003Cp\u003E如何能够在保证去中心化的同时扩展吞吐量呢？那就让强大的参与方来计算、而弱小的参与保证来保证可审计性呗。强大参与方是不是恶意的不重要，重要的是弱小的参与方能保证可追责性！\u003C\u002Fp\u003E\u003Cp\u003E在深入细节之前，我们先来看看密码学证明系统。\u003C\u002Fp\u003E\u003Ch3style=\"\"\u003E你得懂点密码学证明系统\u003C\u002Fh3\u003E\u003Cp\u003E密码学证明系统始创于1980年；它对免准入型区块链的巨大价值，导致区块链领域在近年出现了新理论建构和新协议的寒武纪大爆发。在下文中，我们仅聚焦于STARK，这也是我们StarkWare团队准备带给市场的一类证明方案。\u003C\u002Fp\u003E\u003Cp\u003E密码学证明系统中通常包含两类角色：证明者和验证者。\u003C\u002Fp\u003E\u003Culstyle=\"list-style-type:disc;\"class=\"list-paddingleft-2\"\u003E\u003Cli\u003E\u003Cp\u003E证明者：证明者希望像验证者证明某个计算型陈述是正确的，例如“我已经处理了这10000笔交易，而结果数据库的哈希值为X”。验证者会为这个计算型陈述提供一个证据，并发送给验证者。\u003C\u002Fp\u003E\u003C\u002Fli\u003E\u003Cli\u003E\u003Cp\u003E验证者：验证者会验证该证据——而不是天真地重复原本那个计算过程——如果证据能通过验证，则验证者会相信证明者的陈述为真。\u003C\u002Fp\u003E\u003C\u002Fli\u003E\u003C\u002Ful\u003E\u003Cp\u003E注意！在类似STARK这样的密码学证明系统中，证明者和验证者的计算负担是不对称的！\u003C\u002Fp\u003E\u003Cp\u003E比起单单执行原本的计算过程，证明者的计算开销要大得多；而验证者则相反，得益于验证者已经付出的巨大开销，验证者要执行的计算量比原本的计算过程要小得多，比如，如果原本需要执行10000笔交易，那验证者只需付出10笔交易的计算开销就够了。\u003C\u002Fp\u003E\u003Cp\u003E此外，密码学证明系统可以用来隐蔽输入；这样的密码学证明系统就被称作是“零知识的”，缩写就是ZK-STARK。\u003C\u002Fp\u003E\u003Ch3style=\"\"\u003E密码学证明系统如何扩展DeFi？\u003C\u002Fh3\u003E\u003Cp\u003E那么，今天的密码学证明系统究竟能在哪些方面帮到DeFi呢？\u003C\u002Fp\u003E\u003Culstyle=\"list-style-type:disc;\"class=\"list-paddingleft-2\"\u003E\u003Cli\u003E\u003Csection\u003E可扩展性\u003C\u002Fsection\u003E\u003C\u002Fli\u003E\u003Cli\u003E\u003Csection\u003E隐私性\u003C\u002Fsection\u003E\u003C\u002Fli\u003E\u003Cli\u003E\u003Csection\u003E公平性\u003C\u002Fsection\u003E\u003C\u002Fli\u003E\u003C\u002Ful\u003E\u003Csection\u003E我们一个一个来。\u003C\u002Fsection\u003E\u003Cpstyle=\"\"\u003E\u003Cstrong\u003E1.用STARK提高可扩展性\u003C\u002Fstrong\u003E\u003C\u002Fp\u003E\u003Csection\u003E\u003Cimgalt=\"时髦的密码学工具能帮助DeFi吗？\"src=\"https:\u002F\u002Fpiccdn.0daily.com\u002F202005\u002F31044241\u002Fn3xgrh83skhhca63!webp\"data-img-size-val=\"960,540\"\u002F\\\u003E\u003C\u002Fsection\u003E\u003Cp\u003E我们回到最根本的那个挑战：保持包容可追责性的同时扩展以太坊吞吐量。我们需要一种技术，既能大幅提高吞吐量，同时许多“弱小参与者”可以完全验证这些强大参与者的计算完整性，而且，还不会增加弱小参与者的负担。其它扩展方案，比如Plasma和OptimisticRollup都依赖于错误性证明，而我们在这篇文章里解释过为什么密码学证明系统是更好的解决方案。\u003C\u002Fp\u003E\u003Cp\u003E使用STARK的可扩展性，我们可以放胆让任何强大的实体成为证明者，哪怕是黑武士父子控制的傀儡也没问题。这里的关键在于，强大证明者要为自己的所有操作附加一个简洁的证据，而所有的弱小节点都可以轻而易举地验证这些证据。因此，通过STARK，我们就可以保证包容的可追责性，同时提供几乎无限的吞吐量扩展。\u003C\u002Fp\u003E\u003Csection\u003E\u003Cimgalt=\"时髦的密码学工具能帮助DeFi吗？\"src=\"https:\u002F\u002Fpiccdn.0daily.com\u002F202005\u002F31044241\u002Fk5qwhj7lawsnwnq9!webp\"data-img-size-val=\"1080,567\"\u002F\\\u003E\u003C\u002Fsection\u003E\u003Cp\u003E说得更细一些，ZKRollup可扩展性解决方案的基础是让大的计算任务在链下执行，链下的计算资源富足得多；然后生成出计算执行过程的有效性证明并发送到区块链上；然后由一个验证者智能合约来验证这些证明。通过验证之后，网络参与者就能相信整个计算是有效的。正是因为我们没有任何信任假设，我们才能公正地接受一个有效性证据，哪怕是黑武士发出的也没关系。\u003C\u002Fp\u003E\u003Cp\u003E这可不是嘴上说说——下周你就能在主网上使用了！\u003C\u002Fp\u003E\u003Cp\u003E这些都不是停留在纸面上的东西了：使用StarkEx，我们的扩展性引擎，我们已经实现了每秒超过9千笔自主托管型交易的吞吐量了！而且，这还不是极限：我们不受区块链资源的限制，仅受云资源的限制。\u003C\u002Fp\u003E\u003Cp\u003E端到端的交易产品即将上线主网。\u003C\u002Fp\u003E\u003Cp\u003E第一个由StarkEx引擎支持的DeversiFi去中心化交易所将在下周上线。而且StarkEx支撑的一个NFT交易所也在紧锣密鼓地开发中，将能支持游戏内资产的交易。\u003C\u002Fp\u003E\u003Csection\u003E\u003Cimgalt=\"时髦的密码学工具能帮助DeFi吗？\"src=\"https:\u002F\u002Fpiccdn.0daily.com\u002F202005\u002F31044241\u002Fdthz76hwyat3g5cp!webp\"data-img-size-val=\"1080,537\"\u002F\\\u003E\u003C\u002Fsection\u003E\u003Cpstyle=\"\"\u003E\u003Cstrong\u003E2.ZKP增强隐私性\u003C\u002Fstrong\u003E\u003C\u002Fp\u003E\u003Cpstyle=\"\"\u003E提高交易处理速度并不是公链走向大众化的充分条件。我们还需要隐私性。\u003C\u002Fp\u003E\u003Cpstyle=\"\"\u003E公链的先驱在发现ZKP对可扩展性的好处之前，就已经发现了ZKP对隐私的好处。Zcash区块链，启动于2016年，是第一个用ZKP方案来提供隐蔽交易的系统。\u003C\u002Fp\u003E\u003Cpstyle=\"\"\u003E隐私对于实现一个高效市场来说也是很关键的。交易员们在市场中交易时，既希望自由自在，又希望不会暴露自己的独门信息。免准入的区块，在设计上是完全透明的：为了让所有的小节点都能验证区块链的状态而无需引入任何信任假设，所有的交易都会在链上公开。\u003C\u002Fp\u003E\u003Cpstyle=\"\"\u003E因此，挑战在于：如何能够获得隐私性，又不至于牺牲DeFi的免信任性呢？可以借助ZKP的零知识属性！\u003C\u002Fp\u003E\u003Cpstyle=\"\"\u003E如上所述，零知识证使我们可以在不公开私密输入的前提下证明一个计算型陈述。这种属性应用在区块链上，就能让独门信息被包含在私密输入中，证据完全不会暴露这个输入。结果就是皆大欢喜：隐私又能得到保护，同时任何人都能验证区块链的状态，还不用引入信任假设，完美。\u003C\u002Fp\u003E\u003Cpstyle=\"\"\u003E这个更不是吹牛，你已经能用了！\u003C\u002Fp\u003E\u003Cpstyle=\"\"\u003E有多个团队已经在以太坊上用ZKP做了隐私增强方案，包括Tornado.cash和AZTEC。Tornado使用了混币器方法，而AZTEC使用了交易池方法。我们预计还会出现其它方案。\u003C\u002Fp\u003E\u003Csection\u003E\u003Cimgalt=\"时髦的密码学工具能帮助DeFi吗？\"src=\"https:\u002F\u002Fpiccdn.0daily.com\u002F202005\u002F31044241\u002Fkaxi6vyqht5rs4bj!webp\"data-img-size-val=\"1080,425\"\u002F\\\u003E\u003C\u002Fsection\u003E\u003Cp\u003E注意：有隐私不代表反监管。市场参与者对隐私的需求可以和监管者观察和监控市场健康度的需求并存。举个例子：一个企业可以创建一个交了税的零知识证明，而不是把自己所有的账本共享给收税者。企业的隐私得到了保护，监管者也能相信税收已经征收完毕。\u003Cbr\u002F\u003E\u003C\u002Fp\u003E\u003Cpstyle=\"\"\u003E\u003Cstrong\u003E3.ZKP增强公平性\u003C\u002Fstrong\u003E\u003C\u002Fp\u003E\u003Cpstyle=\"\"\u003E市场的公平性不仅在哲学玄思中有意义。交易员会远离他们认为不公平的交易场所，因此，公平性对流动性是有帮助的。损害市场公平性的办法有很多种，但大部分的办法都包含系统运营者滥用提前知情权作为其中一环。ZKP可以帮助参与者保证运营者不能滥用自身特权、不能偏袒。\u003C\u002Fp\u003E\u003Cpstyle=\"\"\u003E一个很显著的例子是抢跑交易。抢跑交易就是做市商利用提前信息、抢在其他人知道该信息以前交易，这是不合法的。关于抢跑交易对市场的影响，大家的估计有所出入，但公认的结论是影响巨大而且不利于市场的效率。\u003C\u002Fp\u003E\u003Cpstyle=\"\"\u003EZKP可以解决抢跑交易的问题，因为交易员的隐私保护不仅能防范其他交易员，连运营者也不能窥破——这就保证了运营者不能拿知情的特权来牟利，让运营者回归其本来的位置。我们很希望能看到这样的解决方案。\u003C\u002Fp\u003E\u003Ch3style=\"\"\u003E前路\u003C\u002Fh3\u003E\u003Cp\u003E还有很多工作要做！我们要让开发者能更容易地获取这些技术，还要提高这些技术的效率。而且，我们要开发Layer-2方案，还要想怎么能不打破DeFi的强大可组合性，这里面也有很多工作要做。\u003C\u002Fp\u003E\u003Cp\u003E密码学证明系统的可扩展性和隐私性可以让DeFi从金融创新的沙盒变成一个能改变现有金融系统的全球力量。密码学证明系统，比如ZK-STARK，不仅在可扩展性上比其它方案有优势，还能用隐私性和公平性支持更好的市场设计、创造更好的市场。\u003C\u002Fp\u003E

Gemini联创指出Prometheum可疑点：聘请多名前SEC员工、6年未推出产品等:6月16日消息，Gemini联合创始人Tyler Winklevoss在推特上表示,美国证券交易委员会选择起诉Gemini、Coinbase和Kraken不遵守证券法，但同时又批准了Prometheum。以下是让Prometheum与众不同的一些亮点：1.6年未能推出产品；2.聘请了多名前SEC和FINRA（美国金融业监管局）员工；3.去看下其在Gary Gensler和Elizabeth Warren国会听证会上剧本的谈话要点；4.聘请了一位住在马恩岛的首席技术官，他是一位零互联网经验的独立承包商顾问。[2023/6/16 21:41:59]

OpenSea Pro 推出社交交易机器人服务ProBot:5月31日消息，NFT 市场 OpenSea Pro（原 Gem）宣布正式推出社交交易机器人服务ProBot（@0xProBot），该服务可以监控重要交易和一些较为明显的扫货交易，所有服务均由机器人提供支持，OpenSea Pro 称未来还将推出更多智能交易机器人服务。[2023/5/31 11:49:15]

Chipper Cash澄清：在硅谷银行资金仅约100万美元，从未寻求被收购:3月15日消息，针对市场出现支付公司Chipper Cash将考虑出售的传言，该公司首席执行官Ham Serunjogi在其官方网站发布澄清声明，其中指出虽然硅谷银行和Silvergate Bank倒闭引发了混乱，但对Chipper Cash的影响“微不足道”，虽然硅谷银行是该公司的投资方，但他们在硅谷银行账户中持有的资金非常有限，仅约100万美元，而且Chipper Cash没有接触过Silvergate Bank，也“从未寻求被收购”。[2023/3/15 13:05:09]

韩国当局拟通过修改《特金法》的执行法令将加密交易所的资产和存款分开审查:11月17日消息，韩国执政党国民力量党正在审查一项计划，以修改《特定金融交易信息法》（简称《特金法》）的执行法令，以便虚拟资产交易所将自身资产和用户存款完全分开。国会政务委员会委员表示：“虽然可以在特金法中作部分修改，以分离交易所资产与存款，但比较困难，因为民主党正在阻挠执政党的各种立法。我们将审查我们是否可以通过改变执行法令来采取行动，这是特金法的指导方针。”（EToday）[2022/11/17 13:17:04]

韩国对涉欺诈在逃的加密货币项目创始人发出逮捕令:9月15日消息，在对稳定币TerraUSD及其对应的数字币Luna的惊人崩溃进行调查之后，韩国检察官已经获得了对Terraform Labs首席执行官Do Kwon的逮捕令，逮捕令有效期为一年。Do Kwon被认为在新加坡，韩国检察官希望取消他的护照，并寻求国际刑警组织的协助来实施逮捕。据报道，韩国首尔南部地区检察官办公室最近获得了对Do Kwon和其他五人的逮捕令，其中包括Terraform的创始成员尼古拉斯-普拉蒂亚斯，所有这些人都被认为在新加坡。韩国检察官指控Kwon违反了资本市场法，检察官认为Terraform通过向投资者提供夸大或虚假的信息来抬高Luna的价格，实际上从事欺诈性交易。如果罪名成立，Kwon和其他人可能会被处以总额为其利润三至五倍的罚款或至少一年的监禁。（金十）[2022/9/15 6:58:05]

标签：STYLSTYLESECECTSTYL价格STYLE币SECOKTK project

火币网下载官方app热门资讯