web3daily

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成本，并且使多个跨链桥能联合起来大幅提升整体安全性。  ...

1. Web3Pay:方便集成的Token收款前端组件 https://web3camp.us/web3pay/ @Frozen:在很多场景下网站的拥有者都是希望能够接收Token的形式来获得相应的订单、或者提供服务。Web3Pay提供了一个简单的组件，方便一键集成Token收款到不同的网站上，无需自己写代码即可快速完成   2. 为 shell 历史提供同步、搜索、备份功能的工具 https://atuin.sh/ @MarkTang:Atuin是一个为shell历史提供同步、搜索、备份功能的工具，安装后，Atuin就可以将你的shell历史在多台机器之间同步，过程采用端到端加密，保证安全性   3. The promise and...

1. 免费的 Cloudflare 邮件服务 https://community.cloudflare.com/t/solved-how-to-use-gmail-smtp-to-send-from-an-email-address-which-uses-cloudflare-email-routing/382769 @Frozen:使用 Gmail 来代收自定义域名的邮件，相比较收费的各种邮件服务而言不差的，重点是不用额外花费。一般弄一个一个企业邮箱、自定义域名邮箱会收取不少的费用，现在直接使用 Cloudflare 可以免费用起来。   2. Aggregated Blockchains: A New...

1. Making Sense of Tether on Tron https://liamhorne.com/stablecoins/ @Sun:这是一篇讲稳定币目前的发展，应用场景和主要玩家们的文章。为何中心化玩家目前是大头，以及未来的一些去中心化稳定币的发展和可行性。   2. Hardhat Metamask Connector https://github.com/Web3Camp-Labs/hardhat-metamask-connector @Frozen:合约开发涉及到部署，一般在本地保存私钥，在脚本里通过环境变量来获得私钥部署和调用合约。问题是在主网部署的时候需要拷贝账号的私钥，而且不小心就可能将私钥提交到github，很危险！！Web3Camp...

1. 极简解读BitVM：如何在BTC链上验证欺诈证明（执行EVM或其他VM的操作码） https://mp.weixin.qq.com/s/I-L4w-395KJSI-VqOJSRbg @张晓:推荐这一篇，对BitVM技术方案的解读。   2. ZeroSync: 同步比特币全节点的 STARK 证明 https://github.com/ZeroSync/ZeroSync @Harry:ZeroSync 可以即时验证比特币链的状态。无需下载数百GB的区块数据。简洁的密码学证明可以验证整个交易历史和每个人的当前余额。   3. zk-fhe...