The real alpha: https://www.nist.gov/video/mpts-2023-session-2a-fhe-zkp-and-abe