链资讯 链资讯
Ctrl+D收藏链资讯

BSP:EVM创新热潮下 谁是赢家?_SMP

作者:

时间:

在以太坊主网上的每一个操作都要花费一定的 Gas,如果我们把跑基础应用所需的计算量都放在链上,要么 App 会崩溃,要么用户会破产。

这催生了 L2 :OPRU 引入了排序器来捆绑一堆交易,然后提交到主网上。这不仅有助于 app 承接以太坊的安全性,同时也给予了用户更好的体验。用户可以更快地提交交易,手续费也更加便宜了。虽然操作变 得便宜了,但它仍然使用原生 EVM 作为执行层。和 ZK Rollups 类似,Scroll、Polygon zkEVM 使用或将使用基于 EVM 的 zk 电路,zk Proof 将在其证明器上进行的每一笔交易或者一大包交易中生成。虽然这能让开发者建立 "全链上 "的应用程序,但它是否仍能高效且经济地运行高性能的应用程序呢?

人们首先想到的是游戏、链上订单簿、Web3 社交、机器学习、基因组建模等。所有这些都需要大计算量,在 L2 上运行也会非常昂贵。EVM 的另一个问题是,计算的速度和效率不如现在的其他系统,如SVM (Sealevel Virtual Machine)。

虽然 L3 EVM 可以使计算更便宜,但 EVM 本身的结构可能不是执行高计算的最佳方式,因为它无法计算并行运算。在上面每建一个新的层的时候,为了保持去中心化的精神,就需要建立新的基础设施(新的节点网络),这仍然需要同样数量的提供者来扩展,或者是一组全新的节点提供者(个人/企业)来提供资源,或者两者都需要。

因此,每当更先进的解决方案被建立时,现有的基础设施就要被升级,或者在上面建立一个新的层。为了解决这个问题,我们需要一个后量子安全、去中心化、无需信任、高性能的计算基础设施,可以真正高效地使用量子算法为去中心化的应用进行计算。

像 Solana、Sui 和 Aptos 这样的 alt-L1s 能够实现并行执行,但由于市场情绪,流动性短缺市场上缺乏开发人员,他们不会对以太坊产生挑战。因为缺乏信任,而且以太坊用网络效应建立的护城河是里程碑式的。到目前为止,ETH/EVM 的杀手并不存在。这里的问题是,为什么所有的计算都应该在链上?是否存在一个同样无需信任、去中心化的执行系统?这是 DCompute 系统能够实现的。

许正宇:金管局与人民银行就数字人民币作跨境支付在香港进行的初步技术测试已完成:金色财经报道,香港财经事务及库务局局长许正宇今日在湾区金科(Fintech)沙龙暨深港交流专场发表致辞,他表示目前超过 800 间金融科技企业在港营运,业务涵盖虚拟资产交易等多个范畴,当中包括八家虚拟银行、四家虚拟保险公司、两家持牌虚拟资产交易平台。

许正宇还透露,香港金融管理局(金管局)和中国人民银行(人民银行)于二○二二年合作推出跨境金融科技“一站式”测试平台,目前有两个项目完成测试,相关银行正在筹备将产品推出市场。金管局与人民银行就数字人民币作跨境支付在香港进行的初步技术测试已完成,目前正进行第二阶段的技术测试,引入更多香港银行参与及透过快速支付系统“转数快”为数字人民币钱包增值。[2023/9/7 13:24:24]

DCompute基础设施要做到去中心化、后量子安全,也要做到无信任,不需要或者说不应该是区块链/分布式技术,但验证计算结果,正确的状态转换和最终确认是非常重要的。EVM 链的运行就是如此,在保持网络的安全性和不可篡改性的同时,去中心化的、无需信任的、安全的计算可以被移到链下。

我们在这里主要忽略的是数据可用性的问题。这篇文章并非不关注数据的可用性,因为像Celestia 和 EigenDA 这样的解决方案已经在朝这个方向发展。

1: 只将计算外包(Only Compute Outsourced)

(来源:Off-chaining Models and Approaches to Off-chain Computations, Jacob Eberhardt & Jonathan Heiss)2. 将计算与数据可用性外包

CNBC:亚洲加密市场因美国监管不确定性崭露头角,香港和新加坡引领监管透明化:金色财经报道,CNBC表示,在美国监管形势不确定的背景下,亚洲正在推动加密货币市场的监管透明度。其中,香港和新加坡处于领先地位。区块链数据分析平台 Chainalysis 的亚太区政策主管 Ong Chengyi 表示,香港和新加坡保持了非常高的监管标准,并且积极为数字资产业务创造有利的环境。预计香港将会发放更多的执照许可证,从而吸引更多的加密货币公司涌向亚洲。OKX 全球首席商务官 Lennix Lai 称,香港正式向散户投资者开放加密货币交易,这将进一步提振投资者的信心,使香港作为潜在的全球虚拟资产中心更具吸引力。[2023/8/17 18:05:09]

