ZKProof Standards@zkproof

ZKProof is an open initiative of industry and academia to standardize zero knowledge proofs. Join our community forum - zkproof.org

zkproof.org
Joined March 2018
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,449
zkproof.org/events/zkproof-8…
1
221
πŸ”₯πŸ”₯πŸ”₯ 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
8
500
zkproof.org/events/zkproof-8…
1
135
πŸ”₯πŸ”₯πŸ”₯ 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
269
zkproof.org/events/zkproof-8…
1
98
πŸ”₯πŸ”₯πŸ”₯ 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
377
zkproof.org/events/zkproof-8…
1
108
πŸ”₯πŸ”₯πŸ”₯ 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
8
296
zkproof.org/events/zkproof-8…
1
93
πŸ”₯πŸ”₯πŸ”₯ 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
11
379
zkproof.org/events/zkproof-8…
1
96
πŸ”₯πŸ”₯πŸ”₯ 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
8
230
zkproof.org/events/zkproof-8…
1
96
πŸ”₯πŸ”₯πŸ”₯ 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
9
347
zkproof.org/events/zkproof-8…
1
106
πŸ”₯πŸ”₯πŸ”₯ 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
316
zkproof.org/events/zkproof-8…
1
118
πŸ”₯πŸ”₯πŸ”₯ 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
234
zkproof.org/events/zkproof-8…
1
99
Load more