Halo2 AES halo2-aes provides halo2 gadgets to prove correct AES encryption. Disclaimer This library is under development and not audited. DO NOT USE IN PRODUCTION.