Skip to content

Commit 3b4a8ad

Browse files
committed
Short explanation added for signature::verify
1 parent b3987d0 commit 3b4a8ad

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

documentation/leo/04_operators.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1019,7 +1019,7 @@ transition verify_field(s: signature, a: address, v: field) {
10191019

10201020
#### Description
10211021

1022-
Verifies that the signature `first` was signed by the address `second` with respect to the field `third`, storing the result in `destination`.
1022+
Verifies that the signature `first` was signed by the address `second` with respect to the field `third`, storing the result in `destination`. This verification follows the [Schnorr signature scheme](https://en.wikipedia.org/wiki/Schnorr_signature), which is a digital signature algorithm where the signer generates a random nonce, commits to it, computes a challenge using a hash function, and produces a signature by combining the nonce, challenge, and private key. The verifier checks the validity by reconstructing the challenge and ensuring consistency with the public key and message.
10231023

10241024
#### Supported Types
10251025

0 commit comments

Comments
 (0)