def core_bytes_valid_proof

qasim-bend-kit@0.1.0.2 · libs/AES256GCM.bend:22

import Base
import qasim-bend-kit@0.1.0.2/libs/AES256GCMCore.bend as Core

22def core_bytes_valid_proof(bytes: List<&2, U32>,
23    valid: {Core.gcm_bytes_valid(bytes) == True{} : Bool}) ->
24    {bytes_valid(bytes) == True{} : Bool}:
25    Equal.trans(Bool, bytes_valid(bytes), Core.gcm_bytes_valid(bytes), True{},
26        core_bytes_valid_eq(bytes), valid)