def pow_go
import bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/field.bend as Fieldimport Base
84def pow_go(+x: List<&2, Nat>, bits: List<&2, Nat>, +acc: List<&2, Nat>) -> List<&2, Nat>:
85 match bits:
86 case Nil{}: acc
87 case b <> t: pow_go(x, t, pow_step(b, x, sq(acc)))
Uses (4)
Used by (6)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/field:pow
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/fieldpow:pow_ev
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/fieldpow:pow_is
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/fieldpow:pow_rv
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/fieldpow:pow_e
- …