此文来自于斯坦福区块链评论，深潮TechFlow为斯坦福区块链评论合作伙伴，独家获授权编译转载。
随着区块链技术的不断发展，越来越多的应用场景涌现出来，但其在大规模应用时仍存在一些挑战，其中之一就是区块链的可扩展性。
为了解决这个问题，NexusLabs提出了一种新的解决方案——基于区块链的通用可验证云计算网络，可以为区块链、Rollup和智能合约提供计算能力和可扩展性支持的解决访问。本文将介绍Nexus和NexusZero的特点和架构，并探讨它们如何促进区块链技术的发展。
介绍
可验证云计算提供了一种将传统程序计算外包到远程服务器并接收程序输出和验证计算正确性的证明的可能性。这将允许用户将计算外包给不可信服务器，同时保留验证结果。
Lookonchain：Amber Group与Arca正在增持GMX:金色财经报道，据Lookonchain监测，近一个月，Amber Group和Arca一直在增持GMX。Amber Group在过去一个月从币安交易所地址收到122,144枚GMX（当前价值980万美元），平均接收价格为61.9美元，这122,144枚GMX现已转移至3个新地址。Arca在过去3天以约81.5美元的平均价格用2,065枚ETH购买了42,972枚GMX，在1个月前以42.6美元的平均价格用100万USDC购买了23,476GMX。[2023/2/21 12:19:51]
可验证云计算对于区块链领域的潜在影响是难以想象的。通过使智能合约能够以数学上可验证的方式外包计算、存储和与其他系统的交互，这项技术有望大幅增强智能合约系统的计算能力。
深圳：联动香港开展数字人民币跨境支付试点:金色财经报道，1月9日，深圳市地方金融监督管理局在官网发布《关于加快建设深圳国际财富管理中心的意见》。《意见》称，要加强深港财富管理合作，扩大财富管理市场开放。其中明确提出深圳支持发展跨境及离岸财富管理业务，将依托中国人民银行金融科技研究院，深入推进数字人民币试点工作，联动香港开展数字人民币跨境支付试点，携手打造数字人民币跨境应用示范区。[2023/1/10 11:04:40]
Nexus是实现通用可验证云计算的一次尝试，将会特别用于扩展以太坊应用。在本文中，我们提供了一个简要概述，介绍我们团队正在努力实现这一未来所需的主要创新。
可验证计算
可验证性可以通过不同的方式定义和实现。通常有：
加密钱包应用Ledger Live暂停用户在FTX和FTX US中的交易:金色财经报道，Ledger发推称，Ledger的用户需要注意，FTX和FTX US交易在加密钱包应用Ledger Live中暂停。一旦恢复正常服务，将向用户更新。[2022/11/9 12:36:55]
有效性证明：通过零知识证明/zk-SNARKs，验证者可以数学验证某个程序是否计算正确。欺诈证明：也可以提供无效性的证明。这通常被称为optimistic计算，并且需要至少一个诚实的一方来识别和证明存在欺诈行为。共识证明：不要求数学正确性，人们可以假设一个阈值(t-of-N)的各方是诚实的或经济上理性的参与者。这是区块链和侧链采用的方法。每种方法在实现易用性和安全性之间有显着的权衡，但一般来说，零知识证明提供最好的安全保证，而共识/状态机提供了当今最实用和最强大的基本算法。
Transit Swap：将100%承担用户被盗损失，10月7日退还部分资产:10月5日消息，去中心化交易协议Transit Swap公布被盗事件最新进展，表示愿意100%承担用户被盗的损失，将于10月7日先退还黑客已归还的资产给用户，用户查看和领取网址现已公布，剩余资产的退还计划将在后续的公告中公布。
同时，Transit Swap官方进一步表示，希望所有参与该事件的黑客、攻击模仿者、抢跑套利者，根据漏洞赏金及退款奖励（相关金额的5%）进行友好协商，并退回用户剩余的资产。此前该项目曾表示，盗取最大资金的黑客已归还超1890万美元的被盗资金，占其盗取金额80%以上，占总被盗金额约65%。
截止2022年10月8日，Transit Swap官方将视未退还用户资产的黑客、攻击模仿者、抢跑套利者为攻击者，并协助受损用户一起开启相关的法律程序，寻求执法机关的介入，直至找到攻击者并追缴所有被盗资金为止。[2022/10/6 18:40:21]
安全性和活性
比特币核心开发人员Pieter Wuille放弃其维护权限，但仍会参与项目的审计和代码贡献:7月8日消息，比特币核心（Bitcoin Core）开发人员Pieter Wuille放弃其维护权限，他通过比特币GitHub请求从可信密钥集中删除他的密钥，但他明确不会停止对参与项目的审计和代码贡献。自2011年以来，Wuille为比特币核心做出了数千项贡献，包括比特币改进提案（BIP）32，它引入了用于更轻松地存储和恢复私钥的助记词；隔离见证（SegWit），它提供了一种新的、有效的数据块存储方式等。
Pieter Wuille离开后，Wladimir J. van der Laan、Marco Falke、Michael Ford 和 Hennadii Stepanov四位开发人员拥有比特币核心提交访问权限。[2022/7/8 1:59:57]
仅靠可验证性是不够的。实现真正的去中心化应用需要提供两个安全保证：
安全性：这等同于可验证性/正确性属性。活性：确保应用程序最终执行，即不受审查。像Optimistic和ZKRollups这样的系统可以提供安全性，但不能提供活性。一个同时提供安全性和活性的系统被认为是完全正确的。
Nexus：实现完全正确的通用可验证云计算
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和智能合约的计算能力。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。