Paper 2025/912 Original: eprint.iacr.org/2025/912 ↗
Enforcing arbitrary constraints on Bitcoin transactions
Abstract
The challenge of enforcing constraints on Bitcoin transac- tions has recently gained a lot of attention. The current approach to solve this problem falls short in certain aspects, such as privacy and programmability. We design a new solution that leverages zkSNARKs and allows enforcing arbitrary constraints on Bitcoin transactions while maintaining some information private. Our approach also bypasses the non-Turing completeness of Bitcoin Script, allowing the enforcement of unbounded constraints, namely constraints that repeat a certain opera- tion an unbounded number of times.
Metadata
- Available format(s)
PDF- Category
- Implementation
- Publication info
- Preprint.
- History
- 2025-05-21: last updated
- 2025-05-21: published
- Short URL
- https://ia.cr/2025/912
- License
- https://creativecommons.org/licenses/by-nc-nd/4.0/
BibTeX
@misc{cryptoeprint:2025/912,
author = {Federico Barbacovi and Enrique Larraia},
title = {Enforcing arbitrary constraints on Bitcoin transactions},
howpublished = {Cryptology {ePrint} Archive, Paper 2025/912},
year = {2025},
url = {https://eprint.iacr.org/2025/912}
}