Harry

1. 键盘操控鼠标 https://mouseless.click/ @Mark Tang:mouseless是一款在某些场景下用键盘取代鼠标的工具，通过输入简单的屏幕坐标，你可以在2秒内点击屏幕任何地方，比传统的鼠标移动更高效，无需记忆复杂操作，mouseless通过一个直观的遮罩层来引导你完成坐标的输入   2. Coolify https://github.com/coollabsio/coolify @Cedric:一个开源而且可以自托管的 Heroku / Netlify / Vercel 替代品。...

1. awesome-uniswap-hooks https://github.com/ora-io/awesome-uniswap-hooks @饭卡:Uniswap v4 Hooks使用案例合集   2. 2024 年开发者报告 https://x.com/MariaShen/status/1867295512627753432 @Harry:Electric 发布的 2024 年 web3...

1. master bitcoin book https://github.com/bitcoinbook/bitcoinbook/blob/develop/BOOK.md @饭卡:精通比特币第三版（2023年更新）   2. 计算素数新方法 https://www.quantamagazine.org/mathematicians-uncover-a-new-way-to-count-prime-numbers-20241211/ @Harry:数学家们发现了一种新的方法来计算素数，使用一种称为“粗略素数”的概念，可能是解决一般类型的素数问题的关键一步   3. Crypto Market Map...

1. 吴说对话 Vitalik（一） https://mp.weixin.qq.com/s/QtOQGJ7N-XvqAW0e3VHYAg @Harry:本期播客为吴说创始人 Colin Wu 对话以太坊联合创始人 Vitalik Buterin的第一部分，主要讨论了以下问题：回忆以太坊与中国结缘的故事，他重点强调了万向的“救命”支持和对币乎的记忆；讨论BCH大区块没有成功的原因；以太坊和比特币文化的差异；为什么认可以太坊是世界计算机的概念；区块链为什么是唯一值得信任的；俄乌战争对Vitalik自己如何产生巨大的改变。   2. AI 辅助编码的现状及其对软件开发的影响 https://addyo.substack.com/p/the-70-problem-hard-truths-about @Harry:AI...

1. kaze.ai https://kaze.ai @Sam:一款效果良好的去水印AI产品   2. 2pc-is-for-lovers https://github.com/voltrevo/2pc-is-for-lovers @饭卡:多方计算应用小例子，用MPC表白，无需惧怕被拒尴尬。   3. 如何设计一个账本系统 https://news.alvaroduran.com/p/engineers-do-not-get-to-make-startup @Harry:初创公司的工程团队为了快速推出产品，忽略了账本系统的重要性，导致出现了“跳动的美分”（dancing cents）问题，即每次交易都会少几美分。传统的单-entry 系统无法满足现代金融的需求，需要使用双-entry...

1. napi-rs https://github.com/napi-rs/napi-rs @饭卡:通常情况下为了追求高性能Node add-ons会用c++编写，napi-rs提供了一个非常简洁的方式，使用Rust编写add-ons无缝接入Node生态。   2. 零知识证明 在SSL 中的潜在应用 https://mp.weixin.qq.com/s/_IH870XfDKB83NAE2zHuHA @Shooter:DECO利用三方握手协议，将预主密钥分成两个加性分片，分别由客户端和第三方验证者持有，两方利用认证混淆电路[3]（Authenticated Garble Circuit）完成密钥导出和会话阶段的对称加密。最后在第三方验证者拿到来自TLS服务器的消息密文后，将预主密钥分片发送给客户端，客户端此时可以对返回的消息进行解密，并且使用SNARK证明其持有正确的预主密钥分片、发送消息和返回消息，其能够正确生成发送消息的密文和返回消息的密文，从而完成证明。   3....

1. 微信小程序反编译工具 https://github.com/Ackites/KillWxapkg @Frozen:自动化反编译微信小程序，小程序安全评估工具，发现小程序安全问题，自动解密，解包，可还原工程目录，支持Hook，小程序修改   2. extism plugin system https://extism.org/docs/concepts/plug-in-system/ @饭卡:Extism 是一个开源的 WebAssembly (Wasm) 插件系统框架，通过该系统WebAssembly可以实现插件化，一次编写到处运行。可能未来WebAssembly真正大火的方向是用来构建小程序。  ...

