@rkm0959：超椭圆曲线的故事，包括@secconctf，@pb_ctf和隐藏阶群
https://rkm0959.tistory.com/285
@julesdesmit：大家好！ 我用小于1000行代码完成了supernova的通用实现（包括放松版的R1CS ）。 它可以支持多种类型的算术化！
https://github.com/jules/supernova
@yezhang1998：zkEVM 可以说已成为以太坊扩容的黄金标准技术。 在本文中，我想分享我们在构建 zkEVM 时吸取的一些经验教训，以及我们如何考虑不同的权衡。
https://hackmd.io/@yezhang/B167uMZRs
https://mp.weixin.qq.com/s/GbcybotwQn3dY5400y3I5A
@p_e：发布一个极简 Cairo 1.0 模板，使你可以立即试用该语言或开始迁移项目。
https://github.com/auditless/cairo-template
为什么要为 Cairo 1.0 构建新模板？我需要一个简单且可维护的基础来升级 @yagi_fi 合约（不喜欢子模块或分叉）。但这并不简单，生态中的一些朋友也报告说在初始设置方面遇到困难……我查看了使用 Cairo 1.0 的 4 种不同配置，并选择了（我认为）最简单的一种。这个模板主要是对优秀的 Quaireaux 库 https://github.com/keep-starknet-strange/quaireaux的翻版，使他们的想法和工具可以用在在你自己的项目中。你可以使用此模板来玩转 Cairo 1.0，开发和测试合约。 未来我的目标是使其与新框架 (Protostar)、标准、库和安全工具保持同步。
@Ingo_zk：刚刚推出：Ingopedia V2 🙌🦁，零知识证明相关的社区驱动的全面的信息聚合，💥资源、文章、讲座、影片、教程。对零知识感兴趣？ 仔细看！ ht t[ps://ingonyama-zk.github.io/ingopedia/
@Ingo_zk ：新的综述论文：《查找论证简史》 https://github.com/ingonyama-zk/papers/blob/main/lookups.pdf
1) 查找协议的使用 2) plookup 3) cq（全新的视角） 4) 从plookup到cq的演进
@RiscZero：上周我们发布了两个用以支持我们zkVM的重要的内容：
- 一篇形式化描述我们证明系统的白皮书
- 我们的形式化方法工作的Lean4 库
发布 #1: 我们证明系统的形式化描述。
证明系统基于 STARK，使用 DEEP-ALI & FRI。 所有详细信息可以在此处查看：
https://www.risczero.com/proof-system-in-detail.pdf
有没有对证明系统更温和的介绍？ 我们在网站上也提供了许多参考文档和解释。
发布 #2：一个用于我们形式化验证工作的 lean4 库
https://www.github.com/risc0/risc0-lean4
什么是形式化方法？形式化方法 (FM) 是指使用自动数学推理来提高关键系统的安全性和可靠性的工具和过程。https://en.wikipedia.org/wiki/Formal_methods
定理证明器Lean。Lean 是一种静态类型的函数式语言，类似于 Haskell，有一个标准库、一个 IO monad、类型类（traits）、VS 代码集成、一个不错的编译器等。 https://leanprover.github.io/ 但Lean不仅仅是一种编程语言，它也是一个非常强大的定理证明器。 如果可以用Lean来表示你的程序/协议，那么就可以使用Lean来严格证明程序会按照你的想法运行的。这是非常强大的。
今天，我们对收据验证提供了实验性支持。 我们现在正在扩展以支持所有相关的密码学、电路、zkVM 以及基于它们构建的协议和应用的证明。后续？ 持续审计，但更精确、透明、可重现和可扩展。这是一些使用Lean的SNARKs形式化验证工作：
- https://github.com/BoltonBailey/formal-snarks-project
- https://github.com/starkware-libs/formal-proofs
- https://github.com/yatima-inc/Nova.lean
@axiom_xyz：在开源我们的 ZK 电路后，我们宣布推出 Axiom 开源计划：https://www.axiom.xyz/open-source
我们将在为期 12 周的兼职远程计划中提供 ZK 电路开发指导，以构建 ZK 电路原语。 2 月 28 日前在 https://airtable.com/shrDFTfjnIssROIQG 申请。我们很高兴在以下方面指导项目：
- 数据结构（Merkle tries，Bloom过滤器）
- 计算原语（正则表达式、zkVMs）
- 密码学（SHA-256、Blake2b、KZG、IPA、Ed25519、RSA）
- 数值计算（特征值、回归、PCA、page rank）
或者带上你自己的想法！
无需 ZK 经验。 我们在 halo2 中提供 ZK 理论和 ZK 电路实现的直接指导。
先决条件包括熟悉：
- 模运算
- 低级编程（Rust、C、C++）
椭圆曲线的知识是有帮助的，但不是强制性的。
所有制作的作品都将是开源的，主要目标是让贡献者加入到 ZK 中的开源项目之中。 我们将酌情为计算和直接拨款提供支持。