proof_system 0.4.1

Proof system to comprise various cryptographic primitives
Documentation