I’m not sure this is enough information for me to work out the entire scheme myself. Is there a forthcoming paper y’all are working on with this? It seems like a very interesting theoretical result even if it doesn’t have direct implications for a mainnet deployment (at least any time soon)