FX168财经网_全球视野外汇黄金加密货币NFT资讯网_关键字搜索-FX168

全球数字财富领导者

客户端｜旧版｜｜

FX168 全球视野中文财经

登录 / 注册

Lido 将如何渐进地去中心化
 go
需信任的预言机 (trustless oracle)。目前，所有与质押相关的预言机都是受信任的。因为基本上，你需要有人监测在信标链上验证者的数值、总数和累积的奖励，从而让质押软件了解是否需要增加或减少回基代币。如果只通过验证已经在执行层上的数据就能完成监测，就可以构建无需信任的预言机，这样就能大大减少大多数流动性质押的内在技术风险。参阅：https://eips.ethereum.org/EIPS/eip-4788 另一点以太坊上可能的修改是可触发提款 (triggerable withdrawals)。在以太坊上运行验证者有两套密钥——验证者密钥和提款密钥。在流动性质押解决方案里，提款密钥通常由智能合约管理，由协议所有。验证者密钥对于网络上的验证工作至关重要。目前，在 Lido 协议上，验证者密钥由节点运营商负责保管、管理并确保正确使用。这里有一个挑战是，你需要有验证者密钥才可以退出，也就是说需要节点运营商主动对退出消息签名才能实现。我想要提到的这个 EIP 是关于可触发或强制退出，即在执行层上的智能合约应该可以做到，针对特定的验证者，运营商同意把控制给到智能合约。该智能合约可以直接发送退出消息到共识层，并确保运营商可能不履行 DAO 或协议请求退出验证者的技术风险被消除了。我想，就像启动提款使得质押相关的技术和锁仓风险的循环完整了，可触发退出也将使得质押协议的循环完整了。参阅：https://ethresear.ch/t/0x03-withdrawal-credentials-simple-eth1-triggerable-withdrawals/10021 Restaking Restaking 是这样的一个概念：你把通过在以太坊网络上活跃的质押得到的安全性，以及这种经济价值用于为其他网络或数据 (例如，数据可用性) 提供安全性。目前，实现 restaking 或者以正确的方式实现而不会导致很多可能的经济风险或不受控的技术风险还有很多挑战。但这是一个很有趣的概念，看看在权益证明系统里可组合性将如何运作。某种程度上，它与流动性质押非常相似，因为即使权益证明协议不支持流动性质押，但在应用层上实现是很自然的事情，因为市场对此有需求并且会创造出来。所以，restaking 的情况也会类似，有对 restaking 的需求，就将会有市场力量在应用层创建解决方案。有待观察的是，这些解决方案需要在多大程度上与协议层紧密结合或至少集成。 Lido V2 升级 V2 升级的两种提款模式 Turbo 模式和 Bunker 模式是我们这些贡献者设想提款时设计出来的。Turbo 模式希望会是默认模式，以及永远以这种模式运作。Bunker 模式更加像是故障安全模式，即遇到网络糟糕情况时保护用户、质押者和协议安全的模式。在 Turbo 模式，提款会尽快有 Lido 协议处理，其过程如下：用户提出的提款请求会被通过 Lido 预言机登记在执行层上，这构成一个提款是合法的信号。然后协议通过软件决定着是否需要验证者退出，例如 Lido 的缓冲池是否有足够的 ETH 来满足提款请求。如果验证者需要被退出，预言机会在链上发出一个信号，节点运营商读到信号后处理验证者退出请求，时间从几小时到几天不等，这与协议的质押提款时间差不多。然后用户就能取回请求提款的 ETH。有时候，Lido 的提款会比在以太坊上的更快，因为有缓冲池。缓冲池的来源包括：存进的 ETH 还没质押、部分奖励从共识层提取出来或 MEV 从执行层进来。当网络出现问题时，提款会进入 Bunker 模式，例如在共识层上有大型罚没事件同时发生时。之所以需要 Bunker 模式是因为，当你想要那质押的 stETH 兑换回 ETH，但此时正在发生发行罚没事件，协议是很难知道罚没是否回影响你想要提取的 ETH 所相关的验证者的。如果那些验证者被影响了，你会想要等罚没完全结束，以了解可能因罚没而减少的总奖励。这样，每个用户最终都额能获得正确数量的奖励，而不是由于他们进入队列的时间不同而导致一些用户可能会获得或更多或更少的奖励。因此，Bunker 模式是让提款流程放慢脚步，以便每个人都能获得他们应得的份额。但这个模式只会在关键或紧急情况下启动。 V2 为什么要在主网上海升级一个月后才进行？有安全问题吗？据我所知，是没有安全问题的。主要是审计还没完成，还有确保节点运营商正确设置流程和机制而需要进行的测试工作还没完成。质押路由——Lido 去中心化的重要一步目前，Lido 协议只有一个节点运营商注册表，由 DAO 控制。而质押路由要做的是让很多不同的方式可以发生。质押路由的设计和目前的实现是，其本身不会做决定，DAO 会通过质押路由在以下方面做决定：哪些模块可以被接入质押路由，以及分配多少押金给该模块。这样做的好处是，每个模块都可以用自己的方式来管理节点运营商集。可能有些模块是使用债券而完全无需许可的，有些模块是完全无需许可但不使用债券但得到充分保险的，因为由资金分配器。还有其他模块可能使用分布式验证者技术 (DVT)，这是有望在今年上主网的质押基础设施，现在最大的两个解决方案是 SSV 网络和 Obol 网络，这种技术将大大降低运行验证者的运营和技术风险，并让在家质押者参与在验证过程更简单。因此，如果你把质押路由想成是创建了一个模块市场，这实际上对想要对质押机制做贡献并与 Lido 交互的任何人开放，只是你需要由一定代码背景或需要与有代码背景的人合作，这不同于 Lido V1 完全需许可的模式。个人质押者在 V2 的参与方式会是如何？当 V2 上线后，预期会有 Lido 贡献者或其他参与方创建接入质押路由的新模块。这些模块可能会允许个人质押者或社区质押者以不同的方式参与，有些可能通过 DVT 解决方案，有些可能需要你把提款凭证指向 Lido 的智能合约，然后示意你想加入 Lido 协议，在底层会有债券或白名单之类的选项。如果你想做到真正的无需许可，我想同时使用 DVT 和少量债券会比较合适，如果不适用 DVT，那么需要提高债券金额。这真的取决于每个模块想到的不同风格的社区质押者参与方式。是否担心 Lido 协议变成模块市场后会降低整个网络的表现和质量？ Lido 贡献者正在与 Nethermind 团队合作一项研究，关于设计一个对运营商和验证者集的进行半自动或全自动的自治评分系统，这相当于把当前 Lido 贡献者选择节点运营商的决策指标抽象出来，放到链上。我们可能会通过算法执行各种不同类型的评分系统，或从不同的地方获取数据 (可能是预言机、第三方数据服务提供商，例如 metrika 或 rated.network，或链上保险企业)。通过结合所有这些信息然后提取质押路由可以使用的一些可执行的建议，以确定哪些运营商应该得到押金。因此我们在做的是决定哪些是好的验证者集或运营商集应该有的最佳参数，然后他们把它实现为一个半自动化的评分和质押分配系统。参阅资料 Lido 官方推特：https://twitter.com/LidoFinance Isidoros Passadis 个人推特： https://twitter.com/IsdrsP Lido V2 介绍：https://blog.lido.fi/introducing-lido-v2/ Lido 与 Nethermind 的合作研究：https://research.lido.fi/t/a-proposal-for-partnering-with-nethermind-to-design-a-mechanism-for-a-good-validator-set-maintenance/3000 Lido 的季度节点运营商验证者指标报告：https://research.lido.fi/t/lido-node-operator-validator-metrics/1431 MixBytes 弃用 Lido 在 Polkadot 和 Kusama 的质押服务：https://mixbytes.io/blog/mixbytes-sunsets-lido-on-polkadot-and-kusama#rec563434145 EIP-4788 在 EVM 的信标区块根：https://eips.ethereum.org/EIPS/eip-4788 0x03 提款凭证：简单的 Eth1-可出发的提款：https://ethresear.ch/t/0x03-withdrawal-credentials-simple-eth1-triggerable-withdrawals/10021 来源：金色财经
金色财经2023-04-25
ZK硬件加速：过去、现在和未来
 go
