ZKProof Standards

🔥🔥🔥 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.