Interviews and explanatory conversations about zero-knowledge systems and the people building them. Her questions offer a reading route from basic proof vocabulary to research tools and design choices.
Why read Anna Rose?
Start with Anna's ZK Jargon Decoder conversation with Nico Mohnblatt. She asks what it means to prove something, then separates the proof from the private information used to construct it. The factoring and Where's Waldo examples help you keep the claim, witness, prover and verifier distinct before you reach more technical vocabulary.
Her interview with Alex Ozdemir takes that questioning style into formal verification. At about 31 minutes she asks whether Lean is a tool or a language, prompting a comparison with automatic SMT solvers. Read the transcript to understand the different jobs of finding and checking a proof. Her contribution is the hosted conversation and its follow-up questions; the guest's constructions remain the guest's work.
Start with the original
Selected work
-
Podcast ·
ZK Jargon Decoder with Nico Mohnblatt
Start at 09:45–21:06 in the transcript: Anna and Nico unpack statements, witnesses, privacy and prover/verifier roles. Factoring and Where's Waldo provide concrete examples before the later technical sections.
Cite this selection
XFollowList, “ZK Jargon Decoder with Nico Mohnblatt” reading notes in the Anna Rose profile. https://xfollowlist.com/people/anna-rose#work-3214b90aa16b
The linked work is the original source; this permalink identifies XFollowList’s reason to read it. Original work published .
Profile-source checking date and references · Dated reading map
-
Interview ·
Alex Ozdemir on where Theorem Provers and ZK meet
Start around 30:59 in the official transcript for Anna's question about Lean, then the comparison with SMT solvers. This is a more technical hosted discussion about proof tools and verification.
Cite this selection
XFollowList, “Alex Ozdemir on where Theorem Provers and ZK meet” reading notes in the Anna Rose profile. https://xfollowlist.com/people/anna-rose#work-21605a82cb32
The linked work is the original source; this permalink identifies XFollowList’s reason to read it. Original work published .
Profile-source checking date and references · Dated reading map
Projects & roles
Zero Knowledge Podcast
The show where she hosts and cohosts the selected conversations about ZK research and development.
Community rating
Sources & further reading
Profile sources checked . This describes checking these references, separately from the publication dates of selected works.
- The project's event page connects Anna Rose with the same X account and the podcast.
- The official episode page links @AnnaRRose and its transcript.
- The official transcript records the speakers' questions and answers, including the Lean and SMT comparison.
Cite this profile’s source check
XFollowList, Anna Rose profile sources. Sources checked 2026-10-11. https://xfollowlist.com/people/anna-rose#sources-checked