20240519 记录

• Worldcoin 基金会推出新的 SMPC 系统，将删除旧的虹膜代码。//会有行情？
• 手掌扫描 ID 项目 Humanity 完成 3000 万美元融资，Kingsway Capital 领投 
•  CyberConnect 重塑和更名为 Cyber，转型为社交再质押模块化 L2
• GME 股票传奇交易员 Roaring Kitty 启示录：持有就要不遗余力宣传，善用媒体影响力
• 在接下来的两周里，众议院将对迄今为止最重要的加密货币立法进行投票： FIT21 法案。//看起来很重要
• MakerDAO 创始人：PureDai 将拥有自己的新治理代币，初始供应量为 20 亿枚 
• Vitalik：以太坊网络在近期和中期内将着重提升其无许可性和去中心化特性等 

• HungryCatsStudio 创始人 Marti 分析了 zkVM 的适用场景以及面临的问题。
  • 1) 潜在的任意、非结构化计算；2) 用户生成的程序（你不知道他们编码逻辑）；3) 最终用户不是 ZK 专家。你可能应该使用基于虚拟机的 SNARKs 方法。
  • 虚拟机的设计宗旨是通用，因此对于任何特定程序而言，虚拟机最终可能会执行许多不必要的步骤。消除 ZK 专业知识的障碍将释放巨大的机会，并为更多的开发人员打开大门。我们对此完全赞同，但我们在 ZKML 方面也面临着同样的问题：Web3 开发人员不具备部署可验证模型的必要技能。
