Web3极客日报

1. ZK WebautN https://mirror.xyz/0x8958D0c419BCDFB8A86b8c0089552bE015fbe364/IzmGOJM8y_02JofILk7n4yAbCnVx4D7Zt3TAxKl04_U @Survivor:介绍ZKWebauthN的文章，EIP7212推动内置Secp256r1算法验证的典型应用场景，还介绍了 ZKP for 4337 and a webauthN-based wallet的一个思路。   2. 通往AGI之路 https://waytoagi.feishu.cn/wiki/QPe5w5g7UisbEkkow8XcDmOpn8e...

1. 给 5 岁的孩子解释零知识证明 https://eli5.zksync.io/ @Harry:zksync 搞的一个教程, 用卡通形象和简单的语言解释零知识证明。   2. mage-ai https://github.com/mage-ai/mage-ai @Mark.R:毫不费力地集成和同步来自第 3 方来源数据，使用 Python、SQL...

1. zoxide https://github.com/ajeetdsouza/zoxide @陈锡亮:zoxide 是一个更加智能的 cd，能够通过历史记录来执行智能跳转，可以更方便的在文件夹间跳转。   2. Web3黑话汇总 https://github.com/WTFAcademy/WTF-gm @Ryan:学习web3从了解什么是gm入门，方便和大佬沟通对话。   3. 编码5分钟，命名2小时？史上最全的Java命名规范参考！ https://mp.weixin.qq.com/s/xHK54SAMlTlYnU1li0mbCg @Ryan:学习命名规范，解决计算机科学中最难的两件事之一。...

1. Electric SQL https://electric-sql.com/ @Frozen:在 Postgres 上直接跑应用，再次践行统统搞 Postgres。   2. Latency is Money: Timing Games /acc...

1. 跟着实际例子学习yul编程 https://github.com/Perelyn-sama/yul_by_example @饭卡:yul语言其实就是简化版的EVM opcode，跟着这个实际例子学习yul语言可以深入理解EVM如何处理数据和指令。   2. AI x Crypto 报告 https://linktr.ee/aicryptoprimer @Sun:AI和加密领域（Crypto）的融合将催生无数值得关注的项目。在本报告中，我们将介绍概念框架，具体的实例和见解，帮助您了解这一领域的过去、现在和未来。   3. 以太坊的Rollup...

1. 合约精度计算漏洞与安全建议 https://www.odaily.news/post/5193181 @Mark.R:越接近牛市协议里资产越多，安全的细节更要注意，希望后续协议可以引以为戒，保护用户加密资产安全。   2. zkCoins: 一种比特币扩展方案 https://gist.github.com/RobinLinus/d036511015caea5a28514259a1bab119 @Harry:zkCoins 是一种比特币的扩展方案。它将客户端验证与零知识证明系统相结合将大部分验证复杂性都转移到链外，并在交易的各个发送者和接收者之间直接进行通信。全局共识规则很少，这使得区块验证变得简单。甚至不需要全局 UTXO 集。与 zk-rollups 相比，zkCoins 不存在数据可用性问题，并且不需要排序器来协调全局证明聚合。zkCoins...

1. 以太坊 ZK Grants Round https://blog.ethereum.org/en/2024/02/21/zk-grants-round @Harry:以太坊基金会与 Aztec、Polygon、Scroll、Taiko 和 zkSync 进行一轮合作 grant，以开发零知识公共产品项目，grant 池总额为 90 万美元。提案申请现已开放，截止日期为 2024...

1. 开源通讯软件 https://thelounge.chat/ @Frozen:基于IRC的通讯软件，很方便进行IRC管理，也可以使用各种表情等进行聊天。可以作为替代品   2. 比 grep 更友好的命令行搜索工具 https://ugrep.com/ @MarkTang:ugrep是一个比grep更友好的命令行搜索工具，它支持更多更加复杂和灵活的正则搜索，并且在大文件场景下有更好的搜索性能。除了搜索之外，ugrep还支持统计、提取、替换等多种操作   3. 一个专注于用户体验的web开发框架 https://remix.run/ @JinhuiFan:由react-router...

1. Arb 创始人从 L2 的角度解读 eip4844 https://medium.com/offchainlabs/eip-4844-what-does-it-mean-for-l2-users-5e86ebc4c028 @Qizhou:EIP 4844 是什么？本文将全方位解读 EIP 4844 基于它如何应用到 Roll-up 中。  ...

1. SP1 https://github.com/succinctlabs/sp1 @liquan.eth:sp1 是一个 zkVM，能够证明任意 rust 程序的执行。相比于 halo2 等需要手动写复杂的电路的 zk 框架，sp1 能够更方便普通开发者使用 zk 技术。  ...

1. AI 会取代所有人类代码吗? https://medium.com/@peterhdiamandis/will-ai-replace-all-coders-1979a8ac4279 @北美开吻:个人拙见：Humanity’s Best “Coders” Will be Hybrids   2. 浏览器 Thorium thorium.rocks @Nicole:号称地球上最快的浏览器，支持谷歌同步，做了大量的性能编译方面的优化。...

1. zkMesh: Jan 2024 recap https://zkmesh.substack.com/p/zkmesh-jan-2024-recap @liquan.eth:2024年一月份的 zk 月报   2. Future of Ethereum L2s https://drive.google.com/file/d/1NfruN4SG1aqnPdFm5FJ0uqIraZgbHLFT/view?pli=1...

1. 在 L2 集成人工智能 https://twitter.com/muneeb/status/1752700689099477008 @松:Stacks 创始人 muneeb.btc 发推探讨了比特币与人工智能的结合，提出了在 L2 中实现人工智能的集成。   2. 让前端从重复的写 classname 的工作中解脱出来...

1. arkworks https://arkworks.rs/ @Harry:arkworks 是一个用于 zkSNARK 编程的 Rust 生态系统。生态系统中的库提供了实现zkSNARK 应用程序所需的所有组件的高效实现，从通用有限域到常见功能的 R1CS 约束。   2. 开源 JSON...

1. ZK Maze http://zkmaze.zkid.xyz @张晓:基于链抽象的zk-STARK小游戏。   2. ERC-7533: Public Cross Port https://eips.ethereum.org/EIPS/eip-7533 @Zisu:推荐我跟加戈一起写的7533EIP提案: 7533提案通过了！ 这个提案可以帮助跨链桥节约大量的gas成本，并且使多个跨链桥能联合起来大幅提升整体安全性。  ...