proof_system 0.5.2

Proof system to comprise various cryptographic primitives
Documentation