• MathCode is a terminal AI coding assistant with a built-in math formalization engine. Give it a math problem in plain language and it will automatically convert it into a Lean 4 theorem and attempt a formal proof.

• https://github.com/math-ai-org/mathcode

• The process uses FALCON/Dilithium to create the wallets

• Try it: https://daisugi.fyi/create

• Eli Ben-Sasson

• https://x.com/EliBenSasson/status/2037146095197843961?s=20

• Farouk ELALEM

• https://ubermensch.blog/articles/making-sense-of-zk-virtual-machines/

• https://medium.com/@francomangone18/the-zk-chronicles-fast-fourier-transform-c8e59a4e38b0

• Encryptorium

• https://encryptorium.medium.com/post-quantum-zk-is-an-architecture-problem-49c0694f03e9

• Encryptorium

• https://encryptorium.medium.com/googles-quantum-threat-to-bitcoin-what-the-paper-actually-says-316bde926c8f

• paper link:⬇️

• Ryan Babbush, Adam Zalcman, Craig Gidney, Michael Broughton, Tanuj Khattar, Hartmut Neven, Thiago Bergamaschi, Justin Drake, Dan Boneh

• Recommend:

• https://eprint.iacr.org/2026/625

• Pierre Daix-Moreux, Chengru Zhang

• https://eprint.iacr.org/2026/634

• Tomas Hladky, Martin Peresini, Juraj Mariani, Ivan Homoliak

• https://eprint.iacr.org/2026/647

• Jai Hyun Park, Alain Passelègue, Damien Stehlé

• https://eprint.iacr.org/2026/638

• Chenqi Lin, Yubo Cui, Zhelei Zhou, Cheng Hong, Yufei Wang, Zhaohui Chen, Meng Li

• https://eprint.iacr.org/2026/637

If you're interested in our ZK Insights or have ideas for similar content, 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