CtrModeIterativeAes128Helper: {
    analyzeMethods: () => Promise<
        {
            verifyAES128: {
                digest: string;
                gates: Gate[];
                publicInputSize: number;
                rows: number;
                print(): void;
                summary(): Partial<Record<GateType | "Total rows", number>>;
            };
        },
    >;
    auxiliaryOutputTypes: { verifyAES128: undefined };
    compile: (
        options?: {
            cache?: Cache;
            forceRecompile?: boolean;
            proofsEnabled?: boolean;
        },
    ) => Promise<{ verificationKey: { data: string; hash: Field } }>;
    digest: () => Promise<string>;
    name: string;
    privateInputTypes: { verifyAES128: [typeof Byte16] };
    proofsEnabled: boolean;
    publicInputType: typeof AES128HelperPublicInput;
    publicOutputType: ProvablePureExtended<void>;
    rawMethods: {
        verifyAES128: (
            publicInput: AES128HelperPublicInput,
            ...args: TupleToInstances<[typeof Byte16]>,
        ) => Promise<void>;
    };
    verify: (proof: Proof<AES128HelperPublicInput, void>) => Promise<boolean>;
    setProofsEnabled(proofsEnabled: boolean): void;
} & {
    verifyAES128: (
        publicInput: AES128HelperPublicInput,
        ...args: TupleToInstances<[typeof Byte16]>,
    ) => Promise<
        {
            auxiliaryOutput: undefined;
            proof: Proof<AES128HelperPublicInput, void>;
        },
    >;
} = ...

A zkProgram that verifies a proof that a message was encrypted with AES-128 using the given key AND DISCLOSES THE MESSAGE. This one should only be used for counter mode only AS IT DISCLOSES THE MESSAGE.