Open bobbinth opened 4 years ago
This PR will experiment with different ways of reducing proof size. A few options:
This PR will experiment with different ways of reducing proof size. A few options: