usage/AES_NistTest.bend checks
raw source on the hub · import qasim-bend-kit@0.1.0.2/usage/AES_NistTest.bend as AES_NistTest
2 imports
import Base import ../libs/AES256GCM.bend as AES
Definitions
def result_matches source · line 4 · raw
@result:Result<&2, &2, 0xaca801afcf3e822677fd6d06895d2c71/libs/AES256GCM.Error, 0xaca801afcf3e822677fd6d06895d2c71/libs/AES256GCM.Envelope> -> @expected:0xaca801afcf3e822677fd6d06895d2c71/libs/AES256GCM.Envelope -> Bool
def plaintext_matches source · line 10 · raw
@result:Result<&2, &2, 0xaca801afcf3e822677fd6d06895d2c71/libs/AES256GCM.Error, List<&2, U32>> -> @expected:List<&2, U32> -> Bool
def check_vector source · line 17 · raw
@+key:0xaca801afcf3e822677fd6d06895d2c71/libs/AES256GCM.SecretKey -> @+nonce:0xaca801afcf3e822677fd6d06895d2c71/libs/AES256GCM.Nonce -> @+aad:List<&2, U32> -> @+plaintext:List<&2, U32> -> @+expected:0xaca801afcf3e822677fd6d06895d2c71/libs/AES256GCM.Envelope -> Bool
def main source · line 27 · raw
Bool