def ecrecover_v

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/secp256k1/ecdsa.bend:318

import Base

318def ecrecover_v(+one: Nat, +h: List<&2, U32>, +rs: List<&2, U32>, +v: U32, ok: Bool) -> Maybe<&2, List<&2, U32>>:
319  match ok:
320    case True{}: addr_word(recover(one, h, cat(rs, [U32.sub(v, 27)])))
321    case False{}: None{}