Linus, R., George, L., Gillet, M., & Steffens, T. (2022). ZeroSync - STARK proofs for Bitcoin (Version 0.0.1) [Computer software]. https://github.com/ZeroSync/ZeroSync