ZKProof Standards (@zkproof)

2026.05.01 09:49

🔥🔥🔥 Get ready for #ZKProof# 2026! Speaker: Giacomo Fenzi @GiacomoFenzi from @EPFL 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.

Forward to community

ZKProof Standards@zkproof

2026.04.30 21:21

🔥🔥🔥 Get ready for #ZKProof# 2026! Speaker: Anubhav Baweja 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.

Forward to community

ZKProof Standards@zkproof

2026.04.30 16:08

🔥🔥🔥 Get ready for #ZKProof# 2026! Speaker: Ziyi Guan @ziyiguan99 from @EPFL 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.

Forward to community

ZKProof Standards@zkproof

2026.04.29 11:56

🔥🔥🔥 Get ready for #ZKProof# 2026! Speaker: William Wang @kleptographic 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.