在寻找区块链的可扩展性和计算效率的解决方案中,零知识证明( zkp )技术尤为重要。 z kvm ( zero - knowledge virtual machine )是这一技术的具体应用之一。 z kvm 作为一种基于 zkp 的通用计算平台,能够在不泄露执行细节的前提下验证计算的正确性。并支持在链外处理计算量大的任务,仅将验证结果提交到区块链,极大地提升了区块链的扩展性。目前,市场上如 a16 z 、 taiko 、 zkm 等多个项目正在开发 z kvm 解决方案。BOJ币圈网 - 区块链数字货币实时行情平台
zkVM 是一种基于零知识证明的通用计算平台,能够执行各种计算任务,包括执行智能合约、数据处理和复杂算法运算等。其核心功能是生成零知识证明,这种证明能验证计算的正确性而不透露执行细节。通过 SNARKs 技术,这些证明可以在链下进行验证,验证者不需要在区块链上重新执行整个计算过程,付出昂贵的计算成本。BOJ币圈网 - 区块链数字货币实时行情平台
此外, zkVM 的设计不仅仅限于加密货币交易,它的通用性使其可以在多种应用场景中部署,如医疗数据处理、供应链管理、秘密投票系统等,这些应用都需要在确保数据安全性的同时,验证处理逻辑的正确性。BOJ币圈网 - 区块链数字货币实时行情平台
传统的虚拟机( VM )通常指的是在物理硬件上虚拟出一套完整的计算环境,核心功能是模拟硬件环境,允许在同一个物理硬件上运行多个操作系统或应用。这些虚拟机主要通过硬件虚拟化技术和操作系统级别的隔离来实现其功能。它们通常不涉及到对运行在其中的应用程序或数据进行加密验证的过程。BOJ币圈网 - 区块链数字货币实时行情平台
零知识虚拟机(zkVM)使用零知识证明技术来确保程序执行过程的正确性,这种技术适用于任何可以被编译和运行在虚拟机上的程序。zkVM 的设计注重于提供一种通用的计算验证平台,适用于各种应用场景,并支持多种编程语言,如 Rust、C/C++ 和 Go,开发者可以使用自己熟悉的语言来构建应用程序。计算和验证过程往往比传统 VM 更耗时,因为生成零知识证明是一个计算密集型的过程,要求大量的计算资源,这在很大程度上限制了交易处理速度( TPS )。当前的 zk 技术,虽然在单个证明生成方面已经取得显著进展,但在高负载条件下,处理大规模交易的能力仍有限。每个证明的生成可能需要数秒到数分钟不等,这对于那些需要高吞吐量的应用(如大规模支付处理系统)构成了限制。BOJ币圈网 - 区块链数字货币实时行情平台
zkEVM 是 zkVM 的一个特定实现,专为以太坊生态设计,旨在通过零知识证明增强以太坊的可扩展性。它完全兼容以太坊的智能合约和开发工具,比如 Solidity 和 Vyper ,现有的以太坊应用可以无缝迁移至 zkEVM ,无需任何修改。因此, zkEVM 更像是以太坊的一个特定优化版本。BOJ币圈网 - 区块链数字货币实时行情平台
尽管面对 zk 技术的挑战,市场上仍然有一些项目方在开发 zk VM 解决方案上展现出了技术实力。BOJ币圈网 - 区块链数字货币实时行情平台
4 月 9 日,a16z 发布 zkVM 解决方案Jolt 的初步实现,Jolt 是一种新型的 zkVM,主要特点是运行速度快,而且对开发者来说更易于扩展和进行代码审计。BOJ币圈网 - 区块链数字货币实时行情平台
与其他基于 STARK 框架的 zkVM 不同,Jolt 利用了 Lasso 查找参数和基于 sumcheck 的技术。这种创新方法不仅简化了新虚拟机指令的实施,还提高了系统的整体速度。Jolt 的设计强调易用性和效率,它的代码库非常精简,Jolt 中的每条 CPU 指令只需 50 行 Rust 代码即可实现。此外,Jolt 的性能也非常出色,在初步基准测试中,执行零知识证明的速度比 RISC Zero快 5 倍以上,比 SP1 快 2 倍。BOJ币圈网 - 区块链数字货币实时行情平台
RISC Zero是一种具有递归 SNARK 结构的 zkVM ,其特点在于采用了一种支持证明相互嵌套的递归方法。在 SNARKs 技术中,递归可以将复杂的证明分解成更小、更易于管理的证明。这些小型证明可以独立进行验证,并最终合并成一个完整的大证明,这一过程不会影响证明的有效性。RISC Zero 的独特之处在于其实现递归的方法,将多层证明无缝集成到一个单一的证明链中,不仅减少了计算负荷和需要处理的数据量,还能在多个计算步骤中保持验证过程的安全性和完整性。BOJ币圈网 - 区块链数字货币实时行情平台
RISC Zero 的另一个独特之处在于它使用了 RISC-V 指令集,这是一种开放式标准 ISA (指令集架构),旨在实现可扩展性和可扩展性。这一选择确保了 RISC Zero 可以利用广泛的工具和支持生态系统,使其与其他可能使用专有或不太通用架构的 zkVM 相比,更易于访问和集成到现有系统中。BOJ币圈网 - 区块链数字货币实时行情平台
去年他们成功完成了 4000 万美元的 A 轮融资。此轮融资由 Blockchain Capital 领投,,其他知名投资者包括 Bain Capital Crypto 、 Galaxy Digital 、 IOSG Ventures 、 RockawayX 、 Maven 11、 Fenbushi Capital 、 Delphi Digital 等参与其中。BOJ币圈网 - 区块链数字货币实时行情平台
