Web3 极客日报 #1751

libZK：零知识证明库

https://bcnijzlqdt0u.feishu.cn/docx/YQWcd0nXooFCtCxlkFocDin7nJb

Harry: 文章讨论了 libZK 零知识证明库，它提供了一种生成简洁的非交互式零知识证明的技术。这种方法涉及在不透露额外信息的情况下证明满足给定电路的见证的存在。本文详细介绍了 libZK 系统的各个组成部分，包括 Ligero ZK 证明及其与用于可验证计算的 sumcheck 协议的集成。它概述了与库相关的基本操作、序列化和安全考虑因素。

radix 2^51 技巧

https://www.chosenplaintext.ca/articles/radix-2-51-trick.html

Harry: 文章探讨了一种称为 "radix 2^51 表示法 "的优化技术，以提高现代 CPU 的加减运算性能。文章解释了传统加法算法中进位传播所带来的挑战，并演示了调整数字表示法如何消除中间进位，从而实现并行性并提高计算效率。

开发人员更替的炒作循环往复

https://alonso.network/the-recurring-cycle-of-developer-replacement-hype/

Harry: 文章讨论了技术进步有望取代软件开发人员，但却导致新的专业化和更高层次角色的循环往复。文章探讨了 NoCode、云计算、离岸开发和人工智能辅助工具如何改变而非消除开发人员的角色，强调系统架构仍然是一项不可替代的技能。