Post

🔔 Time for #ZKMeshMini, join us as we unpack the top developments from this past week in the zk-space. 👾 Google Cloud integrates Self for proof-of-humanity 👾 Ariel Gabizon and Liam Eagen improve IPA PCS 👾 Lambda Class explain GKR 👾 PSE bug in ZK-kit 👾 ProofLab stress-test provers on mainnet 🧵👇

Google Cloud is bringing Self Protocol's proof-of-humanity ZKP to support AI tooling and infrastructure for their Web3 portal, with attestations posting on the Celo blockchain. self.xyz/blog/google-...

Ariel Gabizon and Liam Eagen published a paper that improves verifier complexity to polylog for multi-linear polynomial commitments based on IPA. eprint.iacr.org/2025/1325

Lambda Class continues to explain core protocols used in ZK and broader cryptography with this write-up on the implementation of GKR for verifying computation over circuits. blog.lambdaclass.com/gkr-protocol...

PSE has reported a bug found with BinaryMerkleRoot in their ZK-kit library. A fix has since been made and a new Trusted Setup Ceremony. pse.dev/blog/under-c...

Proof Lab has launched a stress-test targeted at provers on Ethereum mainnet to find vulnerabilities in these critical systems. This compliments their efforts at benchmarking to strengthen the ZK ecosystem. x.com/TheProofLab/...

If you’re looking for your next role in ZK, or are just getting into the space, check out the ZK Jobs Board for the latest on which of these great companies is hiring: jobsboard.zeroknowledge.fm