月亮链 月亮链
Ctrl+D收藏月亮链
首页 > ETH > 正文

NEX:Nexus Labs:如何通过可验证云计算来对区块链进行扩展?_ZER

作者:

时间:1900/1/1 0:00:00

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

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

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

介绍

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

Cardano创始人:没有任何公共钱包是出于安全因素考虑:金色财经报道,Cardano创始人Charles Hoskinson在社交媒体上回应了自己为何与以太坊联合创始人Vitalik Buterin不同,因为Vitalik Buterin拥有公共钱包地址,而Charles Hoskinson到目前位置并没有开设任何公共钱包。Charles Hoskinson回应称,自己没有任何公共钱包是出于安全因素考虑,因为公共地址可能会接收来自受制裁国家和钱包的交易,从而导致他的帐户可能被列入黑名单。[2023/7/30 16:07:23]

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

数据:Uranium Finance攻击者将530枚ETH转至Tornado Cash:7月24日消息,据PeckShield Alert,Uranium Finance攻击者已将530枚ETH(约100万美元)转至Tornado Cash。今日早些时候,Uranium Finance攻击者曾将近100万枚USDC从BNB Chain跨链至以太坊链。[2023/7/24 15:55:37]

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

可验证计算

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

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

FTX起诉SBF和其他前高管,以追回涉嫌欺诈性转账的数亿美元资金:金色财经报道,法庭文件显示,加密货币交易所FTX起诉Sam Bankman-Fried和其他前高管,以追回涉嫌欺诈性转账的数亿美元资金。[2023/7/21 11:08:14]

安全性和活性

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

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

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

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

未平仓总量自12,510张下降至12,423张:8月22日消息,据KingData数据监控,CFTC8月10日至8月16日CME比特币期货持仓周报显示:未平仓总量自12,510张下降至12,423张。

机构多头头寸8,915张,空头头寸9,072张,多空持仓比例1:1,机构多空力量均衡,略微偏向看空;

大户多头头寸619张,空头头寸815张,多空持仓比例1:1.3,大户整体偏向看空;散户多头头寸1,202张,空头头寸849张,多空持仓比例1.4:1,散户显著偏向看涨。[2022/8/22 12:40:05]

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

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

Otherdeed市值突破10亿美元:5月23日消息,据NFTGo.io最新数据显示,YugaLabs元宇宙项目Otherside虚拟地块Otherdeed NFT市值已突破10亿美元,截止目前为11.2亿美元,交易额达到9.4499亿美元。不过,Otherdeed NFT的地板价并没有出现较大幅度增长,当前为3.24ETH,24小时涨幅2.54%。[2022/5/23 3:35:10]

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和智能合约的计算能力。

标签:NEXNexus区块链ZERcoinex交易所中文名FinNexus区块链证据保全怎么操作AZERO价格

ETH热门资讯
GMX:IOSG:GMX全链乐高会挑战dYdX龙头地位吗?_gns币和gmx哪个好

TL;DR?本文讨论了后FTX时代DEX衍生品市场的状况。大多数DEX难以吸引有机增长,因为很大一部分交易量是由机器人和想赚取代币的交易者产生的。GMX成为该垂直领域最大的惊喜.

1900/1/1 0:00:00
NFT:长推:L2的局限性和另一种扩容方法_ugas币最新进展

注:本文来自@levi0214推特,MarsBit整理如下:Gnosis的创始人@koeppelmann昨天在EthDenver做了个分享,讲了L2的局限性,以及另一种扩容的方法.

1900/1/1 0:00:00
DEL:观点:DeFi 的特洛伊木马,Uniswap 是一个期权市场?_SHELTIE INU

首先,我将介绍作为跟踪流动性池表现指标的隐含波动率,这与个人投资者在决定提供流动性时参考的典型APY指标相对应。简单起见,我将专注于恒定函数做市商,如UniswapV2.

1900/1/1 0:00:00
稳定币:一文说透稳定币大格局:三巨头和它们的链上竞争者_USD

这是白话区块链的第1878期原创?作者|ChrisPowers编译|火火出品|白话区块链熊市发展到现在,稳定币市场已经暗流涌动.

1900/1/1 0:00:00
WEB:2023不可错过的大制作web3游戏盘点_web3.0币排行榜

为下一个“Axie”的形态,做一个猜想。在创造更好玩的游戏体验同时,实现为资产赋予价值;通过NFTFi的方式让游戏资产与其他游戏和协议融合与互通;合理利用双代币模型和用户裂变机制,实现稳健高效的.

1900/1/1 0:00:00
PEN:硅谷银行深陷困境,股价跌超50%,市场发生了什么?_OPEN

已陷入困境,其出售210亿美元的可销售债券投资组合,以弥补流动性损失。市场对此感到担忧,该公司股价今日下跌54%.

1900/1/1 0:00:00