Help, lattice folks what does this mean?

Analysis and Vulnerabilities in zkLogin (Sofia Celi, Hamed Haddadi, Kyle Den Hartog) ia.cr/2026/227

On using LLMs for research (beyond basic prompts). Section 3.2 is specifically about catching a bug in a recent SNARG paper arxiv.org/abs/2602.03837

Amazing work from Yoichi giving a Lean proof of my recent FRI security paper (w/ Albert Garreta and Benedikt Wagner) Super interesting workflow as well, combining TeX-to-Lean models with regular coding agents. I think we'll see a lot more of this moving forward!

Great short article from Moxie. Right in time for family dinners and questions about AI and privacy confer.to/blog/2025/12...

Laminate: Succinct SIMD-Friendly Verifiable FHE (Kabir Peshawaria, Zeyu Liu, Ben Fisch, Eran Tromer) ia.cr/2025/2285

Also wrote a blog post that explains the proof in a shorter format and with less formality blog.zksecurity.xyz/posts/fri-se...

Trying to reduce some headaches!

It’s time to reveal the ZK Whiteboard S3 Module 1... because it's LIVE! 🥁🥁🥁🥁 How to Build Hash Functions, with Jean-Philippe (JP) Aumasson @aumasson.jp & @nicomnbl.bsky.social Watch the full module here: zkhack.dev/whiteboard/s...

Time has changed

The ZK Podcast released an episode on local-first software this week! @arro.bsky.social and @nicomnbl.bsky.social chat w @grjte.sh & @goblinoats.com about the foundations of local-first architecture, CRDTs and how ZK can be incorporated into these models. zeroknowledge.fm/podcast/367/

2/ As such, I wrote a research note to help cryptography engineers fully understand both techniques: baincapitalcrypto.com/a-deep-dive-...

I'm happy to finally open-source lattirust, a library for lattice-based zero-knowledge/succinct arguments! Lattirust is somewhat like arkworks, but for lattices; and like lattigo, but for arguments. ➔ github.com/lattirust

I wrote a thing on my colleagues Andrija and Guille's latest work

Story of the ZK whiteboard series S2! The grant that supported it, how we came up with the topics, participation of our esteemed speakers, some crazy editing and how the bonus modules came to be

from the archive: Or Sattath came on the ZKPodcast to discuss quantum computing and its impact on cryptography. These two are some of my 𝐟𝐚𝐯𝐨𝐮𝐫𝐢𝐭𝐞 episodes of the show. Part 1 covers the computation model, why it breaks some cryptography and effects on mining zeroknowledge.fm/podcast/288/ 1/2

A step towards fixing the recent attack on a Fiat-Shamir'd variant of GKR. Tl;dr: do proof-of-work before deriving the FS challenge, this will make the hash prohibitively expensive to compute in-circuit. Caveat: they only prove the security of their transform for 1-round protocols

sigh

Terrible news

Sublinear prover?!?! Incredible result!

Look folks. I want BlueSky to succeed, because we need an alternative to X. I also know this is an insane time. But if we want to create a usable alternative, people are going to have to start posting occasionally about something else.

These two lectures by @danboneh.bsky.social for @zkhack.bsky.social are the best explanation of IOPPs, FRI and its variants by a country mile. Cannot recommend them enough zkhack.dev/whiteboard/s... zkhack.dev/whiteboard/s...

programmable* cryptography * programming difficulty may vary, developer discretion is advised.

Want to send crypto to Bluesky users? It's possible! Their keypairs are for the secp256k1 curve, which Ethereum also uses. That means you can derive an ETH address from their publicly accessible signing keys.

oh hello @zkhack.bsky.social 👀👀

Straight to the reading list!

ZODA: Zero-Overhead Data Availability (Alex Evans, Nicolas Mohnblatt, Guillermo Angeris) ia.cr/2025/034

mobile proving ftw

if someone tells you “succinct proofs are too short to leak information about the witness”, please send them this. The ZK property is not just a cool acronym. baincapitalcrypto.com/chosen-insta... This was also the theme of the "Zeitgeist" puzzle at ZK Hack 5!

New work!

These are incredible asymptotics! Has anyone looked into it / confirmed the result?

Latest ZKPodcast episode with @danboneh.bsky.social is such a joy to listen to. Highly recommend! zeroknowledge.fm/345-2/

An empirical study of ZKP languages across Github repos, super cool way to identify past and current trends Looking forward to see Noir and Halo2 get added github.com/ArmanKolozya...

Long time UK resident here, Bluesky feels just like home

Very excited for these puzzles to come out. I think they have huge teaching potential. Join us for this weekly online event! ZK Hack is a great way to learn about advanced cryptography and meet the cryptography-in-web3 community

Newskies! Quiet Posters is such an incredible feed It shows you posts from people you follow and who post infrequently Can’t recommend it enough

Hopefully, the more Musk does this the fewer people there will be on X to read his boosted posting

ZK in french is incredibly not catchy: ZKP - preuve à divulgation nulle de connaissance Commitment scheme - protocole de mise en gage Hash function - fonction de hachage Lookup table - table de correspondance how am I supposed to get anyone interested in this 😩😩

Super proud of this work! Really hoping this can get deployed into real-world social apps. Happy to chat further with anyone interested

What's your favourite ZeroKnowledge Podcast episode @zkpod.ai ?

The only sangria mentioned here is *not* an alcoholic beverage

the vibes here are immaculate