Variable IterativeAes128Const

IterativeAes128: {
    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, typeof Byte16] };
    proofsEnabled: boolean;
    publicInputType: typeof IterativeAES128PublicInput;
    publicOutputType: ProvablePureExtended<void>;
    rawMethods: {
        verifyAES128: (
            publicInput: IterativeAES128PublicInput,
            ...args: TupleToInstances<[typeof Byte16, typeof Byte16]>,
        ) => Promise<void>;
    };
    verify: (
        proof: Proof<IterativeAES128PublicInput, void>,
    ) => Promise<boolean>;
    setProofsEnabled(proofsEnabled: boolean): void;
} & {
    verifyAES128: (
        publicInput: IterativeAES128PublicInput,
        ...args: TupleToInstances<[typeof Byte16, typeof Byte16]>,
    ) => Promise<
        {
            auxiliaryOutput: undefined;
            proof: Proof<IterativeAES128PublicInput, void>;
        },
    >;
} = ...