ZK-EVM
3,522 次浏览
4 个内容
热门
最新内容
注意注意，有0撸空投#Airdrop🪂 ，一起撸起来！
基于ZK的以太坊二层，Ola。基于并行执行架构的ZKVM，具有可编程的隐私、可编程的可扩展性和更好的开发者兼容性。之前V神也支持过基于ZK的二层方案。借助 Ola 功能齐全的 ZK-ZKVM，开发人员可以利用以隐私为中心的应用程序的潜力，优先考虑用户控制和数据保护。
这个项目在2023年7月获得完成300万美元种子轮融资。
与其他ZK二层相比，这个项目的特点在于可以通过手机进行挖矿，保证验证不再是大户的权限，显著提升去中心化水平。作为第一个利用“ZKVM+DePin”技术的项目，Ola 推出了 Massive，一个去中心化的 ZKP 验证器网络。用户可以在智能手机上验证ZKP并挖掘原生Ola #tokens ，从Ola网络及其生态合作伙伴那里获得多重奖励。
- 轻松访问：只需您的手机。
- 多重奖励：挖矿、质押、邀请等等。
- 以用户为中心：专为轻松和公平而定制。
- 可持续发展：随着时间的推移参与多个项目。
现在可以注册，4月份上线开始挖矿，提前加入社区，获取OVP。
链接：https://olavm.org/massive?minerCode=YPMKDL
#ZK-proof #ZK-EVM
基于ZK的以太坊二层，Ola。基于并行执行架构的ZKVM，具有可编程的隐私、可编程的可扩展性和更好的开发者兼容性。之前V神也支持过基于ZK的二层方案。借助 Ola 功能齐全的 ZK-ZKVM，开发人员可以利用以隐私为中心的应用程序的潜力，优先考虑用户控制和数据保护。
这个项目在2023年7月获得完成300万美元种子轮融资。
与其他ZK二层相比，这个项目的特点在于可以通过手机进行挖矿，保证验证不再是大户的权限，显著提升去中心化水平。作为第一个利用“ZKVM+DePin”技术的项目，Ola 推出了 Massive，一个去中心化的 ZKP 验证器网络。用户可以在智能手机上验证ZKP并挖掘原生Ola #tokens ，从Ola网络及其生态合作伙伴那里获得多重奖励。
- 轻松访问：只需您的手机。
- 多重奖励：挖矿、质押、邀请等等。
- 以用户为中心：专为轻松和公平而定制。
- 可持续发展：随着时间的推移参与多个项目。
现在可以注册，4月份上线开始挖矿，提前加入社区，获取OVP。
链接：https://olavm.org/massive?minerCode=YPMKDL
#ZK-proof #ZK-EVM
Vitalik Buterin 提出“神圣的 zkEVM”来解决以太坊上的第 2 层挑战
Buterin 的新提案通过直接在以太坊本身中构建零知识以太坊虚拟机来解决可扩展性问题。
以太坊联合创始人Vitalik Buterin为区块链平台引入了一个新概念，称为“零知识以太坊虚拟机（ZK- EVM）在 12 月。 13 篇博文。
该提案的主要目标是大幅提高以太坊第 2 层协议（包括 optimistic 和 ZK rollups）的效率和安全性。
解决第 2 层协议中的挑战
Buterin 的提议源于简化以太坊当前第 2 层解决方案的需要。这些协议对于以太坊可扩展性至关重要，在很大程度上依赖于 EVM 验证，而 EVM 验证目前涉及依赖庞大且可能存在漏洞的代码库。
此外，旨在模仿 Layer-1 EVM 的 ZK-EVM 面临着跟上主要以太坊协议变化的挑战，导致冗余工作并增加安全缺陷的风险。
Buterin 提出的解决方案涉及将 ZK-EVM 直接嵌入以太坊网络中。这个内部 ZK-EVM 将承担验证 Layer-1 以太坊区块的任务，从而提供更高效、更安全的方法。
随着以太坊的进步，特别是随着使用 ZK-SNARK 的轻客户端的发展，原生 ZK-EVM 的概念变得越来越实用和有吸引力。
拟议的 ZK-EVM 的核心方面
Buterin 设想 ZK-EVM 主要关注通过处理前状态根、块和后状态根等输入来验证以太坊区块。
这将确保后状态根作为块执行的真实结果的完整性。该提案还符合以太坊的多客户端理念，支持使用不同的证明系统，并强调数据可用性和可审计性的重要性。
正如 Buterin 所描述的，实现 ZK-EVM 会带来一些设计挑战和权衡。基本属性包括：
1.兼容性和适应性：系统应该足够灵活以支持各种证明系统，反映以太坊对多客户端环境的承诺。
2.确保数据可用性：对于启用不同客户端的验证至关重要。
3.强调可审核性和可升级性：无需硬分叉即可轻松检查并快速解决任何问题。
4.支持“几乎 EVM”的创新：允许第 2 层解决方案在标准 EVM 功能的基础上进行扩展和创新。
Buterin 讨论的一个关键部分围绕着在开放式多客户端系统和具有预定证明系统的封闭系统之间进行选择，其中证明在外部进行验证。 Buterin 主张建立一个可用的系统，尽管它的复杂性更高，但它具有灵活性和与以太坊基本原则的兼容性。
Buterin 强调速度对于 ZK-EVM 实现至关重要。随着并行化和硬件加速方面的技术进步，目标是减少证明生成时间，从而实现近乎瞬时的处理。#Layar2 #ZK-EVM
以太坊联合创始人Vitalik Buterin为区块链平台引入了一个新概念，称为“零知识以太坊虚拟机（ZK- EVM）在 12 月。 13 篇博文。
该提案的主要目标是大幅提高以太坊第 2 层协议（包括 optimistic 和 ZK rollups）的效率和安全性。
解决第 2 层协议中的挑战
Buterin 的提议源于简化以太坊当前第 2 层解决方案的需要。这些协议对于以太坊可扩展性至关重要，在很大程度上依赖于 EVM 验证，而 EVM 验证目前涉及依赖庞大且可能存在漏洞的代码库。
此外，旨在模仿 Layer-1 EVM 的 ZK-EVM 面临着跟上主要以太坊协议变化的挑战，导致冗余工作并增加安全缺陷的风险。
Buterin 提出的解决方案涉及将 ZK-EVM 直接嵌入以太坊网络中。这个内部 ZK-EVM 将承担验证 Layer-1 以太坊区块的任务，从而提供更高效、更安全的方法。
随着以太坊的进步，特别是随着使用 ZK-SNARK 的轻客户端的发展，原生 ZK-EVM 的概念变得越来越实用和有吸引力。
拟议的 ZK-EVM 的核心方面
Buterin 设想 ZK-EVM 主要关注通过处理前状态根、块和后状态根等输入来验证以太坊区块。
这将确保后状态根作为块执行的真实结果的完整性。该提案还符合以太坊的多客户端理念，支持使用不同的证明系统，并强调数据可用性和可审计性的重要性。
正如 Buterin 所描述的，实现 ZK-EVM 会带来一些设计挑战和权衡。基本属性包括：
1.兼容性和适应性：系统应该足够灵活以支持各种证明系统，反映以太坊对多客户端环境的承诺。
2.确保数据可用性：对于启用不同客户端的验证至关重要。
3.强调可审核性和可升级性：无需硬分叉即可轻松检查并快速解决任何问题。
4.支持“几乎 EVM”的创新：允许第 2 层解决方案在标准 EVM 功能的基础上进行扩展和创新。
Buterin 讨论的一个关键部分围绕着在开放式多客户端系统和具有预定证明系统的封闭系统之间进行选择，其中证明在外部进行验证。 Buterin 主张建立一个可用的系统，尽管它的复杂性更高，但它具有灵活性和与以太坊基本原则的兼容性。
Buterin 强调速度对于 ZK-EVM 实现至关重要。随着并行化和硬件加速方面的技术进步，目标是减少证明生成时间，从而实现近乎瞬时的处理。#Layar2 #ZK-EVM
