ZKProof is an open initiative of industry and academia to standardize zero knowledge proofs. Join our community forum - zkproof.org
Joined March 2018
- Tweets 569
- Following 107
- Followers 3,424
- Likes 356
204 Photos and videos
π₯π₯π₯ Get ready for #ZKProof 2026!
Speaker: Alistair Stewart from Parity Technologies @paritytech
Join us in Rome, May 9-10 to discuss the latest in ZKPs and applications, the Quantum threat, formal verification in ArkLib, IOPs & more.
Link in the first comment.
2
5
1,310
π₯π₯π₯ Get ready for #ZKProof 2026!
Speaker: Hossein Hafezi @RandomString00 from @nyuniversity
Join us in Rome, May 9-10 to discuss the latest in ZKPs and applications, the Quantum threat, formal verification in ArkLib, IOPs & more.
For more details - link in the first comment
1
9
443
π₯π₯π₯ Get ready for #ZKProof 2026!
Speaker: Anubhav Baweja @BawejaAnubhav from University of Pennsylvania
Join us in Rome, May 9-10 to discuss the latest in ZKPs and applications, the Quantum threat, formal verification in ArkLib, IOPs & more.
Link in the first comment.
1
5
238
π₯π₯π₯ Get ready for #ZKProof 2026!
Speaker: MichaΕ Osadnik @mosdnk from @AaltoUniversity
Join us in Rome, May 9-10 to discuss the latest in ZKPs and applications, the Quantum threat, formal verification in ArkLib, IOPs & more.
For more details - link in the first comment.
1
1
6
332
π₯π₯π₯ Get ready for #ZKProof 2026!
Speaker: Mahak Pancholi from @IMDEA_Software
Join us in Rome, May 9-10 to discuss the latest in ZKPs and applications, the Quantum threat, formal verification in ArkLib, IOPs & more.
For more details - link in the first comment.
1
1
9
279
π₯π₯π₯ Get ready for #ZKProof 2026!
Speaker: Alberto Centelles @zk_albi from @imperialcollege, @icme_labs
Join us in Rome, May 9-10 to discuss the latest in ZKPs and applications, the Quantum threat, formal verification in ArkLib, IOPs & more.
Link in the first comment.
1
3
12
355
π₯π₯π₯ Get ready for #ZKProof 2026!
Speaker: Tushar Mopuri from University of Pennsylvania
Join us in Rome, May 9-10 to discuss the latest in ZKPs and applications, the Quantum threat, formal verification in ArkLib, IOPs & more.
For more details - link in the first comment.
1
9
216
π₯π₯π₯ Get ready for #ZKProof 2026!
Speaker: James Parker @jprider63 from Galois, Inc. @galois
Join us in Rome, May 9-10 to discuss the latest in ZKPs and applications, the Quantum threat, formal verification in ArkLib, IOPs & more.
For more details - link in the first comment
1
1
10
338
π₯π₯π₯ Get ready for #ZKProof 2026!
Speaker: Christodoulos Pappas @cpappas99 from @hkust , @lagrangedev
Join us in Rome, May 9-10 to discuss the latest in ZKPs and applications, the Quantum threat, formal verification in ArkLib, IOPs & more.
Link in the first comment.
1
1
7
304
π₯π₯π₯ Get ready for #ZKProof 2026!
Speaker: Thomas Gassmann @thomas_gassmann from @ETH_en
Join us in Rome, May 9-10 to discuss the latest in ZKPs and applications, the Quantum threat, formal verification in ArkLib, IOPs & more.
For more details - link in the first comment.
1
5
227