Skip to content
Fix for proof generation with higher difficulties