Table of Links Abstract and Introduction


Preliminaries


Overview


Protocol
4.1 Efficient Option Transfer Protocol
4.2 Holder Collateral-Free Cross-Chain Options


Security Analysis
5.1 Option Transfer Properties
5.2 Option Properties


Implementation


Related Work


Conclusion and Discussion, and References A. Codes A.1 Robust and Efficient Transfer Protocol
A.2 Holder Collateral-Free Cross-Chain Options B. Proofs B.1 Transfer Protocol Proofs
B.2 Option 5.2 Option Properties In addition to the properties of the protocol during the option transfer process, here we explore the properties of option contracts. • Option correctness: If both the holder and writer are conforming, either the exercise does not occur, the holder does not lose their collateral and the writer does not lose their collateral and guarantee; or upon completion of the exercise, they will each receive the other’s collateral, and the writer will reclaim their guarantee. • Exercisablity: During the transfer of the writer position, the option holder can exercise the option without experiencing any delays or obstructions. • Failure compensation: If the holder initiates the exercise before expiration, he will either successfully exercise the option or receive the pre-agreed compensation guarantee. Theorem 6. Protocol 4.2 satisfies option correctness: If both the Alice and Bob are conforming, then if Alice does not exercise the right, Alice doesn’t lose the 𝐴𝑠𝑠𝑒𝑡𝐴 and Bob doesn’t lose the 𝐴𝑠𝑠𝑒𝑡𝐺 and 𝐴𝑠𝑠𝑒𝑡𝐵; or if Alice exercise the right, then Alice will receive 𝐴𝑠𝑠𝑒𝑡𝐵 and Bob will receive 𝐴𝑠𝑠𝑒𝑡𝐴 and 𝐴𝑠𝑠𝑒𝑡𝐺 . Theorem 7. Protocol 4.2 satisfies exercisablity: During the transfer from Bob to Dave, the option remains active, allowing Alice to exercise the option without any delays. Theorem 8*. Protocol 4.2 satisfies failure compensation: Before expiration, Alice can exercise the option successfully, or if the exercise fails, she is compensated with the guarantee deposited by Bob.* The proofs are included in the Appendix Section B.2. Authors:
(1) Zifan Peng, The Hong Kong University of Science and Technology (Guangzhou) Guangzhou, Guangdong, China (zpengao@connect.hkust-gz.edu.cn);
(2) Yingjie Xue, The Hong Kong University of Science and Technology (Guangzhou) Guangzhou, Guangdong, China (yingjiexue@hkust-gz.edu.cn);
(3) Jingyu Liu, The Hong Kong University of Science and Technology (Guangzhou) Guangzhou, Guangdong, China (jliu514@connect.hkust-gz.edu.cn). This paper is available on arxiv under CC BY 4.0 license. Table of Links Abstract and Introduction Preliminaries Overview Protocol
4.1 Efficient Option Transfer Protocol
4.2 Holder Collateral-Free Cross-Chain Options Security Analysis
5.1 Option Transfer Properties
5.2 Option Properties Implementation Related Work Conclusion and Discussion, and References Abstract and Introduction Abstract and Introduction Abstract and Introduction Preliminaries Preliminaries Preliminaries Overview Overview Overview Protocol 4.1 Efficient Option Transfer Protocol 4.2 Holder Collateral-Free Cross-Chain Options Protocol 4.1 Efficient Option Transfer Protocol 4.1 Efficient Option Transfer Protocol 4.2 Holder Collateral-Free Cross-Chain Options 4.2 Holder Collateral-Free Cross-Chain Options Security Analysis 5.1 Option Transfer Properties 5.2 Option Properties Security Analysis 5.1 Option Transfer Properties 5.1 Option Transfer Properties 5.2 Option Properties 5.2 Option Properties Implementation Implementation Implementation Related Work Related Work Related Work Conclusion and Discussion, and References Conclusion and Discussion, and References Conclusion and Discussion, and References A. Codes A. Codes A.1 Robust and Efficient Transfer Protocol A.2 Holder Collateral-Free Cross-Chain Options A.1 Robust and Efficient Transfer Protocol A.1 Robust and Efficient Transfer Protocol A.2 Holder Collateral-Free Cross-Chain Options A.2 Holder Collateral-Free Cross-Chain Options B. Proofs B. Proofs B.1 Transfer Protocol Proofs B.2 Option B.1 Transfer Protocol Proofs B.1 Transfer Protocol Proofs B.2 Option B.2 Option 5.2 Option Properties In addition to the properties of the protocol during the option transfer process, here we explore the properties of option contracts. • Option correctness : If both the holder and writer are conforming, either the exercise does not occur, the holder does not lose their collateral and the writer does not lose their collateral and guarantee; or upon completion of the exercise, they will each receive the other’s collateral, and the writer will reclaim their guarantee. Option correctness • Exercisablity : During the transfer of the writer position, the option holder can exercise the option without experiencing any delays or obstructions. Exercisablity • Failure compensation : If the holder initiates the exercise before expiration, he will either successfully exercise the option or receive the pre-agreed compensation guarantee. compensation Theorem 6. Protocol 4.2 satisfies option correctness: If both the Alice and Bob are conforming, then if Alice does not exercise the right, Alice doesn’t lose the 𝐴𝑠𝑠𝑒𝑡𝐴 and Bob doesn’t lose the 𝐴𝑠𝑠𝑒𝑡𝐺 and 𝐴𝑠𝑠𝑒𝑡𝐵; or if Alice exercise the right, then Alice will receive 𝐴𝑠𝑠𝑒𝑡𝐵 and Bob will receive 𝐴𝑠𝑠𝑒𝑡𝐴 and 𝐴𝑠𝑠𝑒𝑡𝐺 . Protocol 4.2 satisfies option correctness: If both the Alice and Bob are conforming, then if Alice does not exercise the right, Alice doesn’t lose the 𝐴𝑠𝑠𝑒𝑡𝐴 and Bob doesn’t lose the 𝐴𝑠𝑠𝑒𝑡𝐺 and 𝐴𝑠𝑠𝑒𝑡𝐵; or if Alice exercise the right, then Alice will receive 𝐴𝑠𝑠𝑒𝑡𝐵 and Bob will receive 𝐴𝑠𝑠𝑒𝑡𝐴 and 𝐴𝑠𝑠𝑒𝑡𝐺 . Theorem 7. Protocol 4.2 satisfies exercisablity: During the transfer from Bob to Dave, the option remains active, allowing Alice to exercise the option without any delays. Protocol 4.2 satisfies exercisablity: During the transfer from Bob to Dave, the option remains active, allowing Alice to exercise the option without any delays. Theorem 8*. Protocol 4.2 satisfies failure compensation: Before expiration, Alice can exercise the option successfully, or if the exercise fails, she is compensated with the guarantee deposited by Bob.* The proofs are included in the Appendix Section B.2. Authors: (1) Zifan Peng, The Hong Kong University of Science and Technology (Guangzhou) Guangzhou, Guangdong, China (zpengao@connect.hkust-gz.edu.cn); (2) Yingjie Xue, The Hong Kong University of Science and Technology (Guangzhou) Guangzhou, Guangdong, China (yingjiexue@hkust-gz.edu.cn); (3) Jingyu Liu, The Hong Kong University of Science and Technology (Guangzhou) Guangzhou, Guangdong, China (jliu514@connect.hkust-gz.edu.cn). Authors: Authors: (1) Zifan Peng, The Hong Kong University of Science and Technology (Guangzhou) Guangzhou, Guangdong, China (zpengao@connect.hkust-gz.edu.cn); (2) Yingjie Xue, The Hong Kong University of Science and Technology (Guangzhou) Guangzhou, Guangdong, China (yingjiexue@hkust-gz.edu.cn); (3) Jingyu Liu, The Hong Kong University of Science and Technology (Guangzhou) Guangzhou, Guangdong, China (jliu514@connect.hkust-gz.edu.cn). This paper is available on arxiv under CC BY 4.0 license. This paper is available on arxiv under CC BY 4.0 license. available on arxiv

Part of HackerNoon's growing list of open-source research papers, promoting free access to academic material.

Making Cross-Chain Options More Efficient

Ensuring Secure and Efficient Cross-Chain Option Transfers

EScholar Technologies

Too Long; Didn't Read

CTA: Download the FREE AI Productivity Shift report

How to Ensure Fairness in Option Contracts

About Author

Comments

TOPICS

THIS ARTICLE WAS FEATURED IN

Related Stories

Untitled Story

Smart Cards, IPv6 Packets, and the Future of Post-Quantum Security

Archway Users Now Have Access to Balanced

Assets From 50+ Chains To Become Available On MultiversX Via Axelar

Examining the Dynamics of Blockchain Interoperability with Layer One X's Devs

Top Altcoins in 2024: Cosmos vs. Kelexo vs. BlockDAG

Smart Cards, IPv6 Packets, and the Future of Post-Quantum Security

Archway Users Now Have Access to Balanced

Assets From 50+ Chains To Become Available On MultiversX Via Axelar

Examining the Dynamics of Blockchain Interoperability with Layer One X's Devs

Top Altcoins in 2024: Cosmos vs. Kelexo vs. BlockDAG

Light-Mode

Classic

Newspaper

Dark-Mode

Neon Noir

Minty

HN StartUps