def cr.vm.poly
import bend-osdev-crypto@0.1.0.0/vmac.bend as Vmacimport Base
import bend-osdev-word64@0.1.0.0/word64.bend as W
246def cr.vm.poly(+nk: List<&2, W.W64>, +k: CrU128, ps: List<&2, List<&2, U32>>) -> CrU128:
247 match ps:
248 case Nil{}:
249 k
250 case Con{p, t}:
251 cr.vm.poly.go(nk, k, Con{p, t}, cr.vm.u(W.W64.one()))