Zipline - A Fault-Proof Blocker Header Oracle. - Willem C. Olding; Eric Tu; Cayman Nava (ICBC, 2023)