ZKProof is an open initiative of industry and academia to standardize zero knowledge proofs. Join our community forum - https://xitter.cf/t.co/6lj0zjQikV
Joined March 2018
- Tweets569
- Following107
- Followers3.4K
- Likes356
π₯π₯π₯ 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.
π₯π₯π₯ 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
π₯π₯π₯ 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.
π₯π₯π₯ 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.
π₯π₯π₯ 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.
π₯π₯π₯ 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.
π₯π₯π₯ 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.
π₯π₯π₯ 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
π₯π₯π₯ 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.
π₯π₯π₯ 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.
