Discussions about zero knowledge proofs, related cryptography and its applications.

Main

A private proof api feature was just proposed for Google Chrome

A private proof api feature was just proposed for Google Chrome

https://chromestatus.com/feature/4848107667587072

0xparc’s programmable crypto book as Jupyter notebook

0xparc’s programmable crypto book as Jupyter notebook

https://github.com/flyingnobita/0xparc_intro_book_workbook

Has anyone written about or tried using a SNARK to compress certificate transparency logs? Seems like a great use-case.

The latest release for coSNARKs is out! Let's talk performance, compatibility, and new tooling for collaborative ZK proofs. Here's what's new in coCircom and coNoir https://t.co/MU2Nu8RRZK

Major improvements on our coSNARK SDK

https://x.com/taceo_io/status/1910686590386761992?s=46

A zkVM that only runs on massive, custom rigs? Centralizing.

JOLT + folding gives you a fast zkVM that runs anywhere— from beefy servers to edge devices.
That’s decentralization.

+Privacy w/ HyperNova folding. Necessary and sufficient.

"Zero-Knowledge Betting"

Who knew Bracky would be the first consumer application of zk :)

Jokes aside – I will say again – this is a pretty big deal.

Some people study statistics before betting. I prefer the zero-knowledge approach: I can prove I placed a wager without revealing I think Tiger Woods is a type of golf club.

@OpacityNetwork 2009: cat pics
2025: zkTLS

Bold claim, I like it

https://x.com/eigenlayer/status/1910436032098767130?s=46

ColliderVM enables stateful computation on Bitcoin without fraud proofs, replacing signature-based storage with hash collision-based commitments. 

This approach, inspired by ColliderScript, reduces hash evaluations and makes STARK proof verification practical for Bitcoin script.

STARKs on Bitcoin!

https://x.com/avihu28/status/1910312884996825597?s=46

https://warpcast.com/francos.eth/0xfcaeddad

can someone i follow just post zk content non stop i don’t care how basic or complex it is just put the content in the snapchat

icicle-snark is now fully open source including the cuda backend👀

https://t.co/vrfWuuahwD

🔥🔥🔥
https://x.com/0xemirsoyturk/status/1910003627571183697?s=46

200k X verifications @v?

But how many bald users do you have?

Technowatermelon. Elder Millenial. Building Farcaster. 

nf.td/varun