ZK/SEC Quarterly

Back to all posts

zkNews Is Now Open to Everyone

ZK/SEC June 06, 2026 1 min read
announcement

A while back we announced zkNews, a zero-knowledge link aggregator for the community. At the time we launched in beta, with access limited to a smaller group of users while we made sure everything held up.

Today we're happy to share that the gates are open: zkNews is no longer rate-limited, and anyone can sign up.

zknews

What changed?

When we first launched, sign-ups were capped so we could keep an eye on stability and quality while the platform was young. We've since had time to iron things out, and we're confident zkNews is ready for a bigger crowd.

That means you no longer need an invite or a spot on a waitlist. Head over to news.zksecurity.xyz, create an account, and you're in.

What can you do now?

Same mission

Nothing has changed about what zkNews is for. It's still your one-stop shop for the latest news, research, and projects in the zero-knowledge space. The only difference is that the door is now open to everyone.

Come join us at news.zksecurity.xyz, and follow us on twitter for updates and announcements.

zkSecurity offers auditing, research, and development services for cryptographic systems including zero-knowledge proofs, MPCs, FHE, consensus protocols and more.

Learn More →

Latest Posts

Clean: from Verified Circuits to Verified zkVMs

Gregor Mitscha-Baude June 05, 2026
formal-verification zk circuits tools

Clean, our circuit DSL, is growing toward verification of complex multi-AIR ensembles. We introduce channels as a way to model lookups, permutation arguments, and zkVM cross-table interactions, then explain how local gadget proofs can compose into global soundness theorems. Watch our talk from ZKProof 8 or read the post.

Announcing Mpcsec.org: What Goes Wrong When You Implement MPC

ZK/SEC May 25, 2026
educative security MPC

mpcsec.org is a new collaborative reference for common pitfalls in MPC implementations and the cryptographic primitives they rely on, built with contributors from zkSecurity, Trail of Bits, Partisia, and Zama. If you build, audit, or deploy threshold signatures, distributed key generation, or other MPC protocols, it's a starting point for the mistakes you don't want to repeat.

Sum-check as an Algebraic Tensor Reduction: Part III

Marco Besier May 18, 2026
sum-check algebraic reductions of knowledge tensors linear maps

This post is all about the maps that let us move between modules without breaking their structure. We’ll see when a map is truly “linear,” when two modules are (secretly) the same, and why two-input maps deserve special attention. Along the way, (bi-)linear maps and isomorphisms become less like abstract definitions and more like tools we can actually use. By the end, we’ll have all the tooling we need to tackle abstract tensor products head-on.

Recommended Reading

Ditch the Pump & Dump Drama: Your ZK Tech Hub Awaits

ZK/SEC May 31, 2024
announcement

We're excited to share our latest project, zkNews, your go-to hub for all things zero-knowledge. This link aggregator keeps you updated with the latest ZK news, groundbreaking research, and cutting-edge projects. Dive into the ZK world, stay informed with breaking announcements, and explore innovative tools and applications. Join our beta and help shape the future of zkNews with your feedback. Big plans are in the works, and we'd love you to be a part of it!

SoK: What Don’t We Know? Understanding Security Vulnerabilities in Snarks

ZK/SEC February 26, 2024
educative security zk

We've teamed up with some of the top minds in academia and industry to dive deep into the world of zero-knowledge proofs (ZKPs) and their vulnerabilities. Our new paper catalogues hundreds of ZK vulnerabilities, breaking down their root causes and offering strategies to sidestep these pitfalls. By digging into real-life SNARK implementations, we aim to bolster the security of these cutting-edge systems with actionable insights and recommendations. Curious about what makes ZKPs tick and how to keep them secure? You might find this study just what you need!

Listen to Us on the Latest Episode of Zeroknowledge.fm

ZK/SEC August 30, 2023
announcement zk

Join our cofounder David Wong on the latest zk podcast as he dives into his compelling journey through cryptography, from his early days as a security consultant to his pivotal roles in major projects like Facebook's crypto initiatives and Mina. Get an insider's view on how we approach auditing in a Zero Knowledge context, the common pitfalls in ZK code, and how these insights shape our work. It's an engaging and informative chat for anyone fascinated by the world of cryptography and ZK technology!

More to Explore

Stay in Range: Deeper into Bulletproofs

teddav November 12, 2025
educative zk ipa bulletproofs

This article breaks down how Bulletproofs enable range proofs: proofs that a hidden value lies within a range without revealing it. Starting from bit decomposition, it shows how to express and combine constraints into a single inner product, then make the proof zero-knowledge with blinding polynomials and commitments. By the end, you’ll understand how systems like Monero’s confidential transactions prove valid amounts while keeping values private.

A Year of ZK Security

David Wong May 30, 2024
announcement

A year after launching, we've grown and evolved alongside the world of zero-knowledge proofs, uncovering bugs and learning the ins and outs of ZK technology. From circuit audits to developing our own tools like Circomscribe, it’s been a wild ride. We've discovered how easy it is to misstep with ZK code, especially as these systems grow complex and impact financial security. As zkVMs gain popularity, we're excited about the challenges ahead and are expanding our expertise. Want to dive into the world of ZK with us? Check out our latest projects and even take on our zkBank challenge!

zkHack X zkSecurity (Whiteboard Session) - What Is Zero-knowledge (Like, Actually)?

ZK/SEC October 04, 2024
educative zk

We're excited to join zkHack's new season of whiteboard sessions, where you'll dive into the real meaning of "Zero Knowledge" with Nicolas Mohnblatt and David Wong. Discover when true zero-knowledge is at play, explore the differences between honest and dishonest verifiers, and understand why adaptive models are preferred. We'll unpack methods for generating hiding commitments and give you a comprehensive overview of the zero-knowledge aspects of PLONK. Don't miss out on this opportunity to expand your understanding of ZK and its various applications!
View all articles