• Void Labs 团队表示，在 Blade of God X（BOGX） 「Agents as a Service」过程中，Web3 利用 AI 的生产力，并通过智能合约定义了人类与 AI、数据、甚至是 AI 彼此之间的生产关系和价值分配。//有时间，了解一下 ai agent的进展
• 完全同态加密（FHE）作为近期频繁被提起的加密源语，逐渐受到社区关注。Foresight News 作者 Peng Sun 盘点了 FHE 赛道的 25 个项目，涵盖基础设施、公链、DePIN 网络、AI、游戏、DeFi 等领域。
  • 加速硬件：
    • Ingonyama 是一家半导体公司，旨在加速高级密码学，特别是零知识证明（ZKP）和全同态加密（FHE）。
    • Cysic 是一家硬件加速公司，目前的定位是实时 ZK 证明生成和验证层，基于自研 ASIC、FPGA、GPU 芯片提供 ZK 计算即服务（ZK-CaaS）。
    • Chain Reaction 是一家区块链芯片初创公司，计划于 2024 年底推出 FHE 芯片，允许用户在加密数据的同时处理数据。
    • Optalysys 是一个 FHE 专用硬件加速平台，正在通过光学计算构建能够大规模实现 FHE 的硬件，已推出加速器计划，包括模拟器、软件与硬件。
  • 基础设施：
    • Zama 为 Web3 项目提供 FHE 解决方案，譬如 TFHE-re 库、TFHE 编译器 Concrete、隐私保护机器学习 Concrete ML、机密智能合约 fhEVM。
    • PADO 是一个基于 zkFHE 的去中心化计算网络，最终目标是开发能够支持 ML 应用甚至更广泛的 VM 功能的多功能 zkFHE 算法，应用场景更加广泛，未来任何算力都可以作为节点接入网络并提供服务。
    • Sunscreen 已开源自己的 FHE 编译器，这是一个 Web3 原生编译器，可将普通的 Rust 函数转换为具有隐私性的 FHE 等效函数，为算术操作（譬如 DeFi）提供一些最佳性能，无需硬件加速。
    • SherLOCKED 是一个基于 FHE 的 EVM 区块链隐私支持基础设施，开发者可使用它来编写能够对区块链上加密数据进行操作的自定义智能合约。
    • Fair Math 是一个采用开源与面向社区方法的研究公司，重点在于开发基于 FHE 的隐私保护技术。
    • AntChain TrustBase 是基于蚂蚁链的开源技术体系，包括广域网共识算法，零知识证明、全同态加密等。
  • 公链：
    • Fhenix 是一个由 FHE Rollups 与 FHE Coprocessors 提供支持的以太坊 L2，完全兼容 EVM，对 Solidity 提供全面支持，可以运行基于 FHE 的具有链上保密计算的智能合约。
    • Inco Network 将以太坊 EVM 与 FHE 相结合，并通过 EigenLayer 得到以太坊的保护，允许程序在不解密的情况下操作和计算加密数据，无需使用 TEE、电路、链下存储或协处理器，一切都在链上进行，具有链上原生随机性。
    • Octra 是一个支持隔离执行环境的 FHE 区块链网络，他们提出了一种在 Hypergraphs 上进行引导的新型 FHE，即 HFHE。
    • Shibarium 是 Shiba Inu 的 Layer2 解决方案，正在使用密码学公司 Zama 的完全同态加密技术开发新的 Layer3 区块链。
    • Secret Network 正以 Fhenix 为基础开发 TFHE Layer1 网络，并开发隐私保护 Rollups 作为补充。
  • 3074 事件之后对以太坊治理的思考：VVRC 模型如何改善治理流程
    • 整个事件让很多人感到不高兴，原因如下：1）3074 花了数年时间才获得批准。2）直到 3074 最终获得批准后，核心开发人员才遭到 4337 社区的大量抵制。另一方面，4337 的作者本人也多次向核心开发者表达了他们对 3074 的担忧，但没有结果。3）现在我们正在取消批准 3074 并将其替换为另一个 EIP (7702)。然而，我们可能会同意事情本来可以进展得更顺利。
    • 治理失败的真正原因是，与普遍的看法相反，ACD 并不是协议更新的唯一治理权力，在这种情况下，它被另一个治理权力所覆盖。正如我将要论证的那样，整个 3074/7702 事件只不过是路线图的力量压倒 ACD 的力量的一个例子
    • 以太坊治理的完整心智模型，我将其称为价值观⇒愿景⇒路线图⇒客户端模型，简称：VVRC。V == 价值观 == 社区；V == 愿景 == Vitalik；R == 路线图 == 研究人员；C == 客户端 == 核心开发人员。他们一起工作是这样的：社区围绕某些价值观聚集在一起；Vitalik 阐述了与这些价值观一致的愿景；研究人员根据愿景制定了路线图；核心开发人员根据路线图实施客户端。
  • 短短一年间，比特币发生了 Ordinals 协议崛起、比特币现货 ETF 通过、比特币生态热络、比特币完成第四次减半等众多事件。
    • Ordinals 协议创始人 Casey Rodarmor 确实知道中文社区对他的某些不满，相较于复杂的技术如 Taproot Assets 和 RGB 等
    • 在 Blob 用 33 个 BTC 拍下比特币第四次减半的史诗级稀有聪，并发了 epic 符文后，是目前社区氛围最好的符文之一。//需要了解Blob
    • 这次也看到了很多在做能把 Solana 与 BTC 流动性互通的项目，比如 Magic Eden、Zeus 、THORSwap 和 Cube.Exchange 等。 //利多SOL
  • EthStorage 团队针对目前前端、后端和数据库等组件的中心化程度，提出了两个解决方案：web3:// 访问协议和 EthStorage 二层存储协议，旨在让所有 DAPP 组件都在以太坊上部署，实现真正的去中心化。
    • 在去中心化应用的几个组成部分中，前端和域名服务的中心化程度最为严重。
    • web3:// 可以被理解为去中心化版本的 http://，与 http 的 URL 中通过指定服务器 IP 地址或者域名来访问中心化的资源类似，web3 的 URL 需要指定一个智能合约地址或者 ENS 域名，来访问存储在其上的资源。目前 web3:// 已经成为了以太坊的正式标准（ERC-4804）
    • EthStorage 协议由部署在以太坊上的智能合约和 Layer2 网络中的存储节点组成，其中，智能合约提供了键值存储，而二层的存储节点负责存放数据本身。用户通过 EIP-4844 的 BLOB 将待存储的数据上传到以太坊上，EthStorage 智能合约只会记录 BLOB 内数据的哈希，从而有效的降低存储成本。同时，二层的存储节点会下载对应的 BLOB 数据到本地磁盘，使用 PoRA (Proof of Random Access) 和 ZK，将存储证明提交至以太坊上的合约做验证，该合约需要通过之前记录的 Blob 哈希来确认存储节点上传的 ZK 证明能否对上号，以此确认二层网络中的存储节点真的存放了这些数据
  • zkVM 作为一种基于 ZKP 的通用计算平台，能够在不泄露执行细节的前提下验证计算的正确性。并支持在链外处理计算量大的任务，仅将验证结果提交到区块链，极大地提升了区块链的扩展性。目前，市场上如 a16z、Taiko、ZKM 等多个项目正在开发 zkVM 解决方案。
    • Jolt 的设计强调易用性和效率，它的代码库非常精简，Jolt 中的每条 CPU 指令只需 50 行 Rust 代码即可实现。
    • RISC Zero：具有递归 SNARK 结构的 zkVM ，其特点在于采用了一种支持证明相互嵌套的递归方法。独特之处在于其实现递归的方法，将多层证明无缝集成到一个单一的证明链中，不仅减少了计算负荷和需要处理的数据量，还能在多个计算步骤中保持验证过程的安全性和完整性。RISC Zero 的另一个独特之处在于它使用了 RISC-V 指令集
    • Succinct：开发了 zkVM SP1，SP1 专为执行以 Rust 或任何其他可通过 LLVM 编译的语言编写的代码而定制，灵活性和易用性更高。
    • Taiko 表明自己是第一个实施这个概念的项目，将于 5 月底主网上线时直接支持此多证明系统
    • ZKM：Metis 基金会孵化，采用 MIPS 架构，将其与零知识证明技术结合创建 zk 虚拟机。这种设计使 ZKP 更加与系统内部的计算处理方式相契合，加快操作速度并减少与单独实施 ZKP 协议相关的计算开销。
  • 零知识证明具巨大的潜力，但离大规模采用仍有距离。本文介绍了了三个零知识证明领域的项目：Aligned Layer、Nebra、Succinct，以弥合这一差距。
    • 通过 Aligned Layer，用户无需直接在以太坊上验证证明，而是将这些证明提交至 Aligned Layer。通过 Aligned Layer，验证证明的成本将会降低 10 倍，速度也会更快。
    • Nebra 是一个基于以太坊的通用零知识证明聚合协议，可以将厌憎成本降低 5 倍。具体而言，Nebra 将大量 zk-proof 在链下验证，批量打包，然后只在链上验证一个聚合证明。
    • Succinct 目标是成为生成 ZK 证明的 Base Layer，可以为任何区块链生成 ZK 证明。Succinct 以证明者网络的形式运行。这些证明者在 Succinct 网络上生成 ZK 证明，然后将证明发送给客户。为了确保价格优惠，Succinct Layer 由两部分组成：一个是证明者市场，证明者在这里为每个请求提供最优惠的价格；另一个是聚合系统，它可以对每个生成的证明进行缩放，以降低单位成本
    •