type TagContext

qasim-bend-kit@0.1.0.2 · proof/AES_EncryptProof.bend:10

import Base

10type TagContext is Data:
11    TagContext{
12        words: List<&2, U32>,
13        nonce: List<&2, U32>,
14        aad: List<&2, U32>,
15        ciphertext: List<&2, U32>
16    }