@misc{indiciae0aa8e7d2d842,
  title = {Safe Low Bandwidth SPV: A Formal Treatment of Simplified Payment Verification Protocols and Security Bounds},
  author = {Craig S Wright},
  year = {2025},
  url = {https://arxiv.org/abs/2507.00740},
  note = {Source identifier: 2507.00740}
}