As part of the Wizkit project, Stealth Research Scientist Sam Dittmer, Stealth CEO Steve Lu, and Stealth co-founder Rafail Ostrovsky (UCLA), together with a team from SRI (Karim Eldefrawy, Stéphane Graham-Lengrand, and Vitor Pereira), published a paper “Boosting the Performance of High-Assurance Cryptography: Parallel Execution and Optimizing Memory Access in Formally-Verified Line-Point Zero-Knowledge” at the 30th ACM Conference on Computer and Communications Security in 2023 (CCS’23). This work describes the formal verification of the Line-Point Zero Knowledge proof system developed by Stealth.