The article introduces the fundamentals of provable cryptography for Bitcoin, using a workbook format to help developers understand and apply cryptographic proofs, enhancing Bitcoin's security and privacy.

• https://delvingbitcoin.org/t/provable-cryptography-for-bitcoin-an-introduction-workbook/1974

This whiteboard lesson explains how to transform computational problems into zk-SNARK circuits, focusing on using the R1CS constraint system to build and verify digital logic relations.

• https://zkhack.dev/whiteboard/s3m2/

Polyhedra introduces a self-sovereign identity solution using zero-knowledge proofs, allowing users to verify attributes (e.g., age) without exposing actual data, enabling private and secure on-chain identity control.

• https://blog.polyhedra.network/polyhedra-i-d-proving-identity-without-surrendering-control/

• https://zeroknowledge.fm/podcast/377/

Binius64 dramatically boosts the efficiency of binary field-based SNARKs by encoding data as binary field elements and leveraging hardware optimization, achieving ultra-fast proof generation.

• https://www.irreducible.com/posts/announcing-binius64

• https://ethereum-magicians.org/t/pse-roadmap-2025-and-beyond/25423

• Published at ASIACRYPT 2025

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

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

• Published at ASIACRYPT 2025

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

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: Kurt, Hins

Editor: Purple