ZeroSync - STARK proofs for Bitcoin - Linus, Robin; George, Lukas; Gillet, Max; Steffens, Tino (2022)