proof_system 0.32.0

Proof system to comprise various cryptographic primitives