in UProveCrypto/Prover.cs [267:289]
public void Validate()
{
if (AlphaInverse == null)
throw new UProveSerializationException("AlphaInverse ");
if (Beta2 == null)
throw new UProveSerializationException("Beta2");
if (H == null)
throw new UProveSerializationException("H");
if (SigmaZPrime == null)
throw new UProveSerializationException("SigmaZPrime");
if (SigmaAPrime == null)
throw new UProveSerializationException("SigmaAPrime");
if (SigmaBPrime == null)
throw new UProveSerializationException("SigmaBPrime");
if (SigmaCPrime == null)
throw new UProveSerializationException("SigmaCPrime");
int count = AlphaInverse.Length;
if (Beta2.Length != count || H.Length != count || SigmaZPrime.Length != count || SigmaAPrime.Length != count || SigmaBPrime.Length != count || SigmaCPrime.Length != count)
{
throw new UProveSerializationException("all arrays must have the same length");
}
}