@circom:eddsa.verify
Verify an EdDSA (Baby Jubjub, Poseidon variant) signature: the [R8x R8y S] array from @circom:eddsa.sign against a message and an [x y] public key.
⚗️ Experimental — available at next.evmcrispr.com.
Returns: bool
Syntax
Section titled “Syntax”@circom:eddsa.verify(message signature pubkey)Arguments
Section titled “Arguments”| Name | Type | Description |
|---|---|---|
message | number | Field-element message that was signed |
signature | array | Signature as [R8x R8y S] |
pubkey | array | Public key as [x y] (from @circom:eddsa.pub) |
See Also
Section titled “See Also”- @circom:eddsa.sign — produces the
[R8x R8y S]signature - @circom:eddsa.pub — derives the
[x y]public key