Halo2 Nova

Point of contact: Han/Ying Tong

Han is implementing a Nova backend for Halo2. I’m sure there’s 2-day long tasks he can etch out for implementation.