First zksecurity public report is out!

My first public report (since I left NCC Group) is out. It was work I did for zksecurity, auditing the Penumbra circuits. You can read it here: https://penumbra.zone/blog/2023-audits

It should be quite interesting to read as we found double spending and double voting issues. It’s also nice because there are two reports in the post, one from us (zksecurity) and one from my previous team over at NCC Group =)