(来源:Off-chaining Models and Approaches to Off-chain Computations, Jacob Eberhardt & Jonathan Heiss)当我们看到 Type 1时,zk-rollups 已经在做这个,但它们要么受限于EVM,要么需要教导开发者学习全新的语言/指令集。理想的解决方案应该是高效的、有效的(成本和资源)、去中心化的、私密的和可验证的。ZK证明可以在AWS服务器上构建,但它们并不是去中心化的。像Nillion和Nexus这样的解决方案正在尝试以去中心化的方式解决通用计算的问题。但这些解决方案是无法验证的,如果没有ZK证明的话。

Type 2 将链下计算模型与保持分离的数据可用性层结合起来,但计算仍然需要在链上进行验证。

让我们来看一下今天可用的不完全可信和可能完全无信任的不同去中心化计算模型。

香港金管局:将率先监管那些标榜与法币价值挂钩的稳定币:4月29日消息,香港金融管理局在其今日发布的《2022年年报》中表示,2023年的重点将会包括虚拟资产等,金管局在有关过程中会参考市场最新发展及国际标准的修订。为促进虚拟资产行业可持续及负责任地发展,金管局会积极参与相关国际组织,并与政府及其他金融监管机构合作,制定全面的虚拟资产监管架构。

金管局将继续制定灵活及以风险为本的稳定币监管制度,以能在应对稳定币可能带来的货币及金融稳定风险的同时,支持金融创新与市场发展。金管局将着手制定更详细的监管要求,过程中会考虑多项因素,包括最新市场发展、国际机构就稳定币监管提出的建议与良好做法,以及就加密资产和稳定币讨论文件收到的回应。金管局亦会继续积极参与有关稳定币的国际讨论,以及留意主要市场在加密资产方面的发展。

经考虑公众咨询收集到的意见及相关国际标准后,金管局将采纳“相同风险,相同监管”的方式制定稳定币的监管制度及界定其监管范围。“未来我们率先规管的对象将是那些标榜与一种或以上法定货币的价值挂钩的稳定币”,因为这类稳定币可能对货币及金融稳定带来更高及更迫切的潜在风险。[2023/4/30 14:35:12]

以太坊外包计算生态图 (来源:IOSG Ventures)安全飞地计算(Secure Enclave Computations)/可信执行环境(Trusted Execution Environments)

TEE(可信执行环境)就像计算机或智能手机内部的一个特殊盒子。它有自己的锁和钥匙,只有特定的程序(称为可信应用程序)才能访问。当这些可信应用程序在TEE内部运行时,它们就受到其他程序甚至操作系统本身的保护。

这就像一个只有几个特殊朋友可以进入的秘密藏身处。TEE最常见的例子是安全隔离区,它们存在于我们使用的设备上,例如苹果的T1芯片和英特尔的SGX,用于在设备内部运行关键操作,如FaceID。

香港财库局许正宇:FSTB打算再拨款5000万美元,以加快Web3生态发展:金色财经报道,香港特区政府财经事务及库务局(FSTB)?局长许正宇在Aspen Digital Web3投资峰会上表示,世界各地的加密货币公司都表示越来越有兴趣将其业务转移到香港的司法管辖区。此外,FSTB 打算今年再拨款 5000 万美元,以加快 Web3 生态系统的发展。资金将用于:主要国际 Web3 活动的组织;增加青年教育讲习班的数量;成立一个工作组,研究加密货币市场的情况,并向政府报告必要的监管变化以进一步发展。[2023/3/22 13:19:54]

由于TEE是隔离的系统,认证过程无法被破坏,因为认证中存在信任假设。可以将其想象为存在一个安全门,你相信它是安全的,因为Intel或Apple建造了它,但世界上有足够多的安全破坏者(包括黑客和其他计算机),可以破坏这扇安全门。TEE不是“后量子安全”的,这意味着拥有无限资源的量子计算机可以破解TEE的安全性。随着计算机迅速变得更加强大,我们必须在构建长期计算系统和密码学方案时牢记后量子安全性。

安全多方计算(SMPC)

SMPC(安全多方计算)也是区块链技术从业熟知的一种计算方案,在SMPC网络中大致的工作流程会有如下3部分组成:

步骤1:将计算的输入转换为份额(shares),并分布在SMPC节点之间。

步骤2:进行实际的计算,通常涉及SMPC节点之间的消息交换。在此步骤结束时,每个节点将拥有计算输出值的一个份额。

