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