好的选择。STARK系统通过利用交互式Oracle证明(IOP)域克服了这一缺点，该域依赖于快速Reed-Solomon代码来提高可扩展性，从而开发了zkSTARK证明系统。此外，基于zkSTARK的系统对于证明者和验证者来说都具有对数复杂度，使它们变得高效，并防止一方执行拒绝服务(DoS)攻击，因为每一方的计算需要相似的时间。zkSTARK的另一个值得注意的特性是推测的后量子安全性，而zkSNARK则不是由于Shor的量子算法。zkSTARK系统提供后量子安全，前提是框架内使用的哈希函数本身能够抵抗量子计算攻击。在区块链技术领域，通常使用缩写SNARK和STARK来代替zkSNARK和zkSTARK，因为某些区块链平台可能并不总是需要隐私功能。因此，在本文中，我们也将在讨论和解释中采用简化的术语“zk”。ZKP有两个重要的用例： ●外包可验证计算：假设我们需要进行一项计算，由于底层平台的限制(例如，智能手机、Raspberry Pi、笔记本电脑，甚至是以太坊等区块链网络)，该计算要么成本昂贵，要么无法运行。在这种情况下，我们可能不得不在第三方服务上运行计算，它可以快速而廉价地返回计算的输出(例如像Chainlink或AWS Lambda函数这样的预言机服务)。然而，在许多情况下，我们必须依赖于计算已经正确执行的假设，从而使服务提供者有可能生成不准确的结果。这种结果可能导致严重的后果，并损害系统的完整性。 ●私有计算：如果在本地执行计算的成本不高，但它的某些部分需要是私有的，那么ZKP也很有用。换句话说，ZKP可以确保计算已经正确执行，甚至不需要向外包提供商披露私有值。例如，如果我们想在不披露实际数字的情况下证明我们知道第1000个斐波那契数，或者在不披露我们的身份或支付金额的情况下证明我们进行了有效的支付，ZKP可以很容易地帮助实现这一目标。更进一步，我们可以通过ZKP选择性地披露一些私有值，同时隐藏其他部分(也称为选择性披露)。在区块链的背景中，ZKP的上述用例如下： ●第2层扩展：通过将ZKP合并到可验证的计算中，第1层区块链可以将交易处理委托给链下的高性能系统，通常称为第2层。这种方法增强了区块链的可扩展性，同时保持了强大的安全措施，在效率和安全性之间取得了平衡。StarkWare开发了StarkNet，这是一个可扩展的智能合约平台，使用专门的虚拟机来执行ZK友好的代码，而Aztec允许他们的第二层程序私下运行，保护用户的交易信息。 ●私有第1层：Aleo， Mina， Manta和Zcash是第1层区块链，使用ZKPs使交易者能够默认(如Aleo)或通过选择加入过程(如Mina和Zcash)隐藏发送方，接收方或金额。 ●数据压缩：Mina和Celo利用ZKP将同步到链的最新状态所需的区块链数据压缩为简短的证明。 ●去中心化存储：Filecoin还使用ZKP(在GPU上运行)来证明网络中的节点正确存储数据。因此，随着加密货币的采用不断扩大，对增强性能和隐私的需求也将增加，从而推动了对更复杂的ZKP应用程序的需求。随着开发人员创建新的应用程序和协议，ZKP将在促进安全和高效的去中心化系统方面发挥关键作用。这些系统将能够处理大规模交易，同时保护用户隐私，满足数字货币领域不断变化的需求。为什么ZKP这么慢，怎样才能提高它们的速度？为了证明使用ZKP的计算，有必要将计算从经典程序转换为ZK友好的格式。有两种方法可以做到这一点：要么使用某种现有语言编写的库，比如Arkworks(在Rust中)，要么使用领域特定语言(DSL)，比如Cairo或Circom，它可以编译成生成证明所需的原语。操作越复杂，生成证明所需的时间就越长。此外，一些操作本身就不是ZK友好的，需要进行额外的工作。例如，SHA或Keccak中使用的按位函数等操作可能与ZKP不友好，从而导致证明生成时间延长。即使对于在传统计算机上执行的相对便宜的操作，也可能发生这种情况。将计算转换为ZK友好格式后，选择一些输入并将其提交给证明系统。有许多证明系统，如Groth16、PLONK、HyperPlonk、UltraPlonk、Sonic、Spartan和STARK。所有这些系统都具有相同的基本功能，即接受具有输入的ZK友好计算并生成证明作为输出。根据不同的证明系统，证明生成过程可能不同，但瓶颈最终是相似的。在ZKP的背景中，主要有两个计算任务： ●大型数字向量的乘法，可以是字段或组元素。在这种情况下，还有两种特定类型的乘法：可变基数和固定基数多标量乘法(MSM)。 ●数论变换(NTT)与逆数论变换。然而，也有技术可用于无NTT的证明系统，如最近的HyperPlonk系统。在同时存在NTT和MSM的系统中，生成证明的时间约有60%花在MSM上，其余时间由NTT主导。MSM和NTT都存在性能挑战，可以通过以下方式解决： ●MSM可以在多个线程上执行，从而支持并行处理。然而，当处理大型元素向量时，例如6700万个元素，乘法运算可能仍然很慢，并且需要大量的内存资源。此外，MSM存在可扩展性方面的挑战，即使在广泛并行化的情况下也可能保持缓慢。 ●在算法过程中频繁的数据混洗使得NTT难以在计算集群中分布，并且由于需要从大型数据集中加载和卸载元素，它们在硬件上运行时需要大量带宽。即使硬件操作很快，这可能也会导致速度变慢。例如，如果硬件芯片的内存为16GB或更少，那么在100GB的数据集上运行NTT将需要通过网络加载和卸载数据，这可能会大大降低操作速度。我们认为，硬件加速是使区块链协议获得实际应用所需的可扩展性的重要组成部分。目前，区块链协议受到链上计算和存储容量以及网络带宽的限制。通过优化链下硬件和证明生成，我们有信心大大提高区块链网络的性能，使其更加有效和高效。 ZPrize零知识工具竞赛 ZPrize是区块链行业的一个集体倡议，由超过32个合作伙伴和赞助商组成，他们贡献了自己的时间、资源和努力来确保其成功。该计划提供了一系列挑战和项目，激励参与者开发创新的解决方案，促进可持续发展和减少碳排放。他们为实现这两个目标感到自豪，这标志着零知识密码学领域的重大进步。ZPrize的结果超出了他们的预期，如下图所示。对于他们收到的大多数奖项，与基线相比平均提高了五倍以上。值得注意的是，一些涉及FPGA的奖项缺乏公开基准，这使得这些参赛作品成为开源形式的算法实现的首次公开演示。以下是一些值得注意的成就： ●对于大规模问题实例，GPU上的多标量乘法（2的26次方元素）从5.8秒提高到2.5秒，从而支持更复杂的zkSNARKs使用。 ●Poseidon零知识友好哈希函数实现将约束计数减少了一半，从而显著降低了在SNARK中创建Merkle树的成本。 ●针对小规模问题实例，Android移动设备上的多标量乘法从2.4秒改进到大约半秒，从而促进了基于ZK的移动支付。在接下来的几个月里，他们计划展示所有参与该计划的团队的工作。随着零知识密码学领域的发展，新的方法和障碍将会出现。他们希望定期组织ZPrize竞赛，以促进这项技术的进步，并通过一系列开源材料将其提供给公众。加速ZKP的技术方法证明生成的瓶颈通常源于大量向量的乘法，包括字段或组元素，变量或固定基数的多标量乘法，以及NTT和逆NTT。在同时使用NTT和MSM的加密系统中，MSM贡献了大约70%的证明生成时间，而NTT支配了剩余的时间。虽然MSM是可并行的，但它仍然很慢，需要大量的内存资源，并且经常消耗设备上的大部分可用内存。另一方面，NTT严重依赖于频繁的数据混洗，这会使跨计算集群分配负载的加速变得复杂。此外，NTT需要大量的带宽才能在硬件上运行，因为通过网络加载和卸载数据会显著降低操作速度，尽管硬件操作本身非常快。然而，有一些方法可以提高MSM和NTT的性能，以优化证明生成过程。 MSM通常使用Pippenger算法来实现，以最小化组添加操作的数量。该方法有一个简单的硬件实现，其中包括一个组添加单元和一堆表作为其基本组件。从系统设计的角度来看，MSM是对加速器非常友好的，原因如下： ●组添加是一种静态操作(没有依赖于数据的控制流)，具有密集的计算和相对较小的输入/输出，使其非常适合全流水线的体系结构。这使得加速器可以实现几乎100%的硬件利用率，而在最好的GPU实现中只有20%的利用率。几十年的研究已经使组添加成为一种稳定的操作，因此它不太可能在ASIC加速器的寿命内被取代。 ●MSM 在全局调度能力相对较弱的大规模并行硬件（如 GPU）上实现的痛点可以通过向加速器添加额外的硬件调度器轻松解决。例如，以这种方式更有效地处理一堆表的更新，避免了写冲突的风险。总之，使用专用硬件加速MSM是非常有利的。然而，主要问题是市场上缺乏这样的硬件。Cycis设计了一个使用Xilinx FPGA的MSM加速器，它展示了迄今为止最好的系统性能(在BN254曲线上每2的26次方 MSM约40毫秒)。不幸的是，与为普通玩家设计的GPU相比，专业用户的FPGA芯片成本高，加上FPGA的处理滞后(FPGA为14nm， GPU为5nm)，这是两个显著的缺点，这两个重大缺点抵消了基于FPGA的加速器的利用优势。 NTT由多层蝶式操作器组成。虽然教科书上逐层的NTT实现可能很快就会因为内存带宽利用率(由于跨行访问)而成为瓶颈，但这个问题可以通过同时执行一批层并在计算期间适当地重新排序NTT数据来解决。根据经验，内存访问可以重组为块访问，其粒度大约为(片上内存容量的大小)/ (NTT点的k次方根)，其中k是表示层组数量的可调参数。通过这种方法，GPU和加速器都能获得出色的性能。硬件加速可以通过在各种硬件技术(如GPU、FPGA或ASIC)上部署优化算法来增强区块链协议的性能。增强软件和算法实现以更有效地利用 CPU 和 GPU 等现有资源，以及开发定制硬件与针对特定硬件配置量身定制的新算法相结合，可以促进硬件加速。通过这样做，目前受链上计算和存储容量以及网络带宽限制的区块链网络的性能可以得到显著提高。现在和将来，什么是最好的硬件？为了确定实现上述加速技术的最佳硬件技术，我们需要考虑到ZKP仍处于开发的早期阶段。因此，在系统参数和证明系统的选择上，如FFT宽度或元素的位大小，标准化程度有限。此外，我们还需要考虑两个因素： ●每美元的性能：这衡量你需要为硬件性能支付多少资金。根据我们的经验，FPGA在这个指标上无法与GPU竞争。根据ZPrize竞赛提交和我们的内部基准测试结果，单个RTX3090 GPU可以产生比单个高端FPGA高约2.5倍的性能。高端FPGA和高端GPU的价格大致相同，这意味着FPGA最终将比GPU系统贵大约2.5倍。 ●每瓦性能：这个指标是关于你需要花多少钱来维护硬件，基本上就是电费。在这个指标上，FPGA与GPU大致处于同一水平。基于上述两个指标，这是否意味着FPGA无法超越GPU？答案是否定的。虽然单个FPGA芯片无法与单个GPU竞争，但大规模互连的FPGA系统可以击败大规模互连的GPU系统。由于PCIe插槽的限制，一个高端GPU系统最多可以有10个GPU卡。然而，数百个FPGA芯片可以通过定制的、可编程的、高带宽的互连连接在一起，从而达到可以击败GPU系统的性能水平。Cysic的大规模连接FPGA系统直接证明了这一点。 ZKP的ASIC怎么样？ ASIC被一致认为是ZKP的理想硬件。然而，在为ZKP构建ASIC方面，有三个主要问题。 ●可编程性：就ZKP逻辑修改而言，ASIC具有一次写入业务逻辑，这需要从头开始重建整个系统。相反，FPGA或GPU可以多次重新编程，从而可以在具有不同证明系统或潜在更新的不同项目中使用相同的硬件。与ASIC相比，此属性使FPGA成为更通用的替代方案。 ●高成本：构建ASIC是一个资本密集型的游戏。20 名工程师的全掩模 28nm ASIC 芯片设计通常需要花费 800 万美元，而 30 名工程师的全掩模 5nm/4nm ASIC 设计通常需要花费 2500 万美元。 ●上市时间。ASIC的设计、生产和部署通常需要12到18个月甚至更长时间，这比FPGA/GPU要长得多。第一个问题可以使用硬件中的一个框架来解决，该框架称为指令集架构(Instruction-Set Architecture， ISA)。ISA是指硬件系统的抽象框架和设计，如CPU和硬件加速器。它表示处理器可以执行的一组基本指令和操作。这些指令包括算术运算、数据移动、逻辑运算、控制流和其他低级功能。使用ISA，硬件加速ZKP可以分为三层： ●方案层：各种ZK证明系统都在这一层，如Groth16和Plonk。顶层调用内核层来完成计算。 ●核心层：核心层的任务是计算上层使用的不同函数。函数包括多标量乘法、数论传递、多项式求值和各种哈希函数。它依赖于指令层来执行计算。 ●指令层：这一层是ISA，涵盖了最基本的操作，包括算术运算、数据移动、逻辑运算和控制流。上述结构如下图所示：这个ISA结构提供了一个支持多个ZK系统和潜在更新的解决方案。可以使用ZK- ISA对AZK(用于ZK的ASIC)进行编程，以支持ZK系统的多功能性。至于做ASIC的其他问题，这是由市场决定的。目前ZK相关项目的估值总计超过100亿美元，我们认为花费大约1000万美元来构建ASIC以提高ZK证明生成的效率是值得的。这种上市时间问题是所有ASIC设计所固有的。幸运的是，ASIC的供应链问题现在比以前好得多了。解决这个问题的唯一办法是尽早开始，彻底预热供应链。当ASIC问世时，它可以摧毁任何其他形式的ZK硬件。结论 ZKP具有促进可扩展和私有支付系统以及智能合约平台的潜力，从而大大提高区块链技术的可用性和安全性。确实，ZKP引入了历史上阻碍其采用的管理费用。诸如巨大的计算和验证成本，以及实现基于ZKP的系统的复杂性等因素，可能会对许多开发人员造成进入的障碍。尽管如此，ZKP领域正在进行的研究和开发正在解决这些挑战，简化这些技术在实践中的实现和应用。考虑到GPU在灵活性、易于部署和预期性能方面的优势，我们相信，在ASIC技术出现之前，专注于GPU解决方案的公司更有可能在未来几个月蓬勃发展。如果ASIC达到了优势的规模和稳定性，它们可能成为优化算法的首选硬件。因此，ZKP有望在未来实现越来越先进和安全的区块链系统中发挥关键作用。来源：金色财经
金色财经2023-04-23
Sui主网启动在即提前把握56个生态项目动向
 go
