eprint.iacr.orgpaperThe Post-Quantum Cost of Garbled-Circuit Bitcoin Bridges
This IACR ePrint paper examines the post-quantum security of Bitcoin bridges that rely on off-chain garbled-circuit evaluation of succinct proofs to validate withdrawals, where input labels encoding the proof must be committed on-chain. The authors show current pairing-based proving systems are vulnerable to quantum attacks, and that swapping to post-quantum proving systems shrinks circuit size but drastically inflates proof size, forcing proofs to span multiple Bitcoin blocks and raising on-chain cost. They outline research directions to improve proof efficiency, circuit representation, and label encoding for quantum-resistant bridge designs.
TL;DR A cryptanalysis of post-quantum risk and cost trade-offs in garbled-circuit-based Bitcoin bridge designs that verify succinct proofs on-chain.
Organisations named here
- Aaron Feickert
- Mukesh Tiwari
Technologies named here
- Bitcoin bridge designs using succinct proof verification
- Garbled circuits
- Pairing-based proving systems
- Post-quantum proving systems
- Bitcoin
Techniques named here
- Garbled-circuit evaluation of succinct proofs
Related in Blockchain
blog.thorchain.orgwriteupTHORChain Exploit Report #2 — GG20 root-cause disclosure
protos.comarticleBlack Thursday revisited: MakerDAO keeper exploited for $500K
.jpg)
aikido.devwriteupGraphalgo campaign spreads to Terraform providers and Go Modules
sundaytimes.lkarticle