Change Details

The piece of proof.cpp that computes the proodif from the limited id and from the master key will be needed when we verify that a delegation matches a given proof. This adds a static method to ProofId to do the computation.

The piece of proof.cpp that computes the proodif from the limited id and from the master key will be needed when we verify that a delegation matches a given proof. This adds a method to LimitedProofId to do the computation.

The piece of proof.cpp that computes the proodif from the limited id and from the master key will be needed when we verify that a delegation matches a given proof. This adds a static method to LimitedProofId to do the computation.