# Empiric网络和下一代预言机：使用可验证计算 By [白开水](https://paragraph.com/@baikaishui) · 2022-09-07 --- 概述 -- **Empiric 是StarkNet 上**的第一个预言机，也是当今生态系统**强大数据馈送的领先提供商。该网络由 Alameda Research、Jane Street、Gemini、CMT 等数据合作伙伴提供支持。由于 Empiric 网络完全是链上的，因此使用 Empiric 的协议最终可以访问与智能合约本身一样可验证、透明和安全的数据。Empiric 还在开创性的计算馈送，以新颖的方式结合其高质量、实时的市场数据——完全在链上，并可通过利用零知识计算进行验证。这些先进的计算源将使下一代 DeFi 协议超越今天变得可能**。 关注[Empiric](https://twitter.com/empiricnetwork)以了解最新动态！ 预言问题 ---- 智能合约非常安全，但它们也是[孤立](https://ethereum.stackexchange.com/questions/301/why-cant-contracts-make-api-calls)的，因为它们只能与区块链上的其他智能合约进行通信。纯智能合约不能依赖于任何现实世界的信息。但为了发挥作用，这些智能合约需要能够对现实世界的状态做出反应——这就是所谓的预言机问题。 预言机通过评估世界状况然后将这些数据提供给智能合约来解决这个问题。例如，预言机可能会在链上发送美元的以太币价格来为衍生品提供动力，或者发送肯尼亚特定地区的天气来解决参数保险合同。 建立一个好的预言机很难，因为预言机是容易被操纵的关键基础设施（[Chainlink](https://blockonomi.com/chainlink-pricing-anomaly/)、[Pyth](https://cryptoslate.com/bitcoin-crashes-to-5400-on-solana-based-oracle-pyth-network-after-glitch/)、[Coinbase/Compound](https://decrypt.co/49657/oracle-exploit-sees-100-million-liquidated-on-compound)、[Harvest](https://medium.com/harvest-finance/harvest-flashloan-economic-attack-post-mortem-3cf900d65217)） 例如，做空 Eth然后操纵 ETH/USD 的价格低于真实价格可能是非常有利可图的。 现有的解决方案是可信的黑匣子 -------------- 许多最成功的现有预言机为了安全而牺牲了去中心化和透明度。这些预言机作为可信的链下黑匣子运行，从未知来源（不可验证）提取数据，然后在将最终答案发布到链上之前组合该数据（不可验证）。因此，智能合约必须信任最终数字，而不是能够验证它。 另一方面，智能合约经过精心构建，可验证、透明和可组合。然而，由于它们依赖于预言机来正确执行，**智能合约仅与它们所依赖的预言机一样安全和无需信任**。如果预言机提供了错误的数据，最安全的智能合约就会出现故障——“垃圾进，垃圾出”。 ![花费所有的时间和资源来构建强大、安全的智能合约并使用链下不透明的预言机，就像制造一辆电动汽车，只是用燃煤电厂的电力给它充电——它违背了整个目的。](https://storage.googleapis.com/papyrus_images/b129c6a458b6b3abb5d4ee0ad6dc852227ff3348ff0a86b967a68bbc4ecf9b78.png) 花费所有的时间和资源来构建强大、安全的智能合约并使用链下不透明的预言机，就像制造一辆电动汽车，只是用燃煤电厂的电力给它充电——它违背了整个目的。 可验证计算已准备好投入生产 ------------- 在我们看到现有预言机面临这些挑战的同时，开创性的新技术已经出现。使用基于零知识 (zk) 密码学的可验证计算，可以创建汇总，将一组事务压缩成更小的语句（证明）。然后可以验证这些证明并将其存储在以太坊上，从而使 zk-rollup 与以太坊一样安全。因为这些证明比他们证明的计算量要[小得多](https://medium.com/starkware/arithmetization-i-15c046390862)，所以 zk-rollup 的性能比以太坊（100-1000x）高得多。缩放定律的这一重大转变对使智能合约能够与现实世界交互的数据层产生了巨大的、未被充分认识的影响。 Empiric的方法: 第一方, 去中心化和透明 ------------------------ Empiric 利用 zk-rollups 的独特优势创建了一个解决方案，在许多重要方面改进了现有方法： **第一方：** Empiric 不是从简单地从公共 API 中提取数据的中介获取数据，而是与第一方数据源合作，这些数据源拥有自己的专有、高质量的市场状态数据。这包括大容量做市商和最具流动性的交易所。Empiric 的创始数据合作伙伴包括 Jane Street、Alameda Research、Gemini、CMT Digital 等。这些合作伙伴签署他们的数据，然后将其直接发送到链上，任何人都可以验证时间戳数据是否由源正确签名。 **去中心化：** Empiric Network 不仅仅依赖于少数数据源。相反，Empiric 的智能合约接收来自许多不同来源的数据，然后这些合约会稳健地汇总这些数据以消除异常值。[从如此多的高流动性来源获取数据使得在经济上](https://cointelegraph.com/news/cheese-bank-s-multi-million-dollar-hack-explained-by-security-firm)无法操纵所有市场，这是绝大多数预言机攻击的来源[（](https://medium.com/harvest-finance/harvest-flashloan-economic-attack-post-mortem-3cf900d65217)[1、2、3](https://decrypt.co/49657/oracle-exploit-sees-100-million-liquidated-on-compound)）。由于 Empiric 没有链下基础设施，试图破坏网络的审查攻击是不可行的，因为攻击者必须在不同的基础设施上拆除许多不同的独立系统，每个系统都是为最大的安全性和冗余而构建的。 **透明**：除了没有任何链下基础设施的安全优势之外，Empiric 的完全链上方法还意味着所有数据都是可验证的，从源头到转换到目的地。任何人都可以验证原始时间戳数据的签名。任何人都可以验证聚合这些数据的智能合约是否完成了它应该做的事情。最后，Empiric 的所有合约和 SDK 都是[开源](https://github.com/42labs/Empiric)的，并且正在接受审计。 **借助 Empiric Network，智能合约最终可以访问与智能合约本身一样可验证、透明和安全的数据。** 去中心化的未来：计算馈送 ------------ Empiric 的优势不仅仅在于一流的价格馈送：Empiric Network 首次实现了驱动智能合约核心逻辑的数据的可组合性。**通过利用 StarkNet 廉价的链上计算，Empiric 可以轻松创建新的计算源**，以新颖的方式结合 Empiric 的高质量、实时市场数据。因此，原始数据成为“乐高积木”，可以组合起来**创建先进的计算源，使下一代 DeFi 协议超越今天的可能**。 为什么可组合性很重要？借助 DeFi，我们看到了[可组合性](https://www.notboring.co/p/idea-legos)的力量，即应用程序可以自由地构建在另一个之上。例如，如果你想建立一个保险库，你可以整合收益来源和 AMM，或者如果你想建立一个新的衍生品，没有人可以阻止你在任何现有资产之上构建。 在 TradFi 中，计算馈送无处不在——TradFi 算法不仅限于简单的价格馈送，例如苹果股票和黄金。相反，金融应用程序利用风险、收益率和波动性等高级计算信息，从集成到彭博终端的信息到宏观对冲基金的精选“信号”。 如果 DeFi 要取代现有的金融轨道，核心协议必须变得更加智能。**下一代协议不会针对以太坊 L1 的高气体环境进行优化，而是使用高级计算馈送来支持更高级的链上功能。** 实例探究 ---- 我们将与我们的开发合作伙伴合作发布完整的案例研究，但这里是我们正在构建的一些计算源的预览。 [CurveZero](https://curvezero.fi/)是一个基于 StarkNet 的固定利率借贷协议，在测试网上运行。[Empiric在链上](https://goerli.voyager.online/contract/0x06dc5481aaa92ac4c00e33465bb327814261c4b36322a6858c693f4e659962ec#readContract)引导加密原生收益率曲线，然后 CurveZero 使用该曲线来计算其固定利率贷款价格。自举计算基于原始数据，例如同一时间特定交易所的现货与期货数据的比率。 [Yagi](https://yagi.fi/vaults)正在为 StarkNet L2 收益构建基础设施，包括 StarkNet 上的第一个 keeper 网络和保险库。Empiric 正在创建链上的波动性反馈，八木将整合该反馈以更好地进行时间资本配置，并避免在市场剧烈波动期间造成无常损失。 期待 -- 今天，我们正在与领先的协议合作创建第一个计算源，从动态收益率曲线到资产相关性和波动率源。未来，数据可组合性的真正力量将来自任何能够构建新的计算提要和奖励创建这些提要的开发人员的激励系统。我们迫不及待地想要构建它，并将在此过程中继续与您分享更新！ 如果您正在 zk-rollup 上构建协议，并且想要构建比 L1 上的协议更大、更智能的高级协议，请联系我们！我们正在选择我们的开发合作伙伴，我们将与他们密切合作以构建更多的计算源。您可以在[Twitter @EmpiricNetwork](https://twitter.com/EmpiricNetwork)或我们在 StarkNet discord 的[频道](https://discord.com/channels/793094838509764618/1001519460722688061)中联系。 如果您有兴趣在密码学和区块链技术的前沿工作，请联系[recruiting@42labs.xyz](mailto:recruiting@42labs.xyz) 或[推特@EmpiricNetwork](https://twitter.com/EmpiricNetwork)！我们正在招聘技术和非技术职位。 --- *Originally published on [白开水](https://paragraph.com/@baikaishui/empiric)*