看看人工智能能帮我们在形式化验证方面做些什么

• https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html

学习指南：使用 Rust 从零开始地创建一个 Stark 证明者和验证者

• https://github.com/microbecode/stark-from-zero

理解STARK的运算、证明与验证与编程实现（Fiat–Shamir, Merkle commitments, and FRI queries）

• https://floatingpragma.io/starklab/

Halo2的实现代码、benchmark、原理解释

• https://github.com/rasmus-kirk/halo

• https://halo.rasmuskirk.com/thesis/thesis.pdf

简洁、对开发者友好的教程系列，帮助 Solidity 和其他经验丰富的程序员快速学习 Cairo 并在 Starknet 上构建智能合约

• https://rareskills.io/cairo-tutorial

Ethproofs更新了2025年的年度总结与2026年的年度展望，在新的一年，他们可能会更关注：EF Cryptography, zkEVM, and Protocol Snarkification

• https://ethproofs.org/blog/ethproofs-2025-review-2026-roadmap

• https://eprint.iacr.org/2025/2249

• https://eprint.iacr.org/2025/2239

• https://eprint.iacr.org/2025/2258

• https://eprint.iacr.org/2025/2262

• https://eprint.iacr.org/2025/2268

If you're interested in our ZK Insights or have ideas for similar content to share, we highly encourage everyone to head over to our Github repo and submit a Pull Request. Join forces with like-minded ZKPunks to co-create!

✨ Github repo link: https://github.com/ZKPunk-Org/zk-insights
✨ Web collection version: https://insights.zkpunk.pro/

Special thanks to: Yingfei , Hins

看看人工智能能帮我们在形式化验证方面做些什么

• https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html

学习指南：使用 Rust 从零开始地创建一个 Stark 证明者和验证者

• https://github.com/microbecode/stark-from-zero

理解STARK的运算、证明与验证与编程实现（Fiat–Shamir, Merkle commitments, and FRI queries）

• https://floatingpragma.io/starklab/

Halo2的实现代码、benchmark、原理解释

• https://github.com/rasmus-kirk/halo

• https://halo.rasmuskirk.com/thesis/thesis.pdf

简洁、对开发者友好的教程系列，帮助 Solidity 和其他经验丰富的程序员快速学习 Cairo 并在 Starknet 上构建智能合约

• https://rareskills.io/cairo-tutorial

Ethproofs更新了2025年的年度总结与2026年的年度展望，在新的一年，他们可能会更关注：EF Cryptography, zkEVM, and Protocol Snarkification

• https://ethproofs.org/blog/ethproofs-2025-review-2026-roadmap

• https://eprint.iacr.org/2025/2249

• https://eprint.iacr.org/2025/2239

• https://eprint.iacr.org/2025/2258

• https://eprint.iacr.org/2025/2262

• https://eprint.iacr.org/2025/2268

If you're interested in our ZK Insights or have ideas for similar content to share, we highly encourage everyone to head over to our Github repo and submit a Pull Request. Join forces with like-minded ZKPunks to co-create!

✨ Github repo link: https://github.com/ZKPunk-Org/zk-insights
✨ Web collection version: https://insights.zkpunk.pro/

Special thanks to: Yingfei , Hins