Web3 极客日报 #1602

关于 Dark Skippy供应链签名盗币攻击的展开

https://x.com/reardencode/status/1829192124266639793

董-村民: 里面说到的老炮面斥社会工程攻击的博客，可以听下. 比如我没留意的：设备可以模拟成为USB 键盘并尝试打开包含机密的 URL；它可以发布包含机密的二维码或 NFC 消息；它可以包含 WiFi 或蜂窝芯片以直接传输机密.

keccak hash算法实现

https://github.com/snjax/keccak

饭卡: 该项目不是tiny-keccak那样高度优化算法实现，而是根据keccak标准的通俗易懂实现版本，方便结合理论学习该算法的具体实现流程。

Ceno-zkvm: Non-uniform, Segment and Parallel Zero-knowledge Virtual Machine

https://eprint.iacr.org/2024/387.pdf

Dream: 提出zkvm设计思路：分段和并行化，发生在两个级别：操作码和基本块。这两种设计都试图最小化影响电路尺寸和支持的控制流动态拷贝数，确保计算成本与实际执行的代码直接相关， 第二个设计：通过提出创新的数据流重建技术中，我们可以大幅减少堆栈操作， 还提出了一种非对称GKR方案来实现我们的设计，将非均匀证明器和均匀验证器配对，为动态长度数据并行电路生成证明。使用GKR证明器也大大减少了承诺的大小