Ventali TaninDelendum ResearchFormal Verification of ZK Constraint SystemsBy Morgan Thomas and Ventali TanSep 1, 2022Sep 1, 2022