步骤3:将结果份额发送到一个或多个结果节点,这些节点运行LSS(秘密分享恢复算法)以重构输出结果。

想象一个汽车生产线,汽车的构建和制造组件(发动机、车门、后视镜)被外包给原始设备制造商(OEM)(工作节点),然后有一个装配线,将所有组件组装在一起制造汽车(结果节点)。

动态 | Cyclean使用虚拟货币收购香港共享单车公司:韩国Cyclean在6月29日收购香港IMUSIC THINGS LIMITED的 60%股份,并已达成协议,使用虚拟货币将公司收购。此次收购为全球首次事例。[2018/7/2]

秘密分享(Secret sharing)对于保护隐私的去中心化计算模型非常重要。这可以防止单个参与方获得完整的"秘密"(在这种情况下是输入),并恶意产生错误的输出。SMPC可能是最容易和最安全的去中心化系统之一。虽然目前不存在一个完全去中心化的模型,但从逻辑上讲这是有可能的。

像Sharemind这样的MPC提供商为计算提供MPC基础设施,但提供商仍然是集中的。如何确保隐私,如何确保网络(或Sharemind)没有恶意行为?这就是zk证明和zk可验证计算的由来。

Nil Message Compute(NMC)

NMC是由Nillion团队开发的一种新的分布式计算方法。它是MPC的升级版,其中节点无需通过通过结果交互来进行通信。为此,他们使用了一种称为一次掩码(One-Time Masking)的密码原语,利用一系列称为遮蔽因子(blinding factors)的随机数来掩盖一个Secret,类似于一次性填充。OTM旨在以高效的方式提供正确性,这意味着NMC节点不需要交换任何消息来执行计算。这意味着NMC不会有SMPC的可扩展性问题。

零知识可验证计算

ZK可验证计算(ZK Verifiable Computation)是对一组输入和一个函数生成零知识证明,并证明任何系统执行的计算都会是正确执行的。尽管ZK验证计算是新生事物,但它已经是以太坊网络扩展路线图中一个非常关键的部分,

ZK证明有各种各样的实现形式(如下图所示,根据论文“Off-Chaining_Models”中总结):

(来源:IOSG Ventures, Off-chaining Models and Approaches to Off-chain Computations, Jacob Eberhardt & Jonathan Heiss)上面我们对zk证明的实现方式有了基本的了解,那么使用ZK证明验证计算需要什么条件呢?

首先,我们需要选择一个证明原语,理想的证明原语生成证明的成本低,对内存的要求不高,并且要易于验证

其次,选择一种zk电路,设计用于通过计算生成上述原语的证明

最后,在某个计算系统/网络中通过提供的输入对给定的函数进行计算并给出输出。

另外一个不得不说的事情就是构建电路的门槛还是很高,让开发者学习Solidity已经不是一件容易的事情,现在要求开发者学习Circom等来构建电路,或者学习一门特定的编程语言(如Cairo)来构建zk-apps,这似乎是一个遥不可及的事情。

如上面的统计数据显示,将Web3的环境改造得更适于开发,似乎比将开发人员引入新的Web3开发环境更具可持续性。

如果ZK是Web3的未来,Web3应用程序需要使用现有的开发人员技能来构建,那么ZK电路就需要这样设计:支持由JavaScript或Rust等语言编写的算法执行的计算生成证明。

这样的解决方案确实存在,笔者想到的是两个团队:RiscZero和Lurk Labs。两个团队都有一个非常相似的愿景,即他们允许开发人员无需经历陡峭的学习曲线即可构建zk-app。

Lurk Labs还处于早期阶段,但该团队已经在这个项目上工作了很长时间。他们专注于通过通用电路生成Nova证明(Nova Proof)。Nova证明是由卡耐基梅隆大学的Abhiram Kothapalli和微软研究院的Srinath Setty以及纽约大学的 Ioanna Tziallae 提出的。与其他SNARK系统相比,Nova证明在进行增量可验证计算(IVC)方面具有特殊优势。增量可验证计算(IVC)是计算机科学和密码学中的一个概念,旨在实现计算的验证,而无需从头开始重新计算整个计算。当计算时间长且复杂时,需要针对IVC对证明进行优化。

Bonsai网络设计的美妙之处在于计算可以初始化,验证,输出全部做到链上。所有这些听起来都像是乌托邦,但STARK证明也带来了问题——验证成本太高。

Nova证明似乎非常适合重复计算(它的折叠方案经济高效)和小型计算,这可能使Lurk成为ML推理验证的一个很好的解决方案。

