全球数字财富领导者
财富汇
|
美股投研
|
客户端
|
旧版
|
北美站
|
FX168 全球视野 中文财经
首页
资讯
速递
行情
日历
数据
社区
视频
直播
点评旗舰店
商品
SFFE2030
外汇开户
登录 / 注册
搜 索
综合
行情
速递
日历
话题
168人气号
文章
一文读懂Partisia Blockhain:兼顾去中心化、安全性与可扩展性
go
lg
...
用可扩展的分片架构、可定制的多方计算(
MPC
)和通证经济学,允许使用除其原生通证之外的其他通证支付燃料费。Partisia Blockchain 由项目联合创始人 Ivan Damg?rd 创建的可定制多方计算(
MPC
)技术,提供了一个在其上进行私有数据计算的可审计隐私层,值得一提的是,Damg?rd 同时也是比特币中 Merkle-Damgard 哈希构造的发明者。这一技术允许在不知道数据内容的情况下进行数据处理,确保了计算的可靠性和真实性,同时保护了隐私。通过对零知识证明方案的改进,Partisia Blockchain 构建了一种全新可信体系,有助于透明和匿名通证的蓬勃发展。分片架构是 Partisia Blockchain 的一个特点之一, 其让多个链能够并行化运行。消息层通过传输来自一个区块链到另一个区块链的交易信息,促进状态同步。每当需要额外输出时,可以轻松创建一个新的区块,从而提供真正的水平扩展性。Partisia 生态系统内的各种区块链由于其独特的 Gas 机制而实现了互操作性。不同区块链的流动性通证,可以用来在 Partisia 上支付 Gas,从而实现更广泛的互操作性机会。流动性通证的整合促成了独特的质押模型的发展。$
MPC
是 Partisia Blockchain 的生态通证,最近已在多个交易所上线,它在该区块链内充当治理和抵押通证的功能。渴望参与区块链治理的用户可以质押 $
MPC
,并获得质押奖励作为回报。质押者可以选择以区块链的本地货币和其他用于支付燃料费的流动性通证作为奖励,比如 ETH、MATIC、BNB ,以及 USDC 和 USDT 等著名的稳定币。此外,$
MPC
还用于为生态系统提供保护。在 Partisia Blockchian 上,用户可以使用 $
MPC
作为抵押,促成从共识和零知识计算到通证桥接的各种交易。赋能开发者在 Web3 空间创造独特应用通过这些价值主张,Partisia Blockchain 使得开发者能够在 Web3 领域创建出当前在其他链上无法实现的独特应用,这一点在 Partisia Blockchain 目前的生态系统版图中显而易见。 从独特的 Web3 应用程序,如私有化的DAOs、能使 DEX 抵抗前置交易的秘密拍卖、可审计的电子现金、私有化的可验证供应链、具有隐私功能的实物资产(RWA)和改进的数字身份认证(DID),到传统的机构应用,如私有化的医疗数据分析、举报者解决方案和随机数生成器(RNG),Partisia Blockchian 拥有让开发者创造出能够改变或颠覆现有市场的解决方案的潜力。 近期,Partisia Blockchian 宣布了一个规模为一亿枚 $
MPC
通证的生态系统赠款计划,旨在促进创新。通过该生态系统赠款计划,将进一步激励开发者推动当前区块链解决方案的边界。有关要求和申请程序的详细信息,请在这访问官网 来源:金色财经
lg
...
金色财经
2024-04-22
DingPay钱包的功能优势及对DDO Chain的能量爆发
go
lg
...
服务。 此外,DingPay钱包还具备
MPC
技术的安全保障。多方安全计算提高系统性能和安全性,通过去中心化结构,实现安全、透明的支付体验。
MPC
技术增强安全性,无需私钥即可管理数字资产。这种安全保障技术使得用户可以更加放心地使用DingPay钱包进行资产管理和交易。 同时,DingPay钱包的推出将进一步巩固DDO Chain在区块链领域的领先地位。作为DDO Chain生态系统的重要组成部分,DingPay钱包将丰富了生态的多样性和功能性,增强了生态的竞争力和可持续发展能力。 综上所述,DingPay钱包的技术优势不仅体现在其先进的底层支持和灵活的设计,还体现在丰富的生态系统和强大的安全保障技术。这些技术优势将为DingPay钱包的用户带来更安全、更便捷、更丰富的数字资产管理和交易体验,为DDO Chain生态系统带来新的能量爆发,为用户和整个生态系统带来更多的价值和机遇 因此,随着DingPay钱包的上线,DDO Chain定将迎来一股新的能量爆发,为用户和整个生态系统带来更多的价值和机遇。伴随着DingPay钱包的重磅问世,定将成为区块链行业的一颗耀眼明星,为用户和生态系统带来更广阔的发展空间和更丰富的数字金融体验。 来源:金色财经
lg
...
金色财经
2024-04-20
ZK 会吃掉模块化堆栈吗?
go
lg
...
CP和dWallet。这些解决方案利用
MPC
和链签名,将其他网络的私钥分成几个小部分并在源链上的验证者之间共享,他们签署跨链交易。当用户想要与另一条链进行交互时,需要足够数量的验证者签署交易以满足阈值加密。这保留了安全性,因为私钥从未完全共享在任何地方。但它确实面临验证者勾结的风险,这就是为什么底层链的密码经济安全性和验证者去中心化仍然非常相关的原因。 意图,在高层次上,将用户的愿望和需求转化为可以由区块链执行的操作。这需要意图解决者——专门的链下代理,负责找到用户意图的最佳解决方案。已经有几个应用程序使用了专门的意图,例如DEX聚合器(“最佳价格”)和桥接聚合器(“最便宜/最快的桥接”)。通用意图结算网络(Anoma、Essential、Suave)旨在使用户更容易表达更复杂的意图,并使开发者能够构建以意图为中心的应用程序。然而,仍然有许多未解决的问题,包括如何形式化这个过程、意图中心语言会是什么样子、是否总是存在最佳解决方案以及如何找到它。 现有的ZK集成 AA x ZK身份验证:一个例子是Sui的zkLogin,它允许用户使用熟悉的凭据(如电子邮件地址)进行登录。它使用ZKPs来防止第三方将Sui地址与其对应的OAuth标识符进行关联。 AA钱包的更高效签名验证:在AA合约中验证交易可能比传统账户(EOA)发起的交易显着更昂贵。Orbiter尝试通过一个捆绑服务来解决这个问题,该服务利用ZKPs来验证交易签名的正确性,并维护AA账户的nonce值和gas余额(通过Merkle世界状态树)。通过证明聚合和将链上验证成本平均分配给所有用户,这可以实现显着的成本节约。 ZKPs可能解决的开放性问题 最佳执行或意图履行的证明:虽然意图和AA可以将用户的复杂性抽象化,但它们也可能作为一种中心化的力量,并要求我们依赖专门的参与者(解决者)来找到最佳执行路径。与其仅仅信任解决者的善意,ZKPs可能被用来证明在解决者取样的路径中选择了用户的最佳路径。 意图结算的隐私保护:像Taiga这样的协议旨在实现完全保护意图结算的功能,以保护用户的隐私——这是在向区块链网络添加隐私(或至少保密性)方面的更广泛移动的一部分。它使用ZKPs(Halo2)来隐藏关于状态转换的敏感信息(应用类型、参与方等)。 AA钱包的密码恢复:这个提案的想法是使用户在丢失私钥时能够恢复他们的钱包。通过在合约钱包上存储哈希(密码,nonce),用户可以借助他们的密码生成一个ZKP来验证这是他们的账户,并请求更改私钥。确认期(3天或更长时间)用作防止未经授权的访问尝试的保障。 2)顺序化 在加入区块之前,交易需要被排序,这可以通过多种方式实现:按照提议者的盈利能力排序(最高支付的交易优先),按照提交的顺序排序(先进先出),给予来自私有内存池的交易优先级等等。 另一个问题是谁来排序交易。在模块化的世界中,有多个不同的参与方可以做到这一点,包括滚动打包器(中心化或去中心化)、L1排序(基于滚动打包)、以及共享排序网络(多个滚动打包使用的去中心化排序网络)。所有这些都有不同的信任假设和扩展能力。在实践中,交易的实际排序和打包成区块也可以由专门的参与方(区块构建者)在协议之外完成。 现有的ZK集成 验证内存池正确加密:Radius是一个具有实用可验证延迟加密(PVDE)的加密内存池的共享排序网络。用户生成一个ZKP,用于证明解决时间锁谜题将导致对有效交易的正确解密,即交易包括有效的签名和nonce,并且发送者有足够的余额支付交易费用。 ZKPs可能解决的开放性问题 可验证的排序规则(VSR):将提议者/排序者置于一组关于执行顺序的规则之下,并附加额外的保证这些规则被遵循。验证可以通过ZKPs或欺诈证明进行,后者需要一个足够大的经济保证金,如果提议者/排序者行为不端则会被削减。 3)执行(扩展写入) 执行层包含了状态更新的逻辑,也是智能合约执行的地方。除了返回计算结果之外,zkVMs还能够证明状态转换是否正确执行。这使得其他网络参与者可以通过仅验证证明来验证正确的执行,而无需重新执行交易。 除了更快更高效的验证之外,可证明执行的另一个好处是能够进行更复杂的计算,因为您不会遇到气体和有限链上资源的典型问题。这为在区块链上运行计算更为密集的全新应用开启了大门,并利用了可保证的计算。 现有的ZK集成 zkEVM滚动打包:一种特殊类型的zkVM,优化以与以太坊兼容并证明EVM执行环境。然而,与以太坊兼容性越高,性能的折衷就越大。2023年推出了几种zkEVM,包括Polygon zkEVM、zkSync Era、Scroll和Linea。Polygon最近宣布推出了他们的类型1 zkEVM证明者,可以以每个区块$0.20-$0.50的价格证明主网以太坊区块(即将推出的优化将进一步降低成本)。RiscZero也有一种解决方案,可以证明以太坊区块,但成本较高,并且受限的基准测试。 替代性zkVMs:一些协议选择了另一条路径,优化了性能/可证性(Starknet、Zorp)或开发人员友好性,而不是试图最大程度地与以太坊兼容。后者的例子包括zkWASM协议(Fluent、Delphinus Labs)和zkMOVE(M2和zkmove)。 专注于隐私的zkVMs:在这种情况下,ZKPs用于两个目的:避免重新执行和实现隐私。虽然仅通过ZKPs可以实现的隐私受到限制(只有个人私有状态),但即将推出的协议为现有解决方案增加了很多表达能力和可编程性。例子包括Aleo的snarkVM、Aztec的AVM和Polygon的MidenVM。 ZK协处理器:允许在链外数据上进行链上计算(但没有状态)。ZKPs用于证明正确执行,比乐观协处理器更快地结算,但成本存在折衷。考虑到生成ZKPs的成本和/或难度,我们看到一些混合版本,例如Brevis coChain,允许开发人员在ZK或乐观模式之间进行选择(在成本和保证难度之间进行折衷)。 ZKPs可能解决的开放性问题 纳入zkVM:大多数基础层(L1s)仍然使用重新执行来验证正确的状态转换。将zkVM纳入基础层将避免这种情况,因为验证者可以验证证明。这将提高操作效率。大多数关注的焦点是以太坊,希望有一个纳入zkEVM的基础层,但许多其他生态系统也依赖重新执行。 zkSVM:虽然SVM今天主要在Solana L1中使用,但像Eclipse这样的团队正在尝试利用SVM进行在以太坊上结算的滚动。Eclipse还计划在SVM中使用Risc Zero进行ZK欺诈证明,以应对SVM中状态转换的潜在挑战。然而,一个完整的zkSVM尚未被探索——可能是由于问题的复杂性以及SVM被优化用于除可证性之外的其他事物。 4)数据查询(读取扩展) 数据查询,或从区块链读取数据,是大多数应用的重要组成部分。尽管近年来的讨论和努力大多集中在扩展写入(执行)上,但由于两者之间的不平衡(特别是在去中心化环境中),扩展读取更为重要。读/写比例在不同区块链之间有所不同,但一个数据点是Sig的估计,Solana上对节点的所有调用中有超过96%是读取调用(基于2年的经验数据)——读/写比例为24:1。 扩展读取包括通过专用的验证者客户端(如Solana上的Sig)提高性能(每秒更多的读取)以及实现更复杂的查询(将读取与计算结合),例如通过协处理器的帮助。 另一个角度是去中心化的数据查询方法。今天,大多数区块链中的数据查询请求都由信任的第三方(基于声誉)进行处理,例如RPC节点(Infura)和索引器(Dune)。更去中心化选项的例子包括The Graph和存储证明运营商(也是可验证的)。还有一些尝试创建去中心化RPC网络,例如Infura DIN或Lava Network(除了去中心化RPC,Lava还计划后续提供额外的数据访问服务)。 现有的ZK集成 存储证明:允许从区块链查询历史数据和当前数据,而无需使用信任的第三方。ZKPs用于压缩并证明正确的数据已被检索。在这个领域正在建设的项目示例包括Axiom、Brevis、Herodotus和Lagrange。 ZKPs可能解决的开放性问题 私有状态的高效查询:隐私项目通常使用UTXO模型的变体,这比账户模型具有更好的隐私特性,但代价是对开发人员友好度的牺牲。私有UTXO模型也可能导致同步问题——自2022年以来,Zcash在经历了隐私交易量显著增加后就一直在努力解决这个问题。钱包必须在能够使用资金之前与链同步,因此这对网络运作来说是一个非常基本的挑战。为了预期这个问题,Aztec最近发布了一个关于笔记发现想法的RFP,但目前还没有找到明确的解决方案。 5)证明 随着越来越多的应用程序纳入ZKPs,证明和验证迅速成为模块化堆栈的重要组成部分。然而,今天大多数证明基础设施仍然是有许可的和中心化的,许多应用程序依赖单个证明者。 虽然中心化解决方案较少复杂,但将证明架构去中心化并将其分割成模块化堆栈中的一个独立组件带来了几个好处。其中一个关键好处在于活跃性保证,这对于依赖频繁生成证明的应用程序至关重要。用户也从更高的抗审查性和由于竞争和将工作负载分享给多个证明者而导致的更低费用中受益。 我们认为通用型证明者网络(许多应用程序,许多证明者)优于单一应用程序证明者网络(一个应用程序,许多证明者),因为它更高效利用现有硬件并对证明者来说更少复杂。更高的利用率也使用户受益于较低的费用,因为证明者不需要通过较高的费用来补偿冗余(仍然需要覆盖固定成本)。 Figment Capital对当前的证明供应链情况进行了很好的概述,其中包括证明生成和证明聚合(本质上是证明生成,但只是将两个证明作为输入而不是执行跟踪)。 现有的ZK集成 STARK与SNARK包装:STARK证明者速度快,不需要信任设置,但缺点是它们产生的大型证明在以太坊L1上验证的成本很高。将STARK包装在SNARK中作为最后一步可以显著降低在以太坊上验证的成本。不过,这样做增加了复杂性,并且这种“复合证明系统”的安全性尚未深入研究。现有实现的例子包括Polygon zkEVM、zkSync Era中的Boojum和RISC Zero。 通用型去中心化证明网络:将更多应用程序集成到去中心化证明网络中,可以使证明者更高效利用硬件(更高的硬件利用率),也可以使用户更便宜(无需为硬件冗余付费)。该领域的项目包括Gevulot和Succinct。 ZKPs可能解决的开放性问题 ZK欺诈证明:在乐观解决方案中,任何人都可以挑战状态转换并在挑战期间创建欺诈证明。然而,验证欺诈证明仍然相当繁琐,因为它是通过重新执行来完成的。ZK欺诈证明旨在通过创建正在挑战的状态转换的证明来解决这个问题,从而实现更高效的验证(无需重新执行)和潜在的更快的结算。至少乐观主义(与O1 Labs和RiscZero合作)以及AltLayer x RiscZero正在处理这个问题。 更高效的证明聚合:ZKPs的一个很棒的特性是您可以将多个证明聚合成一个单一的证明,而不会显著增加验证成本。这使得可以将验证成本分摊到多个证明或应用程序中。证明聚合也是一种证明,但输入是两个证明而不是执行跟踪。在这个领域的项目示例包括NEBRA和Gevulot。 6)数据发布(可用性) 数据发布(DP)确保数据在短时间内(1-2周)可用且容易检索。这对于安全性(乐观性Rollups在挑战期间通过重新执行需要输入数据来验证正确执行,持续1-2周)和活跃性(即使系统使用有效性证明,也可能需要数据来证明资产所有权以进行逃生通道或强制交易)至关重要。用户(如zk-桥梁和Rollups)需要进行一次性付款,以覆盖存储交易和状态的成本,直到数据被删除为止。数据发布网络并不是为长期数据存储而设计的(请参阅下一节可能的解决方案)。 Celestia是第一个替代DP层发布其主网的项目(10月31日),但随着Avail、EigenDA和Near DA等项目预计在2024年推出,很快将会有许多替代方案可供选择。此外,以太坊的EIP 4844升级提高了以太坊上的数据发布效率(同时为Blob存储创建了单独的费用市场),并为完整的坦克分片铺平了道路。DP也正在扩展到其他生态系统——一个例子是Nubit,它旨在在比特币上构建本机的DP。 许多DP解决方案还提供纯数据发布之外的服务,包括对主权Rollups的共享安全性(如Celestia和Avail)或Rollups之间更平滑的互操作性(如Avail的Nexus)。 还有一些项目(如Dom1C0n和Zero Gravity)提供数据发布以及长期状态存储,这是一个引人注目的建议。 这也是在模块化堆栈中重新捆绑两个组件的一个例子,这是我们未来可能看到更多的情况(对进一步解绑和重新捆绑的实验)。 现有的ZK集成 验证纠删码的正确性:纠删码带来一定程度的冗余,以便即使部分编码数据不可用,原始数据也是可恢复的。这也是去中心化存储(DAS)的先决条件,其中轻节点只对区块的一小部分进行抽样,以概率性地确保数据存在。如果恶意的提议者错误地编码数据,即使轻节点抽样了足够数量的唯一块,原始数据也可能无法恢复。验证正确的纠删码可以使用有效性证明(ZKPs)或欺诈证明来完成,后者因与挑战期相关的延迟而受到影响。除了Celestia以外的所有其他解决方案都在使用有效性证明。 由ZK轻客户端提供数据桥梁:使用外部数据发布层的Rollups仍然需要向结算层通知数据已经正确发布。这就是数据认证桥梁的作用所在。使用ZKPs可以使在以太坊上对源链共识签名的验证更加高效。Avail(VectorX)和Celestia(BlobstreamX)的数据认证桥梁都由与Succinct合作构建的ZK轻客户端提供支持。 Celestia整合有效性证明以验证正确的纠删码:Celestia目前在数据发布网络中是一个离群值,因为它使用欺诈证明来验证正确的纠删码。如果恶意的区块提议者错误地编码数据,任何其他完整节点都可以生成欺诈证明并对此提出质疑。虽然这种方法在实施上相对简单,但它也会引入延迟(只有在欺诈证明窗口之后区块才最终确定),并且需要轻节点信任一个诚实的完整节点来生成欺诈证明(无法自行验证)。然而,Celestia正在探索将他们当前的Reed-Solomon编码与ZKP相结合以证明正确编码的方法,这将显著降低最终确定性。关于这个话题的最新讨论可以在这里找到,其中包括以前工作组的记录(除了将ZKP添加到Celestia基础层的更一般性尝试)。 ZK-证明DAS:一些探索已经在ZK-证明数据可用性方面进行,其中轻节点只需验证Merkle根和ZKP,而无需通过下载小块数据来进行常规抽样。这将进一步降低对轻节点的要求,但似乎发展已经停滞不前。 7)长期(状态)存储 存储历史数据主要是为了同步目的和响应数据请求而重要。然而,并非每个完整节点都能够存储所有数据,大多数完整节点会裁剪旧数据以保持硬件需求的合理性。相反,我们依靠专业方(归档节点和索引器)来存储所有历史数据,并在用户请求时提供数据。 此外,还有分散式存储提供者,如Filecoin或Arweave,提供价格合理的长期分散式存储解决方案。虽然大多数区块链没有正式的归档存储过程(仅依赖于某人存储),但分散式存储协议是存储历史数据和通过存储网络内置的激励机制增加一定冗余性(至少X个节点存储数据)的良好选择。 现有的ZK整合 存储证明:长期存储提供商需要定期生成ZKP来证明他们已经存储了他们声称的所有数据。一个例子是Filecoin的时空证明(PoSt),在这里,存储提供商每次成功回答PoSt挑战时都会获得区块奖励。 ZKP可以解决的问题 证明数据来源和查看敏感数据的授权:对于两个不信任的方,他们想要交换敏感数据,ZKP可以用来证明一方具有查看数据所需的凭据,而无需上传实际文件或透露密码和登录详细信息。 8)共识 考虑到区块链是分布式P2P系统,没有可信赖的第三方来决定全局真相。相反,网络中的节点通过一种称为共识的机制来达成对当前真相的一致认定(哪个区块是正确的)。基于PoS的共识方法可以分为基于BFT的(其中拜占庭容错的验证者群体决定最终状态)或基于链的(其中最终状态由回溯性地通过分叉选择规则决定)。虽然大多数现有的PoS共识实现都是基于BFT的,但Cardano是最长链实现的一个例子。还有越来越多的兴趣集中在基于DAG的共识机制,例如Narwhal-Bullshark,在Aleo、Aptos和Sui等项目中以不同形式实现。 共识是模块化堆栈中许多不同组件的关键部分,包括共享顺序器、去中心化的证明和基于区块链的数据发布网络(不是基于委员会的,比如EigenDA)。 现有的ZK整合 ZK隐私网络中的质押:基于PoS的隐私网络带来了一个挑战,即持有质押Token的人必须在隐私和参与共识(以及获得质押奖励)之间做出选择。Penumbra旨在通过消除质押奖励来解决这个问题,而是将未抵押和已抵押的质押视为不同的资产。这种方法可以保持个人委托的私密性,同时每个验证者抵押的总金额仍然是公开的。 私密治理:在加密货币领域,实现匿名投票长期以来一直是一个挑战,例如Nouns Private Voting项目试图推动这一进展。对于治理也是如此,至少Penumbra正在努力进行提案的匿名投票。在这种情况下,ZKP可以用来证明某人有权进行投票(例如通过令牌所有权)以及某些投票标准是否得到满足(例如,尚未进行投票)。 私密领导者选举:以太坊目前在每个时期开始时选举下一个32个区块提议者,并且这次选举的结果是公开的。这带来了一个风险,即恶意方会依次对每个提议者发起DoS攻击,试图使以太坊失效。为了解决这个问题,Whisk提出了一个隐私保护协议,用于在以太坊上选举区块提议者。验证者使用ZKP来证明洗牌和随机化是诚实进行的。还有其他方法也可以实现类似的目标,其中一些在a16z的这篇博客文章中有所涵盖。 签名聚合:使用ZKP来聚合签名可以显著减少签名验证的通信和计算开销(验证一个聚合证明而不是每个单独的签名)。这已经在ZK轻客户端中得到了利用,但也可能扩展到共识中。 9)结算 结算类似于最高法院 - 是验证状态转换正确性并解决争议的最终真相来源。一笔交易在不可逆转的点上被视为最终(或在概率最终性的情况下,被视为足够难以逆转的点)。最终性所需的时间取决于所使用的基础结算层,而基础结算层又取决于所使用的具体最终性规则和区块时间。 慢速最终性在跨Rollup通信中尤为成问题,因为Rollup需要等待以太坊的确认才能批准交易(对于乐观Rollup,需要等待7天;对于有效性Rollup,需要等待12分钟和验证时间)。这导致用户体验较差。目前有多个努力来解决这个问题,包括使用具有一定安全级别的预确认的生态系统特定解决方案(例如Polygon AggLayer或zkSync HyperBridge)以及通用解决方案,如Near的Fast Finality Layer,旨在通过利用EigenLayer的经济安全性连接多个不同的Rollup生态系统。还有一种选择是使用EigenLayer进行软确认的本地Rollup桥接,以避免等待完全最终性。 现有的ZK集成 通过有效性Rollup加快结算速度:与乐观Rollup不同,有效性Rollup不需要挑战期,因为它们依靠ZKP来证明正确的状态转换,无论是否有人提出挑战(悲观Rollup)。这使得基础层上的结算速度更快(12分钟与以太坊上的7天相比),并避免了重新执行。 10)安全性 安全性与保证的难度相关,是区块链的价值主张的关键部分。然而,引导加密经济安全性是困难的,它增加了进入门槛,并对那些需要它的应用程序(各种中间件和替代性L1)构成了创新的摩擦。 共享安全性的理念是利用现有的PoS网络的经济安全性,并将其置于额外的减持风险(惩罚条件)之下,而不是每个组件都试图引导自己的安全性。在PoW网络中曾经尝试过类似的做法(合并挖矿),但不一致的激励机制使得矿工更容易串通一致并操纵协议(难以惩罚不良行为,因为工作发生在物理世界中,即使用计算能力进行挖矿)。PoS安全性更具灵活性,可被其他协议使用,因为它既具有积极的(质押收益)又具有负面的(减持)激励机制。 围绕共享安全性构建的协议包括: EigenLayer旨在利用现有的以太坊安全性来保护各种应用程序。白皮书于2023年初发布,EigenLayer目前处于主网测试阶段,全面主网预计将于今年晚些时候推出。 Cosmos于2023年5月推出了其Interchain Security (ICS),可使Cosmos Hub(Cosmos上最大的链之一,由约24亿美元的质押ATOM支持)将其安全性租借给消费链。通过使用驱动Cosmos Hub的相同验证器集合来验证消费链上的区块,它旨在降低在Cosmos堆栈之上推出新链的障碍。然而,目前只有两个消费链是活跃的(Neutron和Stride)。 Babylon也在尝试使比特币用于共享安全性。为了解决与合并挖矿相关的问题(难以惩罚不良行为),它正在构建一个虚拟的PoS层,在该层中用户可以将比特币锁定在比特币上的质押合约中(无需桥接)。由于比特币没有智能合约层,质押合约的减持规则以比特币脚本中的UTXO交易形式表达。 其他网络上的重新质押包括Near上的Octopus和Solana上的Picasso。Polkadot的平行链也利用了共享安全性的概念。 现有的ZK集成 ZK与经济安全的混合:尽管基于ZK的安全保证可能更强大,但对于某些应用程序来说,证明仍然是成本过高的,生成证明的时间也太长。一个例子是Brevis coChain,它是一个协处理器,从ETH重新抵押者那里获得经济安全性,并且乐观地保证计算(通过ZK欺诈证明)。dApp可以根据其对安全性和成本权衡的特定需求,在纯ZK模式和coChain模式之间进行选择。 11)互操作性 在多链世界中,安全高效的互操作性仍然是一个重大问题,这可以从桥接黑客攻击中损失的28亿美元得到证明。在模块化系统中,互操作性变得更加重要 - 不仅需要在其他链之间进行通信,而且模块化区块链还需要不同的组件之间进行通信(例如DA和结算层)。因此,简单地运行完整节点或验证单个共识证明,就像集成的区块链那样,已经不可行了。这给方程式中增加了更多的变量。 互操作性包括Token桥接和区块链之间更一般的消息传递。目前存在几种不同的选择,它们在安全性、延迟和成本方面都做出了不同的权衡。要同时优化这三个方面非常困难,通常需要至少牺牲其中一个。此外,不同链上的不同标准使得在新链上实施变得更加困难。 虽然我们仍然缺乏对不同类型轻客户端(或节点)的清晰定义,但Fluent和Modular Media联合创始人Dino在这篇文章中进行了很好的介绍。大多数轻客户端今天只验证共识,但理想情况下,我们应该有可以验证执行和DA的轻客户端,以减少信任假设。这将使得可以接近完整节点的安全性,而不需要高硬件要求。 现有的ZK整合 ZK轻客户端(共识验证):大多数当前的轻客户端可以验证其他链的共识 - 无论是完整的验证器集(如果足够小)还是总验证器的子集(例如以太坊的同步委员会)。 ZKPs被用来加速和降低验证成本,因为原始链上使用的签名方案可能在目标链上不被原生支持。虽然预计ZK轻客户端在桥接中的重要性将增加,但当前推广遇到的摩擦包括证明和验证成本,以及为每条新链实现ZK轻客户端。在这个领域的协议示例包括Polyhedra、Avail和Celestia的数据确认桥以及Electron Labs的zkIBC。 存储证明:如前所述,存储证明使得可以查询区块链上的历史和当前数据,而无需使用可信第三方。这对于互操作性也很重要,因为它们可以用于跨链通信。例如,用户可以证明他们在一条链上拥有Token,并将其用于另一条链上的治理(无需桥接)。还有一些尝试将存储证明用于桥接的解决方案,比如LambdaClass开发的这种解决方案。 ZK Oracle:Oracle充当中间人,并将现实世界的数据桥接到区块链上。 ZK Oracle通过能够证明数据的来源和完整性,以及对数据进行的任何计算,改进了当前基于声誉的Oracle模型。 零知识证明(ZKP)可以解决的开放问题 A、完整轻客户端:与盲目信任其他链的验证器集不同 - 完整轻客户端还会验证正确的执行和DA。这减少了信任假设,并接近完整节点,同时保持硬件要求低(允许更多人运行轻客户端)。然而,在大多数链上验证除共识以外的任何内容仍然成本过高,特别是在以太坊上。此外,轻客户端仅能够验证信息(问题的一半),即它们可以识别信息是否错误,但仍需要额外的机制让它们采取行动。 B、聚合层:Polygon的AggLayer旨在通过利用聚合证明和统一的桥接合约,在生态系统内实现L2之间的平滑互操作性。聚合证明既能实现更高效的验证,又能提供更高的安全性 - 强制执行依赖链状态和捆绑包一致,并确保如果一个rollup状态依赖于另一个链的无效状态,则不能在以太坊上解决该状态。zkSync的HyperChains和Avail的Nexus采取了类似的方法。 5、当零知识证明(ZKP)吞噬了模块化栈时会出现什么情况? 假设我们能够达到一种状态,其中生成ZKP变得非常快速(几乎接近光速)且成本极低(几乎免费),那么最终的结果会是什么样子?换句话说,当ZKP吞噬了模块化栈时会出现什么情况? 总体而言,我们认为在这种情况下会有两个真实存在的情况: 消除所有不必要的重新执行:通过转向1/N的执行模型(而不是带有重新执行的N/N模型),我们显著减少了网络的总体冗余,并实现了对底层硬件更高效的利用。尽管仍然存在一些开销,但这将帮助区块链在计算效率方面渐进地接近中心化系统。 大多数应用程序依赖于启用ZKP的加密保证而不是经济安全性:当生成证明的成本和时间不再成为相关因素时,我们认为大多数应用程序将依赖于ZKP以获得更强的保证。这还需要改进可用性和开发者友好性,以构建ZKP应用程序,但这些都是多个团队正在解决的问题。 第三个条件涉及隐私(或信息流管理),但这更加复杂。使用客户端证明,ZKP可以用于一些隐私应用,这就是像Aleo、Aztec或Polygon Miden等平台正在构建的内容,但实现广泛的隐私保护以适用于所有潜在用例还取决于
MPC
和FHE的进展 - 这是一个未来博客文章的潜在主题。 6、我们论点的风险 如果我们错了,未来既不是模块化也不是零知识化呢?我们论点的一些潜在风险包括: 模块化增加了复杂性 用户和开发者都受到链数量不断增加的影响。用户需要在多个链之间管理资金(可能还需要多个钱包)。另一方面,应用开发者在空间仍在不断演进的情况下,面临着更少的稳定性和可预测性,这使得他们更难决定在哪个链上构建应用。他们还需要考虑状态和流动性的碎片化。尤其现在,因为我们仍在探索哪些组件适合解耦,哪些将会重新耦合,所以这一点尤为真实。我们相信用户操作的抽象化以及安全高效的互操作性解决方案是解决这个问题的关键部分。 ZK是否会足够高效? 无论如何,证明生成都太耗时,而且今天的证明和验证成本仍然过高。对于许多应用程序来说,竞争性解决方案,如可信执行环境/TEEs(隐私)或乐观/加密经济安全解决方案(成本),如今仍更有意义。 然而,关于ZKP的软件优化和硬件加速方面的工作已经在进行中。证明聚合将通过将成本分摊给多个不同的参与方(较低的成本/用户)来进一步降低验证成本。还有可能调整基础层以更优化地验证ZKP。关于ZKP的硬件加速的一个挑战是证明系统的快速发展。这使得创建专门硬件(ASICs)变得困难,因为如果/当基础证明系统的标准发生变化时,它们可能很快就会过时。 Ingonyama尝试通过称为ZK评分的可比指标来创建一些证明者性能基准。它基于运行计算的成本(OPEX),并跟踪MMOPS/WATT,其中MMOPS代表每秒模块化乘法操作。有关该主题的更多阅读建议参考Cysic和Ingonyama的博客,以及Wei Dai的这篇演讲。 有限的ZKP提供的隐私是否有用? ZKP只能用于实现个人状态的隐私,而不是多方需要在加密数据上进行计算的共享状态(例如私人Uniswap)。完全的隐私还需要FHE和
MPC
,但在成本和性能方面需要有很大的提升,才能成为更广泛使用的可行选项。也就是说,ZKP对于某些不需要私有共享状态的用例仍然有用,例如身份解决方案或支付。并非所有问题都需要用同一种工具解决。 7、总结 那么,这给我们留下了什么?虽然我们每天都在取得进步,但还有许多工作要做。最迫切需要解决的问题是如何在不牺牲速度或成本的情况下,安全地在不同的模块化组件之间传递价值和信息,以及如何将所有这些抽象化,使最终用户无需担心在不同链之间桥接、切换钱包等问题。 虽然我们目前仍处于实验阶段,但随着时间的推移,情况应该会稳定下来,因为我们会找出对每个用例来说最佳权衡的位置在哪里。这反过来将为标准(非正式或正式)的出现提供空间,并为在这些链之上构建的人提供更多稳定性。 今天仍然有许多用例默认使用加密经济安全,这是由于生成ZKP的成本和复杂性,还有一些需要两者结合使用的。然而,随着我们设计更有效的证明系统和专门的硬件来降低证明和验证的成本和延迟,这一份额应该会随着时间的推移而减少。随着成本和速度的每次指数级降低,新的用例将被解锁。 虽然这篇文章专注于ZKP,但我们也越来越关注现代密码学解决方案(ZKP、
MPC
、FHE 和 TEE)如何共同发挥作用,这是我们已经开始看到的。 来源:金色财经
lg
...
金色财经
2024-04-18
Qredo更名OPEN 链上资管赛道真能杀出一匹黑马?
go
lg
...
焦于利用其第二层协议和分布式多方计算(
MPC
)技术,来优化加密资产的安全性和流动性。通过这些技术,OPEN旨在消除传统加密托管中的痛点,如高依赖度和安全风险,从而在动荡不安的市场环境中为客户提供稳定可靠的服务。这些措施展示了OPEN对市场需求的快速响应以及对创新的承诺,有望在加密托管领域掀起新的浪潮。 随着加密市场的不断演进,解决链上资产托管的难题变得尤为关键,而OPEN托管协议(前身为Qredo)凭借其在去中心化托管方面的创新解决方案,正逐步改写加密资产管理的未来。OPEN协议的核心优势在于其独特的第二层区块链技术和多方计算(
MPC
)技术,这些技术共同作用,不仅解决了传统托管服务中心化的风险,也极大地提高了资产管理的灵活性和安全性。 OPEN通过实现即时交易处理和提供一站式资产管理仪表盘,使企业能够在动态变化的市场中快速做出响应。此外,其与企业财务系统的无缝集成,以及对各种国际合规要求的自然适应,都标志着OPEN协议在全球金融市场中的实用性和前瞻性。 然而,尽管OPEN在加密托管领域取得了创新的突破,但整个区块链行业的互操作性问题依然是一个挑战。跨链通信和多链通信的问题需要通过持续的技术迭代和创新来解决。在这一点上,OPEN协议的未来发展仍有很大的潜力和需求,需要不断探索更安全、更高效的解决方案来优化其网络架构和扩展功能。 随着OPEN协议的推出,该协议计划利用积累的资金通过收购、产品开发和地理扩展来推动增长,尽管最近市场的熊市情绪使得裁员成为必要。OPEN的转型预计将填补市场上一个重大缺口,即开源、链上且成本效益高的托管系统。 当然,OPEN平台仍致力于其使命,提供一个去中心化的托管解决方案,这不仅保证了数字资产的安全性和自主权,还促进了更加强韧和包容的金融生态系统的形成。Qredo向OPEN托管协议的转变不仅重新定义了公司的发展轨迹,还增强了其支持数字经济迅猛需求的能力。 一览OPEN托管协议的发展历史,以及具体的功能点:锚定链上财务和资产托管需求 OPEN托管协议(OPEN)成立于2018年,初衷是通过启用安全的自我托管服务,来减轻与中心化托管解决方案相关的风险。经过重新品牌的OPEN不仅保留了Qredo的基础原则,而且在基础设施能力上进行了扩展,旨在为机构和个人投资者提供服务。 OPEN通过其第二层区块链协议实现了资产托管的完全去中心化。在这一协议中,数字资产的私钥通过分布式网络进行管理,不集中存储于任何单一位置,极大增强了安全性。这种独特的结构允许企业根据需要灵活选择自我托管、联合托管或第三方托管,无需在安全性和可访问性之间做出妥协。 响应FTX崩溃及随后对传统托管服务的不信任,OPEN优化了其平台,以满足对可靠自我托管解决方案日益增长的需求。同年五月,有报道称OPEN已升级其自托管钱包平台,新平台名为“新Qredo”,该平台引入智能密钥分片技术,改进了对团队权限和审批流程的控制。 尽管OPEN完成了包括Coinbase领投的8000万美元A轮融资,并累计获得了约9400万美元的风险投资,但由于2023年月交易量从2022年底的平均25亿美元显著减少,OPEN不得不战略性缩减规模。这种战略性缩减专注于将努力集中在核心产品上,如Web 3钱包和其他托管解决方案,与加密市场的去中心化金融(DeFi)基础设施的更广泛移动相一致。 OPEN协议支持即时资产转移,使企业能够在动态且不断变化的市场中快速响应。财务主管可以通过一个统一的仪表盘,实时协调和管理网络上的托管人、经纪人以及金融机构之间的资产。这不仅提升了操作效率,同时也增强了交易执行的速度和准确性。 OPEN运行于开源软件之上,其RESTful API接口可直接集成到公司的财务管理系统中。这一特点使得数字资产的审计和报告工作更为简便,企业可以轻松地从任何连接到网络的设备访问资产信息,实现资金流的实时可视化。 OPEN利用其先进的区块链技术,记录所有交易活动于不可变的账本中,确保了审计的透明度和交易记录的永久保存。此外,该平台还具备强大的消息传递功能,可以处理复杂的合规要求,如国际旅行规则,保障交易双方的身份信息和交易背景始终清晰可追溯。 OPEN的安全架构包括七道防线,从物理硬件到网络协议层面都提供了全方位的保护措施。
MPC
技术的引入不仅分散了私钥的风险,其分布式的执行环境也由伦敦劳埃德保险公司承保,为用户资产提供了银行级的安全保障。 链上资产托管的需求不断增加,OPEN能否随之发挥更大的功效值得期待 随着加密市场的不断演进,解决链上资产托管的难题变得尤为关键,而OPEN托管协议(前身为Qredo)凭借其在去中心化托管方面的创新解决方案,正逐步改写加密资产管理的未来。OPEN协议的核心优势在于其独特的第二层区块链技术和多方计算(
MPC
)技术,这些技术共同作用,不仅解决了传统托管服务中心化的风险,也极大地提高了资产管理的灵活性和安全性。 OPEN通过实现即时交易处理和提供一站式资产管理仪表盘,使企业能够在动态变化的市场中快速做出响应。此外,其与企业财务系统的无缝集成,以及对各种国际合规要求的自然适应,都标志着OPEN协议在全球金融市场中的实用性和前瞻性。 然而,尽管OPEN在加密托管领域取得了创新的突破,但整个区块链行业的互操作性问题依然是一个挑战。跨链通信和多链通信的问题需要通过持续的技术迭代和创新来解决。在这一点上,OPEN协议的未来发展仍有很大的潜力和需求,需要不断探索更安全、更高效的解决方案来优化其网络架构和扩展功能。 展望未来,我们期待OPEN协议不仅能持续其在去中心化托管技术上的创新,也能在全链dApp的互操作性、安全性以及用户友好性方面取得新的进展。随着区块链技术的不断成熟,OPEN等平台的持续创新将是推动整个加密经济向前发展的关键力量。此外,与其他跨链技术如LayerZero、Axelar等的可能协同作用,也预示着一个更加开放和联通的区块链网络世界的到来。在OPEN协议的推动下,未来的加密资产管理将更加安全、高效且透明。 来源:金色财经
lg
...
金色财经
2024-04-18
EQ Labs:当零知识证明技术完全融入模块化架构时会发生什么?
go
lg
...
P和dWallet。这些解决方案利用
MPC
和链签名,其中另一个网络的私钥被分成几个小部分,并在源链上签署跨链交易的验证者之间共享。当用户想要与另一条链交互时,需要足够数量的验证者对交易进行签名以满足阈值加密。这保留了安全性,因为私钥永远不会在任何地方完全共享。然而,它确实面临验证者串通的风险,这就是为什么底层链的加密经济安全性和验证者去中心化仍然高度相关的原因。 从高层次上看,意图可以将用户的需求与区块链可以执行的操作联系起来。这需要意图解决器——专门的链下代理,其任务是为用户的意图找到最佳的解决方案。已经有一些应用程序使用专门的意图,例如 DEX 聚合器(“最佳价格”)和桥接聚合器(“最便宜/最快桥接”)。一般意向结算网络(Anoma、Essential、Suave)旨在让用户更容易表达更复杂的意图,并让开发人员更轻松地构建以意图为中心的应用程序。然而,仍然存在许多悬而未决的问题,包括如何形式化该过程、以意图为中心的语言是什么样子、最优解决方案是否总是存在以及是否可以找到。 现有的 ZK 集成 使用 AA x ZK 进行身份验证:其中一个示例是 Sui 的zkLogin,它使用户能够使用熟悉的凭据(例如电子邮件地址)登录。它使用 ZKP 来防止第三方将 Sui 地址与其相应的 OAuth 标识符链接起来。 AA 钱包更高效的签名验证:验证 AA 合约中的交易可能比传统账户 (EOA) 发起的交易昂贵得多。Orbiter试图通过捆绑服务来解决这个问题,该服务利用 ZKP 来验证交易签名的正确性,并维护 AA 账户的随机数值和 Gas 余额(通过 Merkle 世界状态树)。借助证明聚合并在所有用户之间平均分摊链上验证成本,这可以显着节省成本。 ZKP 可以解决的开放问题 最佳执行或意图实现的证明:虽然意图和 AA 可以从用户那里抽象出复杂性,但它们也可以充当集中力量,并要求我们依靠专门的参与者(解决者)来找到最佳执行路径。ZKP 可以用来证明用户的最佳路径是从求解器采样的路径中选择出来的,而不是简单地信任求解器的善意。 意向结算的隐私:像Taiga这样的协议旨在实现完全屏蔽的意向结算,以保护用户的隐私——这是向区块链网络添加隐私(或至少是机密性)的更广泛举措的一部分。它使用 ZKP (Halo2) 隐藏有关状态转换的敏感信息(应用程序类型、涉及方等)。 AA 钱包的密码恢复:该提案背后的想法是让用户在丢失私钥时能够恢复钱包。通过在合约钱包上存储哈希值(密码、随机数),用户可以借助密码生成 ZKP,以验证这是他们的帐户并请求更改私钥。确认期(3 天或更长)可以防止未经授权的访问尝试。 2 - 测序 交易在添加到区块之前需要进行排序,这可以通过多种方式完成:按提议者的盈利能力排序(首先支付最高支付的交易),按照提交的顺序(先进先出),给出优先处理来自私人内存池的交易等。 另一个问题是谁可以订购交易。在模块化世界中,多个不同方可以执行此操作,包括汇总排序器(集中式或分散式)、L1 排序(基于汇总)和共享排序网络(多个汇总使用的排序器的去中心化网络)。所有这些都有不同的信任假设和扩展能力。在实践中,交易的实际排序并将它们捆绑到一个区块中也可以由专门的参与者(区块构建者)在协议之外完成。 现有的 ZK 集成 验证内存池的正确加密:Radius是一个共享排序网络,具有采用实用可验证延迟加密 ( PVDE ) 的加密内存池。用户生成一个ZKP,用于证明解决时间锁难题将导致有效交易的正确解密,即交易包含有效的签名和随机数,并且发送者有足够的余额支付交易费用。 ZKP 可以解决的开放问题 可验证的排序规则(VSR):使提议者/排序者遵守一组有关执行顺序的规则,并额外保证遵守这些规则。验证可以通过 ZKP 或欺诈证明进行,后者需要足够大的经济债券,如果提议者/排序者行为不当,经济债券就会被削减。 3 - 执行(缩放写入) 执行层包含状态更新的逻辑,也是智能合约执行的地方。除了返回计算的输出之外,zkVM 还可以证明状态转换是否正确完成。这使得其他网络参与者只需验证证明即可验证正确执行,而不必重新执行交易。 除了更快、更高效的验证之外,可证明执行的另一个好处是可以实现更复杂的计算,因为您不会遇到典型的 Gas 问题和链外计算的有限链上资源问题。这为全新的应用程序打开了大门,这些应用程序的计算强度更大,可以在区块链上运行并利用有保证的计算。 现有的 ZK 集成 zkEVM rollups:一种特殊类型的 zkVM,经过优化以与以太坊兼容并证明 EVM 执行环境。然而,以太坊兼容性越接近,性能方面的权衡就越大。2023 年推出了多个 zkEVM,包括Polygon zkEVM、zkSync Era、Scroll和Linea。Polygon 最近发布了他们的1 型 zkEVM 证明器,它能够以每个块 0.20-0.50 美元的价格证明主网以太坊块(即将进行优化以进一步降低成本)。RiscZero 还有一个解决方案,可以证明以太坊区块,但由于可用的基准测试有限,成本较高。 替代 zkVM:一些协议正在采取替代路径并针对性能/可证明性(Starknet、Zorp)或开发人员友好性进行优化,而不是尝试最大程度地与以太坊兼容。后者的例子包括 zkWASM 协议(Fluent、Delphinus Labs)和 zkMOVE(M2和zkmove)。 注重隐私的 zkVM:在这种情况下,ZKP 用于两件事:避免重新执行和实现隐私。虽然单独使用 ZKP 可以实现的隐私是有限的(仅限个人私有状态),但即将推出的协议为现有解决方案增加了很多表达性和可编程性。示例包括 Aleo 的snarkVM、Aztec 的AVM 和 Polygon 的MidenVM。 ZK-协处理器:启用链上数据的链下计算(但没有状态)。ZKP 用于证明正确的执行,比乐观协处理器提供更快的结算速度,但需要在成本上进行权衡。考虑到生成 ZKP 的成本和/或难度,我们看到了一些混合版本,例如Brevis coChain,它允许开发人员在 ZK 或乐观模式之间进行选择(在成本和保证硬度之间进行权衡)。 ZKP 可以解决的开放问题 重要的 zkVM:大多数基础层(L1)仍然使用重新执行来验证正确的状态转换。将 zkVM 纳入基础层可以避免这种情况,因为验证者可以验证证明。这将提高运营效率。大多数人的目光都集中在带有 zkEVM 的以太坊上,但许多其他生态系统也依赖于重新执行。 zkSVM:虽然 SVM 目前主要在 Solana L1 中使用,但像 Eclipse 这样的团队正在尝试利用 SVM 进行以太坊上的汇总。Eclipse 还计划使用Risc Zero 进行 ZK 欺诈证明,以应对 SVM 中状态转换的潜在挑战。然而,成熟的 zkSVM 尚未被探索——可能是由于问题的复杂性以及 SVM 针对可证明性以外的其他方面进行了优化的事实。 4 - 数据查询(缩放读取) 数据查询,或者从区块链中读取数据,是大多数应用程序的重要组成部分。虽然近年来的大部分讨论和努力都集中在扩展写入(执行)上,但由于两者之间的不平衡(特别是在去中心化环境中),扩展读取更为重要。区块链之间的读/写比率有所不同,但Sig 估计的一个数据点是,对 Solana 上节点的所有调用中 > 96% 都是读调用(基于 2 年的经验数据) -读/写比率为 24: 1. 扩展读取包括通过专用验证器客户端(例如 Solana 上的 Sig)获得更高的性能(每秒更多的读取)以及启用更复杂的查询(将读取与计算相结合),例如在协处理器的帮助下。 另一个角度是数据查询方式的去中心化。如今,区块链中的大多数数据查询请求都是由受信任的第三方(基于信誉)促进的,例如 RPC 节点 ( Infura ) 和索引器 ( Dune )。更去中心化选项的示例包括The Graph和防存储运算符(也是可验证的)。还有一些创建去中心化 RPC 网络的尝试,例如Infura DIN或Lava Network(除了去中心化 RPC 之外,Lava 的目标是稍后提供额外的数据访问服务)。 现有的 ZK 集成 存储证明:无需使用受信任的第三方即可从区块链查询历史和当前数据。ZKP 用于压缩并证明检索到了正确的数据。在这个领域构建的项目示例包括Axiom、Brevis、Herodotus和Lagrange。 ZKP 可以解决的开放问题 隐私状态的高效查询:隐私项目通常使用 UTXO 模型的变体,它可以提供比帐户模型更好的隐私功能,但代价是牺牲开发人员的友好性。私有 UTXO 模型还可能导致同步问题——自 2022 年以来,Zcash在经历了屏蔽交易量的大幅增长后一直在努力解决这个问题。钱包必须先同步到链上,然后才能使用资金,因此这对网络的运作来说是一个相当根本的挑战。考虑到这个问题,Aztec 最近发布了一份关于纸币发现想法的 RFP,但尚未找到明确的解决方案。 5 - 证明 随着越来越多的应用程序纳入 ZKP,证明和验证正迅速成为模块化堆栈的重要组成部分。然而,如今,大多数证明基础设施仍然是经过许可和集中的,许多应用程序依赖于单个证明者。 虽然集中式解决方案不太复杂,但分散证明架构并将其拆分为模块化堆栈中的单独组件会带来多种好处。一个关键的好处在于活性保证的形式,这对于依赖频繁证明生成的应用程序至关重要。用户还受益于更高的审查阻力和由竞争和多个证明者之间分担工作量驱动的 更低的费用。 我们认为,通用证明者网络(许多应用程序,许多证明者)优于单应用程序证明者网络(一个应用程序,许多证明者),因为现有硬件的利用率更高,证明者的复杂性更低。更高的利用率也有利于用户降低费用,因为证明者不需要通过更高的费用来补偿冗余(仍然需要支付固定成本)。 Figment Capital很好地概述了证明供应链的当前状态,其中包括证明生成和证明聚合(本身就是证明生成,但仅将两个证明作为输入而不是执行跟踪)。 现有的 ZK 集成 带有 SNARK 包装器的 STARK:STARK 证明者速度很快,并且不需要可信设置,但缺点是它们会生成大量证明,而在以太坊 L1 上验证这些证明的成本过高。最后一步将 STARK 封装在 SNARK 中,使得在以太坊上进行验证的成本大大降低。不利的一面是,这增加了复杂性,并且这些“复合证明系统”的安全性尚未得到深入研究。现有实现的示例包括Polygon zkEVM、zkSync Era 中的 Boojum和RISC Zero。 通用去中心化证明网络:将更多应用程序集成到去中心化证明网络中,使证明者更高效(硬件利用率更高),对用户来说更便宜(不需要为硬件冗余付费)。该领域的项目包括Gevulot和Succinct。 ZKP 可以解决的开放问题 ZK欺诈证明:在乐观的解决方案中,任何人都可以挑战状态转换并在挑战期间创建欺诈证明。然而,验证欺诈证明仍然相当繁琐,因为它是通过重新执行来完成的。ZK 欺诈证明旨在通过创建受到挑战的状态转换证明来解决此问题,从而实现更有效的验证(无需重新执行)并可能更快的结算。至少Optimism(与 O1 Labs 和 RiscZero 合作)和AltLayer x RiscZero正在致力于此。 更高效的证明聚合:ZKP 的一个重要功能是您可以将多个证明聚合为一个证明,而不会显着增加验证成本。这使得能够分摊多个证明或应用程序的验证成本。证明聚合也是证明,但输入是两个证明而不是执行跟踪。该领域的项目示例包括NEBRA和Gevulot。 6 - 数据发布(可用性) 数据发布 (DP)确保数据在短时间内(1-2 周)可用且易于检索。这对于安全性(乐观汇总需要输入数据来通过在挑战期(1-2 周)内重新执行来验证正确执行)和活跃性(即使系统使用有效性证明,可能需要数据来证明资产所有权)至关重要。逃生舱口或强制交易)。用户(例如 zk-bridges 和 rollups)面临一次性付款,该付款涵盖了在被修剪之前的短时间内存储交易和状态的成本。数据发布网络并不是为长期数据存储而设计的(相反,请参阅下一节以了解可能的解决方案)。 Celestia是第一个推出主网的替代 DP 层(10 月 31 日),但很快就会有许多替代方案可供选择,因为Avail、 EigenDA和Near DA预计将在 2024 年期间推出。此外,以太坊的 EIP 4844升级也已扩展在以太坊上发布数据(除了为 blob 存储创建一个单独的费用市场),并为完整的 dank 分片奠定了基础。DP 还正在扩展到其他生态系统 - Nubit就是一个例子,它旨在在比特币上构建 Native DP。 许多 DP 解决方案还提供纯数据发布之外的服务,包括主权汇总的共享安全性(例如Celestia和Avail)或汇总之间更平滑的互操作性(例如 Avail 的Nexus)。还有一些项目(Domicon和Zero Gravity)既提供数据发布又提供长期状态存储,这是一个引人注目的提议。这也是在模块化堆栈中重新捆绑两个组件的示例,我们可能会看到更多的进展(进一步分拆和重新捆绑的实验)。 现有的 ZK 集成 证明纠删码的正确性:纠删码带来了一定程度的冗余,即使部分编码数据不可用,原始数据也可以恢复。这也是 DAS 的先决条件,其中轻节点仅对块的一小部分进行采样,以概率确保数据存在。如果恶意提议者对数据进行了错误编码,即使轻节点采样了足够的唯一块,原始数据也可能无法恢复。可以使用有效性证明(ZKP)或欺诈证明来证明正确的纠删码——后者会受到与挑战期相关的延迟的影响。除 Celestia 之外的所有其他解决方案都在致力于使用有效性证明。 ZK 轻客户端为数据桥提供支持:使用外部数据发布层的 Rollups 仍然需要与结算层通信数据已正确发布。这就是数据证明桥的用途。使用 ZKP 可以使以太坊上源链共识签名的验证更加高效。Avail ( VectorX ) 和 Celestia ( BlobstreamX ) 数据证明桥均由与 Succinct 一起构建的 ZK 轻客户端提供支持。 ZKP 可以解决的开放问题 Celestia 结合了正确擦除编码的有效性证明: Celestia 目前是数据发布网络中的一个异类,因为它使用欺诈证明来实现正确的擦除编码。如果恶意区块提议者对数据进行了错误编码,任何其他全节点都可以生成欺诈证明并对此提出质疑。虽然这种方法实施起来比较简单,但它也引入了延迟(该块仅在欺诈证明窗口之后才是最终的),并且需要轻节点信任一个诚实的全节点来生成欺诈证明(无法自行验证)。然而,Celestia 正在探索将其当前的 Reed-Solomon 编码与 ZKP 结合起来,以证明编码正确,这将显着降低最终性。可以找到围绕该主题的最新讨论这里有以前工作组的记录(除了将 ZKP 添加到 Celestia 基础层的更一般的尝试之外)。 ZK 证明 DAS :对于ZK 证明数据可用性已经有了一些探索,其中轻节点将简单地验证 merkle 根和 ZKP,而不必通过下载小块数据来进行通常的采样。这将进一步降低对轻节点的要求,但开发似乎已经停滞。 7 - 长期(状态)存储 存储历史数据很重要,主要用于同步目的和服务数据请求。然而,每个全节点都存储所有数据是不可行的,并且大多数全节点都会修剪旧数据以保持硬件需求合理。相反,我们依靠专门机构(存档节点和索引器)来存储所有历史数据并根据用户的请求提供这些数据。 还有去中心化存储提供商,例如Filecoin或Arweave,以合理的价格提供长期去中心化存储解决方案。虽然大多数区块链没有正式的存档存储过程(仅依赖于某人存储它),但去中心化存储协议是通过存储网络的内置存储历史数据和添加一些冗余(至少 X 个节点存储数据)的良好候选者。在激励措施中。 现有的 ZK 集成 存储证明:长期存储提供商需要定期生成 ZKP,以证明他们已经存储了他们声称的所有数据。这方面的一个例子是Filecoin 的时空证明(PoSt),其中存储提供商每次成功回答 PoSt 挑战时都会获得区块奖励。 ZKP 可以解决的开放问题 证明数据来源和查看敏感数据的授权:对于想要交换敏感数据的两个不可信方,ZKP 可用于证明一方拥有查看数据所需的凭据,而无需上传实际文档或泄露密码和日志。详细信息。 8 - 共识 鉴于区块链是分布式 P2P 系统,不存在确定全局真相的可信第三方。相反,网络节点通过一种称为共识的机制就当前真相(哪个区块是正确的)达成一致。基于 PoS 的共识方法可以分为基于 BFT 的(其中验证者的拜占庭容错法定人数决定最终状态)或基于链的(最终状态由分叉选择规则追溯决定)。虽然大多数现有的 PoS 共识实现都是基于 BFT 的,但 Cardano是最长链实现的一个例子。人们对基于 DAG 的共识机制也越来越感兴趣,例如在 Aleo、Aptos 和 Sui 中以某些变体实现的 Narwhal-Bullshark。 共识是模块化堆栈的许多不同组件的重要组成部分,包括共享排序器、去中心化证明和基于区块链的数据发布网络(不是基于委员会的,如 EigenDA)。 现有的 ZK 集成 基于 ZK 的隐私网络中的质押:基于 PoS 的隐私网络提出了挑战,因为质押代币的持有者必须在隐私和参与共识(并获得质押奖励)之间做出选择。Penumbra 旨在通过消除质押奖励来解决这个问题,而是将非抵押和抵押股权视为单独的资产。这种方法使各个委托保持私密性,而与每个验证者绑定的总金额仍然是公开的。 私人治理:实现匿名投票长期以来一直是加密领域的一个挑战,名词私人投票等项目试图推动这一进程。这同样适用于治理,至少 Penumbra 正在对提案进行匿名投票。在这种情况下,ZKP 可用于证明一个人有权投票(例如通过代币所有权)并且满足某些投票标准(例如尚未投票)。 ZKP 可以解决的开放问题 私人领导人选举:以太坊目前在每个 epoch 开始时选举接下来的 32 个区块提议者,并且这次选举的结果是公开的。这会带来恶意方依次对每个提议者发起 DoS 攻击以试图禁用以太坊的风险。为了解决这个问题,Whisk提出了一项隐私保护协议的提案,用于在以太坊上选举区块提议者。验证者使用 ZKP 来证明洗牌和随机化是诚实执行的。还有其他方法可以实现类似的最终目标,a16z 的这篇博文中介绍了其中一些方法。 签名聚合:使用 ZKP 聚合签名可以显着减少签名验证的通信和计算开销(验证一个聚合证据而不是每个单独的签名)。这已经在 ZK 轻客户端中得到利用,但也有可能扩展到共识。 9 - 结算 和解类似于最高法院——验证状态转换的正确性并解决争端的最终真相来源。当一笔交易不可逆转时(或者在概率最终性的情况下——当其很难逆转时),该交易被认为是最终的。最终确定的时间取决于所使用的底层结算层,而这又取决于所使用的具体最终确定规则和区块时间。 缓慢的最终性在跨 Rollup 通信中尤其是一个问题,其中 Rollup 需要等待以太坊的确认才能批准交易(乐观 Rollups 需要 7 天,有效性 Rollups 需要 12 分钟和证明时间)。这导致用户体验不佳。有多种方法可以使用具有一定安全级别的预先确认来解决此问题。示例包括特定于生态系统的解决方案(Polygon AggLayer或zkSync HyperBridge)和通用解决方案(例如Near 的 Fast Finality Layer),该解决方案旨在通过利用 EigenLayer 的经济安全性来连接多个不同的汇总生态系统。还可以选择利用 EigenLayer 的本机汇总桥用于软确认以避免等待完全确定。 现有的 ZK 集成 通过有效性汇总加快结算速度:与乐观汇总相比 ,有效性汇总不需要挑战期,因为它们依赖 ZKP 来证明正确的状态转换,无论是否有人挑战(悲观汇总)。这使得基础层的结算速度更快(以太坊上的结算时间为 12 分钟,而以太坊上的结算时间为 7 天),并且避免了重新执行。 10 - 安全 安全性与保证的硬度有关,也是区块链价值主张的重要组成部分。然而,引导加密经济安全性是很困难的——增加了进入壁垒,并成为那些需要它的应用程序(各种中间件和替代 L1)的创新摩擦。 共享安全的想法是利用 PoS 网络现有的经济安全,并使其承受额外的削减风险(惩罚条件),而不是每个组件都试图引导自己的安全。早期已经有一些尝试在 PoW 网络中做同样的事情(合并挖矿),但是不一致的激励措施使矿工更容易串通并利用协议(由于工作发生在物理世界中,因此更难以惩罚不良行为,即使用计算能力)。PoS 安全性更灵活,可以被其他协议使用,因为它同时具有正向(质押收益)和负向(削减)激励。 围绕共享安全前提构建的协议包括: EigenLayer 的目标是利用现有的以太坊安全性来保护广泛的应用程序。该白皮书于 2023 年初发布,EigenLayer 目前处于主网 alpha 阶段,完整的主网预计将于今年晚些时候推出。 Cosmos于 2023 年 5 月推出了链间安全(ICS),这使得 Cosmos Hub(Cosmos 上最大的链之一,由约24 亿美元质押的 ATOM支持)能够将其安全性出租给消费链。通过使用为 Cosmos Hub 提供支持的相同验证器集来验证消费者链上的块,它的目的是减少在 Cosmos 堆栈顶部启动新链的障碍。然而,目前只有两个消费者链处于活动状态(Neutron 和 Stride)。 Babylon也试图让 BTC 用于共享安全。为了解决与合并挖矿相关的问题(很难惩罚不良行为),它正在构建一个虚拟 PoS 层,用户可以将 BTC 锁定到比特币的质押合约中(无桥接)。由于比特币没有智能合约层,因此质押合约的削减规则而是以比特币脚本中编写的 UTXO 交易来表达。 其他网络上的重新抵押包括Near 上的Octopus和 Solana 上的 Picasso。Polkadot平行链还利用了共享安全的概念。 现有的 ZK 集成 ZK 和经济安全的混合:虽然基于 ZK 的安全保证可能更强,但对于某些应用程序来说,证明的成本仍然过高,并且生成证明需要很长时间。Brevis coChain就是一个例子,它是一种协处理器,从 ETH 重新质押者那里获得经济安全,并乐观地保证计算(通过 ZK 欺诈证明)。dApp 可以根据其在安全性和成本权衡方面的具体需求,选择纯 ZK 或 coChain 模式。 11 - 互操作性 安全高效的互操作性仍然是多链世界中的一个大问题,桥梁黑客攻击造成的 28 亿美元损失就是例证。在模块化系统中,互操作性变得更加重要——不仅是在其他链之间进行通信,而且模块化区块链还需要不同的组件来相互通信(例如 DA 和结算层)。因此,像集成区块链那样简单地运行完整节点或验证单个共识证明不再可行。这为方程式增加了更多的移动因素。 互操作性包括代币桥接以及跨区块链的更一般的消息传递。有几种不同的选择,它们都在安全性、延迟和成本方面做出了不同的权衡。对这三者进行优化非常困难,通常需要牺牲至少一项。此外,跨链的不同标准使得新链的实施变得更加困难。 虽然我们仍然缺乏对不同类型的轻客户端(或节点)的明确定义,但Dino(Fluent & Modular Media 联合创始人)的这篇文章给出了很好的介绍。如今,大多数轻客户端仅验证共识,但理想情况下,我们应该拥有可以验证执行和 DA 的轻客户端,以减少信任假设。这将允许接近全节点安全性,而不需要很高的硬件要求。 现有的 ZK 集成 ZK 轻客户端(共识验证):当前大多数轻客户端都可以验证其他链的共识 - 要么是完整的验证器集(如果足够小),要么是全部验证器的子集(例如以太坊的同步委员会)。ZKP 用于使验证更快、更便宜,因为源链上使用的签名方案可能不受目标链本机支持。虽然 ZK 轻客户端在桥接中的重要性预计会增加,但目前更广泛采用的摩擦包括证明和验证的成本以及每个新链实施 ZK 轻客户端的成本。该领域的协议示例包括Polyhedra、Avail 和 Celestia 的数据证明桥以及Electron Labs 的 zkIBC. 存储证明:如前所述,存储证明可以在不使用可信第三方的情况下从区块链查询历史和当前数据。这也与互操作性相关,因为它们可用于跨链通信。例如,用户可以证明他们在一条链上拥有代币,并将其用于另一条链上的治理(无需桥接)。还有尝试使用存储证明进行桥接,例如LambdaClass 开发的这种解决方案。 ZK Oracles:Oracles充当中介,将现实世界的数据连接到区块链。ZK 预言机通过证明数据的来源和完整性以及对该数据进行的任何计算,改进了当前基于声誉的预言机模型。 ZKP 可以解决的开放问题 完整的轻客户端:完整的轻客户端还验证正确的执行和 DA,而不是盲目地信任其他链的验证器集。这减少了信任假设并更接近完整节点,同时仍然保持较低的硬件要求(允许更多的人运行轻客户端)。然而,在大多数链上,尤其是以太坊上,验证除共识之外的任何其他内容仍然昂贵得令人望而却步。此外,轻客户端仅启用信息验证(问题的一半),即它们可以识别信息是假的,但仍然需要有额外的机制让它们对此采取措施。 聚合层:Polygon 的 AggLayer旨在通过利用聚合证明和统一的桥接合约,实现生态系统内 L2 之间的平滑互操作性。聚合证明可以实现更有效的验证和安全性 - 强制依赖链状态和捆绑包保持一致,并确保如果汇总状态依赖于另一个链的无效状态,则无法在以太坊上解决。zkSync 的 HyperChains和Avail Nexus也采取了类似的方法。 ZK什么时候吃掉了模块化堆栈? 假设我们可以达到这样一种状态:ZKP 的生成变得非常快(几乎以光速)并且非常便宜(几乎免费),那么最终的局面会是什么样子?换句话说——ZK什么时候吃掉了模块化堆栈? 从广义上讲,我们相信在这种情况下有两件事是正确的: 所有不必要的重新执行都被消除:通过转向 1/N 执行模型(而不是 N/N 重新执行),我们显着减少了网络的整体冗余,并能够更有效地使用底层硬件。虽然仍然存在一些开销,但这将有助于区块链在计算效率方面逐渐接近中心化系统。 大多数应用程序依赖于 ZK 支持的加密保证,而不是经济安全:当生成证明的成本和时间不再是相关考虑因素时,我们相信大多数应用程序将依赖 ZKP 来获得更强的保证。这还需要在可用性和开发人员友好性方面进行一些改进来构建 ZK 应用程序,但这些都是多个团队正在努力解决的问题。 第三个条件是隐私(或信息流管理),但它更复杂。ZKP 可用于一些具有客户端证明的隐私应用程序,这正是 Aleo、Aztec 或 Polygon Miden 等平台正在构建的目标,但为所有潜在用例实现大规模隐私也依赖于
MPC
和 FHE 的进展- 未来博客文章的潜在主题。 我们论文的风险 如果我们错了,未来既不是模块化也不是 ZK 化怎么办?我们论文的一些潜在风险包括: 模块化增加了复杂性 用户和开发者都面临着链数量不断增长的困扰。用户需要跨多个链(以及可能的多个钱包)管理资金。另一方面,考虑到空间仍在不断发展,应用程序开发人员的稳定性和可预测性较差,这使得决定构建哪条链变得更加困难。他们还需要考虑状态和流动性碎片化。现在尤其如此,因为我们仍在沿着哪些组件有意义解耦以及哪些组件将重新耦合的前沿进行试验。我们相信用户操作抽象以及安全高效的互操作解决方案是解决这个问题的关键部分。 ZK 的性能是否足够好? 无可回避的事实是,证明生成时间太长,而且证明和验证的成本在今天仍然太高。对于当今的许多应用程序来说,诸如可信执行环境/TEE(隐私)或乐观/加密经济安全解决方案(成本)之类的竞争解决方案仍然更有意义。 然而,关于 ZKP 的软件优化和硬件加速,我们正在做大量工作。证明聚合将通过将成本分摊到多个不同方(较低的/用户成本)来帮助进一步降低验证成本。还可以调整基础层以针对 ZKP 验证进行更加优化。ZKP 硬件加速面临的一项挑战是证明系统的快速开发。这使得创建专用硬件(ASIC)变得困难,因为如果/当底层证明系统的标准发展时,它们可能会很快过时。 Ingonyama尝试通过称为ZK 分数的可比指标为证明者性能创建一些基准。它 基于运行计算的成本 (OPEX) 并跟踪 MMOPS/WATT,其中 MMOPS 代表每秒模乘运算。如需进一步阅读该主题,我们推荐Cysic和Ingonyama的博客,以及Wei Dai的演讲。 ZKP 可以提供的有限隐私有用吗? ZKP 只能用于实现个人状态的隐私,不能用于多方需要对加密数据进行计算的共享状态(例如私有 Uniswap)。FHE 和
MPC
也需要完全隐私,但在成为更广泛使用的可行选择之前,它们需要在成本和性能方面提高许多数量级。也就是说,ZKP 对于某些不需要私有共享状态的用例仍然有用,例如身份解决方案或支付。并非所有问题都需要使用同一个工具来解决。 概括 那么这会给我们带来什么影响呢?虽然我们每天都在进步,但仍有大量工作要做。最迫切需要解决的问题是价值和信息如何在不同的模块化组件之间安全地流动,而不牺牲速度或成本,以及将其全部从最终消费者中抽象出来,以便他们不需要关心之间的桥接不同的链、切换钱包等。 虽然我们目前仍处于实验阶段,但随着时间的推移,当我们找出每个用例的最佳权衡范围时,情况应该会稳定下来。这反过来将为标准(非正式或正式)的出现提供空间,并为这些链之上的构建者提供更多稳定性。 如今,由于生成 ZKP 的成本和复杂性,仍然有许多用例默认采用加密经济安全,有些用例需要两者的结合。然而,随着我们设计更高效的证明系统和专用硬件以降低证明和验证的成本和延迟,这一份额应该会随着时间的推移而减少。随着成本和速度的每一次指数级降低,新的用例都会被解锁。 虽然这篇文章特别关注 ZKP,但我们也越来越感兴趣现代密码学解决方案(ZKP、
MPC
、FHE 和 TEE)最终将如何一起发挥作用 - 我们已经看到了这一点。 来源:金色财经
lg
...
金色财经
2024-04-17
链抽象Omnichain就是把跨链规则写入智能合约
go
lg
...
Party Computation,
MPC
)的 TSS,这种方案允许多个验证者(validators)共同管理一个单一的 ECDSA/EdDSA 私钥,但又不会让任何单一实体或少数验证者完全掌握私钥。这种方式可以提供热钱包的便捷性和冷钱包级别的安全性。 **2. 密钥生成与分发:** 在 ZetaChain 中,私钥是通过无需信任中介的方式生成的,并在所有验证者之间分发。这意味着没有任何单个验证者或外部行为者在任何时候都能访问完整的私钥,从而确保了系统的安全性。 **3. 签名过程:**ZetaChain 采用的 TSS 是无领导的,即它通过分布式方式进行密钥生成和签名,这样可以保证在密钥生成或签名过程中不泄露任何私密信息。为了提高效率,ZetaChain 还采用了批量签名和并行签名技术,以提高签名者的吞吐量。 **4. 智能合约与资产管理:** 由于拥有 TSS 密钥和地址,ZetaChain 能够在连接的链上管理本地金库 / 资金池,包括比特币等非智能合约链。这实际上为比特币网络等添加了智能合约功能,使得用户可以把资产汇集在一起,让智能合约根据预设规则管理这些资产,如自动化市场做市商(AMM)池或借贷池等。 **5. 支持非智能合约链:**TSS 使得 ZetaChain 能够支持如比特币、狗狗币这样的非智能合约链,以及验证多重签名成本高昂的智能合约平台。 通过这种签名授权机制,ZetaChain 不仅能提供强大的跨链功能,还能确保交易的安全性和验证的去中心化,使其成为支持广泛数字资产管理和操作的强有力平台。 来源:金色财经
lg
...
金色财经
2024-04-17
【机构调研记录】睿远基金调研晶盛机电、远兴能源等3只个股(附名单)
go
lg
...
晶体实验室经过半年多的工艺测试,全自动
MPCVD
法生长金刚石设备(型号XJL200A)成功生长出高品质宝石级的金刚石晶体。 2)远兴能源 (睿远基金参与公司电话会议) 个股亮点:公司积极开发新型复混肥,新开发出果树专用肥等7个复混肥品种,新型增效挤压肥研发出两个新品种,有机肥新产品已登记备案。;公司主要产品是甲醇及其下游产品等天然气化工产品 3)龙大美食 (睿远基金参与公司小范围电话会议) 个股亮点:公司是山东屠宰及肉类加工行业区域龙头;龙大转债(128119)于2020-08-07上市;公司全面实现平台自营,继续深耕天猫、淘宝、京东、拼多多等主流电商平台;大力发展抖音、快手等新媒体电商 睿远基金成立于2018年,截至目前,资产管理规模(全部)428.12亿元,排名89/203;资产管理规模(非货币)428.12亿元,排名88/203;管理基金数8只,排名166/203;旗下基金经理5人,排名143/203。旗下最近一年表现最佳的基金产品为睿远稳进配置两年持有混合A,最新单位净值为0.96,近一年增长-0.02%。 以上内容由证券之星根据公开信息整理,由算法生成(网信算备310104345710301240019号),与本站立场无关,如数据存在问题请联系我们。本文为数据整理,不对您构成任何投资建议,投资有风险,请谨慎决策。
lg
...
证券之星
2024-04-17
ABCDE:我们为什么投资Bitlayer
go
lg
...
最常见的行业方法是第二层平台运营商基于
MPC-TSS
(多方计算和阈值签名方案)或Schnorr技术设置多签名账户,用户将其资产转入这些账户。这种传统方法导致用户完全失去对其资产的控制, 而Bitlayer利用OP-DLC + BitVM技术,使得用户可以保留对其资产的部分控制,my assets are my own。 通过双通道双向挂锁桥,Bitlayer不仅能满足第一层用户对BTC存取操作的自主控制需求,也保证了原生二层用户能够顺利提现。 分层虚拟机 为实现金融功能如抵押借贷、Swap和复杂合约,比特币二层需具备可编程执行能力的虚拟机(VM)。 Bitlayer引入分层虚拟机(LVM),前端执行智能合约与后端零知识证明生成解耦,支持多种智能合约和零知识证明验证器。借助Taproot,简化了ZK-STARKs验证,保证安全性与计算灵活性。 通过在 LVM 框架内集成对 EVM 的支持,开发者可以无缝地利用现有基于 EVM 的智能合约,同时从分层架构提供的增强执行能力中受益。 二、Bitlayer 生态百花齐放 在生态建设方面,依托强大的合作资源,目前Bitlayer的生态合作伙伴高达80家,其中包括基础设施、稳定币、钱包、检索等。我们相信在主网上市以后,Bitlayer的生态会呈现百花齐放的状态。 目前的生态伙伴包括:StarkWare、Hacken、AWS Cloud、Ankr、Polyhedra、Macaron、Trustin、Babylon、Particle Network、Meson、Nubit、BitSmiley、TokenPocket、Xverse、Flash Protocol、Umoja.xyz、RunesTerminal、Lamina、NFTGO、Giants Planet、Surf Protocol 、Tria、Tonka Finance、Ordimint和Caliber。 为了激励开发在Bitlayer上建设,3月29日Bitlayer 官方公布系列生态激励计划,首期活动Ready Player One将向生态构建者和项目方发放价值5000万美元的公链代币奖励,并鼓励Dex、Wallet、NFT Marketplace、Lending、LSD、Bridge、Stablecoin等类型项目在Bitlayer上建设。 目前Bitlayer还在于180家潜在合作伙伴谈深度合作,并且正在筹备一系列吸引用户参与Bitlayer社区建设的激励活动,包括推出Galxe和TaskOn忠诚度积分和生态项目打榜活动,以及官方NFT等。 三、展望未来 路线图 距离比特币减半到来还有不到10天的时间, Bitlayer 主网V1将于近期启动。 在未来的1–2年中,我们坚信未来能看到更多比特币原生的创新在Bitlayer构建与部署。Bitlayer能借助比特币东风,成为比特币生态发展风向标。 融资 近日,Bitlayer 获得500万美元融资,由Framework Ventures 和 ABCDE Capital 领投,StarkWare、OKX Ventures、Alliance DAO、UTXO Management、Ametry Capital、Kenetic Capital、Kestrel、Global Coin Research、Pivot Global 和 Web3Port 跟投。 著名天使投资人包括 Messari 首席执行官 Ryan Selkis、Messari 联合创始人 Dan McArdle、Asymmetry Capital 创始人 Dan Held、Hacken 首席执行官 Dyma、Sky Mavis 首席执行官 Trung 和首席技术官 Andy,以及 Kyber Network 创始人 Loi Luu 等都参与了本轮融资。 Bitlayer 的种子轮融资得到了生态系统合作伙伴的大力支持,包括 Hacken、AWS Cloud、Ankr、Polyhedra、Babylon、Particle Network、Meson、Nubit、BitSmiley、TokenPocket、Xverse、Flash Protocol、Umoja.xyz、RunesTerminal 等。 来源:金色财经
lg
...
金色财经
2024-04-16
区块链开发者大会圆满结束:Hack.Summit() 2024的合作机构群像
go
lg
...
是一家数字资产托管服务公司,提供基于
MPC
技术的超安全托管解决方案,使机构能够在安全且独立的环境中管理其数字资产。企业有机会通过使用密码学和基于数学的程序来创新真正的增值客户服务。 zk.Link Vince Yang(zkLink 联合创始人) zkLink 是一个以交易为中心的多链 L2 网络,具有由 ZK-Rollups 保护的统一流动性。建立在 zkLink L2 网络上的 dApp 利用无缝的多链流动性,为去中心化和非托管订单簿、AMM、衍生品和 NFT 交易所提供快速部署解决方案。 zkLink 作为一种无需信任、无需许可和非托管的互操作性协议运行,旨在连接不同的区块链,消除不同代币的差异,并解决隔离链上形成的流动性孤岛问题。 结语 本次由 Hack VC 筹备的峰会圆满成功,现场众多来自欧美的演讲嘉宾,他们从会议开始到结束都留在了现场积极参与,与在座的交易所代表、、服务提供商、KOL 及媒体人士深入交流与合作。这次峰会不仅仅是一个展示和讨论的平台,更是东西方专业人士真正联动的体现,搭建了一个宽广的网络平台,为未来的合作奠定了坚实的基础。参会嘉宾的专业知识和热情参与,使得此次活动成果丰硕,相信通过这样的交流与合作,Hack.Summit() 能够共同推动行业的进一步发展和创新 来源:金色财经
lg
...
金色财经
2024-04-16
区块链开发者大会圆满结束:记Hack.Summit() 2024的合作机构群像
go
lg
...
是一家数字资产托管服务公司,提供基于
MPC
技术的超安全托管解决方案,使机构能够在安全且独立的环境中管理其数字资产。企业有机会通过使用密码学和基于数学的程序来创新真正的增值客户服务。 zk.Link Vince Yang(zkLink 联合创始人) zkLink 是一个以交易为中心的多链 L2 网络,具有由 ZK-Rollups 保护的统一流动性。建立在 zkLink L2 网络上的 dApp 利用无缝的多链流动性,为去中心化和非托管订单簿、AMM、衍生品和 NFT 交易所提供快速部署解决方案。 zkLink 作为一种无需信任、无需许可和非托管的互操作性协议运行,旨在连接不同的区块链,消除不同代币的差异,并解决隔离链上形成的流动性孤岛问题。 结语 本次由 Hack VC 筹备的峰会圆满成功,现场众多来自欧美的演讲嘉宾,他们从会议开始到结束都留在了现场积极参与,与在座的交易所代表、、服务提供商、KOL 及媒体人士深入交流与合作。这次峰会不仅仅是一个展示和讨论的平台,更是东西方专业人士真正联动的体现,搭建了一个宽广的网络平台,为未来的合作奠定了坚实的基础。参会嘉宾的专业知识和热情参与,使得此次活动成果丰硕,相信通过这样的交流与合作,Hack.Summit() 能够共同推动行业的进一步发展和创新。 来源:金色财经
lg
...
金色财经
2024-04-15
上一页
1
•••
22
23
24
25
26
•••
92
下一页
24小时热点
突然之间:关税消息轰炸黄金市场!美联储人事变动更偏鸽了,特朗普对日政策变了
lg
...
黄金市场突传重磅!彭博独家:“裁定函”引发混乱后 白宫将澄清黄金关税
lg
...
9月降息呼声飙至90%?!美银逆势唱反调:别忽视一个“不方便的真相”
lg
...
“育儿补贴还没到就先来割一刀”!北京能打动Z世代父母吗?
lg
...
俄乌突发大消息!特朗普和普京将在阿拉斯加会面 讨论乌克兰和平协议
lg
...
最新话题
更多
#Web3项目情报站#
lg
...
6讨论
#SFFE2030--FX168“可持续发展金融企业”评选#
lg
...
36讨论
#链上风云#
lg
...
111讨论
#VIP会员尊享#
lg
...
1989讨论
#CES 2025国际消费电子展#
lg
...
21讨论