~/jendhub

def aria_op_unop

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

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

8386def aria_op_unop(o: A.LcAriaOp, +s: A.LcAriaSt) -> {s == A.aria.op(o, A.aria.unop(o, s)) : A.LcAriaSt}:
8387  match o:
8388    case A.LcAriaRk{+k}:
8389      aria_xor2(s, k)
8390    case A.LcAriaSl1{}:
8391      aria_sl12(s)
8392    case A.LcAriaSl2{}:
8393      aria_sl21(s)
8394    case A.LcAriaDiff{}:
8395      aria_diffd(s)

Uses (8)

Used by (1)