Module mitrid_core::crypto::prove [−][src]
Trait implemented by types that can be proved and verified cryptographically.
Provable
provable
is the module providing the trait used to implement cryptographic proof-systems.
Traits
Provable |
Trait implemented by types that can produce cryptographic proofs and verify them. |