better proc names

Signed-off-by: Csaba Kiraly <csaba.kiraly@gmail.com>
This commit is contained in:
Csaba Kiraly 2021-08-31 13:26:57 +02:00 committed by Dmitriy Ryajov
parent 6559ff6f04
commit 4ed5ba18ec
No known key found for this signature in database
GPG Key ID: DA8C680CE7C657A4

View File

@ -174,7 +174,7 @@ proc generateProof(q: openArray[QElement], authenticators: openArray[BigInt], sp
return (mu, sigma)
proc Verify_two(tau: Tau, q: openArray[QElement], mus: openArray[BigInt], sigma: BigInt, spk: PublicKey): bool =
proc verifyProof(tau: Tau, q: openArray[QElement], mus: openArray[BigInt], sigma: BigInt, spk: PublicKey): bool =
# TODO: check that values are in range
let N = spk.getModulus()
@ -210,7 +210,7 @@ proc test() : bool =
echo "Issued!", " mu:", mu, " sigma:", sigma
echo "Verifying proof..."
result = pos.Verify_two(tau, q, mu, sigma, spk)
result = pos.verifyProof(tau, q, mu, sigma, spk)
echo "Result: ", result
randomize()