Portable.Proof
val of_concrete : Concrete.t -> proof
val to_concrete : proof -> Concrete.t
This function produces unfindable keys. Only use in tests