1.V神：不同类型 ZK-EVM 的未来
2.安卓是哪个国家开发的

V神：不同类型 ZK-EVM 的未来

        近期，众多“ZK-EVM”项目相继发布公告。Polygon已开放了ZK-EVM项目，ZKSync推出了ZKSync 2.0计划，而较新的Scroll也公布了ZK-EVM。此外，广告红包系统源码Nicolas Liochon等团队在隐私和拓展探索方面持续努力，包括从EVM到Starkware的zk友好语言Cairo的alpha编译器。本文将探讨EVM等价性的不同分类，以及每种类型的优势与成本。

        包括：

        完全等效于以太坊（类型1）：这类ZK-EVM力求与以太坊完全等效，不改变任何部分以简化生成证明。它们不包括哈希、状态树、交易树或共识逻辑。

        完全等效EVM（类型2）：这类ZK-EVM在内部与EVM完全一致，但在外部有细微差别，如块结构和状态树。它们旨在与现有应用完全兼容，追底层源码通过一些修改简化生成证明。

        类型2.5（与EVM等同，不包含gas费用）：通过增加特定操作的费用成本，显著改善验证时间，同时可能牺牲一些兼容性。

        几乎等同于EVM（类型3）：这类ZK-EVM牺牲部分功能以实现更快的验证时间，与大多数应用兼容，但需进行少量重写。

        相当于高级语言（类型4）：这类系统直接使用高级语言（如SOLIDITY、画源码精灵VYPER）编写的智能合约源代码，编译成zk-Snark友好语言。

        总体而言，这些分类代表了在编码难度与兼容性与验证时间之间权衡的不同方向。每个类型都有其适用场景，有助于推动ZK-EVM领域的发展。然而，实现类型1 ZK-EVM，通过改进ZK-EVM和以太坊本身使其更适合zk-Snark，魔介源码是未来的发展目标。

安卓是哪个国家开发的

       安卓是由美国Google公司开发的。年，Andy Rubin等人成立了Android公司并着手开发Android操作系统。随后在年8月，Google收购了Android公司及其团队，Andy Rubin继续担任Google工程部副总裁，领导Android项目。年月，创建源码包Google宣布开发基于Linux的开源手机操作系统，命名为Android。

       安卓操作系统是在Linux内核基础上开发的，但它并不完全等同于GNU/Linux。这是因为Android移除了一些在GNU/Linux中通常支持的特性，如Cairo、X、Alsa、FFmpeg、GTK、Pango和Glibc等，取而代之的是Android自己的解决方案，如Bionic替代Glibc、Skia替代Cairo、opencore替代FFmpeg等。为了商业应用，Android必须去除受GNU GPL许可证限制的部分，例如将驱动程序移至用户空间，与Linux内核分离。

       Android的Linux内核控制包括安全、存储器管理、进程管理、网络堆栈和驱动程序模型等方面。在获取Android源码之前，需要安装构建工具Repo来初始化源码。Repo是Android用于辅助Git的工具。

       在Android中，数据保护非常严格。应用持有的数据库、文件等内容默认情况下是不允许其他应用直接访问的，除非通过Content Provider。Content Provider允许应用提供数据，每个Content Provider通过一个uri进行标识。这种机制使得应用间的数据交互变得灵活，尽管看起来类似于REST架构风格，但实际上提供了更多的灵活性。