LightNews LightNews
zkgaylord.bsky.social
@zkgaylord.bsky.social
29 followers 33 following 8 posts
Posts Replies Media Videos
Reposted
zkhack.dev
Big thanks to @ingonyamazk.bsky.social & zkVerify for coming as partners of our ZK Hack Meetup in Sofia!

If you're in town for @zkproof.org or @rwc.iacr.org , join us to mingle with other zk-enthusiasts & listen to (en)lightning talks on March 26 from 5PM!

(for registration link, check out below)
March 12, 2025 at 1:47 PM
Reposted
zkhack.dev
Couldn't make it to Denver & sad you missed our talks?
One last time, we got you!

Talk #4
Designing [Project Untitled]: A Cost-efficient, Scalable, Decentralized State Management Solution for Web3
with Brandon Kase & Austin Baggio of @o1labs.bsky.social

👇 link in next tweet 👇
March 10, 2025 at 10:01 AM
Reposted
zkhack.dev
Earlier this week on our Discord (link in bio), we hosted the first session of the latest Study Group cohort dedicated to "FRI and Proximity Proofs".
Based on the ZK Whiteboard Sessions modules by @danboneh.bsky.social, we covered background on linear / MDS / Reed-Solomon codes...
March 6, 2025 at 2:30 PM
Reposted
zkhack.dev
Couldn't make it to Denver & sad you missed our talks?
We got you!

Talk #3:
"coSNARKs and Private Shared State"
with @aisconnolly.bsky.social of @taceo.bsky.social

