TY - RPRT TI - Bitcoin-Enhanced Proof-of-Stake Security: Possibilities and Impossibilities AU - Ertem Nusret Tas AU - David Tse AU - Fangyu Gai AU - Sreeram Kannan AU - Mohammad Ali Maddah-Ali AU - Fisher Yu PY - 2025 UR - https://arxiv.org/abs/2207.08392 ID - 2207.08392 ER -