def tf.mds.col

bend-osdev-legacy-ciphers@0.1.0.0 · twofish.bend:109

import Base
import bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend as L

109def tf.mds.col(+j: Nat, +x: U32) -> U32:
110  +m = tf.mds.m()
111  L.lc.le(tf.gmul(L.lc.at(m, j), x, 105), tf.gmul(L.lc.at(m, Nat.add(4n, j)), x, 105), tf.gmul(L.lc.at(m, Nat.add(8n, j)), x, 105), tf.gmul(L.lc.at(m, Nat.add(12n, j)), x, 105))