Closed alsala closed 3 years ago
the sc id has been added to cert prover/verifier/hash. A suited mc crypto lib branch is pointed to.
Conflicts with #130
the sc id has been added to cert prover/verifier/hash. A suited mc crypto lib branch is pointed to.