动化筹款工具和一站式流动性解决方案。 Oracle Switchboard 网站：https://switchboard.xyz/ Switchboard 是一个可信执行环境 Oracle 协议，用于可验证的自动化计算服务和通用自定义数据馈送。Switchboard 提供了 2 个核心产品，Explorer 和 Feed Builder 允许开发人员轻松管理和构建数据提要。 Supra 网站：https://supraoracles.com/ Supra 致力于弥合传统资本市场与 Web3 生态系统之间的鸿沟。通过新颖的共识机制、高度流动的跨链互操作性和 2-5 秒的最终确定性，通过尖端的安全保证，从根本上提高了区块链预言机的安全性和速度。 GameFi&元宇宙 Abyss World 网站：https://www.abyssworld.games/ Abyss World 是一款由 Metagame Industries 开发的基于 Sui 区块链的动作角色扮演游戏，拥有强大的 Web3 技术和游戏体验。Abyss World 是一款结合了 Web2 和 Web3 用户的跨链游戏，让玩家在虚拟世界中体验到身临其境的游戏乐趣。游戏中的各种角色，地图和剧情都将由 Sui 区块链技术支持，让玩家创造出真实的游戏世界。 Battlemon 网站：https://battlemon.com/ Battlemon 是具有交互式 3D 模型 NFT 的 GameFi 项目，用于 Open Game World/Lemoland 的链上/链下游戏。 Y Labs 网站：https://www.ylabs.io/ Y Labs 致力于打造 Sui 生态元宇宙，邀请 Sui 生态项目入驻元宇宙建设相应场地。目前，已经与 Keepsake、ComingChat、OmniBTC、SuiNS、Ethos Wallet 达成合作。后期玩家可以在元宇宙中实现 NFT 交易、DeFi、域名注册等产品功能。 Legend of Arcadia 网站：https://wp.legendofarcadia.io/ Legend of Arcadia 是一款免费和通过游戏赚取奖励的策略休闲动作纸牌游戏，将传统游戏体验与 Web3 GameFi 2.0 相结合。除了体验游戏的沉浸式世界，玩家还可以通过质押、战斗和挖矿来提高收益。 AIDAMETA 网站：https://www.aidameta.io/ AIDAMETA 是一个链上游戏平台。也是 Sui 公链的首批 GameFi 项目。AIDAMETA 目前拥有 World of META、Battle of META 和 Home of META 三款产品。World of META 是 AIDAMETA 的元宇宙，提供休闲游戏的入口，并具备与其他游戏的融合能力。Battle of META 是其主要游戏之一，允许用户玩三局游戏。META 之家是 AIDAMETA 的社交载体。 StarryNift 网站：https://starrynift.art/ StarryNift 是一个游戏化的元宇宙共创平台，可以为用户提供互动和定制的 3D 体验，例如 AMA、虚拟画廊、沉浸式音乐会、社交游戏等。 Cubic 网站：https://www.cubicgames.xyz/developer Cubic 是一个建立在 Sui 区块链上的综合性游戏平台。它旨在为用户提供友好的体验，并简化工作室的游戏开发过程。Cubic 提供便捷的登录体验、多种支付渠道和统一的经济模型，以在 Cubic 生态系统中升级并在多个游戏中获得奖励。该平台还具有 Sui Game SDK 和一系列其他工具和功能，包括 AI 赋能工具集、数字资产交换和用户增长支持。 Backrooms 网站：https://backrooms.space Backrooms 是一个由 UE 5.1 制作，由 Chatgpt 驱动的 Web3 游戏。并已经在 Steam 上进行内部测试。 BACKROOMS 旨在打造一个基于 Sui 网络的社交元宇宙，并将 Sui 生态系统中的各种项目集成到 BACKROOMS 的 3D 场景中。域名服务 Sui Name Service 网站：https://suins.io/ SuiNS 是 Sui 上的域名服务，其第一个上市的产品将是 .sui 和 .move 域名。.sui 域名允许用户在 Sui 区块链上代表他们的身份，同时简化他们的钱包地址。而 .move 域名允许公司在 Sui 区块链上代表自己，同时简化他们拥有的资源（如合同）。社交 Suia.io 网站：https://suia.io/ Suia.是基于 Sui 网络构建的社交 dApp，该项目旨在创建一个开放、强大和社区驱动的社交网络。 Suia 进行了四项创新：个性化 NFT 推荐、基于链上活动的信息流、基于 NFT 的品牌俱乐部、可组合的个人空间。在数据方面，目前 Suia 拥有超过 20 万用户、 50 个核心品牌，社区成员超过 30 万人。获得 Sui 基金会的 Sui Grant、Sui Builder Heroes 资助。其下一步计划将为用户启用更多的社交功能，如社区游戏和社交交易等。目前，Suia 正向去中心化发展，意在建立一个可自运行的社区。Suia 已成为 Mysten labs 的开发合作伙伴，为 80 多个项目集成了 Sui。 YouSUI 网站：https://yousui.io/ YouSUI 是为扩展 Sui 区块链生态而生的 launchpad 平台，是一个向公众展示运行在 Sui 区块链上的游戏、NFT、DeFi 和元界项目的社交平台。 DAT3 网站：https://dat3.app/ DAT3 代表“Date Ask Talk with people in web3.0 ” 这个社交 dApp 可以被 KOL/专家用来提供付费的文本/视频咨询服务。 ComingChat 网站：https://www.coming.chat/ ComingChat 是一个建立在 Sui 上的社交程序，旨在成为 Web3 & AI 时代的生活方式。通过将 ChatGPT、社交化和 Sui 相结合，ComingChat 可以最大限度地提高用户在 Sui 生态系统中的体验。工具 WatorFlow 网站：https://watorflow.com/ WatorFlow 是一个完全去中心化的基于 Web3 社区的平台，提供链上/链下任务和活动、DAO 投票 IDO 等。 OSCAN 网站：https://objectscan.xyz/ OSCAN 是为 Sui Network 打造的 Web3 区块链浏览器，所有历史的主要数据来自 Indexer 的原始数据。涵盖 Sui 链的方方面面： • Blockchain(Transactions, Blocks, NS)• Assets(Sui & Tokens): Native SUI assets and other token standards, token for NFT.• 历史上的验证者性能统计，方便质押者挑选最好的。 Movernance 网站：https://movernance-dapp.vercel.app/ Movernance 是 Sui 生态系统的第一个功能齐全的链上治理平台。它通过整合治理论坛和链上投票功能，为项目提供必要的去中心化治理。并且 Movernance 创新性地提出了权限治理框架和治理权市场（贿赂平台），提高了去中心化治理的整体效率，为项目的大规模应用提供了坚实的基础。 SharkTeam 网站：https://www.sharkteam.org/ SharkTeam 是 Web3 安全服务提供商。提供智能合约审计、链分析和应急响应服务。SharkTeam 的智能合约审计服务旨在帮助组织识别和减轻其智能合约中的潜在安全风险。审计过程包括对智能合约代码的详细分析，以发现任何可能导致恶意攻击或利用的漏洞或缺陷。 All That Node 网站：https://www.allthatnode.com/main.dsrv All That Node 是一个全面的多链 NaaS，为超过 25 个精心挑选的网络提供 RPC（公共和私有）节点。来源：金色财经
金色财经2023-04-22
探索Filecoin：如何在数字资产领域“如鱼得水”
go
限于： ——数据DAO ——可检索性 oracle / Oracle-less 访问数据 ——永久存储合约/存储背书 ——存储提供商的抵押不足贷款市场 ——ETL管道（从不同数据源收集数据的数据集成管道） FVM给存储提供商带来了什么？ Filecoin项目中有存储提供商和检索矿工，目前大部分FIL Token奖励都给了存储提供商，也就是数据存储服务商。为了保证链的安全运行，存储提供商在封装数据的时候加入了很多复杂的封装过程。因此，存储和检索有效数据极其困难。随着FVM的介入，这个问题有望得到解决，检索矿工可能会带来更多收益。 FVM对目前的公链架构带来哪些潜在的改变？目前Filecoin上几乎没有实际有效的应用，其TVL在公链中排名垫底。目前TVL仅为$2,498,431。DAPP生态目前可以忽略不计，ETH的TVL占比近60%。随着FVM的引入，DAPP生态有望带来一个数量级的增长，但鉴于Filecoin本身的TPS较低，与其他POS链相比，Filecoin的DAPP生态很难占据优势。更有优势的发展是基于可验证存储的数据经济生态。FVM 有潜力成为以太坊的执行层，存储以太坊应用产生的数据。并成为多条主流公链的执行层，成为多条公链生态跨链通信的基础设施。 FVM解锁了哪些应用？ 1. 数据 DAO DAO（去中心化自治组织）是分布式实体，其所有权、治理和决策过程通过链上活动透明地发生。由于数据 DAO 中的权益可以通证化，数据的价值和效用可以在市场上客观地表达和交换，以换取对数据执行或提供服务。利益相关者可以反过来花费 Tokens 来激励更多原始数据的生产，例如传感器数据收集、生成艺术，甚至人工任务（转录、翻译……），从而形成以数据为中心的循环经济。 FVM 使实现数据 DAO 成为现实的所有要素成为可能。通过创建可以组合在一起形成不同类型的 DAO 的可组合层，开创性的可能性是巨大的。 2、永久存储对于 Filecoin 参与者，可以分担确保有价值数据的活力的责任。在链上自主运行的无许可代码可以保证存储的持久性和更新，没有因内容寻址而修改或更改底层数据集的风险。资金机制和决策可以结合Data DAO和Staking协议，实现一次性支付，永久存储的机制。 3. 金融服务质押协议可以使用链上数据点（例如地址年龄、削减历史）来更好地评估风险和参数化条款，同时还允许各种规模的存储提供商获得资金。保险协议可以帮助存储提供商从贡献者那里为这些前期成本提供资金，或者在更广泛的社区中分散失败的风险。贡献者（或 DAO）可以通过购买上述风险来换取经常性费用来赚取收入流。 4. 去中心化计算将高度分散的数据重新组合到一个中心位置来计算它是昂贵、低效和浪费的。相反，将计算推到边缘并协调其执行对于 FVM 参与者来说是一种全新的可能性。 FVM 参与者可以代理计算资源，激励计算执行，在可用存储提供商之间分配工作负载，并证明计算结果的有效性以获得奖励。存储提供商可以通过 FVM 参与者向计算网络注册。计算客户端向参与者发布作业。一种机制会将工作分配给提供者，一旦执行，提供者将发布证明以要求奖励。 5.启用L2网络通过在 FVM 上部署承诺或加入参与者，第 2 层解决方案可以使用可验证的证据将其状态提交到链中、分配参与者奖励、验证欺诈证明和其他任务。来源：金色财经
金色财经2023-04-20
连接 DeFi：多链代币系统如何提高流动性
 go
