Instead of AES256 i will feel much safer if a quantum safe algorithm, like KRYSTALS, mixed with AES256 was used.
When i say mixed with, it is because we still don't have suffisant robustness tests done in real life, so mixing it with already well tested algoritms should mitigate such security issues; at least until few more years to test post-quantum algorithms.
Instead of AES256 i will feel much safer if a quantum safe algorithm, like KRYSTALS, mixed with AES256 was used. When i say mixed with, it is because we still don't have suffisant robustness tests done in real life, so mixing it with already well tested algoritms should mitigate such security issues; at least until few more years to test post-quantum algorithms.