Harry

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 等...

1. zkTLS 介绍 https://x.com/YashasEdu/status/1830863460839891461 @Harry:zkTLS 允许用户证明他们已经从网站收到了某些数据，而无需透露这些数据的全部内容。例如，你想证明你已年满 21 岁可以访问某项服务，但不想透露确切出生日期。 zkTLS 可以证明你符合年龄要求，而无需暴露你的完整个人信息。   2. 启动协议型社区的 5 个经验 https://x.com/nickmartitsch/status/1829206571718693208...

1. .git 内部一探 https://jvns.ca/blog/2024/01/26/inside-git/ @Harry:对 .git 目录中每个部分作用的解释。   2. CPU 原理解释 https://cpu.land/ @Harry:想知道在电脑上运行程序时到底会发生什么？阅读本文，你将了解多进程如何工作、系统调用到底是什么、计算机如何利用硬件中断管理内存，以及 Linux 如何加载可执行文件。  ...

1. Discrete mathematics 4th 发布啦 https://discrete.openmathbooks.org/dmoi4.html @Amagi:《离散数学：开放导论》第四版现已发布，并在Runestone Academy上线。新版本带来了许多改进和新的内容组织，首先介绍逻辑和证明，然后通过图论进行证明练习。书的后半部分涵盖计数（新增“概率应用”部分）和序列。这样的安排据说能帮助学生更好地学习。此外，书中更加强调离散结构，对计算机科学专业的学生更有用，同时仍然注重数学概念的理解。书中增加了更多互动练习和一些Sage和Python代码，供学生探索。PDF版本即将推出，印刷版将于明年由CRC Press发布。在线版本将永久免费提供，并以创作共用许可证发布，但增加了非商业用途限制。   2. 针对 OpenSSH 几起后门事件的思考 https://blog.isosceles.com/openssh-backdoors/ @Harry:这篇文章讨论了OpenSSH的后门事件，并将其与2002年的类似事件进行了比较。文章强调了供应链攻击的风险及其演变，指出在开源开发中需要改进安全措施。...

1. 本地的大模型门户 https://github.com/exo-explore/exo @董-村民:4000个星星了。Iphone也可以用它跑8B的llama3.1本地模型，因为是集群，本地的硬件都可以用起来   2. Xapian: 开源搜索引擎库 https://xapian.org/ @Harry:Xapian 是一个用 C++ 编写的开源搜索引擎库，可绑定多种语言，允许开发人员为其应用程序添加高级搜索功能。它是一个多功能工具包，内置了对加权模型和布尔查询操作符的支持，并可进行扩展以满足特定需求。   3. BitVM...

1. Triton VM https://github.com/TritonVM/triton-vm @饭卡:写brainfuck STARK教程的团队实现的递归zkvm，结合他们团队的Tip5论文以及Triton VM文档，很容易明白该zkvm是如何设计实现的。   2. 无数据库的高可用性 Web 服务 https://github.com/bknr-datastore/bknr-datastore @Zisu:一种基于 CLOS 的内存数据存储，构建无数据库的高可用性...

1. Mactop https://github.com/context-labs/mactop @shooter:专为苹果芯片打造的 Mac 性能监控工具。该项目用不到 1k 行的 Go 代码，实现了一个类似 top 命令的工具。它可以实时显示 Apple M 系列芯片的性能指标，包括 CPU、GPU...

1. gpu.cpp：解放任何设备的GPU能力 https://github.com/AnswerDotAI/gpu.cpp @饭卡:在过去如果想用GPU做一些并行计算，往往需要使用Nvidia的支持CUDA专门GPU。现在随着webGPU的标准逐渐统一，任何支持 Vulkan, Metal 和 DirectX 的硬件都可以使用GPU做并行计算而不需要专门的Nvidia硬件和CUDA编程。gpu.cpp解开了webGPU和浏览器绑定的束缚，你可以在任意c++程序里调用gpu.cpp，利用webGPU来对你的程序做并行计算。   2. Llama as a System https://github.com/meta-llama/llama-agentic-system...

1. Stanford Blockchain Accelerator https://docs.google.com/forms/d/e/1FAIpQLSdancJtfb1rgi1kDwtnlKq_n-Vp1JJu8TLwjBh873dVr1M-WA/viewform @Harry:斯坦福区块链加速器第六期的申请, 截止时间 7.31, 五个月时间, 团队内必须有一个技术成员. 硅谷的资源还是很不错的.   2. lambda class版zk-stark https://github.com/lambdaclass/lambdaworks/tree/main/provers/stark...

1. 管理 Github star 项目的 web 应用 https://starflare.app/ @Caos:一个管理 Github star 项目的 web 应用, 方便针对 star...