方法目前未向公众发布；但是，它将构成 oracle 派生方法的增强迭代。该方法有助于增强可扩展性和降低汽油费，同时保持系统的安全标准。Oracle 主要用作进行查询的工具。例如，任何 Pantos 客户端都可以查询区块链上的预言机，以验证不同区块链上的交易。 Oracle 验证过程建立在由斯坦福大学计算机科学家 Dan Boneh、Ben Lynn 和 Hovav Shacham 开发的阈值签名方案和分布式密钥生成 (DKG) 协议的组合之上。这些加密技术有助于用户验证签署方的合法性。Boneh-Lynn-Shacham 阈值签名允许用户验证签名者的真实性，DKG 允许多方参与共享公钥和私钥集的计算。该过程通过将多个签名合并为一个单一签名来实现，同时注重经济和物流效率。此外，验证单独签名的行为可以作为必要的最少签名者支持签名通信的证明。 Pantos 产生一个分散的私钥，其中 oracle 节点拥有不同的私钥份额，尽管没有分布式私钥的所有权。本质上，公钥可以被视为类似于去中心化的私钥。利用预言机节点拥有的私钥共享，网络可以有效地巩固他们的发现并生成编码消息，随后可以使用公钥解密。相关：建立社区并确保 NFT 成功：对艺术家的见解如果预言机节点发生修改，则包括私钥份额、分布式私钥和公钥在内的所有组件都可能发生更改。通常，生成新密钥需要来自具有权威地位的值得信赖的个人的监督。相比之下，Pantos 采用 DKG 协议来免除对可靠权威机构的要求。多链令牌系统有可能彻底改变区块链行业并使 DeFi 更加流畅和连接。通过允许用户在不依赖中介或桥梁的情况下直接在区块链之间转移资产，多链令牌系统为用户提供了一种额外且有效的方法来参与多个区块链网络。关注作者，主页每天精彩内容不断。来源：金色财经
金色财经2023-04-20
现实世界资产代币化 RWA 嫁接 TradFi 与 DeFi 的桥梁
 go
