Paper 2022/717

Cross Chain Atomic Swaps in the Absence of Time via Attribute Verifiable Timed Commitments

Yacov Manevich
Adi Akavia

A Hash Time Lock Contract (HTLC) is a protocol that is commonly used to exchange payments across different blockchains. Using HTLC as a building block for cross blockchain atomic swaps has its drawbacks: The notion of time is handled differently in each blockchain, be it private or public. Additionally, if the swap ends up aborted, the funds are locked in escrow until the safety timeout expires. In this work we formulate a new cryptographic primitive: Attribute Verifiable Timed Commitment which enables to prove that a timed commitment commits to a value which possesses certain attributes. Using our cryptographic primitive, we describe a new cross chain atomic swap protocol that operates without blockchain derived time and unlike the state of the art, all parties can instantly abort the swap without waiting for the safety timeouts to expire. In order to prove in zero knowledge that a secret committed to using a timed commitment has a claimed hash value, we employ the "MPC in the head" technique by Ishai et al. and implement our zero-knowledge proof protocol and evaluate its performance. As part of our techniques, we develop a novel and efficient procedure for integer Lower-Than validation in arithmetic circuits which may be of independent interest.

Available format(s)
Publication info
Contact author(s)
yacov manevich @ gmail com
adi akavia @ gmail com
2022-06-06: approved
2022-06-05: received
See all versions
Short URL
Creative Commons Attribution


      author = {Yacov Manevich and Adi Akavia},
      title = {Cross Chain Atomic Swaps in the Absence of Time via Attribute Verifiable Timed Commitments},
      howpublished = {Cryptology ePrint Archive, Paper 2022/717},
      year = {2022},
      note = {\url{}},
      url = {}
Note: In order to protect the privacy of readers, does not use cookies or embedded third party content.