SHA256 verification circuit in halo2 supporting dynamic length input. - View it on GitHub