Offline Digital Euro: a Minimum Viable CBDC using Groth-Sahai proofs. - Leon Kempen; Johan Pouwelse (CoRR, 2024)