Nexus Labs：如何通过可验证云计算来对区块链进行扩展？

此文来自于斯坦福区块链评论，深潮TechFlow为斯坦福区块链评论合作伙伴，独家获授权编译转载。

随着区块链技术的不断发展，越来越多的应用场景涌现出来，但其在大规模应用时仍存在一些挑战，其中之一就是区块链的可扩展性。

为了解决这个问题，NexusLabs提出了一种新的解决方案——基于区块链的通用可验证云计算网络，可以为区块链、Rollup和智能合约提供计算能力和可扩展性支持的解决访问。本文将介绍Nexus和NexusZero的特点和架构，并探讨它们如何促进区块链技术的发展。

介绍

可验证云计算提供了一种将传统程序计算外包到远程服务器并接收程序输出和验证计算正确性的证明的可能性。这将允许用户将计算外包给不可信服务器，同时保留验证结果。

Web3游戏平台HyperPlay完成1200万美元A轮融资:金色财经报道，Web3游戏平台HyperPlay宣布完成1200万美元融资后结束了A轮融资。Griffin Gaming Partners和Bitkraft Ventures领投。其他投资者包括 MetaMask 的母公司 ConsenSys、Ethereal Ventures、Delphi、Game7、Mirana Ventures 和 Monoceros Ventures。[2023/6/8 21:24:32]

可验证云计算对于区块链领域的潜在影响是难以想象的。通过使智能合约能够以数学上可验证的方式外包计算、存储和与其他系统的交互，这项技术有望大幅增强智能合约系统的计算能力。

Nexus是实现通用可验证云计算的一次尝试，将会特别用于扩展以太坊应用。在本文中，我们提供了一个简要概述，介绍我们团队正在努力实现这一未来所需的主要创新。

USDC Treasury销毁99,986,216枚USDC:金色财经报道，据Whale Alert监测数据显示，USDC Treasury销毁99,986,216枚USDC (价值99,978,717美元) 。[2023/5/26 10:41:09]

可验证计算

可验证性可以通过不同的方式定义和实现。通常有：

有效性证明：通过零知识证明/zk-SNARKs，验证者可以数学验证某个程序是否计算正确。欺诈证明：也可以提供无效性的证明。这通常被称为optimistic计算，并且需要至少一个诚实的一方来识别和证明存在欺诈行为。共识证明：不要求数学正确性，人们可以假设一个阈值(t-of-N)的各方是诚实的或经济上理性的参与者。这是区块链和侧链采用的方法。每种方法在实现易用性和安全性之间有显着的权衡，但一般来说，零知识证明提供最好的安全保证，而共识/状态机提供了当今最实用和最强大的基本算法。

对冲基金提出折价收购硅谷银行的创业公司存款:金色财经报道，美国财经媒体Semafor援引知情人士报道称，对冲基金正提出以低至面值60%的价格收购硅谷银行（SVB）的创业公司存款。在SVB被美国联邦存款保险公司接管后，知名不良债务投资公司橡树资本（Oaktree）等开始向创业公司伸出援手。报道称，这一出价范围反映了一旦该行资产被出售或清算，有多少未受保存款将最终被追回的预期。另据The Information此前报道，投行杰富瑞的交易员也在联系那些资金被困的创业公司创始人，提出以折扣价收购他们的存款索取权。[2023/3/12 12:58:33]

安全性和活性

仅靠可验证性是不够的。实现真正的去中心化应用需要提供两个安全保证：

安全性：这等同于可验证性/正确性属性。活性：确保应用程序最终执行，即不受审查。像Optimistic和ZKRollups这样的系统可以提供安全性，但不能提供活性。一个同时提供安全性和活性的系统被认为是完全正确的。

Coinbase和Kraken高管：平台上提供的产品不是证券:金色财经报道，Coinbase全球监管政策副总裁Scott Bauguess周四在数字资产研讨会上的小组讨论中表示，我们很高兴我们在美国提供的产品不是证券。Coinbase上的代币表现得不像证券，因为缺乏股息和剩余利息；但即使所有的代币都被认定为有价证券，Coinbase也能让它发挥作用。有合理的规则，这是可以做到的。

