Post-Quantum Security of Garbled-Circuit Bitcoin Bridges
A new paper by Alpen Labs researchers examines the post-quantum security and costs of garbled-circuit Bitcoin bridges, analyzing designs including BitVM3, Glock, and Mosaic.
eprint.iacr.org
🔗
The Post-Quantum Cost of Garbled-Circuit Bitcoin Bridges
Recent Bitcoin bridge designs rely on verification of succinct proofs to process withdrawals. This requires off-chain garbled circuit evaluation of a succinct proof, the input labels for which must be encoded on chain in a manner compatible with malicious security. We assess the post-quantum vulnerability of these cryptographic components, and examine the costs of secure alternatives.
eprint.iacr.org
🔗
The Post-Quantum Cost of Garbled-Circuit Bitcoin Bridges
Recent Bitcoin bridge designs rely on verification of succinct proofs to process withdrawals. This requires off-chain garbled circuit evaluation of a succinct proof, the input labels for which must be encoded on chain in a manner compatible with malicious security. We assess the post-quantum vulnerability of these cryptographic components, and examine the costs of secure alternatives.