why aren't we seeing zkproof stuff deployed for age verification?
June 29, 2026 at 2:02 PM
why aren't we seeing zkproof stuff deployed for age verification?
Me and some of my academic offspring attending ZKProof 2026
May 26, 2026 at 9:59 AM
Me and some of my academic offspring attending ZKProof 2026
Arrived in Sofia for a week of conferences...
Real World Cryptography
Real World Multi-Party Computation
FHE.org
ZKProof-7
There are others, but these are the ones you will find me at.
Real World Cryptography
Real World Multi-Party Computation
FHE.org
ZKProof-7
There are others, but these are the ones you will find me at.
March 23, 2025 at 10:11 AM
Arrived in Sofia for a week of conferences...
Real World Cryptography
Real World Multi-Party Computation
FHE.org
ZKProof-7
There are others, but these are the ones you will find me at.
Real World Cryptography
Real World Multi-Party Computation
FHE.org
ZKProof-7
There are others, but these are the ones you will find me at.
Nice stat from talk at ZKProof-7...
Fireblocks has secured 6 TRILLION dollars worth of transactions using its MPC based ECDSA solution.
Fireblocks has secured 6 TRILLION dollars worth of transactions using its MPC based ECDSA solution.
March 24, 2025 at 7:34 AM
Nice stat from talk at ZKProof-7...
Fireblocks has secured 6 TRILLION dollars worth of transactions using its MPC based ECDSA solution.
Fireblocks has secured 6 TRILLION dollars worth of transactions using its MPC based ECDSA solution.
Hello Rome! Excited to be at ZKProof this week and Eurocrypt, come say hi if you are here! :)
May 6, 2026 at 5:52 PM
Hello Rome! Excited to be at ZKProof this week and Eurocrypt, come say hi if you are here! :)
Delighted to get two papers accepted to ZKProof Standards in Sofia. (Links in the thread.)
(1) Polymath: Groth16 Is Not The Limit
(2) On Knowledge-Soundness of Plonk in ROM from Falsifiable Assumptions (with @jannosiim.bsky.social and Roberto Parisella)
(1) Polymath: Groth16 Is Not The Limit
(2) On Knowledge-Soundness of Plonk in ROM from Falsifiable Assumptions (with @jannosiim.bsky.social and Roberto Parisella)
February 4, 2025 at 10:42 AM
Delighted to get two papers accepted to ZKProof Standards in Sofia. (Links in the thread.)
(1) Polymath: Groth16 Is Not The Limit
(2) On Knowledge-Soundness of Plonk in ROM from Falsifiable Assumptions (with @jannosiim.bsky.social and Roberto Parisella)
(1) Polymath: Groth16 Is Not The Limit
(2) On Knowledge-Soundness of Plonk in ROM from Falsifiable Assumptions (with @jannosiim.bsky.social and Roberto Parisella)
The United States and 60 healthcare industries are open to having medical records cross doctors. Use #ZKProof as a means to keep what information you want private and what you want public on the #Blockchain when dealing with your healthcare records.
August 5, 2025 at 10:31 PM
The United States and 60 healthcare industries are open to having medical records cross doctors. Use #ZKProof as a means to keep what information you want private and what you want public on the #Blockchain when dealing with your healthcare records.
There are now 5(!) unofficial co-located events with RWC 2025!
Welcome ZKProof and OCSW. It’s going to be a busy week.
rwc.iacr.org/2025/colocat...
Welcome ZKProof and OCSW. It’s going to be a busy week.
rwc.iacr.org/2025/colocat...
RWC 2025 affiliated events
Real World Crypto Symposium
rwc.iacr.org
March 7, 2025 at 12:07 AM
There are now 5(!) unofficial co-located events with RWC 2025!
Welcome ZKProof and OCSW. It’s going to be a busy week.
rwc.iacr.org/2025/colocat...
Welcome ZKProof and OCSW. It’s going to be a busy week.
rwc.iacr.org/2025/colocat...
Lean is rapidly becoming essential infrastructure for critical cryptographic implementations. The recent #ZKProof 7 conference in Sofia featured three talks highlighting how Lean's formal verification capabilities are transforming zero-knowledge proof systems.
Here's what you missed 🧵
Here's what you missed 🧵
April 3, 2025 at 8:40 PM
Lean is rapidly becoming essential infrastructure for critical cryptographic implementations. The recent #ZKProof 7 conference in Sofia featured three talks highlighting how Lean's formal verification capabilities are transforming zero-knowledge proof systems.
Here's what you missed 🧵
Here's what you missed 🧵
Presentation of an ex-student (Roberto) at @zkproof.org in Sofia (common work with me and @jannosiim.bsky.social )
www.youtube.com/watch?v=si8D...
www.youtube.com/watch?v=si8D...
On Knowledge-Soundness in ROM from Falsifiable Assumptions - Roberto Parisella (Simula UiB) - Room 1
YouTube video by ZKProof Standards
www.youtube.com
March 25, 2025 at 10:47 AM
Presentation of an ex-student (Roberto) at @zkproof.org in Sofia (common work with me and @jannosiim.bsky.social )
www.youtube.com/watch?v=si8D...
www.youtube.com/watch?v=si8D...
maybe we see some whacky dht style routing + zkproof verifiable computation + token slashing driven behemoth of a system before the decade is over
April 11, 2023 at 5:05 AM
maybe we see some whacky dht style routing + zkproof verifiable computation + token slashing driven behemoth of a system before the decade is over
How is ZK-SecreC better for writing large ZK proofs than some other DSLs? Learn from Raul-Martin's talk at the ZKProof 7 workshop: zkproof.org/events/zkpro...
ZKProof 7 in Sofia - ZKProof Standards
zkproof.org
February 10, 2025 at 7:50 AM
How is ZK-SecreC better for writing large ZK proofs than some other DSLs? Learn from Raul-Martin's talk at the ZKProof 7 workshop: zkproof.org/events/zkpro...
🔥🔥🔥 Get ready for #ZKProof 2025!
Keynote speaker: Ron Rothblum from Succinct
Join us in Sofia March 23-25 to discuss the future of ZKP standardization, zkEVM Formal Verification, TLSNotarization & more.
For more details - link in the first comment.
Keynote speaker: Ron Rothblum from Succinct
Join us in Sofia March 23-25 to discuss the future of ZKP standardization, zkEVM Formal Verification, TLSNotarization & more.
For more details - link in the first comment.
March 22, 2025 at 11:37 AM
🔥🔥🔥 Get ready for #ZKProof 2025!
Keynote speaker: Ron Rothblum from Succinct
Join us in Sofia March 23-25 to discuss the future of ZKP standardization, zkEVM Formal Verification, TLSNotarization & more.
For more details - link in the first comment.
Keynote speaker: Ron Rothblum from Succinct
Join us in Sofia March 23-25 to discuss the future of ZKP standardization, zkEVM Formal Verification, TLSNotarization & more.
For more details - link in the first comment.
🚀 DogeOS proposal to add ZK-proof opcode could let #Dogecoin host Layer-2 rollups while keeping its base chain lean. Idea is under discussion—no code changes yet. Full details https://coinchapter.com/can-zk-proofs-unlock-dogecoin-layer-2-today-whales-move-40m-as-charts-watch-0-20/ #Layer2 #ZKProof
September 28, 2025 at 7:29 PM
🚀 DogeOS proposal to add ZK-proof opcode could let #Dogecoin host Layer-2 rollups while keeping its base chain lean. Idea is under discussion—no code changes yet. Full details https://coinchapter.com/can-zk-proofs-unlock-dogecoin-layer-2-today-whales-move-40m-as-charts-watch-0-20/ #Layer2 #ZKProof
That's true and bad. In the other hand, I've been really encouraged at the discussion of AI at the cryptography conferences here in Rome (zkSummit, Zcash summit, ZKProof). Lots of nuanced discussion of possible and likely societal harms without any denial that the tech works.
May 10, 2026 at 4:50 AM
That's true and bad. In the other hand, I've been really encouraged at the discussion of AI at the cryptography conferences here in Rome (zkSummit, Zcash summit, ZKProof). Lots of nuanced discussion of possible and likely societal harms without any denial that the tech works.
🔥🔥🔥 Get ready for #ZKProof 2025!
Keynote speaker: Dan Boneh from Stanford University
Join us in Sofia March 23-25 to discuss the future of ZKP standardization, zkEVM Formal Verification, TLSNotarization & more.
For more details - link in the first comment.
Keynote speaker: Dan Boneh from Stanford University
Join us in Sofia March 23-25 to discuss the future of ZKP standardization, zkEVM Formal Verification, TLSNotarization & more.
For more details - link in the first comment.
March 20, 2025 at 5:55 PM
🔥🔥🔥 Get ready for #ZKProof 2025!
Keynote speaker: Dan Boneh from Stanford University
Join us in Sofia March 23-25 to discuss the future of ZKP standardization, zkEVM Formal Verification, TLSNotarization & more.
For more details - link in the first comment.
Keynote speaker: Dan Boneh from Stanford University
Join us in Sofia March 23-25 to discuss the future of ZKP standardization, zkEVM Formal Verification, TLSNotarization & more.
For more details - link in the first comment.
Be part of the future of ZKproof cryptography.
Counting down to ZKProof 7 - just one week left!
Join us in Sofia March 23-25 to discuss the future of ZKP standardization, zkEVM Formal Verification, TLSNotarization & more.
For more details - link in the first comment.
Counting down to ZKProof 7 - just one week left!
Join us in Sofia March 23-25 to discuss the future of ZKP standardization, zkEVM Formal Verification, TLSNotarization & more.
For more details - link in the first comment.
March 16, 2025 at 4:00 PM
Be part of the future of ZKproof cryptography.
Counting down to ZKProof 7 - just one week left!
Join us in Sofia March 23-25 to discuss the future of ZKP standardization, zkEVM Formal Verification, TLSNotarization & more.
For more details - link in the first comment.
Counting down to ZKProof 7 - just one week left!
Join us in Sofia March 23-25 to discuss the future of ZKP standardization, zkEVM Formal Verification, TLSNotarization & more.
For more details - link in the first comment.
I’ll be at @zkproof and @RealWorldCrypto in Sofia next week. Ping me if you want to have a chat!
March 23, 2025 at 10:29 AM
I’ll be at @zkproof and @RealWorldCrypto in Sofia next week. Ping me if you want to have a chat!
Brevis’s “Pico Prism” zkVM generates Ethereum block proofs in ~12s (99.6% complete)! 🚀 Potential 100x scaling with faster verification & halved hardware costs (~$128k). Even Vitalik’s watching! 👀 #Ethereum #zkProof #scaling
#crypto #blockchain #news
#crypto #blockchain #news
October 15, 2025 at 12:12 PM
Brevis’s “Pico Prism” zkVM generates Ethereum block proofs in ~12s (99.6% complete)! 🚀 Potential 100x scaling with faster verification & halved hardware costs (~$128k). Even Vitalik’s watching! 👀 #Ethereum #zkProof #scaling
#crypto #blockchain #news
#crypto #blockchain #news
ZKproof was one of the best events in the last few years, if not the best. It was also very nice to meet some of my ex-students. Proofpic:
March 29, 2025 at 11:55 AM
ZKproof was one of the best events in the last few years, if not the best. It was also very nice to meet some of my ex-students. Proofpic:
I was happy to attend the ZKProof conference @zkproof.org , with many discussions with the zero-knowledge cryptographers and formal verification people!
Interested to follow what happens with the verified verifier project!
Interested to follow what happens with the verified verifier project!
March 26, 2025 at 1:37 PM
I was happy to attend the ZKProof conference @zkproof.org , with many discussions with the zero-knowledge cryptographers and formal verification people!
Interested to follow what happens with the verified verifier project!
Interested to follow what happens with the verified verifier project!