Kraken全球政策主管Jonanthan Jachym对此表示赞同。他补充说：“在推进交易政策方面，领导人需要考虑如何调整现行法律以适应加密货币，比如信息披露、市场诚信、利益冲突规则，这不是重新创造，这些政策已经存在很长时间了，但(这项技术)有细微差别。”

Jachym表示，Kraken此举是战略性的，交易所期待更多关于质押的指导。尽管Kraken决定不打官司，但Jachym表示该行业已准备好战斗。[2023/3/3 12:40:22]

Nexus：实现完全正确的通用可验证云计算

以太坊Layer 2总锁仓量小幅回升至42.9亿美元，7日涨幅1.42%:金色财经报道，据L2BEAT数据显示，当前以太坊Layer2总锁仓量小幅回升至42.9亿美元，7日涨幅1.42%。其中，锁仓量前五分别为：

Arbitrum One（23亿美元，7日涨幅3.4%）；

Optimism（11.7亿美元，7日跌幅2.73%）；

dYdX （4.01亿美元，7日涨幅2.67%）；

Metis Andromeda（0.9063亿美元，7日跌幅1.27%）；

Loopring（0.86亿美元，7日涨幅2.11%）。[2022/11/28 21:07:29]

Nexus是一个可验证云计算的去中心化市场。

它使开发人员能够托管使用传统语言编写的无服务器云应用程序，类似于AWSLambda，同时享有安全性和活性保证。

Nexus有两种不同的版本：Nexus和NexusZero。

NexusZero：零知识云计算网络

NexusZero是一个去中心化的链下零知识证明者网络，它允许以太坊智能合约外包一般计算。

它由三个组件组成：

一个通用的零知识虚拟机(zkVM)。一个无需许可的证明者网络。一个去中心化的做市商网络。NexusZero上的应用程序是无状态的“zk-Functions”，由智能合约直接调用。这意味着NexusZero使用一个通用电路来证明任何计算，而不是将程序编译为不同的电路表示形式。

Nexus：去中心化的云计算网络

Nexus是一个去中心化云计算网络。换句话说，它是由独立的、外部感知的“无服务器区块链”组成的网络。

在Nexus上的应用是有状态的“Nexus函数”，由智能合约直接调用。Nexus网络可用于从智能合约系统中外包计算、存储和I/O能力。Nexus网络还可用于复制任何证明系统，并且在一般情况下完成AWS/GoogleCloud正在做的事情，且具备完全正确性保证。

Nexus网络达成内部共识，并可以通过特殊的多方计算技术与外部系统通信。节点激励基于传统的PoS。

因此，人们可以使用Nexus立即启动一个连接到以太坊的“无服务器区块链”。这些网络可以作为侧链、预言机网络、存储/数据可用性网络、守护者网络、去中心化排序器网络或专用区块链使用。

Nexus：简单

除了实现通用可验证云计算外，NexusLabs的中心目标之一是提供极其简单和愉悦的开发体验。

这就是为什么Nexus和NexusZero都被设计成提供与传统云计算无异的体验。开发人员可以使用传统语言编写程序并导入自己喜欢的库。

上述是在Nexus上连接到以太坊的状态无关的“Lambda函数”示例，它在每个新块上调用。函数还可以访问存储和本地类似于POSIX的文件系统。

此外，Nexus函数还可以像智能合约一样保持状态，与智能合约不同的是，它们可以运行长时间运行的任务，如rollup排序器或任何零知识证明，只要它满足两个条件：1）是确定性的，2）编译为WASM。

结论

通用可验证云计算为区块链可扩展性为我们开辟了新的未知领域，未来有望大幅增强区块链、rollup和智能合约的计算能力。

标签：NexusNEX区块链EROFinNexusnexo币局银行区块链币有什么用heroes币今日价格FiL

莱特币最新价格热门资讯