1. Chat2DB:新型AI化数据库连接器 https://github.com/CodePhiliaX/Chat2DB @Frozen:在日常开发过程中需要对数据库进行管理，常用的数据库连接器都很传统，需要比较多资源，同时需要手写大量SQL语句。而开源的Chat2DB轻量便捷，并且有AI辅助生成SQL   2. The-book-of-optimism-fault-proof https://github.com/joohhnnn/The-book-of-optimism-fault-proof-CN @饭卡:这是一份从多个角度详细讲解fault proof机制的文档，目的是帮助初学者快速理解fault proof的工作原理及其具体的代码细节。   3. 苹果公司的 M4 Max...

1. MPC From Scratch https://www.zellic.io/blog/mpc-from-scratch/ @饭卡:MPC入门教程，学完之后你会对MPC的基本概念有大致了解。   2. Send: 开源文件分享服务 https://send.vis.ee/ @Harry:Send 旨在提供简单且私密的文件共享功能，上传文件后会得到一个下载链接，可以设置下载密码和过期时间。   3. 使用...

1. rust-type-fuckery https://github.com/4gboframram/rust-type-fuckery @饭卡:rust语言一直以编写困难闻名，特别是类型约束，写起来让人头大。用rust类型系统实现brain fuck，或许这场脑爆练习能更好的帮助你深入理解rust类型系统。   2. Improving logarithmic derivative lookups using GKR https://eprint.iacr.org/2023/1284.pdf @dream:GKR版本的多变量的 logup...

1. TLSNotary https://tlsnotary.org/ @饭卡:许多zk TLS项目对zk TLS概念和大致实现原理都没有完整的介绍，该项目弥补这一问题。通过阅读该项目文档，可以清晰了解zk TLS是如何设计的。   2. 跨链桥深度研究：从链上资本的「路由器」，到价值捕获的新经济引擎 https://www.odaily.news/post/5199022 @Mark·R:跨链桥作为区块链生态系统的关键枢纽，尽管收入增长缓慢，但通过锁定总价值和多种费用盈利。未来，链抽象技术将提升用户体验，使跨链操作更无缝，推动资金流动。跨链桥有潜力成为加密货币中不可或缺的基础设施。   3. Ethereum Foundation...

1. 关于 Dark Skippy供应链签名盗币攻击的展开 https://x.com/reardencode/status/1829192124266639793 @董-村民:里面说到的老炮面斥社会工程攻击的博客，可以听下. 比如我没留意的：设备可以模拟成为USB 键盘并尝试打开包含机密的 URL；它可以发布包含机密的二维码或 NFC 消息；它可以包含 WiFi 或蜂窝芯片以直接传输机密.   2. keccak...

1. SP1设计白皮书 https://drive.google.com/file/d/1aTCELr2b2Kc1NS-wZ0YYLKdw1Y2HcLTr/view @饭卡:该白皮书对SP1 zkvm设计有一个宏观介绍。   2. 零知识证明的应用领域 https://arxiv.org/pdf/2408.00243 @Harry:这些应用领域涉及区块链的隐私、扩展、存储和互操作性, 以及投票、身份验证、时间锁和机器学习等非区块链应用。   3. 分布式共识机制教程 https://thesecretlivesofdata.com/raft/ @Harry:用网页动画的形式介绍分布式共识机制...

1. risc0谈zkvm https://risczero.com/blog/designing-high-performance-zkVMs @饭卡:该文章中risc0团队简述如何设计高性能zkvm   2. 使用 Sidekick 高效托管项目 https://github.com/MightyMoud/sidekick @Harry:Sidekick 是一个命令行工具，旨在简化在 VPS 上托管项目的过程。它通过一键设置 VPS、支持从 Dockerfile...

1. Understanding Jolt: Clarifications and reflections https://a16zcrypto.com/posts/article/understanding-jolt-clarifications-and-reflections/ @Dream:这里面提到 lookup singularity ， impressive，似乎所有的约束都可以用lookup了， 尤其是多变量bit 矩阵的构造，sum check 等...