# Halo2 / Orchard API Coordination ## Action Items - change Bundle to enforce a non empty list at type level - improve the `halo2::plonk::verify_proof` API (MSM?) [str4d] - pin this to the halo channel