From Jan 2024 to May 2024, we held our second zero-knowledge auditing fellowship centered around the PSE-Halo2 development framework and the KZG commitment scheme. Participants engaged in hands-on exercises, sync and async discussions, and technical sessions by devs, auditors, and distinguished guests.

The focus of the audit in this cohort was the Summa Protocol developed at the Privacy & Scaling Explorations group of the EF. The Summa Protocol is a blockchain-based solution for providing proof of solvency for financial entities, ensuring they have sufficient assets to cover their liabilities. It leverages cryptographic techniques with the aim to verify solvency transparently and securely, and without revealing sensitive personal financial data.

This audit took 120 days to complete, covering two versions of the Summa protocol. During the cohort, fellows also developed new Halo2 tooling and enhanced the usability of existing tools by improving the documentation and code for projects like Polyexen-demo and Halo2-analyzer. At the end of the audit, exceptional fellows were awarded for their outstanding contributions and performance throughout the cohort.