(来源:IOSG Ventures)一些zk-SNARK系统在初始设置阶段需要一个可信的设置过程,生成一组初始参数。这里的信任假设是,可信的设置是诚实执行的,没有任何恶意行为或篡改。如果受到攻击,可能会导致创建无效的证明。

STARK证明假设低阶测试的安全性,用于验证多项式的低阶性质。它们还假设哈希函数表现得像随机预言机一样。

两个系统的正确实施也是一个安全假设。

SMPC网络依赖于以下几点:

SMPC参与者可以包括“诚实但好奇“的参与者,他们可以通过与其他节点通信来尝试访问任何底层信息。

SMPC网络的安全性依赖于参与者正确执行协议并不故意引入错误或恶意行为的假设。

某些SMPC协议可能需要一个可信的设置阶段来生成加密参数或初始值。这里的信任假设是可信设置被诚实执行。

与SMPC网络相同,安全假设保持不变,但由于OTM(Off-The-Grid Multi-party Computation)的存在,不存在“诚实但好奇“的参与者。

OTM是一种多方计算协议,旨在保护参与者的隐私。它通过使参与者在计算中不公开其输入数据来实现隐私保护。因此,“诚实但好奇“的参与者不会存在,因为他们无法通过与其他节点通信来试图访问底层信息。

有明确的赢家吗? 我们不知道。但每种方法都有自己的优点。虽然NMC看起来像是SMPC的明显升级,但该网络还没有上线,也没有经过实战测试。

使用ZK可验证计算的好处是它是安全和隐私保护的,但它没有内置的秘密共享功能。证明生成和验证之间的不对称使它成为可验证外包计算的理想模型。如果系统使用纯粹的zk验证计算,则计算机(或单个节点)必须非常强大才能执行大量计算。为了在保护隐私的同时启用负载共享和平衡,必须有秘密共享。在这种情况下,像SMPC或NMC这样的系统可以与像Lurk或RiscZero这样的zk生成器相结合,以创建强大的分布式可验证外包计算基础设施。

当今的MPC/SMPC网络是中心化的,这一点变得尤为重要。目前最大的MPC提供商是Sharemind,它上面的ZK验证层可以证明是有用的。去中心化MPC网络的经济模型尚未跑通。理论上,NMC模式是MPC系统的升级,但我们还没有看到其成功。

在ZK证明方案的竞赛中,可能不会出现赢家通吃的情况。每种证明方法都针对特定类型的计算进行了优化,并且没有一个适合所有类型的模型。计算任务的类型有很多种,也取决于开发人员在每个证明系统上做出的权衡。笔者认为基于STARK的系统和基于SNARK的系统以及它们未来的优化在ZK的未来都有一席之地。

IOSG Ventures

企业专栏

阅读更多

金色早8点

Odaily星球日报

金色财经

Block unicorn

DAOrayaki

曼昆区块链法律

标签:BSPNBSMPCSMPBSP价格nbs币发行量gmpc币上线交易所SMPF价格

抹茶交易所热门资讯
比特币:晚间必读 | 一文了解稀有聪的前世今生_QWARK

我在美国证券交易委员会执法部门工作了近 20 年,并管理了许多美国证券交易委员会和司法部的联合起诉。恕我直言,一连串的指标显示,美国司法部将提交或已经提交与币安相关的刑事起诉书.

比特币:一文盘点V神挖的“坑”_ITA

作者:Y林 YouAirdrop.ETH.lens 来源:推特,@YourAirdropETH在ethcc上,Vitalik分享了aa钱包的设计路线,这让人回想起这些年来.

BSP:金色早报 | 纽约禁止CoinEx运营并扣押170万美元的加密资产_SMPC价格

▌美国法官拒绝SBF要求检察官审查FTX债务人的请求隶属于纽约南区的联邦法官LewisKaplan在周四的听证会上对FTX创始人的辩护团队关于驳回银行欺诈、电信欺诈和竞选财务指控的动议提出了几个.

NBS:香港监管下 虚拟资产交易的合规挑战与应对策略_nbs币前景

引言 本文主要内容是透过监管本质和侧重点,探究交易所如何在未来运营考验中更好的受到监管的青睐。在香港公布了虚拟货币交易所条例后,超过200家交易所争先恐后的在香港申请牌照,市场对牌照的公布结果也.

ATG:最强AI监管来了 欧盟通过《AI法案》草案_hathor币

来源:凤凰科技网 北京时间6月14日消息,当地时间周三,欧洲议会通过了一项名为《AI法案》的法律草案,朝着通过这项监管AI的重要法律迈出了重要一步.

COIN:空投1500万美元的代币后 ARKM的申领者有什么动作?_BASE

作者:Andrew Thurman&Michael Bodley 来源:blockworks 编译:金色财经,善欧巴经过数月的市场预热.