ZK Insights

Edited by ZKPunk

Highlights

Zero Knowledge in STARKs

• https://hexens.io/blog/zk-in-starks

The fields powering Binius

• https://blog.lambdaclass.com/the-fields-powering-binius/

Circle FFT — Part 1: Building the Circle Domain

• https://www.rareskills.io/post/circle-starks

An introduction to Merkle Patricia Trie

• https://blog.lambdaclass.com/an-introduction-to-merkle-patricia-trie/

Updates

2025 IBM Quantum Roadmap update

• https://www.youtube.com/watch?v=_y43boNNoVo

Realizing large-scale, fault-tolerant quantum computing

• https://www.youtube.com/watch?v=zrZHPil0BTA

Astonishing discovery by computer scientist: how to squeeze space into timeAdd commentMore actions

• https://www.youtube.com/watch?app=desktop&v=8JuWdXrCmWg

What we learned reviewing one of the first DKLs23 libraries from Silence Laboratories

• https://blog.trailofbits.com/2025/06/10/what-we-learned-reviewing-one-of-the-first-dkls23-libraries-from-silence-laboratories/

A bit more on Twitter/X’s new encrypted messaging

• https://blog.cryptographyengineering.com/2025/06/09/a-bit-more-on-twitter-xs-new-encrypted-messaging/

Papers

Crypto 2025 Accepted Papers

• https://crypto.iacr.org/2025/acceptedpapers.php

Realizing large-scale, fault-tolerant quantum computing

• https://www.youtube.com/watch?v=zrZHPil0BTA

Private Signaling Secure Against Actively Corrupted Servers

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

PICS: Private Intersection over Committed (and reusable) Sets

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

SmallWood: Hash-Based Polynomial Commitments and Zero-Knowledge Arguments for Relatively Small Instances

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

Universally Composable Succinct Vector Commitments and Applications

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

A Framework for Compiling Custom Languages as Efficiently Verifiable Virtual Machines

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

**If you’d like to receive updates via email, subscribe us!

• https://paragraph.xyz/@zkinsights