Build low-overhead and robust zero-knowledge protocols for verifying properties of frontier AI training, starting with FLOP counts Read more
I endorsed this grant proposal because:
- Compute verification is vital to international treaties, which are a vital component of Plan A, Plan S, and many other AI slowdown scenarios. There are ~60 people working full-time on compute workload verification worldwide.
- Paul seems like a qualified scientist. A postdoc seems like a good mechanism for accomplishing this research.
- I know and like the GPAI Policy Lab guys; many are MATS alumni. It seems like Paul has great mentors and collaborators for the project.






































