Excited to announce our application was accepted for a @zcash minor grant.
30 Oct 2023, 19:30
🎉 Excited to announce our application was accepted for a @zcash minor grant
Improved Lightweight Formal Verification of Halo2 Proof Systems âš¡
This will allow us to continue enhancing the Halo2 analyzer tool accepted at SMT 2023 earlier this year.
More updates to come!