Recent blog posts
With commitment schemes at hand, we turn our attention once again to proving systems