TF、上架交易所合规要求等。预言机（Oracle）：对于 RWA，要参考现实世界的外部数据以准确地描绘资产的价值，如股票 RWA，则需要访问该股票的业绩数据等。但是由于区块链无法将外部数据直接从集中到区块链上，则需要如 Chainlink 这类将链上数据与现实世界信息的数据连接，用于向 DeFi 协议提供链下资产价值等数据。 RWA 协议的需求和供应（RWA Protocol Demand and Supply）专注于 RWA 的 DeFi 协议推动了现实世界资产代币化的整个流程。在供应端，DeFi 协议监督 RWA 的形成。在需求端，DeFi 协议促成投资者对 RWA 的需求。通过这种方式，大多数专门研究 RWA 的 DeFi 协议既可以作为 RWA 形成的起点，也可以为 RWA 最终产品的提供市场。 2.4 案例：RealT 房地产 RWA RealT 是一个以美国房产资产为基础创建的 DeFi RWA 平台。RealT 的投资者能够获得房地产投资的机会，而无需拥有房展的所有权。RealT 上的房产所有者可以出售其房产的部分所有权（sell fractional shares of ownership）。为了使一套位于美国的房产代币化，该房产的价值需要在链下先进行确认，这需要 RealT 委托第三方机构对房产进行评估、对所有权进行确认、设计房产权益的变更的应对措施（如出现租户不付租金、房产被抵押回收等情形）。之后，将该房产的信息数据化后上链。更具体地说，该房产的相关数据将被代币化、证券化，并通过 Oracle 传输。RealT 并非对现实世界的实物资产代币化，而是根据 ERC-20 标准协议，对特殊目的载体（SPV）的股份进行代币化，该特殊目的载体（SPV）持有如房产所有权、房产收益权等财产契约。由于上述操作可能涉及证券的发行和出售，在证券化方面，RealT 根据美国证券法 D 条例以及 S 条例提交文件申请证券豁免。此外，RealT 还在协议中内置了 KYC 技术，合法合规则引入投资者和卖家。最后，RealT 通过 Oracle 为其 DeFi 应用提供公平的市场价值。 2.5 RWA与资产证券化（ABS）的区别资产证券化（Asset-backed Security, ABS）指原始权益人将预期能产生现金流的基础资产通过结构化等方式加以组合，使其能够在市场上发行和交易的融资手段。 ABS 通过特殊目的载体（SPV）进行资产重组，达到风险隔离和流动性增强的效果。ABS 将基础资产的现金流重新打包切割风险和收益，并通过特殊目的载体（SPV）实现原始权益人和基础资产权利关系的隔离，使得投资者免受原始权益人的破产风险和其他资产风险的影响。在此基础上，ABS 产品还通过各类增信手段进行信用增级设计，因此资产支持证券的信用评级往往高于原始权益人的主体信用评级。通过 ABS，发行人能够盘活存量流动性差的优质资产、拓宽融资渠道。与此同时，ABS 形式多样的产品特征可以满足不同投资者的风险收益要求。 ABS 涉及多方参与机构。ABS 的流程包括选取基础资产、组建资产池、设立特殊目的载体（SPV）、资产转让、资产分层、信用增级和评级、销售交易、资金回收和分配等步骤。一般而言，资产提供方被称为发起人，也叫原始权益人，其设立的特殊目的载体（SPV）是形式上的发行人。除此之外，资产证券化流程中还涉及借款人、投资者、承销商、资金保管机构、登记结算机构等主体。 ABS 被认定为标准化债权资产，在传统金融监管机构下（证券）运行，各方市场参与者无论是发行人、投资者，还是各个中介方都具有相对较高的门槛，并且受到监管机构较强的监管。而 RWA 的底层资产理论上能够包含所有权属清晰、对应货币价值的资产，包括有形资产和无形资产。此外，在经过底层资产的数据化上链之后形成的 RWA 运行在 DeFi 的生态中，消除了传统金融体系需要中介提供信用背书的需求。但是在 RealT 案例中我们看到，在将底层资产数据化的之前，还是需要评估、财务、法律等相关机构的参与，以将低沉现实世界资产合规地数据化上链。在这点上可以参考 ABS 的做法。三、RWA 市场及生态随着 DeFi 市场的不断深化，以及原生 DeFi 主体和 TradFi 公司对 RWA 的不断渗透，必将带来 RWA 赛道的蓬勃发展，无论是 RWA 提供的市场类型，还是 RWA 所代表的底层资产类型，都在日益多样化。 3.1 权益类市场（Equity and Real Asset Markets）在 RWA 生态中，权益类市场占比相对较小，其中的原因之一是大部分权益类市场的底层资产都能够在传统的金融市场进行交易，并配有严格的监管，如大部分司法辖区的证监会对于资产证券化的严格监管。此外，权益类市场的底层资产大多具备实物所有权及其他权益的属性，如上述 RealT 房地产项目中，如何将底层实物资产的所有权及权益在现实世界中和数字世界进行区分就变得十分复杂。如 Backed Finance，作为为数不多的提供权益类 RWA 的协议之一，需要根据 Swiss-DLT 法案进行注册，并且必须对每个 RWA 的底层资产所有权进行足额支持。 3.2 固定收益市场（Fixed Income Markets）固定收益市场占 RWA 生态的大头，由于 RWA 协议能够对底层资产进行分割碎片化，使得在传统金融领域未被分割、固定总额、且体量较大的固定收益资产能够接触到更多的投资者。这种 DeFi 协议的创新能够吸引非传统领域的市场参与者。 DeFi 投资者能够由此进入到门槛相对较高的传统金融的固定收益领域，打开一条新的投资渠道；借款人也能够获得一条门槛相对较低的融资渠道，并且融资的币种相对于其法定货币更加稳定（亚非拉等国家）。在固定收益市场，主要有两类 RWA 协议：（1）资产抵押借贷；（2）无抵押借贷。 3.3 RWA 的底层资产基于法币的稳定币是原始的 RWA，也是迄今为止最引人注目的 RWA 基础工具。稳定币是一种虚拟资产，旨在将其价格与外部资产（通常是法定货币）的市场价值挂钩。自 2014 年第一批稳定币问世以来，稳定币日益成为虚拟资产市场的基础，提供了进入 DeFi 的入口/出口、链上价格稳定以及一种熟悉的交换手段。除了稳定币之外，作为 RWA 最受欢迎的基础资产类别是房地产，其次是与气候相关的基础（如碳信用额度）和公共债券/股票基础，其次是新兴市场信贷（主要是企业债务）的基础，等等。 3.4 RWA 市场主要参与者——MakerDAO MakerDAO 是以太坊上的一个抵押借贷平台，可以说在 RWA 采用方面取得了最大的进展。MakerDAO 允许借款人将抵押资产存入“金库”，这样借款人就可以提取协议原生稳定币 DAI （基于美元计价）的债务。金库是一种智能合约，它持有借款人基于以太坊的抵押品，直到所有借来的 DAI 都被归还。只要抵押品的价值保持在特定的阈值以上，不会触发相关清算机制。然而，如果抵押品的价值下降到不足的地步，金库将通过拍卖程序自动清算抵押品，这样贷款就可以以一种无需信任的方式偿还。借款人可以使用的抵押品类型由协议的治理 DAO —— MakerDAO 来决定。2020 年，MakerDAO 投票允许借款人将基于 RWA 的抵押品发布到金库。除了这次投票，MakerDAO 还选择为 Oracle 预言机开发提供资金，以便平台上基于 RWA 的抵押品的价值可以与抵押品的链下价值无缝定价。今天，MakerDAO 的 RWA 金库价值超过 6.8 亿美元。这意味着，通过 RWA 支持的贷款，MakerDAO 已经能够将发行到市场的 DAI 数量扩大。此外，这意味着有超过 6.8 亿美元的 RWA 帮助维持 MakerDAO 的 1 美元挂钩稳定性。四、RWA 的发展与挑战 RWA 在连接 TradFi 和 DeFi 的方式上具有创新性。然而，为了使这一桥梁在长期内可行，除了适配 RWA 的公链需要发展，以及宏观的市场环境之外，RWA 相关的政策监管有待得到进一步明确。这将是决定 RWA 发展的关键。在今天的大多数国家，缺乏明确的法规来监管和管理现实世界资产的代币化。只有少数几个国家，如瑞士（承认虚拟资产为无记名资产）和法国（采用了 CAST 框架，这是一种使用底层区块链作为结算同时保留链下登记的混合形式），采取了对 RWA 发展有益的监管规定，明确了协议应该如何将现实世界资产带入区块链。进一步的监管清晰度将促进 RWA 领域的持续发展和创新。此外，保护 RWA 价值的执行机制尚未建立。考虑这样一个场景：借款人拖欠贷款，协议必须清算其 RWA 抵押品以偿还贷款人。鉴于底层资产抵押品不是流动性的 ERC-20 代币，清算这些资产以收回贷款人的资本可能比使用虚拟抵押品的贷款要麻烦得多。因此必须采用另一种为贷款方服务的清算程序。此外，也必须有一个链下的、法律约束的执行机制，以确保借款人的清算过程得到最佳处理。虽然在 TradFi 和 DeFi 之间架起一座桥梁的想法令人兴奋，但我们应该认识到，这座桥梁只有通过现实物理和数字领域之间的无缝法律、运营的协调才能实现。这种类型的协调需要在 DeFi 或 TradFi 故障的情况下，依然能够进行无缝的信息交换和良好执行的程序。更广泛地说，RWA 的叙述对于虚拟资产市场尤其值得注意，因为它是一个更加与现实世界相互关联的例子。DeFi 不再孤立于现实世界和 TradFi。区块链越来越多地拥有现实真实世界的用例，并证明了它作为一种变革性技术的价值。来源：金色财经
金色财经2023-04-20
LK Venture研报：ZK Bridge能否成就「跨链大战终局」？
go
LayerZero 的核心设计思想在于Oracle （预言机）和 Relayer（中继者）的分离，在 LayerZero 中，Relayer 负责传递消息及消息证明，Oracle 负责根据消息所在区块，按需从源链获取区块头，然后目标链上的终端根据 Oracle 获取的区块头验证 Relayer 传递的交易。只要二者不串通，就可以保证跨链的安全。需要注意，尽管 Layerzero 将其技术方案称为超轻节点（Ultra Light Node），但方案与Light Client有本质上的不同。LayerZero 通过 Oracle 提供的区块头来验证 Relayer 提供的交易证明，验证过程在目标链的终端发生，属于原生验证，但是对区块头本身的验证却是由作为外部验证人的第三方 Oracle 网络来完成的，验证过程发生在链下。跨链解决方案3：有质押多签在MPC的基础上增加了一层权益证明，典型项目有Celer, Axelar, deBridge, Hyperlane, Thorchain。如果作恶，验证者的质押将被大幅削减，在经济上实际增加了验证者的欺骗成本。 PoS 桥要面对的一个问题是验证者的不均衡性，为了缓解该问题，Axelar 采用了二次方投票的方案，签名权重将与验证人质押的 $AXS 数量的平方根成正比；Hyperlane 则采用“可验证欺诈证明”方案，验证人联合作恶将立即被发现并执行 Slash；pNetwork 和 Bool Network 则直接要求所有节点质押相同数额的 Token。跨链解决方案4：乐观验证（optimistic validation）运用了博弈论知识，通过用户间的博弈场景提高用户作恶风险，典型项目有 Nomad, Synapse。乐观验证的基本逻辑是：在外部验证的基础上，设置一批挑战者和一个挑战窗口期，对不正确的验证进行挑战，验证者需要抵押，当其行为不当时，挑战者将提出挑战，并提供欺诈证明。若挑战成功，验证者的抵押金将成为挑战者的赏金。 Nomad项目设置的挑战窗口期是30分钟。对于乐观验证方案，只需要至少有一个挑战者是诚实的，而且有经济激励去进行挑战。这相比外部验证而言，是更小的信任假设，在这样的信任假设下，攻击者无论付出多大的经济代价，都不能保证攻击一定成功。原本跨链方案到此就结束了，但ZKP零知识证明技术的发展，为跨链桥的安全和效率两难困境带来了新的解决方案。什么是ZK Bridge？ ZK Bridge是使用零知识证明技术的跨链桥，不引入信任假设，适配多种同构/异构链，链下生成零知识证明，链上只负责验证，大大降低链上计算和存储成本，具有零信任、无许可、可拓展、高效率的特性。我们先对轻客户端的原理做一个基本概述。轻客户端，也称轻节点，在链上往往以轻智能合约的形式呈现。轻客户端跨链的基本原理是在目标链部署源链的轻节点合约，对源链来的消息进行验证。如果要实现双向跨链，就需要在两条链上互相部署对方链的轻节点合约。相比全节点，轻节点是轻量化的节点，它不存储完整区块的序列，而仅存储区块头的序列。尽管区块头体积很小，但它包含了对区块中完整数据的密码学概括。当轻节点需要知道某个交易是否被包含在链中时，可以通过该交易所在区块的区块头及该交易的 Merkle 路径，对该交易执行 SPV 验证。下图中，绿色方块的合集，就是蓝色方块的默克尔路径。为了维护目标链上部署的源链轻节点，需要由链下代理将源链的区块头不断同步到目标链。轻节点合约对负责同步区块头的链下代理并没有信任假设。因为轻节点合约会对其同步的区块头执行验证，链下代理无法欺骗轻节点。轻节点验证区块头的逻辑，与全节点、矿工节点别无二致，分为有效性验证和最终性验证两部分。 LK Venture 投研团队认为，对于 PoW 链来说，有效性验证主要是指验证区块的工作量证明，最终性验证则是看该区块头后面有没有更多的有效区块被追加（在 BTC 链中，一般认为 6 个区块的追加可以确认一个区块的最终性，在以太坊中，则一般认为 25 个区块的追加可以确认一个区块的最终性）。对于 PoS 链而言，有效性验证是指验证该区块是否由被随机选中的出块人生成，最终性验证则是看该区块是否被 2/3 以上投票权重的验证人签名。但 PoS 的轻节点并不需要验证有效性，只需要验证最终性。因为PoS链中，最终的区块一定有效，PoW链则未必。 ZK Bridge的实现，与轻节点加中继的方案流程相同，只是略有变化。ZK Bridge中，依然需要链下的中继者监听源链，将源链的区块信息转发到目标链。但是转发的不仅是区块头，还有使用ZK-SNARK算法生成的有效性证明。而在目标链上，轻节点也不是通过直接根据区块头进行计算去验证交易的有效性，而是根据有效性证明在链上验证，减轻计算负担。 ZK Bridge的实现技术路径为什么ZK Bridge有望终结跨链大战？在目前以完成部署投入使用的跨链桥中，有多个项目都曾经遭受过严重的安全攻击，被盗金额非常巨大，在当时造成大规模的恐慌，时至今日大家仍对各大跨链桥的安全性抱有怀疑态度。人们愈发需要一个安全、零信任、去中心化的跨链桥，为未来的全链生态打下坚实基础。 2022年度部分跨链协议损失资金及追回资金统计图片来源: DeFiyield (https://defiyield.info/) 在LK Venture 投研团队看来，ZK Bridge为跨链桥的安全和效率难以兼顾的困境带来了新的解决方案，即通过在链下生成对区块头的零知识证明，源链区块头的正确性由ZK-SNARK算法生成的证明去验证，因此没有增加任何外部的信任假设，唯一信任的是数学。而且，零知识证明在链上的验证过程较原有的轻节点验证方案，将显著降低计算和存储成本。 ZK Bridge部分项目介绍 Succinct by Succinct Labs Gnosis Chain Omnibridge是Ethereum与Gnosis之间的跨链桥，使用的是MPC的主流方案。 Gnosis团队成员希望能够探索不依赖中心化实体的跨链设计，Succinct Labs和Gnosis团队就此展开合作，Gnosis DAO提供grant用于R&D。以太坊的验证过程主要包括以下内容的验证：区块头的Merkle证明；同步委员会中验证者的Merkle证明；正确轮换同步委员会的BLS签名等。这里的核心思想是使用zk-SNARK（Groth16）生成大小恒定的有效性证明，可以在Gnosis上进行高效的链上验证。 Succinct跨链解决方案图解图片来源: Succinct官网 (https://www.succinct.xyz/) Succinct Labs的跨链方案能够在任意两条Ethereum兼容的PoS链间传递任意消息。当前实现了Ethereum与Gnosis之间的跨链Demo，Ethereum上部署了bridge deposit合约，允许用户储蓄。bridge deposit会传递消息给arbitrary message bridge (AMB)，AMB在合约中存储该消息。Operator负责获取同步委员会的证明，为有效的BLS签名验证生成SNARK证明，并向Gnosis链轻客户端提交更新。在Gnosis Chain上，存款交易所在的以太坊区块被确认（通常2 epochs，约12分钟），并且轻客户端已经更新到高度大于或等于该块的区块后，Relayer会自动向Gnosis AMB提交一个executeMessage交易。executeMessage交易包含针对轻客户端已更新的插槽的Merkle存储证明。在executeMessage期间，AMB使用轻客户端获取所请求插槽的以太坊状态根，并验证Merkle存储证明，以显示消息已在AMB的另一侧上send。然后，AMB使用消息中指定的calldata调用接收智能合约。出于技术栈成熟程度和链上验证开销的考虑，团队选择使用当前最成熟的Circom语言和链上验证最便宜的Groth16证明系统来生成ZK-SNARKs，而没有使用更新更快的PLONK + KZG or FRI。值得注意的是，该项目虽然上了测试网，但是可用性较差。经作者测试，Goerli测试网的Succincts token经过bridge数量减少，但是Gnosis网络未收到token，同时网站上的dashboard没有bridge记录显示。而且需要注意现在的跨链是单向的。只能从Goerli到Gnosis，而不能反过来。 zkBridge by BerkleyRDI zkBridge通过ZK-SNARKs证明远程区块链的区块头的正确性，因此不会引入任何外部信任假设。事实上，只要连接的区块链和基础轻客户端协议是安全的，并且区块头中继网络中存在至少一个诚实的节点，zkBridge就是安全的。当然，值得注意的是，虽然至少一个诚实节点就能保证安全性，但是不诚实节点过多会显著降低跨链桥的可用性，light client会频繁拒绝传来的proof，而无法获取真实信息。 zkBridge跨链解决方案图解图片来源: https://rdi.berkeley.edu/zkp/zkBridge/zkBridge.html 具体来说，zkBridge主要由区块头中继网络Block Header Relay Network和更新者合约Updater Contract组成。在区块头中继网络中，中继从发送者区块链 C1 中检索区块头，生成区块头有效性证明，并将区块头及证明发送到设置在接收者区块链 C2 上的更新器合约中。对于更新器合约，一旦相关证明通过验证，C1 的相应区块头将被存储。此外，更新器合约还维护一个轻客户端状态。一旦添加新的区块头，合约就像 C1 上的其他轻客户端一样更新轻客户端状态，并更新 C1 的当前主链。更新器合约还向应用程序公开一个功能，通过该功能，C2 上的应用程序可以获取 C1 上给定高度的区块头。在获得区块头信息后，应用程序可以进行更多的验证（例如特定交易）并构建自己的应用。为了使底层 zk-SNARK 系统与链上使用兼容，需要快速证明生成和低链上证明验证成本。zkBridge 的主要创新是： deVirgo：采用分布式的方法来生成 ZK-SNARK 证明，且无需信任假设。deVirgo方法通过将计算工作进行拆分，分配给更多的设备，大幅度提升了在链下生成 ZK-SNARK 证明的时间。递归证明：为了降低链上成本，zkBridge 使用递归证明，通过两次递归，将 ZK-SNARK 证明的体积压缩到 131 字节左右。第一步生成deVirgo证明，第二步使用Groth16证明生成器进行压缩。Groth16验证器生成执行deVirgo电路的完整性证明。批处理：zkBridge 实现了一个区块头的更新合约，它以区块高度为输入，返回相应区块头。但 zkBridge 并不会在每个新区块产生时，调用更新合约，证明者可以先收集 N 个区块头，生成一个单一的证明。N 值可以设置，N 越大，用户等待时间越长但系统运行成本越低。目前 zkBridge 已经以 Solidity 在以太坊上实现了一个 Cosmos Client 的实例，据测试，可以在 2 分钟内生成一个 Cosmos Zone 区块头的 ZK-SNARK 证明，然后在以太坊端，验证费用是小时230k gas的常量，对比来看，如果不用 ZK-SNARK 证明，这个费用将是 64 Million Gas 。需要注意，中继网络计算将遭受与MPC相同的通信复杂性，这将严重影响证明时间。 GKR多层求和检查协议的通信复杂度为O(N log2(签名数量))，其中N台机器在中继网络中。即使对于32个签名的情况，中继网络中有32台机器，也可能导致网络中大量顺序通信，损害分布式计算带来的性能。 zkIBC by Electron Labs 具体而言，zkIBC希望模拟Cosmos主权链使用的无信任通信协议——Inter Blockchain Communication Protocol (IBC)，并将使用拓展到Ethereum。 zkIBC使用ZK-SNARKs进行轻客户端状态验证，快速证明Ethereum上交易，跟上Tendermint共识链的出块时间。主要的难点在于在Cosmos SDK中使用的Tendermint轻客户端运行在Ed25519曲线上，而以太坊区块链不支持该曲线，在以太坊的BN254曲线上验证Ed25519签名昂贵和低效。项目路线图分为五个阶段：调研-ed25519签名证明的实现-测试网-递归Snark实现减少冗余-主网。2023年2月2日，Positron testnet正式面向公众上线，支持Near和Ethereum之间的跨链。当前的测试网需要等待约20-30分钟才能实现最终性，其中包括Goerli网络最终性（15-20分钟）、ZK-Proof生成（5-8分钟）、Near链上铸造（10-20秒）。该项目宣称完全开源，经过测试，跨链过程使用流畅，UI/UX设计良好，且支持双向跨链。思考区块链技术发展到一定阶段，通常会演化成为关于取舍的哲学。在公链中，有着安全-可拓展-去中心化的三难困境；而在跨链中，可能也存在着安全-效率的两难困境：追求效率，则会引入第三方信任假设，导致安全性受损；追求安全，使用完全轻节点与中继的方案，则会招致高昂的链上严重费用。但是实际上，从制度设计上来看，即使是信任程度最高的无质押MPC方案，其实也在绝大多数情况下保证了跨链桥的安全。之所以多个跨链桥被盗，反而是因为追求透明将代码开源，复杂代码中隐藏的漏洞让黑客有了可乘之机。 LK Venture认为，随着技术不断进步，ZK方案可用性逐渐增强，ZK Rollup有望在2023年下半年将投入大规模使用，ZK Bridge也方兴未艾。希望ZK Bridge技术的成熟，能够打破跨链当前面临的安全-效率两难困境，让万链互联的愿景得以实现。关于LK Venture：蓝港互动 (08267.HK) 旗下聚焦Web3领域的加密投资与研究机构，前身为共识实验室（Consensus Lab），侧重投资市场前沿的基础设施、交易平台、技术协议和金融工具，曾投资FTX、Polkadot、Filecoin、Casperlabs、Coin98等来自北美、亚洲、欧洲等国家地区的百余个项目。参考资料： 1. zkBridge: Trustless Cross-chain Bridges Made Practical（https://rdi.berkeley.edu/zkp/zkBridge/zkBridge.html） 2. Bridging the Multichain Universe with Zero Knowledge Proofs（https://medium.com/@ingonyama/bridging-the-multichain-universe-with-zero-knowledge-proofs-6157464fbc86） 3. Exploring ZK Bridges（https://zkvalidator.com/exploring-zk-bridges/） 4. Overall Comaprison Between Multiple Blockchains（https://dune.com/springzhang/cross-blockchain-comparison-overview）免责声明：本文介绍的信息及资料均源于公开渠道，本公司对其准确性和完整性不作任何保证。涉及对未来情况的描述或者预测均属前瞻性陈述，任何建议及观点仅供参考，不构成对任何人的投资建议或者暗示。本公司可能采取的策略，与读者根据本文自行推测的策略，可能相同、相反或者毫无关系。来源：金色财经
金色财经2023-04-19
Web3安全：如何识别风险并使用保护工具？
go
络需要安全的通道来与现实世界进行通信。Oracle是最常见的解决方案，但它们仍然不能保证市场价格的公平性，也不能保证市场不被操纵。2022年，一名流氓加密货币交易员使用数百万美元的USDC代币在其去中心化交易所操纵芒果MNGO代币的价格，以从交易所消耗超过1亿美元的流动性。许多人正在探索Web3的功能，但很少有人密切关注潜在的风险，尤其是因为人们误解Web3自动比Web2更安全。值得庆幸的是，有专门的工具可以确保Web3空间的导航更安全，其中之一就是Web3 Antivirus。该工具可以很容易地设置为浏览器扩展，并且可以验证用户在Web3上与之交互的所有各方和资产，以便在采取潜在危险行动之前通知他们。Web3 Antivirus实时审计所有交易背后的智能合约，以识别危险的逻辑、漏洞和访问用户资金的权限。它还在执行之前验证令牌并模拟事务，以确保安全的结果。到目前为止，该工具已经将100多万个网站列入黑名单，并确定了数万个危险的智能合约。由于定期升级，Web3 Antivirus正在提高其功能。开发扩展的团队在4月早些时候推出了0.6版本，增加了几个新功能，包括： 1.公平的法定代币价格：由于去中心化网络无法直接访问现实世界，因此确保去中心化应用程序提供2.的价格是公平的很重要。这降低了市场操纵的风险。 3.支持NFT在市场上出价：该功能检查用户对不可变现代币的出价，以消除所谓的可重入攻击的风险。 4.DEX限价订单支持：限价订单为用户提供了更好的资金控制和管理。 5.Opera支持：该工具现在可在Opera浏览器上使用。Chrome、Edge、Brave和Firefox也支持Web3防病毒软件。 6.算法改进：处理智能合约以识别潜在威胁的算法已经得到改进。此外，Web3 Antivirus针对网络钓鱼网站的搜索算法也已更新。来源：金色财经
金色财经2023-04-18
跨链新趋势 LayerZero如何成为全链时代“第0层”？
go
ero 还使用了两个外部服务：预言机（Oracle）和中继器（Relayer） Oracle是一种第三方服务，它提供了一种从一条链读取区块头并将其发送到另一条链的机制。LayerZero团队选择使用Chainlink和Band Protocol 作为他们的官方预言机。但是，从理论上讲，任何 Oracle 服务提供商都可以成为该机制的一部分。而Relayer 是一种链下服务，其工作方式类似于 Oracle，但它的工作是获取指定交易的证明。Relayer和Oracle必须相互独立，以保证消息传递的有效性。在实际操作过程中，如果你想用LayerZero 从链A向链B发送一条消息。那么首先要通知链 A 上的Oracle和Relayer您要发送消息。然后Oracle将相关的区块头（链A上最新交易的摘要）发送到链B的超轻节点。然后链A上的Relayer会将此交易的证明提交给链B。一旦此证明在链B 上得到验证，消息就可以发送到链B上的预期接收者。这种方法的好处之一是它既安全又经济高效，因为它结合了中间链和链上轻节点方法的优点，同时消除了它们的弱点。 LayerZero优势通用性传统的IBC跨链协议实现公链间交互需要在公链上部署其他公链的轻节点，但高昂的gas费用限制了IBC协议在以太坊等EVM兼容链上应用。这大大降低了IBC协议的通用性，目前它只能在较为小众的Cosmos生态中使用。相比之下，Layerzero采用超轻节点技术架构大幅降低了公链整合成本。主流公链，特别是以太坊和其他EVM兼容链，几乎都可以承担部署Layerzero节点的成本。因此，Layerzero具有极强的通用性，在未来可能成为整合各种EVM公链跨链功能的底层协议。可扩展性可扩展性一直是基于区块链解决方案所面临的棘手障碍，但LayerZero克服了这一问题。不仅如此，它还为区块链生态系统带来了更广泛的应用场景，例如数据验证、个人奖励结构设置以及数字货币包装等方面。作为根基层，LayerZero能够与Layer 1协议（比如BTC、ADA和ETH）实现跨链互操作。运营者可以借助LayerZero在多个节点（如Bitcoin和Ethereum）之间部署中继网络。相较于修补现有区块链网络的底层协议，LayerZero 是模块化和可扩展的，允许添加新链和功能而无需修改核心协议。这使其成为一种更加灵活和可扩展的解决方案。高效率相对于其他跨链项目，LayerZero可以实现更高的传输效率，这主要得益于它独特的设计。其中，LayerZero的「超轻节点」采用了类似IBC轻节点的验证模式，在保证安全性的前提下，大大降低了验证的成本。与传统轻节点需要保存对方区块头的笨重解决方案不同，LayerZero的「超轻节点」通过预言机按需获取需要的区块头，并对交易进行验证。这种方式最大限度的减少了与跨链交易的相关成本和处理时间，提高了传输效率。安全性作为基层协议，LayerZero的安全性是独立于外部协议的。即使外部协议出现安全问题或被攻击，也不会影响LayerZero的安全性，从而确保了整个协议共识的稳定性。此外，LayerZero独特的预言机和中继器设计也最大限度地保障了信息传输的安全性。预言机和中继器之间互相保持独立性，即便在最坏的情况下，二者由同一实体运行并相互勾结，这也只是一个孤立的风险，成功的概率非常小，并且恶意者需要付出的攻击成本会非常高。另外，为了进一步减少风险，LayerZero还允许用户应用程序选择不同的预言机/中继器组合，用户甚至可以自行运行中继器。这些措施都为信息的传输提供了最安全的保障。 LayerZero应用场景跨链去中心化交易：LayerZero支持专门处理原生资产的跨链 DEX。相较于发行包装代币或通过中间侧链的现有 DEX，LayerZero设计可以构建使用链间消息传递在不同链上实现流动性池交换。用户只需将本机资产存入一个池中并提取另一条链上的本地资产即可。LayerZero 的消息传递功能非常强大，可以实现直接桥接（1:1 定价）、自动做市（ab = k 定价）以及其他任何衍生品（例如类似于 Curve DAO 定价）。此外，LayerZero 提供的有效交付保证使广泛的去中心化交易所应用成为可能。多链收益聚合器：当前的收益聚合器通常只在单链生态系统内运行，例如Yearn Finance等项目使用单链策略实现相应的收益聚合。然而，这些单链收益聚合系统存在一个主要弱点，即它们无法利用当前生态系统之外的任何收益机会，从而可能错失许多有益的投资机会。通过使用LayerZero进行跨链交易的收益聚合器，用户可以制定更具策略性的投资方案，从而能够利用所有生态系统中的最佳机会，增加获得高收益机会的可能性。相比单链收益聚合器，多链收益聚合器更加优越，因为在最坏的情况下，该策略仅利用一条链上的机会，而在最好的情况下，则会有更多选择的机会。多链借贷：用户之前没有简单的方法来利用不在其资产持有范围内的区块链机会。例如以太坊上持有全部资产的用户，想要在Polygon上获得收益，只能将所有资产转移到Polygon，并将其转换为所需货币，或者在以太坊借出资产，然后借入想要的资产，再将其桥接到Polygon。但通过LayerZero的多链借贷协议，用户可以用在以太坊上持有资产直接在Polygon上进行MATIC借贷，省去了桥接费用和交换费用等中间成本。这样一来，用户就能更加便捷地利用不同链上的资产，实现最大化的收益。统一流动性桥：目前，为了吸引流动性供应商（LP）之间的竞争，流动性桥将桥与桥、配对池与配对池之间的流动性分割。这使得LP必须选择连接到单链上的单一流动性池，以为资产提供流动性。而通过LayerZero的统一流动性桥，可以在所有链上提供统一的流动性，保护源链的最终性。这意味着，当用户将资产从A链转移到B链时，其在B链上的资产是得到保证的。此外，LP可以从所有进入B链的交易中收取费用，不受源链的限制，从而实现更加便捷和高效的跨链资产流动。兑换（Swaps）：使用LayerZero，开发者可以构建复杂的跨链应用，无需牺牲无需信任性或引入复杂的中介链或智能合约。自动做市商可以轻松打包，并且执行跨链资产兑换变得更加简单 - 无需进行代码修改。例如，用户可以在单个以太坊交易中直接将ETH换成SOL，无需中间代币或二次交易。实际的交换协议交给跨链交易中任一链的智能合约处理，而LayerZero则负责在两链之间传输信息。这种方法提供了灵活性，并符合端到端原则。以上几个场景应用仅仅是LayerZero实现众多可能性中的一小部分，未来随着LayerZero的技术不断发展和其生态系统的日益成熟，LayerZero将会给我们带来了更多的惊喜，同时在也为即将到来的全链时代铺平道路。 03、LayerZero值得关注的生态项目 LayerZero作为一种无需信任的协议，可以在不影响安全性和去中心化的情况下，实现区块链之间的无缝通信。通过LayerZero协议，链间通讯变得更加容易，未来建立在此基础上的项目可以实现全链跨链借贷、跨链质押等功能。目前基于LayerZero所构建的值得关注的全链项目有以下几个：全链DEX—StargateFinance Stargate是由社区驱动构建的第一个完全可组合的原生资产桥梁和第一个基于 Layerzero构建的Dapp，Stargate的愿景是让跨链流动性转移成为一个简单而独特的交易过程，Stargate成功解决Bridging Trilemma（桥接三难困境）。随着LayerZero 获得B轮融资，Stargate的日交互次数激增。目前用户可以在 Ethereum、BNB Chain、Polygon、Arbitrum、Optimism、Fantom、Metis、Avalanche 共 8 条公链上进行 USDC、USDT 、DAI 、STG 、RDNT 、FRAX 等多种资产跨链。作为 LayerZero的嫡系，Stargate 作用远不止一个跨链桥，从Stargate的文档中也可以看出 Stargate的目标是作为资产跨链的技术提供商，让更多的项目可以轻松使用Stargate，实现跨链的功能。所以Stargate的业务需要分为2B和2C两部分， 2B的业务模式也远比2C的模式有想象空间，基于Stargate可以向上搭建更为复杂的 Dapp。目前Stargate已发行 STG Token，持有者质押STG不仅可以获得协议的收入分红，还会根据质押年限换取相应份额的 veSTG以参与提案、投票等社区治理。全链NFT-GhostlyGhosts Gh0stly Gh0sts是LayerZero推出的首个全链NFT系列，共有7710个NFT，可在8条支持的区块链上免费铸造。该系列的设计非常巧妙，每个NFT的背景颜色都代表了它的出生地，例如以太坊为灰色、BNB为黄色、Polygon为紫色、Avalanche为红色等。过去，当有热门NFT铸造时，以太坊常常会发生gas飙升的情况，导致高昂的gas费用。因为NFT铸造需要消耗大量的区块链资源，但Gh0stly Gh0sts基于LayerZero底层协议，可以轻松实现多链同时发行，从而避免了gas战。全链借贷市场—Radiant Radiant是一个致力于成为全链借贷市场的项目，其目标是将Web3.0货币市场中去中心化的跨链流动性统一起来，并与社群用户共享协议费用。相比传统的中心化交易所，Radiant强调跨链流动性的无缝连接，使得用户可以在任何一条链上存入任何主流资产，并在其他多条链上借入各种支持的资产，这也使得它在全链货币市场中具有更高的竞争力。 Radiant的底层技术基于LayerZero的OmniChain技术，目前已经推出了V1版本，仅支持Arbitrum上ETH资产的跨链借贷。但V2版本即将上线，支持更多资产和公链，这将进一步强化Radiant在全链借贷行业的地位。此外，Radiant背靠着LayerZero这样的强大技术团队，也让它拥有了全链先发优势。目前，Radiant在Arbitrum链TVL排名第三，未来的发展潜力不可估量。 04、总结随着区块链技术的不断发展，用户和开发者越来越意识到实现不同区块链之间的互操作性的重要性。为了充分利用区块链技术的潜力，不同的区块链必须能够实现安全、高效、无信任交互。LayerZero则作为一种底层技术的创新，正在极大地推动实现这一目标。目前，LayerZero 已经连接了超过30个主网区块链，并被广泛应用于去中心化交易所如 PancakeSwap、SushiSwap、Trader Joe和Uniswap等。LayerZero处理的交易量已经超过60亿美元，并锁定了总价值超过70亿美元的资产。可以预见，在未来的多链共存时代，LayerZero将会成为全链生态系统的基础网络结构，持续为区块链行业的进步和发展做出贡献。来源：金色财经
金色财经2023-04-18
ZKP是安全跨链的必由之路吗?
go
组外部节点构成的中继网络。基于MPC、Oracle systems、PoS/PoA、多签和TEE等实现的跨链方案都属于这个范畴。外部验证跨链互操作协议建立在对第三方的中继节点或预言机的信任基础上，无法实现去信任化的消息中继跨链，但中继者和预言机在有些情况下也难以被完全信任。该类型的跨链实现方案是目前市场的主流，包含了Multichain，Wormhole，Axelar，LayerZero等知名项目。 2. 本地验证本地验证也称为P2P验证，指交易对手直接进行验证，其核心是基于哈希时间锁的原子交换。在交易过程中，交易双方分别验证对方的行为，只要有一方作恶，双方都会面临损失，因此他们的利益是一致的。在实践当中，为了撮合交易，会有一个流动性提供者充当交易对手。Connext和Hop都可以算是这个分类中的典型。但是这类方案只适合资产跨链，并不适用于通用消息跨链，通用性弱。 3. 原生验证原生验证是指在目标链部署源链轻节点，由目标链的轻节点对源链消息进行验证，原生验证无信任假设，理论上用户只需要信任源链共识和目标链共识，并且确保源链和目标链不发生回滚（链上轻节点一般会设置一定的区块冗余，防止源链和目标链回滚）。原生验证的典型项目有Rainbow Bridge，近两年基于ZK的跨链方案也属于这一范畴，典型的ZKP跨链项目包括zkRouter、Succinct Labs、Nil;Foundation等。三类跨链互操作协议验证方式的综合比较见表1 所示。表1 跨链互操作协议三类验证方式综合比较多链生态的繁荣催生了对跨链的需求。Multichain(anyCall)、Layerzero、Wormhole等众多优秀的跨链项目先后诞生，这些跨链项目更加重视是通用性和可拓展性，也需要可信的中继网络。但2021 年到2022 年，跨链项目Ronin Network、Horizon、BNB Chain、Wormhole、Nomad等都受到了黑客攻击，都有巨量资产被盗。多链生态用户和跨链赛道参与者发现，去信任化跨链尽管可拓展性弱，但其去信任化特性对用户来说是更加安全的选择。因此，原生验证就成为实现去信任化跨链的最好途径。但通常意义上的原生跨链互操作协议在目标链验证源链共识需要消耗大量Gas，原因是目标链轻客户端需要获取大量源链数据才能生成关于共识的信息。而将ZKP用于原生验证，通过生成简洁的ZKP证明，使得目标链轻客户端只需要获取ZKP就可以验证目标链交易，因此使用ZKP构建轻客户端的原生验证方式就成为一个更好的方案。二、通过共识传递实现去信任跨链 Polkadot与Cosmos等公链生态共识天然支持生态内跨链，但对于非同一生态的公链，例如Ethereum，Solana等异构链却无法利用其跨链优势。包括Multichain，Layerzero，Wormhole等在内的主流第三方跨链桥都需要信任中继网络。而使用ZKP构造的跨链方案则不需要信任第三方，其直接向目标链传递源链的ZKP共识证明，目标链轻客户端只需要验证源链的共识证明，即可实现共识跨链。但是不同链共识生成原理和生成方式千差万别，验证共识需要的数据也不同。ZKP跨链的难点在于如何生成源链共识ZKP，而源链共识的ZKP又是基于源链共识数据产生的，因此源链ZKP的生成也需要基于源链共识进行。不同源链共识生成的ZKP的电路也需要进行定制化设置。不同公链共识生成的过程千差万别，生成ZKP的过程也不同。下面以Ethereum POS为例说明这个过程。 Ethereum设计了一套复杂的验证者选择机制来生成共识。Ethereum在Altair升级中增加了一个关键功能，这个功能是专门为支持轻客户端同步区块状态而设计的同步委员会 (sync committee)。Ethereum使用RANDAO算法随机选择512 个验证者组成同步委员会，同步委员会的信息保存在信标链Beacon Chain中，每隔256 个Epoch（一个Epoch约6.4 分钟）更新一次。同步委员会的作用是不断签署区块头，在2/3 同步委员会成员签名后，以太坊状态转换会被确认。信标链Beacon Chain采用 BLS 12-381 算法，作为验证者参与 POS 共识的方式。信标链区块中多个验证者的 BLS 签名可以进一步聚合为单个签名，从而有效减轻了原有数个签名的数据通信与链上存储压力。同时验证者也只需验证单个签名即可更高效地进行区块验证。因为同步委员会作为共识机制的组成部分，轻客户端可以在不需要访问整个验证者集的情况下获取被验证过的共识状态。目标链轻客户端为了验证源链共识状态，会下载部分数据并进行验证与计算，包括：（1 ）Merkle路径证明。验证对当前区块签名的委员会（sync_cmts）是在已验证区块头中指定的下一届委员会。（2 ）聚合委员会公钥。根据当前区块同步委员会实际签名情况可以计算聚合委员会公钥。（3 ）同步委员会的签名。使用聚合委员会公钥，验证新区块中的委员会签名。上述验证方法是原生验证的通用方案，但是在链上直接验证源链共识涉及到大量的链上数据验证与计算，Gas消耗高。而使用ZKP技术，在链下完成源链数据的计算与验证，并生成简洁的源链共识传递到目标链可以大大降低链上Gas消耗，这也是为什么基于ZKP的链上轻客户端可以廉价验证源链共识。基于ZKP的跨链协议将聚合公钥验证BLS签名的过程放在链下，并生成ZKP证明，目标链客户端只需要验证一个零知识证明就可以验证源链共识。具体代码如图1 所示。图1 共识验证伪代码资料来源：zkPoS: End-to-End Trustless 从上述ZKP轻客户端同步共识的过程可以发现，其链下证明生成过程与源链共识机制和轻客户端的支持情况紧密相关。这也是为什么要实现链上轻客户端较为困难，而且每次Ethereum升级的时候轻客户端都需要检查是否需要更新同步代码的原因。三、ZKP 跨链项目对比 ZKP跨链的流程大同小异，进行个例分析时，笔者更加重视每个跨链项目的独特性。ZKP跨链的基本原理可以看上一篇博客（https://www.theblockbeats.info/news/35560 ）。 1. zkRouter（Multichain） zkRouter是由Multichain开发的ZKP跨链项目，根据其白皮书描述，其愿景是要把zkRouter发展成其MBI（多链互操作协议）的一部分，作为底层信任机制服务于其多链互操作协议。这一部分内容在上一篇文章中已经有很多解释，这里强调几个要点。从目前公开的信息来看，Goerli测试网与Fantom测试网的zkRouter跨链桥将在近期上线。zkRouter 协议主要包含初始设置、共识证明生成、验证共识证明和互操作合约调用四个步骤。如图2 所示。图2 zkRouter跨链过程资料来源：zkRouter: Trustless, General Cross-Chain Infrastructure ( 1) 初始设置（Setup）目标链轻客户端要完成对源链ZKP证明的验证，就必须有上一个源链区块的共识状态。区块链的共识状态具有连续性，即当前的区块共识结果是基于上一个区块共识结果的更新，因此目标链轻客户端必须先获取源链当前的共识状态，然后才能验证后续区块共识的正确性。目标链的轻客户端在一开始需要初始initial_data，这个数据包括初始的区块高度、区块头hash等。该初始设置只需要设置一次，后续随着跨链行为发生，该数据会自动被更新。 ( 2) 共识证明生成（Proof Gen）该步骤发生在具体的跨链过程中。当源链产生新的区块后，目标链需要同步新的信息，这些新的信息包括了前一区块的状态、出块节点选择、签名节点的合法性等内容。对于非即时最终性的共识机制，还需要设置一定的冗余区块数，以避免分叉带来的损失。然后中继者通过链下ZKP技术计算生成链下ZKP，同步到目标链。 ( 3) 验证共识证明（ProofVerify）当简洁ZKP被中继者提交到目标链后，就需要对该ZKP进行验证了，这部分工作由链上轻客户端完成。验证通过后返回验证结果，并在目标链更新源链的共识状态信息。 ( 4) 互操作合约调用（InterOperCall）当目标链轻客户端通过对源链共识（包含源链交易）的验证后，参与者就可以发起跨链合约互操作调用完成跨链交互了。具体的细节可以参考其白皮书。 zkRouter 的核心优势是实现了高TPS跨链。根据描述，zkRouter的TPS上限是公链TPS，测试网显示其数据可以达到100 TXS。 Goerli测试网源链地址：https://goerli.etherscan.io/txs?a=0x91d1d54572ef662419d9e552a013321b5713e3ad Fantom测试网目标链地址：https://testnet.ftmscan.com/address/0x91d1D54572Ef662419d9E552A013321b5713E3AD#tokentxns 对zkRouter的具体方案，可进一步参考其白皮书具体描述。 2. Hyper Oracle（Hyper Oracle） Hyper Oracle把自己定义为去信任的预言机网络。与其他ZKP跨链项目的区别在于，Hyper Oracle强调的是整个共识的传递。Hyper Oracle的愿景是实现端到端的无信任，需要实现轻客户端验证以太坊PoS的整个共识。而在以太坊POS的实现中，同步委员会的共识已经是整个共识的一部分了，为什么还要强调传递整个共识呢? 3. Brevis（Celer） Brevis对自己的定义是全链计算和验证平台，本质上也是一种跨链通信方案，也是通过生成ZKP共识证明实现去信任的跨链通信。Brevis包括了三个组件，分别为zkFabric、zkQueryNet和zkAggregatorRollup。从目前情况来看，其覆盖的范围包括了EVM和NON-EVM链， zkFabric的主要功能是收集区块头，并在通过 ZKP 轻客户端电路证明其有效性后，生成共识证明，相当于ZK跨链角色当中的中继者和证明者。当然在这个系统中，中继的目的地是zkAggregatorRollup。 zkAggregator Rollup是由轻量级 ZKP 虚拟机提供支持的 ZK rollup 区块链，它汇总了来自 zkQueryNet 和 zkFabric 的不同证明和输入信息。根据Celer的描述，zkAggregatorRollup VM runtime 具有以下功能：（1 ）递归验证由 zkQueryNet 和 zkFabric 生成的证明；（2 ）存储来自 zkFabric 并已被 ZKP 验证的区块头；（3 ）存储查询请求和 ZKP验证结果。 zkQueryNet是一个提供 ZKP 查询引擎的开放市场，可直接接受来自链上智能合约的数据查询，并通过 ZKP查询引擎电路生成查询结果和相应的 ZKP 查询证明。这个结果也会保存在Query Result中（Query Result属于zkAggregatorRollup 模块）。具体如图3 所示。图3 Brevis系统组成资料来源：Brevis: A ZK Omnichain Data Attestation Platform Brevis相对于其他zk跨链项目最大的特点是模块化，这种结构化的设计增强了Brevis的可拓展性，通过对不同功能的封装，Brevis可以实现统一的接口，在方便DAPP调用的同时，也利于后续拓展更多的公链。 4. Telepathy（Succinct） Telepathy是由Succinct团队开发的协议，目标是使用户可以在无许可、去信任的情况下实现互操作性。通过Telepathy，DAPP可以安全地将消息从源链发送到任意目标链。该定义符合传统的跨链消息定义模型。 Telepathy跨链通信模型主要有五个步骤，具体如图4 所示。 ( 1) 多链DAPP合约发起一个多链互操作指令。 ( 2) Telepathy Broadcaster接受到这个指令后，约在12 分钟后，Ethereum主链形成最终性的共识。 ( 3) Telepathy Operator使用Etereum共识生成ZKP共识证明。 ( 4) Telepathy Relayer将共识证明传递到目标链合约。 ( 5) 目标链轻客户端合约验证ZKP共识证明。这种通用的消息跨链模型非常适合多链链间消息通信，并且知名跨链项目Across已经宣布使用Telepathy构建Avalanche 与BNB Chain 之间的跨链桥。图4 跨链消息传递模型资料来源：Telepathy官方简介 5. Nil.foundation Nil与Brevis的定位类似，目标是成为多链证明市场，DAPP可以根据自己的需求请求Nil生成证明数据。这里不做过多赘述。此外上篇文章提到的zkLLVM也是Nil的核心产品之一。该产品定位于帮助开发者使用高级语言编译ZKP，极大地降低了开发者的准入门槛。通过这个工具，开发者可以使用自己熟悉的语言专注于电路设计，而不是陷入特定领域语言DSL学习。四、总结与展望目前众多团队都在致力于ZK跨链桥的开发。由于ZKP的生成和源链共识紧密相关，而不同链达成共识的方式、使用的签名算法都不相同，在实践当中，各种方案的效率与特点也不尽相同，具体如表2 所示。表2 基于 ZKP 的主要跨链协议比较虽然这些项目都是基于SNARK技术构建的零知识证明系统，但是实现算法、算法优化程度、使用的硬件都难以统一，因此上述ZKP的生成速度仅为参考，更多详细的数据需要进行更严谨的基准测试。目前大部分ZK跨链桥都支持NON-EVM，在这一点上各项目区别不大。而在未来ZK跨链互操作协议的主要竞争点将在于算法优化、多链部署与合约安全上。链下生成ZKP需要大内存高性能服务器，这意味着高昂的设备成本，而优化的算法可以节省算力。近两个月很多跨链协议都有所动作，基本上都是围绕ZKP跨链开展，普遍上线测试网跨链，上线主网的不多。另外很多跨链协议普遍都是链接一两条链，并未实现多链互通，因此未来跨链桥支持的链越多就越有竞争优势。 ZK跨链项目普遍没有经历大规模的市场检验，合约的安全性将决定这些项目是否能在这个市场存活。目前这个问题被大多数人所忽略，而未来安全会成为ZKP项目的最大风险项。跨链协议是区块链安全事故的重灾区，这引发了几乎所有从业人员对跨链协议的担忧，更为严峻的是，目前主流的跨链协议几乎都属于外部验证这一大类，无法实现去信任化，存在严重的安全风险。一旦中继者联合作恶，多链生态参与者将面临无法估量的损失。而ZKP跨链作为原生验证的一类，不仅具有去信任化，通用性等原生验证跨链独有的优势，Gas消耗也比直接在目标链验证原始源链数据的方式低，最近跨链项目方频繁地推出ZKP跨链测试网说明他们也敏锐地发现了这一点。但ZKP跨链协议发展仍处于早期，ZKP跨链协议是否能够给用户带来更加安全的跨链体验，还有待我们进一步跟踪和观察。相关参考文献： https://hyperoracle.medium.com/zkpos-end-to-end-trustless-65edccd87c5a https://blog-cn.celer.network/2023/03/22/brevis-a-zk-omnichain-data-attestation-platform/ https://drive.google.com/file/d/1ibuHChcYcYCN6JelRAQPnM4rkaB9EgAM/view https://blog.succinct.xyz/blog/telepathy https://docs.telepathy.xyz/protocol/overview https://blog.celer.network/2023/03/21/brevis-a-zk-omnichain-data-attestation-platform/ 来源：金色财经
金色财经2023-04-17

上一页
1
•••
52
53
54
55
56
•••
68
下一页

24小时热点

最新话题更多