Paper presentation at CRYPTO 2025, Santa Barbara, USA.