Practical Implementation of Pairing-Based zkSNARK in Bitcoin Script. - Federico Barbacovi; Enrique Larraia; Paul Germouty; Wei Zhang (IACR Cryptol. ePrint Arch., 2024)

Enforcing arbitrary constraints on Bitcoin transactions. - Federico Barbacovi; Enrique Larraia (IACR Cryptol. ePrint Arch., 2025)