Variable CtrModeIterativeAes128HelperConst
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.