I’ve heard for a few years now that Halo2 has a recursive feature that allows for a reduced full node. If I’m not mistaken, the Mina protocol uses this feature. Will this feature ever be implemented in Zcash? What have we learned from the Mina protocol in relation to the recursive Halo2?