law v_cmac_k2

bend-osdev-gf@0.1.1.0 · LAWS.bend:218

import Base
import bend-osdev-gf@0.1.1.0/gf128.bend as H

218law v_cmac_k2:
219  {H.Gf128.double_be(H.Gf128.of_words(4226733592, 896611174, 2089148559, 1916184798)) == H.Gf128.of_words(4158499888, 1793222348, 4178297118, 3832369467) : H.Gf128}