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>; }, >;} = ...