Link to the recording:
youtu.be/9jdQ2uk2WWg?...
Ais of TACEO @ ZK Hack Meetup in Denver, 24 Feb 2025
In this presentation recorded at ZK Hack Meetup in Denver on 2025, February 24th, Ais Connolly of TACEO talked about Private Shared State, how Collaborative ...
youtu.be
March 6, 2025 at 11:18 AM
zkgaylord.bsky.social
The event was reeally nice, great vibe (ok I'm biaised but still)

This is talk 1 of 4, 2nd one coming out today, 3rd one tomorrow, 4th one Friday – check it out
zkhack.dev ZK Hack @zkhack.dev · Mar 5
Couldn't make it to Denver & sad you missed our talks?
We got you!

"SOTA Innovations In Folding Scheme That Enable Client Side Proving, Speed Up zkML, Shrink zkVM, Use Small Fields Like Magic, Power Prover Networks, and Leave you In Wonder."
Wyatt Benno, NovaNet

👇 link 👇
youtu.be/aD7ii13M2SU
Wyatt of NovaNet @ ZK Hack Meetup in Denver, 24 Feb 2025
In this presentation recorded at ZK Hack Meetup in Denver on 2025, February 24th, Wyatt Benno (https://x.com/wyatt_benno) talked about state-of-the-art innov...
youtu.be
March 5, 2025 at 1:03 PM
zkgaylord.bsky.social
That was fun!
(At least for the first 20h 😭)
zkhack.dev ZK Hack @zkhack.dev · Mar 3
At one point, editing proved especially challenging: the Sum-check module had bad light reflections, so we had to fix it frame by frame! 🎥✨
(See before/after screenshots)
March 4, 2025 at 1:15 AM
Reposted
zkhack.dev
🎬 ZKWS S2: The Full Journey 🎬

How did the second season of ZK Whiteboard Sessions come to life – a thread.

TLDR: Check out the 8-module series on YouTube (link in bio), and the "FRI edition" Study Group starting on Tuesday March 4 on ZK Hack Discord (link in bio)!

🧵👇
March 3, 2025 at 5:06 PM
Reposted
zkhack.dev
Hope you liked this week’s #ZKMeshMini!

Subscribe to our newsletter for the full #ZKMesh capturing all the research, articles, announcements, and more from this month and the last ones – and keep track of the many developments happening in the zk-space!

buff.ly/42Tbf4o
ZK Mesh | Zero Knowledge Podcast | Substack
A monthly newsletter sharing the latest in decentralised privacy-preserving technologies, privacy protocol development and Zero Knowledge systems. Click to read ZK Mesh, a Substack publication with th...
buff.ly
February 14, 2025 at 3:25 PM
Reposted
zkhack.dev
🔔 Time for #ZKMeshMini, join us to unpack the top developments from this past week in the zk-space.

Featuring SuccinctLabs' testnet, Brevis' zkVM Pico, PSE's Summa lookback, Sophon & WebProofs, Zac Williamson of Aztec & @ethereum.org

#BigWeek

🧵👇
February 14, 2025 at 3:25 PM
zkgaylord.bsky.social
February 1, 2025 at 9:11 PM
Reposted
zkhack.dev
𝗭𝗞 𝗠𝗲𝘀𝗵: 𝗝𝗮𝗻𝘂𝗮𝗿𝘆 𝟮𝟬𝟮𝟱 𝗥𝗲𝗰𝗮𝗽
It came out yesterday!
Don't forget to subscribe to get it directly in your inbox every month.
ZK Mesh: January 2025 Recap
Welcome to ZK Mesh, a monthly newsletter covering the latest in advanced privacy-enhancing cryptography, distributed protocol development, and zero-knowledge systems research.
open.substack.com
February 1, 2025 at 1:01 PM
Reposted
zkhack.dev
Hope you liked this week’s #ZKMeshMini!

Subscribe to our newsletter for the full #ZKMesh capturing all the research, articles, announcements, and more from this month and the last ones – and keep track of the many developments happening in the zk-space!

zkmesh.substack.com
ZK Mesh | Zero Knowledge Podcast | Substack
A monthly newsletter sharing the latest in decentralised privacy-preserving technologies, privacy protocol development and Zero Knowledge systems. Click to read ZK Mesh, a Substack publication with th...
zkmesh.substack.com
January 31, 2025 at 4:17 PM
Reposted
zkhack.dev
🔔Time for #ZKMeshMini, let’s unpack the top zk-developments from this week – and it was a big week!

Featuring Ron Rothblum, Lev Soukhanov, Dmitry Khovratovich #FiatShamir #Attack Benedikt Bünz #DA Alireza Shirzad #DewTwo EthResearch, Kakarot #zkPIG Zellic #ZKHackV

🧵👇
January 31, 2025 at 4:15 PM
zkgaylord.bsky.social
This is my favourite one from the whole series, what a pic, what a catchphrase <3
zkhack.dev ZK Hack @zkhack.dev · Jan 31
The t̶i̶c̶k̶e̶r̶ 𝒇𝒊𝒆𝒍𝒅 is ̶E̶T̶H̶ ̶ 𝒔𝒎𝒂𝒍𝒍
January 31, 2025 at 11:33 AM
Reposted
nicomnbl.bsky.social
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...
January 29, 2025 at 12:50 PM
Reposted
eprint.ing.bot
How to Prove False Statements: Practical Attacks on Fiat-Shamir (Dmitry Khovratovich, Ron D. Rothblum, Lev Soukhanov) ia.cr/2025/118
Abstract. The Fiat-Shamir (FS) transform is a prolific and powerful technique for compiling public-coin interactive protocols into non-interactive ones. Roughly speaking, the idea is to replace the random coins of the verifier with the evaluations of a complex hash function. The FS transform is known to be sound in the random oracle model (i.e., when the hash function is modeled as a totally random function). However, when instantiating the random oracle using a concrete hash function, there are examples of protocols in which the transformation is not sound. So far all of these examples have been contrived protocols that were specifically designed to fail. In this work we show such an attack for a standard and popular interactive succinct argument, based on the GKR protocol, for verifying the correctness of a non-determinstic bounded-depth computation. For every choice of FS hash function, we show that a corresponding instantiation of this protocol, which was been widely studied in the literature and used also in practice, is not (adaptively) sound when compiled with the FS transform. Specifically, we construct an explicit circuit for which we can generate an accepting proof for a false statement. We further extend our attack and show that for every circuit C and desired output y, we can construct a functionally equivalent circuit C^(*), for which we can produce an accepting proof that C^(*) outputs y (regardless of whether or not this statement is true). This demonstrates that any security guarantee (if such exists) would have to depend on the specific implementation of the circuit C, rather than just its functionality. Lastly, we also demonstrate versions of the attack that violate non-adaptive soundness of the protocol – that is, we generate an attacking circuit that is independent of the underlying cryptographic objects. However, these versions are either less practical (as the attacking circuit has very large depth) or make some additional (reasonable) assumptions on the underlying cryptographic primitives. Image showing part 2 of abstract.
January 27, 2025 at 1:59 AM
Reposted
zkhack.dev
The t̶i̶c̶k̶e̶r̶ 𝒑𝒓𝒐𝒑𝒆𝒓𝒕𝒚 is ̶E̶T̶H̶ ̶ 𝒁𝑲
January 27, 2025 at 11:28 AM
Reposted
zkhack.dev
🔔For the first time on 🦋 let’s unpack the top zk-developments from this week in #ZKMeshMini!

Featuring #ZKWhiteboardSessions @danboneh.bsky.social #Stanford #FRI #JustinThaler #SrinathSetty #Twist #Shout #powdr #AutoAccCircuits #Bagel #ZKLoRA #FabricCrypto #Skyscraper

🧵👇
January 24, 2025 at 2:00 PM