Faster and shorter proof set
Faster and shorter proof set