We start an educational project aiming to build a Rust implementation of lattice-based folding schemes, progressing through theoretical research, practical code analysis, and hands-on development to understand lattice folding.

https://github.com/coset-io/baby-lattice-folding

Updates

Understanding STARKs from scratch with high school math

Intro to Latticefold by Binyi Chen

https://x.com/__zkhack__/status/2011766225106543015

A Practical Guide to Finding Soundness Bugs in ZK Circuits

A practical guide to discovering soundness bugs in zero-knowledge circuits through constraint analysis, showing how attackers can craft malicious witnesses that pass verification despite violating the intended computation logic.
https://medium.com/@muellerberndt/finding-soundness-bugs-in-zk-circuits-ea23387a0e1e

zkEVM Security Overview

This comprehensive analysis examines potential security issues in deploying zkEVM for Layer 1 scaling, emphasizing that robust security comes through diversity strategies, thorough testing, and formal verification.
https://zkevm.ethereum.foundation/blog/zkevm-security-overview

田野调查｜在越南，我用USDT生存30天

https://foresightnews.pro/article/detail/93989

Papers

BABE: Verifying Proofs on Bitcoin Made 1000x Cheaper

https://eprint.iacr.org/2026/065

Policy-based Access Tokens: Privacy-Preserving Verification for Digital Identity

https://eprint.iacr.org/2026/063

L for the Price of One: On the Benefits of Using more than t+1 Parties in Threshold Signing

https://eprint.iacr.org/2026/061

Blind Adaptor Signatures, Revisited: Stronger Security Definitions and Their Construction toward Practical Applications

https://eprint.iacr.org/2026/060

Timed Commitments and Timed Encryption: Generic Constructions and Instantiations from Isogenies

https://eprint.iacr.org/2026/057

Argo MAC: Garbling with Elliptic Curve MACs

https://eprint.iacr.org/2026/049

Jindo: Practical Lattice-Based Polynomial Commitment for Zero-Knowledge Arguments

https://eprint.iacr.org/2026/044

Fully Secure DKG Protocols for Discrete Logarithm Revisited

https://eprint.iacr.org/2026/042

Efficient Polynomial Evaluation over Structured Space and Application to Polynomial Method

https://eprint.iacr.org/2026/040

Adaptive NIKE for Unbounded Parties

https://eprint.iacr.org/2026/035

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

Hightlights

SNARK EXPRESS

Your SNARK express everyday!

https://news.snark.express/

Baby lattice folding