~/jendhub

def verify_r

bend-collections@1.0.0.0 · src/crypto/secp256k1/schnorr.bend:52

import bend-collections@1.0.0.0/src/crypto/secp256k1/schnorr.bend as Schnorr
import Base
import bend-collections@1.0.0.0/src/crypto/secp256k1/point.bend as P

52# R = [s] G - [e] P must be finite, with even y and x(R) = r
53def verify_r(+r: List<&2, Nat>, +rr: P.Point) -> Bool:
54  verify_aff(r, P.is_inf(rr), P.to_affine(rr))

Uses (7)

Used by (1)