~/jendhub

def aria_unop_op

bend-osdev-legacy-ciphers@0.1.0.0 · PROOF.bend:8375

import bend-osdev-legacy-ciphers@0.1.0.0/PROOF.bend as PROOF
import Base
import bend-osdev-legacy-ciphers@0.1.0.0/aria.bend as A

8375def aria_unop_op(o: A.LcAriaOp, +s: A.LcAriaSt) -> {s == A.aria.unop(o, A.aria.op(o, s)) : A.LcAriaSt}:
8376  match o:
8377    case A.LcAriaRk{+k}:
8378      aria_xor2(s, k)
8379    case A.LcAriaSl1{}:
8380      aria_sl21(s)
8381    case A.LcAriaSl2{}:
8382      aria_sl12(s)
8383    case A.LcAriaDiff{}:
8384      aria_diff(s)

Uses (8)

Used by (1)