ZeeStar: Private Smart Contracts by Homomorphic Encryption and Zero-knowledge Proofs. - Samuel Steffen; Benjamin Bichsel; Roger Baumgartner; Martin T. Vechev (SP, 2022)