Log inSign up
ZKProof Standards
569 posts
ZKProof Standards profile banner
@zkproof

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
107
Following
3,416
Followers
RepliesRepliesRepostsRepostsMediaMedia

Log in or sign up for X

See what’s happening and join the conversation

Continue with phone
or
Log in with username or email
Terms·Privacy·Cookies·Accessibility·Ads Info·© 2026 X Corp.
  • @zkproof
    ZKProof Standards
    @zkproof
    May 9
    🔥🔥🔥 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
  • @zkproof
    ZKProof Standards
    @zkproof
    May 8
    🔥🔥🔥 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
  • @zkproof
    ZKProof Standards
    @zkproof
    May 7
    🔥🔥🔥 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
  • @zkproof
    ZKProof Standards
    @zkproof
    May 7
    🔥🔥🔥 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
  • @zkproof
    ZKProof Standards
    @zkproof
    May 6
    🔥🔥🔥 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