def pow_go
import bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/scalar.bend as Scalarimport Base
67def pow_go(+x: List<&2, Nat>, bits: List<&2, Nat>, +acc: List<&2, Nat>) -> List<&2, Nat>:
68 match bits:
69 case Nil{}: acc
70 case b <> t: pow_go(x, t, pow_step(b, x, mul(acc, acc)))
Uses (4)
Used by (6)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/scalar:pow
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/scalarpow:pow_is
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/scalarpow:pow_e
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/scalarpow:pow_ev
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/scalarpow:pow_r
- …