The Post-Quantum Cost of Garbled-Circuit Bitcoin Bridges
In briefCosts of Garbled-Circuit Bitcoin Bridges in a Post-Quantum Setting
SummaryThis paper examines recent Bitcoin bridge designs that verify succinct proofs to process withdrawals, and assesses the post-quantum vulnerability of their cryptographic components. It compares the costs of secure alternatives, finding that post-quantum proving systems can yield smaller circuits than the current pairing-based baseline but require significantly larger proofs that need multiple Bitcoin blocks to encode. The authors suggest future research directions to improve proof efficiency, circuit representations, and input encodings.