We should add support for superlight provers specified in https://arxiv.org/pdf/2209.08673
We should add support for superlight provers specified in https://arxiv.org/pdf/2209.08673