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 🧵👇

ZK Hack

@zkhack.dev

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

25/7/25, 2:47 pm0 reposts0 likes

ZK Hack

@zkhack.dev

25 July 2025

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

ZK Hack

@zkhack.dev

25 July 2025

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

ZK Hack

@zkhack.dev

25 July 2025

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

ZK Hack

@zkhack.dev

25 July 2025

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