def hv

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/secp256k1/bitsv.bend:20

import Base

20def hv(bs: List<&2, Nat>, +one: Nat, +e: Nat) -> Nat:
21  match bs:
22    case Nil{}: e
23    case b <> t: hv(t, one, Nat.add(Nat.mul(b, one), Nat.double(e)))