\documentclass[authoryear,times,review,12pt,3p]{elsarticle}

%special commands
\newcommand{\ds}{\displaystyle}
\newtheorem{lem}{Lemma}[section]
\newtheorem{prop}{Proposition}[section]
\newtheorem{defi}{Definition}[section]

% Special Characters
%model I
\newcommand{\E}{\mathbb{E}}
\newcommand{\cv}{c_{V}}
\newcommand{\cs}{c_{S}}
\newcommand{\piv}{\pi_{V}^I}
\newcommand{\pis}{\pi_{S}^I}


%model IG
\newcommand{\pgv}{\pi_{V}^{IG}}
\newcommand{\pgs}{\pi_{S}^{IG}}


%model B

\newcommand{\cvb}{c_{VB}}
\newcommand{\csb}{c_{SB}}
\newcommand{\pbs}{\pi_{S}^B}
\newcommand{\pbv}{\pi_{V}^B}
\newcommand{\eb}{e^B}
\newcommand{\rb}{r^B}
\newcommand{\pb}{p^B}
\newcommand{\kb}{k^{B}}
\newcommand{\pbb}{p^{B*}}

%Model BG
\newcommand{\pbgs}{\pi_{S}^{BG}}
\newcommand{\pbgv}{\pi_{V}^{BG}}

\newcommand{\rv}{r_{V}}
\newcommand{\rvb}{r_{V}^B}


\newcommand{\vso}{V_{SO}}
\newcommand{\vvm}{V_{VM}}

%Model B-c
\newcommand{\pbcs}{\pi_{S}^{B-c}}
\newcommand{\pbcv}{\pi_{V}^{B-c}}

%Model BG-c
\newcommand{\pbgcs}{\pi_{S}^{BG-c}}
\newcommand{\pbgcv}{\pi_{V}^{BG-c}}

%Model IA
\newcommand{\pia}{\pi_{SC}^{IA}}
\newcommand{\swia}{SW^{IA}}

%Model BA
\newcommand{\pba}{\pi_{SC}^{BA}}
\newcommand{\swba}{SW^{BA}}


%Model GA
\newcommand{\pga}{\pi_{SC}^{GA}}
\newcommand{\swga}{SW^{GA}}

%Model BGA
\newcommand{\pbga}{\pi_{SC}^{BGA}}
\newcommand{\swbga}{SW^{BGA}}

%refer to website
\usepackage{url}

% enable math symbols
\usepackage[cmex10]{amsmath}
\usepackage{mdwmath}
\usepackage{amssymb}

% mdwtab can be used to align equations and tables
\usepackage{array}
\usepackage{mdwtab}

\usepackage{graphicx}

% powful tools for table
\usepackage{booktabs}
\usepackage{tabularx}
\usepackage{multirow}
\usepackage{rotating}
\usepackage[flushleft]{threeparttable}

% change the position of figures or tables
\usepackage{float}
\usepackage{subcaption}
% only used in revisions
\usepackage{changes}

% self-defined commands or simply 
\newcommand{\reffig}[1]{Figure~\ref{#1}}
\newcommand{\reftab}[1]{Table~\ref{#1}}
\newcommand{\refequ}[1]{Equation~(\ref{#1})}
\newcommand{\refcstr}[1]{Constraint~\ref{#1}}
\newcommand{\refsec}[1]{Section~\ref{#1}}
\newcommand{\refalg}[1]{Algorithm~\ref{#1}}
\newcommand{\reflem}[1]{Lemma~\ref{#1}}
\newcommand{\refprop}[1]{Proposition~\ref{#1}}
\newcommand{\refdefi}[1]{Definition~\ref{#1}}
% change the journal name before submitting
\journal{Journal of XYZ}
	
\begin{document}
	
	\begin{frontmatter}
		
		\title{How to empower insured satellite launch supply chain: government subsidy or blockchain adoption?}
		
		\author[SEMUCAS]{Jichang Dong}\ead{jcdonglc@ucas.ac.cn}
		\author[SEMUCAS,SDCUCAS,BDCAS]{Yihan Jing}\ead{jingyihan18@mails.ucas.ac.cn}
		\author[ZNU]{Ciwei Dong}\ead{ dongciwei@zuel.edu.cn}
		\author[SEMUCAS,BDCAS,MOECAS]{Zhou He\corref{Cor}}\ead{hezhou@ucas.ac.cn}	
  
    	\address[SEMUCAS]{School of Economics and Management, University of Chinese Academy of Sciences, 3 Zhongguancun Nanyitiao, China}
    	\address[SDCUCAS]{Sino-Danish College, University of Chinese Academy of Sciences, 80 Zhongguancun East Road, Beijing 100190, China.}
    	\address[ZNU]{School of Business Administration, Zhongnan University of Economics and Law, Wuhan 430073, China}
		\address[BDCAS]{Key Laboratory of Big Data Mining and Knowledge Management, Chinese Academy of Sciences, 80 Zhongguancun East Road, Beijing 100190, China.}
		\address[MOECAS]{MOE Social Science Laboratory of Digital Economic Forecasts and Policy Simulation at UCAS, 3 Zhongguancun Nanyitiao, China}
		\cortext[Cor]{Corresponding author. Tel.: +86 10 88250000; fax: +86 10 88250000.}
			
	\begin{abstract}
	
		%		problem definition: what is the business problem
	    The commercial launch industry is booming but abounds with enormous-loss risks, similar to the disruption risk in the supply chain. 
		Traditionally, launch insurance is the commonly used financial tool to hedge such risks. 
		However, as the third highest cost after the satellite cost and the launch service price, the insurance makes satellite operators prohibitive.
	    Moreover, to alleviate the financial pressure on private satellite operators, some governments have implemented subsidy systems for the launch insurance fee to promote the development of the commercial space industry.
    	Besides, with the development of blockchain technology, it has also been adopted to decrease launch risks and expand the market from a technical perspective. 
	    However, a tricky question is how to make a cost-effective decision to improve the supply chain efficiency between government-subsidy insurance and blockchain-embed insurance.
		%	    Academic /Practice relevance: what have others done
		In this paper, we apply a game-theoretic approach to study the fintech launch contract supported by government subsidy or blockchain for solving the trade-off between high risk and high cost. 
		More precisely, we consider a Stackelberg strategy in a space launch supply chain and build math models to examine the cases with launch insurance (Model I), with government-subsidies insurance (Model IG), with blockchain-embedded insurance (Model B), and with blockchain-embedded insurance under government subsidies (Model BG).
	    From a theoretical perspective, we investigate the optimal launch price, retail price, and the effort (for improving launch success probability) expressions by deriving models.
	    Furthermore, we explore the conditions for optimal allocation of government subsidies and the cost thresholds for adopting blockchain technology by analyzing the equilibrium outcomes.
	    We find that if the government wants to form a virtuous circle and optimize the allocation of funds, it should subsidize satellite operators that use cost-effective vehicles for launch activities rather than providing unconditional subsidies.
	    In addition, we also find that the subsidy does not benefit consumers, but blockchain can.
	    Once the blockchain technology is adopted, contract prices go up, the vehicle manufacturer exerts more effort, and the premium rate always is lower as the launch missions become more efficient and believable. 
	    Besides, the adoption of blockchain technology can also improve the benefits from government subsidies.
	    Moreover, when the satellite operator chooses an inexpensive launch vehicle, the cost-advantage blockchain-embedded platform benefits all participants. 
	    Finally, coupling these findings, we further discuss the managerial implications for the commercial space launch market.
		
	\end{abstract}
	
	\begin{keyword}
	 Satellite launch \sep insurance\sep government subsidy \sep blockchain \sep commercial launch supply chain
	\end{keyword}
	
%		\section{Highlights}
% 	(1) This paper investigates the implement of blockchain technologies in the commercial launch industry, which can effectively improve the efficient of data flow.\par 
%     (2)Two mathematical models have been built: insurance model and blockchain-embedded model.  \par 
%	(3) Uncover the threshold of using blockchain for each participant.\par 
%	(4) Reveal the adoption of blockchain can improve supply chain members to achieve a win-win situation. \par 
	
	\end{frontmatter}

	% usually, add a new page before introduction
	\newpage
	
	\section{Introduction}\label{sec:introduction}
	\subsection{Background}
	% 商业卫星行业的兴起。商业航空越来越重要。
	%	With the prosperity of commercial space, more and more 
	%	The global space economy is growing. Governments around the world are realising the potential the space industry could be bringing into their respective economies. An exceptional amount of capital is being invested both by governments and the private sector.\par 
	%	With commercial passenger sub-orbital launches imminent, human spaceflight will become more commonplace. The “NewSpace” arena also has projects ranging from active debris removal and artificial shooting stars missions to lunar gateway and space hotel concepts as well as human lunar and Mars missions.\par 
	%	Space insurance has always been an enabler of new projects, providing both hull and liability coverages. Despite the market and technical challenges, space insurers will continue to support the industry going forward.\par 
	

	Due to Earth’s insatiable need for information and communication, the artificial satellite industry is booming. 
	The ability of satellites to collect signals and data extensively, even from places hard to reach, allows for a variety of functions such as providing satellite telecommunication, satisfying weather and climate monitoring, supporting satellite television (BskyB, Direct TV, SkyTV and Dish), meeting Global Positioning System (GPS) needs, and serving for military and scientific. 
	Since the 1980s, with the privatization of telecommunication organizations as well as the development of space laws and regulatory regimes, commercial space has begun to sprout \citep{OECD2014}.
	Furthermore, SpaceX Falcon 9 delivering the SES-8 satellite into orbit marks on Dec.3th, 2013, marks the rise of the private space launch market \citep{spacex}. 
	Space is no longer confined to government and military agencies like NASA and its contractors but expanding rapidly via private commercial companies like SpaceX, Blue Origin, Cloud Constellation Corporation, and more. 
%	According to \cite{TheSpaceReport2021}, the space economy grew $176\%$ during the last 15 years, reaching $447$ billion dollars in 2020. It is worth noting that $80\%$ of the total income is contributed by the commercial space. In addition, there are more than 1,100 SmallSats launched in 2020, which is twice in average size over the same period.
	According to the Satellite Industry Association (SIA), since 2014, the global space industry revenue has continued to grow, and by 2021, the total revenue of the global space industry reaches \$386 billion.
	From the perspective of the composition of the global space industry, at present, the development of the global space industry is still dominated by the satellite industry.
	Since 2016, the share of the global satellite industry in the space industry has exceeded 70\%.
	In 2021, the national satellite industry will account for 72.3\% of the space industry.
	The commercial satellite industry put a record 1,713 commercial satellites into orbit for the fourth consecutive year, an increase of more than 40\% compared to 2020.
	The SIA reported 4,852 satellites orbiting Earth by the end of 2021, an increase of 179 percent over the past five years. \citep{Space2022}.
	

	That means the space launch market gradually plays a pivotal part in modern societies and economic growth.
	In parallel, the vigorous development of the space economy also points that the needs of operation management implanting in the space launch market are increasing \citep{Kucukcay}. 

	%商业航天面临的问题
	While the successful SpaceX mission has created new enthusiasm for commercial satellite launching, there are still many risks that should not be ignored in satellite launch services, such as the responsibility of the vehicle, the indicators of the satellite, the condition of the launch activity so on.  
	In addition, many private investors are hesitant about investing in space businesses because of the costly infrastructure and extended timelines.
	From the perspective of private companies, once the launch fails, the loss for both satellite operator and launch servicer is enormous. While governmental and military satellites are usually self-insured, commercial satellite operators often require insurance to be in place.\par 
	
	% 解决商业航天风险的一个途径是购买航天保险。
	In order to hedge launch risks, space insurance emerged. Insurance companies like Global Aerospace have been providing insurance for space initiatives since the first commercial satellites and launch vehicles required financial support to cover their risk. 
	New concepts and technologies such as prominent constellations of satellites have distinctive risk profiles requiring unique coverages.
	According to the satellite launch project process, space insurance is roughly divided into four types of coverage which reflect the various phases of most satellite projects - pre-launch insurance \footnote{	Pre-launch insurance covers damage to a satellite or launch vehicle during the construction, transportation, and processing phases prior to launch.}, 
	launch insurance \footnote{	Launch insurance covers losses of a satellite occurring during the launch phase of a project. It insures against complete launch failures as well as the failure of a launch vehicle to place a satellite in the proper orbit.}, 
	in-orbit insurance \footnote{In-orbit policies insure satellites for in-orbit technical problems and damages once a satellite has been placed by a launch vehicle in its proper orbit.},
	and launch plus life insurance \footnote{Third-party liability and government property insurances protect launch service providers and their customers in the event of public injury or government property damage, respectively, caused by launch or mission failure.}.
    The launch insurance is usually the most widely focused \citep{Suchodolski2018}  because the launch is the riskiest part of any space activity, and the damage is often catastrophic. \citep{Gould2000, Kunstadter2020}. \par  
    Concerning about the high premium, some governments have introduced policies to subsidize the commercial industry. 
    For example, Beijing Bureau of Economy and Information Technology has implemented an subsidy about commercial space launch insurance to support commercial space enterprises to engage in the production and manufacture of vehicles and satellites in Beijing, and encourage commercial space enterprises to establish headquarters, sales and operation in Beijing.
    In addition, Russian and Japan also provide government indemnification for the loss of satellite launching activity.
    Besides, the UK government invested in launch sites to provide new satellite launch services mentioned in its industrial strategy white paper.
    The Unites States not only provided subsidy for launch liability insurance but also awarded the commercial companies directly.

    % 除了在金融方面补偿风险外，还可以通过提升技术的方式降低发射失败率。
    In addition to compensating for risk financially, reducing the launch failure rate on the technical side is also an available way for commercial space companies. 
    While commercialized space projects have braved all the challenges, they are still involved in conventional economic models that may hamper their growth and success. Luckily, blockchain technology supports building smart contracts and tracking data, considered a disruptive technology that facilitates data flow. 
    In the real world, companies are emerging to implementing blockchain technology specifically for space launches, such as SpaceChain, IBM and Cloud Constellation Corporation. 
    The blockchain is used to deal with the above complexities such as contracts, order tracking, parts assembly, shipments, design and test documents, test results data, near real-time data, workflows for approvals, auditing, launch, and control, which make the project more visible, responsive and mitigate costly interruptions during the launch, in other words, it increases the probability of successful launch \citep{Zheng2021}.  
    Here are the main features in details of blockchain about supporting space launch:\par 
    
%  
%	\begin{table}[htbp]
%		\scriptsize
%		\caption{\label{tab:blockchain features} Features of blockchain about supporting space launch}
%		\centering
%		\begin{threeparttable}
%			\begin{tabular}{c p{0.6\columnwidth}} % lcr: left, center, right
%				\toprule
%				Features & Details\\		
%				\midrule
%				Responsiveness & It enable intelligent, end-to-end supply chain visibility and transparency which allows participants owning permission to check and record data.\\	

			(1)	Reliability: The verified data on the blockchain launch platform is reliable, which cannot be changed based on decentralizing electronic record-keeping. \par 
	         (2) Efficiency: Blockchain supports the smart contract to build an efficient network between the participants who get a node to share, add and update information.\
%            	\bottomrule
%            \end{tabular}
%      \end{threeparttable}
%   \end{table}
%	
	
    %what is the trade off (the good thing and the bad thing) and what we do 
    Despite the ideas given above being excellent, both space insurance and blockchain technology are high-cost, which make lots of private space companies hesitate to adopt them.
    Considering the trade-off between handling risk and considerable cost, we examine the contract price problem. 
    From the perspective of operation management, we refer to the participants as supply chain members and simplify the question as a two-echelon supply chain consisting of a satellite operator and vehicle manufacturer who provide the launch service.
    We examine how the insurance contract and blockchain technology to help improve the supply chain value and how it affects the contract price in the supply chain. 
    We consider two modes: 1) the satellite operator contract with the vehicle manufacturer under insurance; 2) the satellite operator contracts with the vehicle manufacturer under blockchain-embedded insurance.
	
	\subsection{Research questions and key findings}

Motivated by the application of fintech and the importance of space launching operation management in the real world, we theoretically study the research questions listed below:\par 

RQ1. How to analytically build the mathematical models under traditional launch insurance, government-subsidy insurance, and blockchain-embedded launch insurance, respectively? How to price the launch service contract for the satellite operator? Furthermore, how to make the optimal decision for the vehicle manufacturer?   \par 
RQ2. How does the government arrange subsidies? And how does the subsidy affect the optimal decisions?\par 
RQ3. When will the blockchain launch platform be feasible and how does it affect the optimal decisions? \par 
RQ4. What are the subsidy or blockchain values for the satellite operator, the vehicle manufacturer and customers, respectively? 

%When will the presence of the blockchain launch platform achieve a win-win in which both the satellite operator, and the vehicle manufacturer are beneficial?\par 

To address the above research questions, we conduct a game-theoretic analytical study by building math models. 
By arithmetic derivation and analysis, we obtain the following results:
 \begin{enumerate} [(1)]
\item When government subsidies for the selection of satellite operators for low-cost vehicle launches, it helps to form positive feedback in the commercial satellite market,
that is, the satellite vendor is more willing to pay high launch prices, so that the vehicle manufacture have the motivation to increase the probability of successful launches.
\item Once the government subsidy project is launched, the satellite operator will always get more from it than before. 
But for the vehicle manufacturer, only when the cost of vehicle is relatively low, his income will increase compared to before; otherwise, he cannot benefit from the subsidy program.
For consumers, there is no change in consumer surplus.
Therefore, the overall social welfare as the sum of the profit of the various subjects will increase.
\item In the blockchain-embedded model, the values that blockchain bring to the optimal decisions are similar to the government subsidy brings.
However, there is one difference to claim that the retail price has been increased and the market demand also increases.

\item Moreover, for the satellite, she will always benefit from the adoption of blockchain if its cost is relatively low.
\item However, the profitable condition for the vehicle to decide whether use the blockchain is not only the cost of blockchain is expensive but also the cost of vehicle manufacturing is low.
\item Significantly, the use of the blockchain launch platform will make the consumer surplus increase no matter in which situation.
\end{enumerate}
%(1) When the anti-risk ability of the satellite operator is enhanced, the profits of both the satellite operator and the vehicle manufacturer will increase. 
%Significantly, the implementation of the blockchain launch platform will make this effect more pronounced.
%Moreover, the adoption of blockchain will decrease the threshold of the satellite operator to set the optimal price. 
%(2) Particularly, the optimal effort the vehicle manufacturer exert will increase and the contract price as well as the premium rate will decrease with the support of blockchain.
%(3) Via analyzing the value of blockchain, we note that the blockchain launch platform will always benefit the satellite operator no matter how weak her risk resistance is. 
%However, it is profitable for the vehicle manufacturer to implement cost-advantage blockchain technology only when the satellite operator has a strong capacity for risk. 

	
\section{Literature review}\label{sec:review}
	Our paper is closely related to four research streams: supply chain insurance, space supply chain management, blockchain and, government subsidies. We review them as follows and list the differences between our work and existing literature at the end of each subsection.
	
	
\subsection{Supply chain insurance}
Our paper is closely related to the topic of insurance adopted to manage disruptive risk, which is a stream of supply chain finance. 
For a comprehensive overview, we refer readers to read \cite{Wang2021b}, \cite{Chakuu2019}, \cite{Xu2018}, \cite{Gelsomino2016}, \cite{Zhao2015}, and \cite{Gomm2010}.
As a financial derivative instrument of risk aversion, insurance contracts can be seen as hedging at the expense of current profits and improving the risk tolerance by compensating the economic losses of enterprises when the supply chain disrupt caused by internal (e.g., the quality of products, the interruption of funds, and the disruption of logistic) or external (e.g., the change of weather, the pandemic of COVID-19, and the change of market) risks \citep{Sodhi2012a, Heckmann2015}.\par 
According to the type of risks, the literature of supply chain insurance contracts can be reducible to two categories.
(1) One is to hedge internal risks by combining insurance contracts with supply chain contracts. 
As insurance contracts could coordinate the supply chain \citep{Lin2010}, researchers compared it with the revenue sharing contract according to different agents’ risk aversion based on the newsvendor model.
Besides, \cite{Wang2021} also discussed which contract is better for the supply chain partners between the advanced payment contract, penalty contract, and time insurance contract in the express delivery supply chain.\par 
(2) Another is to study the trade-off between high commercial insurance and the substantial economic losses caused by external risks.
The typical market risk of demand uncertainty is a thorny question that the newsvendor model faces thus \cite{LodreeJr2008} design an insurance policy framework to quantify the risks and benefits, which give decision-makers a practical approach to prepare for supply chain disruptions. 
Moreover, \cite{Yu2021} considered the interrupt probability of the supply chain and illustrate the value of business interruption insurance which increases the profit of each participant.
\cite{Brusset2018} constructed a weather index through case studies that transfer entrepreneurial risk to other risk-takers through insurance or options contracts. 
Similar to these researches, our paper also adopts the insurance contract to hedge the interrupt risk while the focal point is in the space launch supply chain, which is remarkable for technical complexity, high quality \& reliability requirements, and colossal failure losses.
 %However, we also combine the blockchain technology with supply chain management which is timely and important.  


\subsection{Space supply chain management}
At present, supply chain management in space era is initiated by research institutes, universities and researchers.
Such as China Aerospace Industry Corporation, European Space Agency and Indian Space Research Organisation conducted a series of research on space supply chain management \citep{Kucukcay}.
Moreover one of the famous works is the Interplanetary Supply Chain Management and Logistics Architectures project from \cite{MIT}, which develops an integrated supply chain management framework for space logistics.\par 
According to the types of existing studies in this topic, they can be reducible to two categories:\par 
(1) One kind of research focuses on optimizing the operating system to improve the efficiency from mathematical models and simulation. 
\cite{Galluzzi2006} regarded supply chain management as a critical piece of framework in the aerospace industry, and they elaborated the pattern operation in this area.
\cite{Taylor2006} also designed and evaluated the operating system in the space supply chain, but they primarily engaged in optimizing delivery operation, which sustains the exploration initiative.
Moreover, \cite{Gralla2006} gave a comprehensive model and simulation of the supply chain management implemented in the aerospace industry, which is low-volume and schedule-driven compared to the high-volume and market demand-driven SCM in the commercial sector.\par 
(2) Another type of study starred in analyzing the business problem in supply chain management. The research on this topic is relatively few.
 \cite{Wooten2018} examined the space industry's operation management, which involves manufacturing operations, supply chain management, and sustainable operations. Besides, they also outlined the challenges and essential questions related to stakeholders.
\cite{Raghunath2021} discussed the challenges that commercial space operation faces from a business perspective.
Furthermore, \cite{Guo2021} comprehensively analyzed the global aerospace industry's current situation and future development from the upstream supply chain, midstream production chain, and downstream application chain.
In addition, \cite{Donelli2021} considered the profitability and efficiency during the aircraft manufacturing and supply chain. The paper proposed a model-based approach to optimal the multiple-choice.
Furthermore, \cite{Dewicki} also based on operational management analyze the business model in commercial space.  \par 
As review literature, most papers target SCM in space give the mathematical model from optimizing logistics, even the system flow. While our paper builds models from the business angle, we concentrate on the game theory between participants during the launch activity. 

\subsection{Blockchain technology support supply chain management}
% congbudong jiaodu d qukuail yanjiu;
As a “trust ledger”, blockchain has overwhelming advantage of data storage such as openness, transparency, tampering, and traceability, which make it possible to manipulate higher quality data \citep{Choi2019}, improving the supply chain efficiency and so on  \citep{Chod2020}. 
According to its characters, \cite{Queiroz2019,Wang2019,Babich2020, Li2022} gave the review of this topic.\par 
Besides, more and more scholars have begun to study the application of blockchain in the supply chain. 
(1) Inside the supply chain, (i) in upriver, blockchain technology facilitates the flow of raw materials from the suppliers \citep{ Naydenova2017, Nash2016}; 
(ii) in the midstream, it promotes the exchange of manufacture information and design smart contracts between participants in the supply chain upstream and downstream and achieve coordination eventually \citep{Moise2018, Hilary2022, Chod2020,Korpela2017,Wang2021a}. 
(2) Outside the supply chain, 
(i) face the third party, it provides an innovative way for the capital constraint companies to finance \citep{Choi2020,Choi2021};
(ii) face the market, it helps products to fight counterfeits, earn trust of customers and win company reputation in the market \citep{Pun2021, Shen2021,Fan2020}.\par 
Regarding our topic, this article mainly refers to articles on the application of blockchain in the space supply chain.
\cite{Adhikari2020} gave a clearly analysis on the implementation of blockchain in the area of space cybersecurity framework against global positioning system spoofing.
\cite{Zheng2021} studied a three-tier space supply chain under the decision-making problem and investigated how blockchain technology optimizes decisions based on information sharing.
Moreover, \cite{HylandWood2020} examined three potential blockchain properties applied in space: real-time communication during the interplanetary space operating and operations realm of the solar system.
However, different from them, this article's focal point is on launching a service supply chain supported by fintech ( blockchain-embedded insurance) to facilitate launching risks and contract pricing. 

\subsection{Government subsidies}


Government interventions in supply chain management include legislation \citep{Gouda2016, Zhang2018}, penalties \citep{Xiao2018,Luo2020}, subsidies \citep{Guo2019,Xiao2020,Jung2020} and taxes \citep{Xu2018a,Chen2020}. 
The stream of research closest to our work is exploring the adoption of government subsidies to promote industry growth or to support firms through difficult times.

In order to improve the social welfare and the manufacturers' profits, different types of subsidy programs has been launched by governments, such as subsidies to consumers, manufacturers, or both \cite{Yu2018}. The authors of this article reveal the influencing factors that determine the optimal structure of government subsidy programs. They find that governments can develop subsidy programs involving multiple competing manufacturers to improve consumer welfare.
However, the government subsidy system is not always effective. \cite{Hsu2019} find that the quality subsidy offered to the farmers quality subsidies provided to farmers may reduce not only the quality of dairy products, but also the profitability of companies.
\cite{Berenguer2017} analyze the effectiveness of subsidies on a for-profit or a not-for profit firm in inducing consumption. Their study shows that the incentive to a not-for-profit counterpart is more stronger than to a for-profit firm to encourage consumption.
Besides, \cite{Bai2021} investigate the design of trade-in subsidy programs by capturing the essence of the interaction between the government, the manufacturer, and consumers. They find that compared with a fixed-amount subsidy, a shared subsidy program in which government subsidies are proportional to manufacturer rebates is more effective in stimulating consumers to trade-in.

In the same vein as the above literature, we also explore the effectiveness of government subsidies in supply chain operations. 
However, the difference is that we focus on the commercial space supply chain to explore how subsidy systems can be implemented to leverage its value.


\subsection{Summary}
Supply chain insurance with government subsidies and blockchain technology adoption are essential topics in space launch operation management. 
Based on the real-world observation, we introduce a three-stage Stackelberg game model to explore the value of government insurance subsidies.
Besides, motivated by the practice of blockchain application such as IBM and Cloud Constellation Corporation are working together to build a blockchain-based platform in the space launch supply chain, this paper theoretically investigates the blockchain-embedded insurance model operations. 
The insights not only contribute to the literature in operation management but also advance the industrial knowledge regarding blockchain launch platforms.\par 
The following parts in this paper are organized as: 
\refsec{sec:models} establishes the benchmark case and investigates the value of government subsidies, one for launch insurance model (Model I) and the other for government-subsidy insurance model (Model IG).
\refsec{sec:blockchain case} examines the value of blockchain technology in the satellite launch supply chain under two scenarios (with launch insurance or with government-subsidized launch insurance) through Model B and Model GB.
\refsec{sec:extensions} extend the framework to robust our main models and generate new findings.
\refsec{sec:conclusions} concludes this study and gives analytical insights.


\section{Benchmark case} \label{sec:models}


	Consider a make-to-order supply chain consisting of one vehicle manufacturer (VM, he), one satellite operator (SO, she) and an insurance company (IC, it). 
	As shown in \reffig{fig:sequence}, to launch the satellite successfully, the SO usually conducts a series analyses to choose the vehicle and design the launch service contract with launch price $l$ and prepay ratio $\alpha$. 
	Once the satellite is on-track, the SO will pay VM last part $(1-\alpha)p$ and she will obtain income from sailing satellite data.
	Without loss generality, consumers possess a stochastic valuation $u$ towards the satellite data, which follows a distribution $f(u)$. Following most literature, we set $f(u)$ follows a uniform distribution with a rage of $0-1$, denoted by $U[0,1]$. To avoid facing messy mathematics, we normalize the consumer population as $1$.
	
%	the SO has already signed contracts future servicing missions at income $F$ before launching \citep{SpaceFund2022}, which rely on satellite service to function. So the satellite income also is one factor that SO needs to consider while designing the launch contract, which is an indicator of her risk resistance \citep{Li2010}.  \par 
	
    As common in launch activity, our models capture two typical features in the space supply chain. 
    First, the launch activity is risky, which means there is a probability for the satellite operating in its final orbital position. 
    The VM can improve the probability of mission success (aka reliability) by exerting costly efforts (e.g., improving technologies, equipment or processes) \citep{Bailey2020, Kunstadter2020}.
	Following \cite{Tang2018}, we scale the base launch success probability to 0. 
	To increase the probability from 0 to $e$, where $e \in (0, 1)$, the VM needs to exert effort associated with a disutility (cost of effort) $ke^2$ with $k > 0$. The setting of such a disutility is common in many models.\par 
	
	Notedly, a launch failure is costly to all involved parties. For the SO, she will lost her satellite and the income. 
	For the VM, what he will face is not only the current contract loss but also the damage of his reputation and future business as well as financing. 
	To reflect the VM's additional loss, a penalty denoted by $\theta$ is adopted into the profit function.  %\textcolor{red}{cite:Williams-Robert-COVERING-THE-INCREASED-LIABILITY-OF-NEW-LAUNCH-MARKETS.pdf}
	Considering the launch risk, it is natural that SO attempts to purchase launch insurance before launching to hedge risks.
	IC designs the launch insurance according to the analyses of conducting serious technological analyses of satellite and the VM. 
	Once the launch fails, the IC usually pays pro rate compensation. 
	We assume the claim covers $\beta$ of the whole loss including the cost of satellite and the prepay price. 

	We summarize the notation used throughout the paper in \reftab{tab:Parameters}.

	\begin{table}[htbp]
		\scriptsize
		\caption{\label{tab:Parameters} Notation}
		\centering
		\begin{threeparttable}
			\begin{tabular}{ll} % lcr: left, center, right
				\toprule
				Variable & Remark\\		
				\midrule
				Model I & Satellite launch supply chain with insurance\\
			    Model IG& Satellite launch supply chain with government-subsidized insurance \\
			    Model B & Blockchain-embedded satellite launch supply chain with insurance \\
			    Model BG & Blockchain-embedded satellite launch supply chain with government-subsidized insurance  \\
			    $p$ & The satellite data retail price \\
				$l$ & The launching service price \\	
		     	$\alpha$ & The upfront payment ratio \\
				$e$& The “rate of successful launch ”, which is the same as “the level of effort the VM exerting” in this paper \\	
			    $k$& The cost coefficient of effort\\
			
				$r$ &The premium rate \\
				$\beta$& The claim ratio\\
				$g$& The government-subsidized launch insurance premium rates\\
				
				$c_i$& The cost of vehicle $(i= V)$ or satellite $(i= S)$ \\					
			
				%\textcolor{red}{Payment for a launch is usually subdivided in several installments. A first rate will usually be charged upon reservation of a certain flight opportunity, while the second one is due upon launch service agreement signature. As soon as the ICD is finalized, a third rate applies and the final part is charged when the launch has been performed.}
			
				$\theta$ & The penalty of a failed launch for VM\\
				
				$k$ & The effort cost factor\\
		
				$\pi_i$ & The profit of vehicle manufacture$(i= V)$ or satellite operator $(i= S)$ or insurance company $(i=I)$\\
				$CS$& The consumer surplus\\
				$SW$& The social welfare\\
	
				\bottomrule
			\end{tabular}
						\begin{tablenotes}
							\item[a] Subscripts $S$, $V$ and $I$ are the indices of SO, VM and IC respectively.
							\item[b] Superscript $I$, $IG$, $B$ and $BG$ to describe function and decisions in model I, model IG, model B and model BG respectively. 
					\end{tablenotes}
		\end{threeparttable}
	\end{table}
	
	
	

% TODO: \usepackage{graphicx} required
\begin{figure}[H]
	\centering
	\includegraphics[width=1\linewidth]{sequences.pdf}
	\caption{Sequence of events. SO :the satellite operator; VM: the vehicle manufacture; IC: the insurance company. }
	\label{fig:sequence}
\end{figure}



\subsection{Model I: Satellite launch supply chain with insurance } \label{sec:modeli}

Acting as the Stackelberg leader, the SO sets the contract terms and the VM, as the follower, decides whether to accept the contract. 
Without loss of generality, we focus on the following contract: the SO pays the VM a certain $\alpha$ of launch price $l$ upfront when launch services are procured.  \citep{Andrews2011,Barschke2020}
Furthermore, when the launch is successful, the VM then receives the balance of the payment $(1-\alpha)*l$ for services or $0$ otherwise. 
Concerning risk, the SO buys the launch insurance with the premium rate $r$ to compensate the loss if the launch failed. \reffig{fig:sequence} shows the sequence of events corresponding to the game model. 
Therefore, the market demand and payoff function, $D^I$ and $\pis$, faces by the SO can be measured as follows:

\begin{eqnarray}\label{eq:id}
	%	\left\{
	\begin{aligned}
		 D^I &= 1 \int_{p}^{1}{f\left( u \right) \mathrm{d} u}= 1-p\\
	\end{aligned}
	%	\right.
\end{eqnarray}

\begin{eqnarray}\label{eq:iso:payoff}
%	\left\{
	\begin{aligned}
		\max_{l,p} \E [\pis(l, p, e, r)] &= epD^I -[\alpha + e(1-\alpha) ]l - r (\cs + \alpha l) + (1-e)\beta (\cs + \alpha l)- \cs,\\
%		s.t.~pD &\geq \cs + l
	\end{aligned}
%	\right.
\end{eqnarray}
 
As shown, $\pis$ consists of five parts:
(1) the income she can obtain once the satellite works in orbit $epD^I$;
(2) the expect launch service price $[\alpha+e(1-\alpha)]l$;
(3) the premium for the launch insurance $ r (\cs +  \alpha l)$; 
(4) the compensate she will get once the launch failed $(1-e)\beta (\cs + \alpha l) $. 
(5) the cost of building the satellite $ \cs$.
Without loss of generality, the satellite income covers its building and launch cost; i.e., the SO sets a contract only when $pD^I\geq\cs + l $.\par

As depicted in \reffig{fig:sequence}, the VM accepts a contract with price $l$ and receives the prepayment $\alpha*l$ from the SO, then he manufactures the rocket which cost $c_v$. 
If the vehicle launch successfully, he receives the last $(1-\alpha )*l$ from the SO. 
If launching is failed, the VM not only receives no payment but also suffers penalty which monetized as $\theta$ . 
Therefore, the VM’s objective is to maximize his expected payoff $\piv$ as follows:
\begin{eqnarray}\label{eq:vm:payoff}	
%	\left\{
	\begin{aligned}
		\max_e \E [\piv(l, p, e)] &=[\alpha + e (1 - \alpha) ]l - (1 - e) \theta - (ke^2 + \cv),\\
		s.t.~\piv &\geq 0
	\end{aligned}
%	\right.
\end{eqnarray}


As shown, $\piv$ consists of three parts: (1) the prepaid income and expected gain upon successful launch $[\alpha + e (1 - \alpha) ]l$, 
(2) the expected loss of failure penalty in the event of launch failure $(1 - e) \theta$, and (3) the cost of effort and vehicle $ke^2 + \cv$. 
The non-negative profit constraint ensures the profitability of launch successfully; otherwise, the VM will quit the cooperation.


\subsubsection{The VM’s effort}
We now solve the Stackelberg game as depicted in \reffig{fig:sequence} using backward induction.
First, given any launch price $l$, by considering the first-order condition of \refequ{eq:vm:payoff}, the VM’s best response is given as: 
\begin{eqnarray}\label{eq:ei} %\nonumber
		e(l)&=\frac{(1-\alpha)l+\theta}{2k},\\
		~s.t.&0<e\leq 1. \label{eq:ec}
  \end{eqnarray}\par

%Noted, there is a constraint for effort $e$ that \refequ{eq:ec} which means the successful launch rate should be non-negative and below the upper bound, that is satisfied with the case in practice. By simplifying this constraint, we can get the interval of $\alpha$ that $[\underline{\alpha},\overline{\alpha}]$, and the final simplified form is summarized in \reflem{lemma:modeli}.


By substituting \refequ{eq:ei} into the VM’s payoff $\piv$ given in \refequ{eq:vm:payoff}, it can be obtained that:
	\begin{eqnarray} 
	 \piv=\frac{[(1-\alpha)l+\theta]^2}{4k}+\alpha l-\theta-\cv
  \end{eqnarray}\par

Hence, considering the VM's participation constraint, i.e., $\piv \geq0$ , the lowest VM’s acceptance (VA) launch price can be written as:
	\begin{eqnarray}\label{eq:pv}
	 l \geq l_{VA} \equiv \frac{2\omega-2\alpha k-(1-\alpha) \theta}{(1-\alpha)^2},
  \end{eqnarray}
  where $\omega=\sqrt{k[(1-\alpha)^2 \cv+ \alpha ^2 k + (1-\alpha) \theta]}$.
  
  
\subsubsection{The IC's premium rate}
Observing the contract price $l$ selected by the SO, the insurance company can anticipate the VM’s effort $e(l)$ as given in \eqref{eq:ei}.
Operating in a competitive market, the insurer sets its rate $r$ to break-even in expectation.
In other words, under the rate $r$ that it offers, the insurance company’s expected payoff, $r (\cs + \alpha l)$, equals the amount of coverage, $ (1-e)\beta (\cs + \alpha l)$.
Thus IC's profit function and the premium rate can be written as:
\begin{eqnarray}
	\begin{aligned}
	\pi_i^I&= r (\cs + \alpha l)-(1-e)\beta (\cs + \alpha l),\\
	r(l)&= \beta[1-\frac{(1-\alpha)l+\theta}{2k}].\label{eq:ri}\\
   \end{aligned}
\end{eqnarray}

 
\subsubsection{The SO's optimal price}	
Anticipating the VM’s best response $e$ given in \eqref{eq:ei} and the premium rate \eqref{eq:ri}, the SO’s payoff given in \refequ{eq:iso:payoff} can be rewritten as:
	\begin{eqnarray}\label{eq:so:payoff_p}	
		\begin{aligned}
			  \max_p \E [ \pis (l, p)] &=\ds \frac{[pD^I-(1-\alpha)l]*[(1-\alpha)l+\theta]}{2k} - \alpha l-\cs,\\
			 ~ l &\geq l_{VA}.\\
		\end{aligned}
	\end{eqnarray}
	
Checking the Hessian matrix of SO's payoff, we find $\pis$ is concave in $l$ and $p$ jointly when $0 < k < \frac{(1-\alpha) (1+4\theta)}{8\alpha}$. 
In this paper, we focus on the case when the condition is met.
According to the assume, we can get the optimal launch price and optimal retail price for her which are $l_{S}=\frac{\phi-8\theta(1-\alpha)}{8(1-\alpha)^2}$ and $p^*=\frac{1}{2}$, where $\phi=(1-\alpha)(1+4\theta)-8\alpha k$. 
Consider the constraints, the SO aims to select the optimal contract price $l^* = \max(l_S, l_{VA}) $ that maximizes her payoff, given in \refequ{eq:so:payoff_p}. The optimal contract and corresponding equilibrium outcomes are given in \reflem{lemma:modeli}.
	
According to the above derivation, we can also obtain the consumer surplus and social welfare as follows:

	\begin{eqnarray}
	\begin{aligned}
		{CS}^I &= 1 \int_{p}^{1}(u-p){f\left( u \right) \mathrm{d} u}=\frac{(D^I)^2}{2},\label{eq:CS}	\\
		{SW}^I &=\pis+\piv+CS^I. \\
	\end{aligned}
\end{eqnarray}
	
By denoting all of the functions, we obtain \reflem{lemma:modeli}.
	
\begin{lem} \label{lemma:modeli}
	The equilibrium outcomes of Model I are shown in \reftab{tab:modeli_decisions}.
\end{lem}

\begin{table*}[htbp]
	\scriptsize
	%		\hspace*{-1cm} % apply this to move the table left, so that the right part of a wide table can be shown.
	\newcommand{\tabincell}[2]{\begin{tabular}{@{}#1@{}}#2\end{tabular}}
	\caption{\label{tab:modeli_decisions} The equilibrium outcomes in Model I.}
	\centering
	\renewcommand{\arraystretch}{1.3}
	\begin{tabular}{@{\extracolsep{1pt}}l*{14}{c}@{}}		
		\toprule
		& \multicolumn{1}{c}{$\cv < H(\alpha)$ (i.e., $l_S>l_{VA}$) } & \multicolumn{1}{c}{$\cv \geq H(\alpha)$ (i.e., $I_{VA} \geq l_S$ ) }  \\
     	\midrule
		Effort of VM exerting $e^*$& 
		$\frac{\phi}{16(1-\alpha)k}$ & 
		$\frac{\omega-\alpha k }{(1-\alpha)k}$  \\
		Launch price $l^*$&
		$l^*=l_{S}=\frac{\phi-8\theta(1-\alpha)}{8(1-\alpha)^2}$&
		$ l^*=l_{VA}= \frac{2\omega-2\alpha k-(1-\alpha) \theta}{(1-\alpha)^2}$\\ 
		 Retail price $p^*$&
		 $\frac{1}{2}$&
		 $\frac{1}{2}$\\
		 Premium rate $r^*$&
		$\beta(1-\frac{\phi}{16(1-\alpha)k})$&
		$\beta\frac{k-\omega}{(1-\alpha)k}$\\
		 SO's profit $\pis$&
		 $\frac{\phi^2}{128(1-\alpha)^2k}+\frac{\alpha \theta}{1-\alpha} -\cs$&
		 $\frac{(\omega-\alpha k)(\phi+8\alpha k-8\omega)}{4(1-\alpha )^2k}+\frac{\alpha \theta}{1-\alpha}-\cs$\\
		 VM's profit $\piv$&
		 $\frac{\phi^2+32\alpha k\phi}{256(1-\alpha)^2k}-\frac{ \theta}{1-\alpha}-\cv$&
		 $0$\\
		 Consumer surplus $CS^I$&
		 $\frac{1}{8}$&
		 $\frac{1}{8}$&\\
		 Social welfare $SW^I$&
		  $\frac{3\phi^2+32\alpha k\phi}{256(1-\alpha)^2k}- \theta-\cs-\cv+\frac{1}{8}$&
		  $\frac{(\omega-\alpha k)(\phi+8\alpha k-8\omega)}{4(1-\alpha )^2k}+\frac{\alpha \theta}{1-\alpha}-\cs+\frac{1}{8}$\\
		\bottomrule			
	\end{tabular}
	\begin{tablenotes}
	 \item To avoid complicated writing, we define 
	$\phi=(1-\alpha)(1+4\theta)-8\alpha k$, 
	$\omega=\sqrt{(1-\alpha)^2k\cv+\alpha ^2k^2-(1-\alpha)k\theta}$.
\end{tablenotes}
\end{table*}

Note that there are two cases in our equilibrium result that $\cv<H(\alpha) $ and $\cv \geq H(\alpha)$, where $H(\alpha)=\frac{8(1-\alpha)[2\alpha k+\theta(1-\alpha)]+16\theta^2(1-\alpha)^2-192\alpha^2k^2-64\theta k(1-\alpha)(4-\alpha)}{256(1-\alpha)^2k}$.
This is due to the launch price $l^* = \max(l_S, l_{VA})$.
In the first case, the optimal launch price $l_S$ fixed by the SO is higher than $l_{VA}$, which means the contract launch price $l^*$ is $l_S$ equaling $\cv <H(\alpha)$.
In the second case, SO's optimal launch price $l_S$ is lower than $l_{VA}$, so she has to fix the contract price $l^*$ as $l_{VA}$ to avoid the profit of VM being negative; otherwise the VM will quit the cooperation.



% the sesitivity analyses of "d"
According to the equilibrium outcomes, we now conduct the sensitivity analyses for Model I and summarized the outcomes in \reftab{tab:modeli_and_ig_sensitivity}.


% the sesitivity analyses of "k"
Firstly, we explore how the cost coefficient of effort $k$ affects the equilibrium outcomes mentioned above.
If the cost coefficient of effort $k$ increases,
(a) no matter what the manufacturing cost of the vehicle $\cv$ is, 
(i) the effort exerted by the VM $e$ and the launch price $l$ will always decrease;
(ii) the premium rate $r$ will always increase;
(iii) the retail price $p$ does not change all the time;
(b) however, the effects on launch price $l$ are different in the two situations;
(i) when $\cv< H(\alpha)$ (i.e. $l^*=l_S$), the launch price $l$ will decrease;
(ii) otherwise, it will increase.
As the cost coefficient of effort $k$ increases, the VM will exert less effort. So no matter the situation, the effort $e$ always decreases with the increase of $k$. 
However, the changes in launch price $l$ are different when $\cv$ satisfies different conditions. 
That is because the body that determines the launch price has changed.
When $\cv<H(\alpha)$, it is the SO to decide the launch price that she will decrease the contract price according to the decrease of effort $e$.
But when $\cv \geq H(\alpha)$, the launch price is the VM's acceptance line, which means it is the VM to decide the launch price $l$, so he will increase the contract price to compensate for the increase of effort cost.
For the premium rate, the IC sets it according to the effort $e$, so it will increase with the decreasing successful launch probability.
As the retail price is not relative to the effort cost coefficient, there is no change in retail price $p$.

% the sensitivity analyses of "$\theta$"
Then we analyze how penalty cost $\theta$ affects these optimal outcomes.
If the failed-launch penalty $\theta$ increases,
(a) no matter what the manufacturing cost of the vehicle $\cv$ is, 
(i) the effort exerted by the VM $e$ and the launch price $l$ will always increase;
(ii) the premium rate $r$ will always decrease;
(iii) the retail price $p$ does not change all the time;
(b) however, the effects on launch price $l$ are different in the two situations;
(i) when $\cv< H(\alpha)$ (i.e. $l^*=l_S$), the launch price $l$ will decrease;
(ii) otherwise, it will increase.
Noted, the effect of $\theta$ to $e$ is similar to $k$, but the change is the opposite: no matter the situation, the effort $e$ always increases with the increase of $\theta$. 
That is because the VM has to exert more effort to increase the successful launch probability to avoid the expensive failed-launch penalty $\theta$.
The change of launch price $l$ in these two situations is the same as $k$ affects it.
However, the internal cause of its change is different.
When $\cv<H(\alpha)$, it is the SO to decide the launch price that she don't need to increase the launch price $l$ as the VM will increase effort $e$ spontaneously with the increasing of $\theta$.
But when $\cv \geq H(\alpha)$, the launch price is the VM's acceptance line, which means it is the VM to decide the launch price $l$, so he will increase the contract price to compensate for the increase of failed-launch penalty.
For the premium rate, the IC sets it according to the effort $e$, so it will decrease with the increasing successful launch probability.
As the retail price is not relative to the penalty cost, there is no change in retail price $p$.

Under model I, by deriving different factors' sensitivity analyses on payoffs we have following findings:
(a) If the cost coefficient of effort $k$ increases, 
(i) VM's profit and social welfare always decrease;
(ii) for the SO, in the situation $\cv<H(\alpha)$, her profit will increase when $k<k_1$, where $k_1= \frac{(1-\alpha)\theta}{2\alpha}$, otherwise $\pis$ will decrease when $k \geq k_1$;
in the other situation $\cv \geq H(\alpha)$, SO's profit decreases.
(b) As the increasing of $\theta$, 
(i) SO's profit always increases; 
(ii) for the VM and society, in the situation $\cv<H(\alpha)$, their profits will increase when $\theta$ satisfies with $\theta<\theta_{V1}$ and $\theta<\theta_{W1}$, respectively, where $\theta_{V1}=\frac{8k-2\alpha k}{1-\alpha}$ and $\theta_{W1}=\frac{8k-6\alpha k}{3(1-\alpha)}$, otherwise they both will decrease; in the other situation $\cv \geq H(\alpha)$, $\pis$ and $SW$ will decreases.



\begin{table*}[htbp]
	\scriptsize
	%		\hspace*{-1cm} % apply this to move the table left, so that the right part of a wide table can be shown.
	\newcommand{\tabincell}[2]{\begin{tabular}{@{}#1@{}}#2\end{tabular}}
	\caption{\label{tab:modeli_and_ig_sensitivity} Sensitivity analyses for Model I and Model IG.}
	\centering
	\renewcommand{\arraystretch}{1.3}
	\begin{tabular}{@{\extracolsep{1pt}}l*{14}{l}@{}}		
		\toprule
		& {Model}&{Situation}&{$e^*$}&{$r^*$}&{$l^*$}&{$p^*$} &{$\pi_S$}&{$\pi_V$}&{$CS$}&{$SW$} \\
		\midrule
		$k \uparrow$ & 	
			Model I &{$\cv < H(\alpha)$ } & 	
				$\downarrow$&$\uparrow$&$\downarrow$&$-$&$\downarrow$: $k<k_1$&$\downarrow$&$-$&$\downarrow$\\
				&&&&&&&$\uparrow :k\geq k_1$\\
				&&{$\cv \geq H(\alpha)$}
				&$\downarrow$&$\uparrow$&$\uparrow$&$-$&$\downarrow$&$-$&$-$&$\downarrow$\\
			&Model IG& {$\cv < H(\alpha)$ } &
				$\downarrow$&$\uparrow$&$\downarrow : 0<g<1$&$-$&$\downarrow$: $k<k_2$&$\downarrow$&$-$&$\downarrow$\\
			                                 	&&&&&$-:g=1$&&$\uparrow :k\geq k_2$\\
				&&{$\cv \geq H(\alpha)$ }&
				$\downarrow$&$\uparrow$&$\uparrow$&$-$\\
		$\theta \uparrow$&
			Model I &{$\cv < H(\alpha)$ } & 	
				$\uparrow$&$\downarrow$&$\downarrow$&$-$&$\uparrow$&$\uparrow: \theta<\theta_{V1}$&$-$&$\uparrow: \theta<\theta_{W1}$\\
				&&&&&&&&$\downarrow: \theta \geq \theta_{V1}$&&$\downarrow: \theta \geq \theta_{W1}$\\
				&&{$\cv \geq H(\alpha)$}&
					$\uparrow$&$\downarrow$&$\uparrow$&$-$&$\uparrow$&$-$&$-$&$\uparrow$\\
			&Model IG& {$\cv < H(\alpha)$ } &
			    $\uparrow$&$\downarrow$&$\downarrow$&$-$&$\uparrow$&$\uparrow: \theta<\theta_{V2}$&$-$&$\uparrow: \theta<\theta_{W2}$\\
			    &&&&&&&&$\downarrow: \theta \geq \theta_{V2}$&&$\downarrow: \theta \geq \theta_{W2}$\\
				&&{$\cv \geq H(\alpha)$}&
				$\uparrow$&$\downarrow$&$\uparrow$&$-$&$\uparrow$&$-$&$-$&$\uparrow$\\
		$g \uparrow$&
			Model IG& {$\cv < H(\alpha)$ } & 
				$\uparrow$&$\downarrow$&$\uparrow$&$-$&$\uparrow$&$\uparrow$&$-$&$\uparrow$\\
				&&{$\cv \geq H(\alpha)$}&
				$-$&$-$&$-$&$-$&$\uparrow$&$-$&$-$&$\uparrow$\\
		\bottomrule			
	\end{tabular}
	\begin{tablenotes}
	\item To avoid complicated writing, we define 
	$k_1= \frac{(1-\alpha)\theta}{2\alpha}$,
	$k_2=\frac{(1-\alpha)\theta}{2\alpha(1-g)}$,
	$\theta_{V1}=\frac{8k-2\alpha k}{1-\alpha}$, 
	$\theta_{V2}=\frac{8k-2\alpha k(1-g)}{1-\alpha}$,
	$\theta_{W1}=\frac{8k-6\alpha k}{3(1-\alpha)}$, $\theta_{W2}=\frac{8k-6\alpha k(1-g)}{3(1-\alpha)}$. 
\end{tablenotes}
\end{table*}




	
\subsection{Model IG: Satellite launch supply chain with government-subsidized insurance}

Based on the practical observation of the real world, we build model IG in which we consider the situation that the government, aiming to promote the development of the commercial space industry, launches the commercial space launch insurance subsidy program.
The event sequence is similar to the model I which is illustrated in \reffig{fig:sequence_g}, but there is a change: after the IC decides the premium rate $r$, the government will determine a subsidized rate $g$.
So the only difference between model I and model IG is that the SO will obtain an insurance subsidy $g$.
Before conducting analyses, we have \refdefi{defi:win-win} which describes the “win-win” scenario. 

\begin{defi}\label{defi:win-win}
   A win-win scenario is achieved under Model x if each member of the supply chain under Model x are all better off compared to the respective ones under Model NI.
\end{defi}


% TODO: \usepackage{graphicx} required
\begin{figure}[H]
	\centering
	\includegraphics[width=1\linewidth]{sequences_g.pdf}
	\caption{Sequence of events. SO :the satellite operator; VM: the vehicle manufacture; IC: the insurance company. }
	\label{fig:sequence_g}
\end{figure}

The market demand is given as follows:
\begin{eqnarray}\label{eq:igd}
	%	\left\{
	\begin{aligned}
		D^{IG} &= 1 \int_{p}^{1}{f\left( u \right) \mathrm{d} u}= 1-p\\
	\end{aligned}
	%	\right.
\end{eqnarray}

Then the members' payoffs can be measured as follows:
\begin{eqnarray}
	\begin{aligned}
		\pgs &= epD^{IG} -[\alpha + e(1-\alpha) ]l - (r-g) (\cs + \alpha l) + (1-e)\beta (\cs + \alpha l)- \cs,\label{eq:igso:payoff}\\
		\pi_i^{IG}&= r (\cs + \alpha l)-(1-e)\beta (\cs + \alpha l),\\
		\pgv&=[\alpha + e (1 - \alpha) ]l - (1 - e) \theta - (ke^2 + \cv),\label{eq:igvm:payoff}\\
		s.t.~\pgv &\geq 0
	\end{aligned}
\end{eqnarray}

Following the similar derivation in \ref{sec:modeli}, we obtain the equilibrium outcomes which are summarized in \reflem{lemma:modelig}.

\begin{lem} \label{lemma:modelig}
	The equilibrium outcomes of Model IG are shown in \reftab{tab:modelig_decisions}.
\end{lem}

\begin{table*}[htbp]
	\scriptsize
	%		\hspace*{-1cm} % apply this to move the table left, so that the right part of a wide table can be shown.
	\newcommand{\tabincell}[2]{\begin{tabular}{@{}#1@{}}#2\end{tabular}}
	\caption{\label{tab:modelig_decisions} The equilibrium outcomes in Model IG.}
	\centering
	\renewcommand{\arraystretch}{1.3}
	\begin{tabular}{@{\extracolsep{1pt}}l*{14}{c}@{}}		
		\toprule
		& \multicolumn{1}{c}{$\cv < H(\alpha)$ } & \multicolumn{1}{c}{$\cv \geq H(\alpha)$ }  \\
		\midrule
		Effort of VM exerting $e^*$& 
		$\frac{\psi}{16(1-\alpha)k}$ & 
		$\frac{\omega-\alpha k }{(1-\alpha)k}$  \\
		Launch price $l^*$&
		$l^*=l_{S}=\frac{\psi-8\theta(1-\alpha)}{8(1-\alpha)^2}$&
		$ l^*=l_{VA}= \frac{2\omega-2\alpha k-(1-\alpha) \theta}{(1-\alpha)^2}$\\ 
		Retail price $p^*$&
		$\frac{1}{2}$&
		$\frac{1}{2}$\\
		Premium rate $r^*$&
		$\beta(1-\frac{\psi}{16(1-\alpha)k})$&
		$\beta\frac{k-\omega}{(1-\alpha)k}$\\
		SO's profit $\pgs$&
		$\frac{\psi^2}{128(1-\alpha)^2k}+\frac{(1-g)\alpha \theta}{1-\alpha} -(1-g)\cs$&
		$\frac{(\omega-\alpha k)(\psi+8\alpha k-8\omega)}{4(1-\alpha )^2k}+\frac{(1-g)\alpha \theta}{1-\alpha}-(1-g)\cs$\\
		VM's profit $\pgv$&
		$\frac{\psi^2+32\alpha k\psi}{256(1-\alpha)^2k}-\frac{ \theta}{1-\alpha}-\cv$&
		$0$\\
		Consumer surplus $CS^{IG}$&
		$\frac{1}{8}$&
		$\frac{1}{8}$&\\
		Social welfare $SW^{IG}$&
		$\frac{3\psi^2+32\alpha k\psi}{256(1-\alpha)^2k}- \frac{\theta[1-(1-g)\alpha]}{1-\alpha}-(1-g)\cs-\cv+\frac{1}{8}$&
		$\frac{(\omega-\alpha k)(\psi+8\alpha k-8\omega)}{4(1-\alpha )^2k}+\frac{(1-g)\alpha \theta}{1-\alpha}-(1-g)\cs+\frac{1}{8}$\\
		\bottomrule			
	\end{tabular}
	\begin{tablenotes}
	\item To avoid complicated writing, we define 
	$\psi=(1-\alpha)(1+4\theta)-8\alpha k(1-g)$, 
	$\omega=\sqrt{(1-\alpha)^2k\cv+\alpha ^2k^2-(1-\alpha)k\theta}$.
\end{tablenotes}
\end{table*}

Observing the optimal decisions of model IG are similar to that of model I, but there are three points worthy of notice.
(i) When $\cv<H(\alpha)$, the successful launch probability $e$ and launch price $l$ increase as each has a positive increment, as $\psi>\phi$. The premium rate $r$ will decrease, affected by government subsidy. 
(ii) When $\cv\geq H(\alpha)$, the successful launch probability, launch price, and the premium rate do not affect by the government subsidy. 
(iii) No matter the situation, the retail price doesn't change, which means the government subsidy program doesn't affect the market retail price.
We will talk about the difference between model I and model IG in detail in \refsec{sec:value_g}.

We now report the sensitivity analysis performing as shown in \reftab{tab:modeli_and_ig_sensitivity}.
We find that the results of Model IG and Model I were very similar, but with three difference.

Firstly, if the cost coefficient of effort $k$ increases, 
(i) when $0<g<1$, the launch price $l$ will decrease in the first situation $\cv<H(\alpha)$; 
however, when $g=1$ the launch price will not be affected by $k$;
(ii) the threshold $k_2$ of SO's profit $\pgs$ to change direction is higher than $k_1$, where $k_2=\frac{(1-\alpha)\theta}{2\alpha(1-g)}$.

Secondly, if the launch-fail penalty $\theta$ increases, 
in the situation $\cv<H(\alpha)$, the thresholds of $\pgv$ and $SW^{IG}$, $\theta_{V2}$ and $\theta_{W2}$ are both higher than these of model I, where $\theta_{V2}=\frac{8k-2\alpha k(1-g)}{1-\alpha}$ and $\theta_{W2}=\frac{8k-6\alpha k(1-g)}{3(1-\alpha)}$. That means the VM and society can bear a higher penalty when the government launch the subsidy program.

Thirdly, if the subsidy rate $g$ increases,
(i) when $\cv<h(\alpha)$, the successful launch probability $e$ and the launch price $l$ will increase, the premium rate $r$ will decrease; the SO's profit $\pgs$, the VM's profit $\pgv$ and social welfare $SW^{IG}$ will increase;
(ii)when $\cv \geq H(\alpha)$, all of the optimal decisions are not affected.
(iii) no matter in which situation, the consumer surplus do not change which means the government subsidy program can't benefit the customers.

\subsection{Values of government subsidies}\label{sec:value_g}

In order to better explore the value of government subsidies, we explored $V_{i}^{IG}$ as following, which represent the impacts that government subsidies bring to the successful launch probability, the premium rate, the launch price, the retail price, SO's profit, VM's profit, customer surplus, and the social welfare, respectively. 
\begin{eqnarray}\label{eq:value_g}
	\begin{aligned}
		V_{x}^{IG}&=x^{IG}-x^I\\
	\end{aligned}
\end{eqnarray}
We report the results in \reftab{tab:value_g} by comparing the equilibrium outcomes between model I and model IG.
According to the sensitivity analysis, we obtain \refprop{prop:value_decision_g} and \refprop{prop:value_profit_g}.

\begin{table*}[htbp]
	\scriptsize
	%		\hspace*{-1cm} % apply this to move the table left, so that the right part of a wide table can be shown.
	\newcommand{\tabincell}[2]{\begin{tabular}{@{}#1@{}}#2\end{tabular}}
	\caption{\label{tab:value_g} Values of government subsidies.}
	\centering
	\renewcommand{\arraystretch}{1.3}
	\begin{tabular}{@{\extracolsep{1pt}}l*{14}{l}@{}}		
		\toprule
		&{Situation}&{$V_{ e^*}^{IG}$}&{$V_{ r^*}^{IG}$}&{$V_{ l^*}^{IG}$}&{$V_{ p^*}^{IG}$} &{$V_{SO}^{IG}$}&{$V_{VM}^{IG}$}&{$V_{CS}^{IG}$}&{$V_{SW}^{IG}$} \\
		\midrule
		 & 	
	    {$\cv < H(\alpha)$ } & 			   
		$\frac{8\alpha g}{16(1-\alpha)}$&$\frac{-8\beta\alpha g}{16(1-\alpha)}$&$\frac{\alpha g}{(1-\alpha)^2}$&$0$&
		$\frac{\psi ^2-\phi ^2}{128k(1-\alpha)^2}+\frac{g\alpha\theta}{1-\alpha}+g\cs$&$\frac{\psi ^2-\phi ^2+32\alpha k(\psi-\phi)}{256k(1-\alpha)^2}$&$0$&$	\frac{3(\psi ^2-\phi ^2)+256\alpha k g[\alpha k+(1-\alpha)\theta]}{256k(1-\alpha)^2}+g\cs$\\
		&{$\cv \geq H(\alpha)$ }&
		0&0&0&0&$g[\frac{(\omega-\alpha k)\alpha}{2(1-\alpha)^2}-\frac{\alpha\theta}{1-\alpha}+\cs]$&$0$&$0$&$g[\frac{(\omega-\alpha k)\alpha}{2(1-\alpha)^2}-\frac{\alpha\theta}{1-\alpha}+\cs]$\\
		\bottomrule			
	\end{tabular}
\end{table*}


\begin{prop} \label{prop:value_decision_g}
		 Given $\alpha,~ k,~ \theta,~g$: $e^{IG}>e^I$, $r^{IG}<r^I$, $l^{IG}>l^I$ if and only if $\cv<H(\alpha)$.	
\end{prop}

\refprop{prop:value_decision_g} indicates three points. 
Firstly, for given $ k, \theta$, the launch insurance subsidy provided by the government can help to improve the successful launch probability $e$ which is definitely helps to promote the benign development of the commercial satellite industry.
Secondly, when the subsidy also helps to decrease the launch insurance rate $r$. 
This is because insurance companies set insurance rates based on break-even, so the larger the $e$, the smaller the $r$. 
From a market perspective, government subsidies help soften the insurance market. 
Thirdly, the launch price in model IG also higher than that in model I.
This is attributed to the fact that SO is more willing to pay higher launch fees after receiving subsidies.
Higher launch fees also give VM an incentive to increase the probability of successful launches, thus forming a virtuous circle that helps to promote the development of the commercial satellite launch market. 

Note, the above phenomenon occurs only in condition $\cv<H(\alpha)$ which means that when the SO chooses an expensive vehicle ($\cv>H(\alpha)$), government subsidies will not be able to form the above positive feedback closed loop in the market. 

\begin{prop} \label{prop:value_profit_g}
	Given $\alpha,~ k,~\theta,~g$:
	\begin{enumerate}[(i)]
		\item  $\pgs>\pis$, $SW^{IG}>SW^I$.\par 
		\item  $\pgv>\piv$ if and only if $\cv<H(\alpha)$\par 
		\item  $CS^{IG}=CS^I$
	\end{enumerate}
\end{prop}
 
 \refprop{prop:value_profit_g} indicates three points. 
Firstly, for given $ k,~ \theta$, and $g$, the profit of SO and the social welfare in Model IG are always higher than in Model I. 
This means that when the launch insurance subsidy program is implemented, satellite operators and society always benefit. 
Mainly because the satellite operator is a direct beneficiary.
Her earnings decided by the tradeoff between higher launch fees and higher launch success rates. 
Secondly, the profit of VM in Model IG is higher than in Model I if and only if $\cv<H(\alpha)$.
The change of VM's profit depends on the tradeoff between higher effort cost and higher launch service income.
However, when the cost of the vehicle is relatively high, VM will not benefit from the government subsidy.
Thirdly, the consumer surplus in Model IG equals that in Model I, implying that government subsidies cannot benefit consumers.
 
As a remark, the implementation of government subsidies helps to improve the probability of successful launches, thereby promoting the formation of positive feedback in the commercial aviation industry.
Moreover, It is important to note that the effective use of government subsidy is subsidizing satellite launch activities with inexpensive vehicles, which can achieve win-win scenario.
Otherwise, subsidies can only increase the profit of satellite operators, but can not promote the launch success rate, which is not conducive to the optimal allocation of government funds. 




 \section{The case with blockchain technology } \label{sec:blockchain case}
 
 After exploring Model I and Model IG, we find that government subsidies for launch insurance do not benefit customers that the data demand $D$ and retail price $p$ remain unchanged in these two models.
 Luckily, the implementation of innovative technology, blockchain technology (BCT), injects new blood into the commercial space industry in two aspects: 
 on one hand, BCT can enhance the security of satellite data which enhances trust among users;
 on the other hand, blockchain technology helps to improve the workflow efficiency of launch activities which helps to reduce the error rate, and thus increases the probability of successful launch.
In this section, we analytical exploring how BCT improve the performance of the satellite launch supply chain.

 In the real world, as depicted in \reffig{fig:blockchain}, the launching workflow is supported by BCT to deal with the complexities such as contracts, order tracking, parts assembly, shipments, design and test documents, test results data, near real-time data, workflows for approvals, auditing, launch and control. 
 That means it will improve the data flow between different participants and capture the problem in time during the process. 
 In other words, when information is shared adequately in the whole supply chain, it will help VM to save the effort cost to reach the ideal launch success probability, which is related to the symmetric and transparent information.
 (such as IBM and Cloud Constellation Corporation are working together to build a range of prototype solutions from Edge Computing in Space to exploring how blockchain can optimize the logistics and supply chain for the space tech industry \citep{Altaf2019}. \par 
 
  
 % TODO: \usepackage{graphicx} required
 \begin{figure}[H] 
 	\centering
 	\includegraphics[width=0.7\linewidth]{blockchain}
 	\caption{Satellite launch supported by blockchain platform.} \cite{Altaf2019}
 	\label{fig:blockchain}
 \end{figure}
 
 \begin{defi}\label{defi:all-win}
 	An win-win scenario is achieved under Model x if the supply chain, consumers, and social welfare under Model x are all better off compared to the respective ones under Model NI.
 \end{defi}
 
 
\subsection{Model B: Blockchain-embedded satellite launch supply chain with insurance }

 Compared to the case under Model I, all these parties will work together on the blockchain platform and the workflow will be more efficient which will be like 
 (i) Launch data is made accessible via application program interfaces (APIs) for each of the participants on the nodes, and all interactions such as data download are tracked. 
 (ii) All of the above activity is logged in the form of transactions in an immutable ledger database for auditing purposes to all the authorized interested participants. 
 (iii) The data collected by the satellite will also record on BCT which cannot be tampered with.
   \reffig{fig:blockchain} shows the whole launch success process in the avail of blockchain.
 Thus, the obvious advantage over Model I is that the transform data flow will decrease the effort cost and enhance the trust of customers.
 In other words, for the effort cost VM exerting to improve the launch successfully probability (denoted by $k^B e^2$ for the case under Model B), it will be lower under Model B than under Model I, which means improve successful launch probability is cheaper with BCT than without BCT.
 We assume the blockchain platform provided by the third party which will charge SO and VM for $\csb$ and $\cvb$ respectively (Note: We assume the cost of BCT is lump-sum payment and the marginal cost of blockchain will be considered in the extended model \refsec{extend:model_c}).
 Before conducting analyses, we follow \cite{Luo2020} to define the “all-win” scenario. 
 
 \begin{defi}\label{defi:all-win}
 	An all-win scenario is achieved under Model x if the supply chain, customers, and social welfare under Model x are all better off compared to the respective ones under Model I.
 \end{defi}
 
 According to the assumption, we model the scenario with government subsidies and BCT. 
 For customers, the benefits brought by BCT are characterized by factor $b$ which will increase their utility. 
 To be specific, the market demand can be written as follows:
 
 \begin{eqnarray}\label{eq:igd}
 	%	\left\{
 	\begin{aligned}
 		D^{B} &= 1 \int_{p-b}^{1}{f\left( u \right) \mathrm{d} u}= 1-p+b \\
 	\end{aligned}
 	%	\right.
 \end{eqnarray}
 
Similar to \refsec{sec:modeli}, as the Stackelberg leader, SO sets the contract terms and the VM, as the follower, decides whether to accept the contract. 
Once the cooperation is signed, each of the participants gets a node which has a copy of ledger and smart contracts. 
As in \refsec{sec:modeli}, the SO prepays the supplier part of the contract price $\alpha*l$ ahead. After launching, she will pay $(1-\alpha)*l$ upon successful delivery and pays $0$ otherwise. 
Concerning risk, SO buy the launch insurance with premium rate $r$ to compensate the damage if launch failed. 
Therefore, the members' payoffs can be measured as follows:
\begin{eqnarray}
	\begin{aligned}
		\pbs &= epD^B -[\alpha + e(1-\alpha) ]l - r (\cs + \alpha l) + (1-e)\beta (\cs + \alpha l)- \cs-\csb,\label{eq:bso:payoff}\\
		\pi_i^{B}&= r (\cs + \alpha l)-(1-e)\beta (\cs + \alpha l),\\
		\pbv&=[\alpha + e (1 - \alpha) ]l - (1 - e) \theta - (\kb e^2 + \cv)-\cvb,\label{eq:bvm:payoff}\\
		s.t.~\pbv &\geq 0
	\end{aligned}
\end{eqnarray}


As shown, $\pbs$ consists of five parts: 
(1) the income she will obtain once the satellite works in orbit ($e pD^B$),
(2) the launch service price ($[\alpha+e(1-\alpha)]l$),
(3) the premium SO pays for launch insurance($ r (\cs + \alpha l) $),
(4) the compensate she will get once the launch failed($(1-e) \beta(\cs +  \alpha l)$),
(5) the cost of satellite and blockchain service, $\cs$ and $\csb$. 
%Without loss of generality, the satellite income covers its whole cost; i.e., the SO sets a contract only when $F\geq\cs + \csb+\pb $.\par 

 After receiving a contract with price $l$ that is acceptable to VM, the cooperation is reached and a smart contract will be built. 
 Then VM gets the node of checking the contract, which captures serious details to direct the conduction design, development, test and evaluation efficiently which cost $\cv+\cvb$. Also, he will get the prepayment $\alpha*l$ from the SO. 
 If the vehicle launch successfully, he receives the last $(1-\alpha )*l$ from the SO. If launching is not successful, the VM receives no payment. 
As shown, $\pbv$ consists of three parts: 
(1)the prepaid income and expected gain upon successful launch $[\alpha + e (1 - \alpha)]l$, 
(2)the expected loss of failure penalty in the event of launch failure $(1 - e) \theta$, 
(3)the whole cost $\kb e^2 + \cv+\cvb$. 
The non-negative profit constraint ensures the profitability of launch; otherwise, the VM will reject such a contract.
%As our model is mainly motivated to made-to-order vehicle, we assume that, once the rocket manufacture is accomplished, the VM has to launch the SO's satellite. Therefore, without loss of generality, we normalize his outside option to 0; i.e., the manufacturer accepts a contract only when $\pbv \geq 0$.\par 

After a backward induction similar to the \ref{sec:modeli}, we obtain \reflem{lemma:modelb}.


\begin{lem} \label{lemma:modelb}
	The equilibrium outcomes of Model B are shown in \reftab{tab:modelb_decisions}.
\end{lem}


 \begin{table*}[htbp]
	\scriptsize
	%		\hspace*{-1cm} % apply this to move the table left, so that the right part of a wide table can be shown.
	\newcommand{\tabincell}[2]{\begin{tabular}{@{}#1@{}}#2\end{tabular}}
	\caption{\label{tab:modelb_decisions} The equilibrium outcomes in Model B.}
	\centering
	\renewcommand{\arraystretch}{1.3}
	\begin{tabular}{@{\extracolsep{1pt}}l*{14}{c}@{}}		
		\toprule
		& \multicolumn{1}{c}{$\cv < H(\alpha)$ } & \multicolumn{1}{c}{$\cv \geq H(\alpha)$ }  \\
		\midrule
		Effort of VM exerting $e^*$& 
		$\frac{\eta }{16 (1-\alpha )\kb}$ & 
		$\frac{\mu-\alpha \kb }{(1-\alpha)\kb}$  \\
		Launch price $l^*$&
		$l^*=l_{S}=\frac{\eta-8\theta(1-\alpha)}{8(1-\alpha)^2}$&
		$ l^*=l_{VA}= \frac{2\mu-2\alpha \kb-(1-\alpha) \theta}{(1-\alpha)^2}$\\ 
		Retail price $p^*$&
		$\frac{1+b}{2}$&
		$\frac{1+b}{2}$\\
		Premium rate $r^*$&
		$\beta(1-\frac{\eta}{16(1-\alpha)\kb})$&
		$\beta\frac{\kb-\mu}{(1-\alpha)\kb}$\\
		SO's profit $\pbs$&
		$\frac{\eta^2}{128(1-\alpha)^2\kb}+\frac{\alpha \theta}{1-\alpha} -\c-\csb$&
		$\frac{(\mu-\alpha \kb)(\eta+8\alpha \kb-8\mu)}{4(1-\alpha )^2\kb}+\frac{\alpha \theta}{1-\alpha}-\cs-\csb$\\
		VM's profit $\pbv$&
		$\frac{\eta^2+32\alpha \kb\eta}{256(1-\alpha)^2\kb}-\frac{ \theta}{1-\alpha}-\cv-\cvb$&
		$0$\\
		Consumer surplus $CS^B$&
		$\frac{(1+b)^2}{8}$&
		$\frac{(1+b)^2}{8}$&\\
		Social welfare $SW^B$&
		$\frac{3\eta^2+32\alpha \kb\eta}{256(1-\alpha)^2\kb}- \theta-\cs-\cv-\csb-\cvb+\frac{(1+b)^2}{8}$&
		$\frac{(\mu-\alpha \kb)(\phi+8\alpha \kb-8\mu)}{4(1-\alpha )^2\kb}+\frac{\alpha \theta}{1-\alpha}-\cs-\csb+\frac{(1+b)^2}{8}$\\
		\bottomrule			
	\end{tabular}
	\begin{tablenotes}
		\item To avoid complicated writing, we define 
		$\eta=(1-\alpha)(1+b)^2+4(1-\alpha)\theta-8\alpha \kb$, 
		$\mu=\sqrt{(1-\alpha)^2\kb (\cv+\cvb)+\alpha ^2{\kb}^2-(1-\alpha)\kb \theta}$.
	\end{tablenotes}
\end{table*}



Outcomes in \reflem{lemma:modelb} are neat and similar to \reflem{lemma:modeli}. 
There are two differences worth knowing.
 (i) First, when $\cv<H(\alpha)$, as $\kb$ is less than $k$ and $\eta>\phi$, the successful launch probability, the launch price are higher than in Model I; and the premium rate is lower than in Model I. 
 (ii) When $\cv\geq H(\alpha)$, the equilibrium outcomes are not neat and cannot be directly compared which we will conduct analyze in detail in \refsec{sec:value_b}.
 (iii) Although the retail price is higher compared with Model I, the consumer surplus in increase with the implementation of BCT.
 Notedly, the consumer surplus is only related to $b$, not to the cost of the blockchain.
 Therefore, as long as blockchain technology is adopted, the consumer surplus can be improved. 
 
 As the sensitivity outcomes shown in \reftab{tab:modeli_and_ig_sensitivity} we now conduct the analysis.
 
 
 \begin{table*}[htbp]
 	\scriptsize
 	%		\hspace*{-1cm} % apply this to move the table left, so that the right part of a wide table can be shown.
 	\newcommand{\tabincell}[2]{\begin{tabular}{@{}#1@{}}#2\end{tabular}}
 	\caption{\label{tab:modeli_and_b_sensitivity} Sensitivity analyses for Model I and Model B.}
 	\centering
 	\renewcommand{\arraystretch}{1.3}
 	\begin{tabular}{@{\extracolsep{1pt}}l*{14}{l}@{}}		
 		\toprule
 		& {Model}&{Situation}&{$e^*$}&{$r^*$}&{$l^*$}&{$p^*$} &{$\pi_S$}&{$\pi_V$}&{$CS$}&{$SW$} \\
 		\midrule
 		$k \uparrow$ & 	
 		Model I &{$\cv < H(\alpha)$ } & 	
 		$\downarrow$&$\uparrow$&$\downarrow$&$-$&$\downarrow$: $k<k_1$&$\downarrow$&$-$&$\downarrow$\\
 		&&&&&&&$\uparrow :k\geq k_1$\\
 		&&{$\cv \geq H(\alpha)$}
 		&$\downarrow$&$\uparrow$&$\uparrow$&$-$&$\downarrow$&$-$&$-$&$\downarrow$\\
 		&Model B& {$\cv < H(\alpha)$ } &
 		$\downarrow$&$\uparrow$&$\downarrow $&$-$&$\downarrow$: $k<k_3$&$\downarrow$&$-$&$\downarrow$\\
 		&&&&&&&$\uparrow :k\geq k_3$\\
 		&&{$\cv \geq H(\alpha)$ }&
 		$\downarrow$&$\uparrow$&$\uparrow$&$-$\\
 		$\theta \uparrow$&
 		Model I &{$\cv < H(\alpha)$ } & 	
 		$\uparrow$&$\downarrow$&$\downarrow$&$-$&$\uparrow$&$\uparrow: \theta<\theta_{V1}$&$-$&$\uparrow: \theta<\theta_{W1}$\\
 		&&&&&&&&$\downarrow: \theta \geq \theta_{V1}$&&$\downarrow: \theta \geq \theta_{W1}$\\
 		&&{$\cv \geq H(\alpha)$}&
 		$\uparrow$&$\downarrow$&$\uparrow$&$-$&$\uparrow$&$-$&$-$&$\uparrow$\\
 		&Model B& {$\cv < H(\alpha)$ } &
 		$\uparrow$&$\downarrow$&$\downarrow$&$-$&$\uparrow$&$\uparrow: \theta<\theta_{V3}$&$-$&$\uparrow: \theta<\theta_{W3}$\\
 		&&&&&&&&$\downarrow: \theta \geq \theta_{V3}$&&$\downarrow: \theta \geq \theta_{W3}$\\
 		&&{$\cv \geq H(\alpha)$}&
 		$\uparrow$&$\downarrow$&$\uparrow$&$-$&$\uparrow$&$-$&$-$&$\uparrow$\\
 		$b \uparrow$&
 		Model B& {$\cv < H(\alpha)$ } & 
 		$\uparrow$&$\downarrow$&$\uparrow$&$\uparrow$&$\uparrow$&$\uparrow$&$\uparrow$&$\uparrow$\\
 		&&{$\cv \geq H(\alpha)$}&
 		$-$&$-$&$-$&$\uparrow$&$-$&$-$&$\uparrow$&$\uparrow$\\
 		\bottomrule			
 	\end{tabular}
 		\begin{tablenotes}
 		\item To avoid complicated writing, we define 
 		$k_1=\frac{(1-\alpha \theta}{2\alpha}$
 		$k_3=\frac{(1-\alpha)[(1+b)^2+4\theta]}{8\alpha}$,
 		$\theta_{V1}=\frac{8k-2\alpha k}{1-\alpha}$, 
 		$\theta_{V3}=\frac{32\kb-(1-\alpha)(1+b)^2-8\alpha \kb}{4(1-\alpha)}$,
 		$\theta_{W1}=\frac{8k-6\alpha k}{3(1-\alpha)}$, 
 	    $\theta_{W3}=\frac{32\kb-3(1-\alpha)(1+b)^2-24\alpha \kb}{12(1-\alpha)}$.
 	 \end{tablenotes}
 \end{table*}
 
 
 By comparing the sensitivity analysis results of Model B and Model I, we find three differences:
 (i) Firstly, if the effort cost coefficient increase, when $\cv<H(\alpha)$, there there exist a threshold $k_3$, where $k_3=\frac{(1-\alpha)[(1+b)^2+4\theta]}{8\alpha}$. 
 Thus SO's profit decreases as $k^B$ increasing when $k^B<k_3$, otherwise $\pgs$ decreases.
 Note $k_3>k_2$, which means BCT raises the threshold of the SO to change the trend of her profits.
 (ii) Secondly, if the failed-launch penalty$\theta$ increase, when $\cv<H(\alpha)$, the thresholds of VM's profit $\theta_{V3}$ and social welfare $\theta_{W3}$ also change, where $\theta_{V3}=\frac{32\kb-(1-\alpha)(1+b)^2-8\alpha \kb}{4(1-\alpha)}$ and $\theta_{W3}=\frac{32\kb-3(1-\alpha)(1+b)^2-24\alpha \kb}{12(1-\alpha)}$.
It is worth noting that the implementation of blockchain technology actually reduces the threshold of punishment to change the profit trend which means that the penalty tolerated by the VM and society is reduced, that is, once $\theta>\theta_{V3}$ and $\theta>\theta_{W3}$ both profits of them will decrease.
(iii) If the benefits that blockchain brings to consumers $b$ increases, 
(a) when $\cv<H(\alpha)$, the successful launch probabilit, launch price, retail price, member's profits, consumer surplus, and social welfare will all increase; the premium rate will decrease;
(b) when $\cv<H(\alpha)$, although the retail price increase and the consumer surplus obtain for the customers will increase at all.





\subsection{Values of implementing BCT}\label{sec:value_b}

Similar to \refsec{sec:value_g}, after deriving the equilibrium decisions of Model B, we further explore the values of BCT by modeling $V_{x}^{B}$ as follows:
\begin{eqnarray}\label{eq:value_b}
	\begin{aligned}
			V_{x}^{B}&=x^{B}-x^I\\
	\end{aligned}
\end{eqnarray}


We report the results in \reftab{tab:value_decision_b} and \reftab{tab:value_profit_b}, then obtain \refprop{prop:value_decision_b} and \refprop{prop:value_profit_b}, which give the condition for adopting BCT.

\begin{table*}[htbp]
	\scriptsize
	%		\hspace*{-1cm} % apply this to move the table left, so that the right part of a wide table can be shown.
	\newcommand{\tabincell}[2]{\begin{tabular}{@{}#1@{}}#2\end{tabular}}
	\caption{\label{tab:value_decision_b} Values of BCT on optimal decisions.}
	\centering
	\renewcommand{\arraystretch}{1.3}
	\begin{tabular}{@{\extracolsep{1pt}}l*{14}{l}@{}}		
		\toprule
		&{Situation}&{$V_{ e^*}^B$}&{$V_{ r^*}^B$}&{$V_{ l^*}^B$}&{$V_{ p^*}^B$} \\
		\midrule
		Value & 	
		{$\cv < H(\alpha)$ } & 			   
		$\frac{k[(1+b)^2+4\theta]-\kb(1+4\theta)}{16k\kb}>0$&
		$-\beta\frac{k[(1+b)^2+4\theta]-\kb(1+4\theta)}{16k\kb}<0$&
		$\frac{(1-\alpha)(b^2+2b)+8\alpha(k-\kb)}{8(1-\alpha)^2}>0$&
		$\frac{b}{2}>0$\\
		&{$\cv \geq H(\alpha)$ }&
		$\frac{k\mu-\kb\omega}{k\kb(1-\alpha)}>0$&
		$-\beta$$\frac{k\mu-\kb \omega}{k\kb(1-\alpha)}<0$&
		$\frac{2(\mu-\omega)+2\alpha(k-\kb)}{(1-\alpha)^2}>0$&
		$\frac{b}{2}>0$\\
		\bottomrule			
	\end{tabular}
\end{table*}


\begin{table*}[htbp]
	\scriptsize
	%		\hspace*{-1cm} % apply this to move the table left, so that the right part of a wide table can be shown.
	\newcommand{\tabincell}[2]{\begin{tabular}{@{}#1@{}}#2\end{tabular}}
	\caption{\label{tab:value_profit_b} Values of BCT on members' payoffs.}
	\centering
	\renewcommand{\arraystretch}{1.3}
	\begin{tabular}{@{\extracolsep{1pt}}l*{14}{l}@{}}		
		\toprule
		&{Situation}&{$V_{ SO}^B$}&{$V_{VM}^B$}&{$V_{CS}^B$}&{$V_{SW}^B$} \\
		\midrule
		Value & 	
		{$\cv < H(\alpha)$ } & 			   
		$\frac{k\eta ^2-\kb \phi^2}{128k\kb (1-\alpha)^2}-\csb$&
		$\frac{k\eta ^2-\kb \phi^2+32\alpha k \kb(\eta-\phi)}{256k\kb (1-\alpha)^2}-\cvb$&
		$\frac{b^2+2b}{8}$&
		$\frac{3k\eta ^2-3\kb \phi^2+32\alpha k \kb(\eta-\phi)}{256k\kb (1-\alpha)^2}+\frac{b^2+2b}{8}-\csb-\cvb$\\
		&{$\cv \geq H(\alpha)$ }&
		$\frac{k(\mu-\alpha \kb)[\eta-8(\mu-\alpha \kb)]-\kb (\omega-\alpha k)[\phi-8(\omega-\alpha k)]}{4k\kb(1-\alpha)^2}-\csb$&
		$0$&
		$\frac{b^2+2b}{8}$&
		$\frac{k(\mu-\alpha \kb)[\eta-8(\mu-\alpha \kb)]-\kb (\omega-\alpha k)[\phi-8(\omega-\alpha k)]}{4k\kb(1-\alpha)^2}+\frac{b^2+2b}{8}-\csb$\\
		\bottomrule			
	\end{tabular}
\end{table*}

\begin{prop} \label{prop:value_decision_b}
	Given $\alpha$, $\kb$, $k$, $\theta$, $b$: $e^{B}>e^I$, $r^{B}<r^I$, $l^{B}>l^I$, $p^{B}>p^I$.	
\end{prop}

\refprop{prop:value_decision_b} gives us four claims. 
Firstly, the optimal effort exerted by VM is higher after adopting blockchain technology, which directly leads to a higher launch success probability directly. 
That also implies that BCT helps to improve work efficiency.
Secondly, the premium rate decreasing due to the successful launch probability increase.
Thirdly, the launch price is higher with the support of BCT, mainly because the probability of successful launch increases and the SO is willing to pay higher fees.
Fourthly, as shown the change of $e$, $r$, and $l$ are similar to \refprop{prop:value_decision_g}, however, the retail price in Model B increases after implementing BCT which is different from \refprop{prop:value_decision_g}. 
It is due to the higher utility that BCT bring to customers, so they are more willing to pay a higher retail price.





\begin{prop} \label{prop:value_profit_b}
		Given $\alpha$, $\kb$, $k$, $\theta$, $b$: 
	\begin{enumerate}[(i)]
		\item
		If $\csb ~ \big( \begin{smallmatrix} < \\ =\\> \end{smallmatrix}  \big)~ \min\{\frac{k\eta ^2-\kb \phi^2}{128k\kb (1-\alpha)^2},\frac{k(\mu-\alpha \kb)[\eta-8(\mu-\alpha \kb)]-\kb (\omega-\alpha k)[\phi-8(\omega-\alpha k)]}{4k\kb(1-\alpha)^2}\}$,
		then we have: $V_{ SO}^B~ \big(\begin{smallmatrix} > \\ =\\< \end{smallmatrix} \big) ~0$;
		\item
		When $\cv <H(\alpha)$, if $\cvb~ \big(\begin{smallmatrix} < \\ =\\> \end{smallmatrix} \big) ~\frac{k\eta ^2-\kb \phi^2+32\alpha k \kb(\eta-\phi)}{256k\kb (1-\alpha)^2} $ ,
		then we have: $V_{VM}^B~ \big(\begin{smallmatrix} > \\ =\\< \end{smallmatrix} \big) ~ 0$;
		when $\cv \geq H(\alpha)$, $V_{VM}^B \equiv 0$
		\item
		$V_{CS}^B>0$
		\item 
		When $\cv <H(\alpha)$, if $\csb+\cvb ~ \big( \begin{smallmatrix} < \\ =\\> \end{smallmatrix}  \big) \frac{3k\eta ^2-3\kb \phi^2+32\alpha k \kb(\eta-\phi)}{256k\kb (1-\alpha)^2}+\frac{b^2+2b}{8} $, then we have $V_{SW}^B ~ \big(\begin{smallmatrix} > \\ =\\< \end{smallmatrix} \big) ~ 0$;
		when $\cv \geq H(\alpha)$, if $\csb ~ \big(\begin{smallmatrix} < \\ =\\> \end{smallmatrix} \big) ~  \frac{k(\mu-\alpha \kb)[\eta-8(\mu-\alpha \kb)]-\kb (\omega-\alpha k)[\phi-8(\omega-\alpha k)]}{4k\kb(1-\alpha)^2}+\frac{b^2+2b}{8}$, then we have $V_{SW}^B ~ \big(\begin{smallmatrix} > \\ =\\< \end{smallmatrix} \big) ~ 0$.
	\end{enumerate}
\end{prop}

As shown above, \refprop{prop:value_profit_b} gives us four neat findings.

Firstly, it gives the threshold of blockchain cost for SO, indicating that if the cost of implementing blockchain technology is high, then launching through the BCT platform is not profitable. 
That is because the loss of paying for blockchain cannot be offset by the benefits of improving the quality of data flow and higher retail income.
Actually, there are two different thresholds for the SO to decide whether implement BCT in two situations.
However, once BCT costs are pretty low, it is always profitable for the SO to use blockchain.

Secondly, it also gives the threshold and condition for VM using blockchain. 
When $\cv<H(\alpha)$, if the cost of BCT is low, VM has space to make a profit. 
However, when $\cv$ is high, it is unprofitable for VM to apply BCT. 
It lies in the launch price SO offering only matches VM's acceptance level, and his payoff is zero in this situation.

Thirdly, with the help of BCT, the consumer surplus increases, which means customers will benefit more, although they have to pay higher retail prices.

Fourthly, as shown in \refprop{prop:value_profit_b}, the social welfare will be improved with the adoption of blockchain as long as the cost of BCT is lower than a specific threshold.




As a remark, comparing with the value of government subsidies in \refsec{sec:value_g}, the successful launch probability will always be improved under the value of adopting BCT whether SO chooses a cost-effective vehicle for launch or not, but not always under government subsidies' values.
This is significantly different from the values of government subsidies in \refprop{prop:value_decision_g}.
Besides, the BCT helps achieve an all-win situation when the cost of BCT is relatively low for supply chain members. 
In conclusion, the government may consider providing financial support for sponsoring the supply chain adopting BCT to improve the successful launch rate and achieve all-win.

     \subsection{Model BG: Blockchain-embedded satellite launch supply chain with government-subsidized insurance}

In this section, we will investigate the government-subsidized launch insurance and the BCT in commercial space launch supply chain represented by Model BG.
\begin{eqnarray}
	\begin{aligned}
		\pbgs &= epD^{BG}-[\alpha + e(1-\alpha) ]l - r (\cs + \alpha l) + (1-e)\beta (\cs + \alpha l)- \cs-\csb,\\
		\pbgs&= (r-g) (\cs + \alpha l)-(1-e)\beta (\cs + \alpha l),\\
		\pbgv&=[\alpha + e (1 - \alpha) ]l - (1 - e) \theta - (\kb e^2 + \cv)-\cvb,\label{eq:bvm:payoff}\\
		s.t.~\pbv &\geq 0
	\end{aligned}
\end{eqnarray}

As the assumption is similar to Model IG and Model B, we conduct the backward induction and obtain \reflem{lemma:modelbg}.

\begin{lem} \label{lemma:modelbg}
	The equilibrium outcomes of Model BG are shown in \reftab{tab:modelbg_decisions}.
\end{lem}

 \begin{table*}[htbp]
	\scriptsize
	%		\hspace*{-1cm} % apply this to move the table left, so that the right part of a wide table can be shown.
	\newcommand{\tabincell}[2]{\begin{tabular}{@{}#1@{}}#2\end{tabular}}
	\caption{\label{tab:modelbg_decisions} The equilibrium outcomes in Model BG.}
	\centering
	\renewcommand{\arraystretch}{1.3}
	\begin{tabular}{@{\extracolsep{1pt}}l*{14}{c}@{}}		
		\toprule
		& \multicolumn{1}{c}{$\cv < H(\alpha)$ } & \multicolumn{1}{c}{$\cv \geq H(\alpha)$ }  \\
		\midrule
		Effort of VM exerting $e^*$& 
		$\frac{\lambda }{16 (1-\alpha )\kb}$ & 
		$\frac{\mu-\alpha \kb }{(1-\alpha)\kb}$  \\
		Launch price $l^*$&
		$l^*=l_{S}=\frac{\lambda-8\theta(1-\alpha)}{8(1-\alpha)^2}$&
		$ l^*=l_{VA}= \frac{2\mu-2\alpha \kb-(1-\alpha) \theta}{(1-\alpha)^2}$\\ 
		Retail price $p^*$&
		$\frac{1+b}{2}$&
		$\frac{1+b}{2}$\\
		Premium rate $r^*$&
		$\beta(1-\frac{\lambda}{16(1-\alpha)\kb})$&
		$\beta\frac{k-\mu}{(1-\alpha)\kb}$\\
		SO's profit $\pbgs$&
		$\frac{\lambda^2}{128(1-\alpha)^2\kb}+\frac{(1-g)\alpha \theta}{1-\alpha} -(1-g) \cs-\csb$&
		$\frac{(\mu-\alpha \kb)(\lambda+8\alpha \kb-8\mu)}{4(1-\alpha )^2\kb}+\frac{(1-g)\alpha \theta}{1-\alpha}-(1-g)\cs-\csb$\\
		VM's profit $\pbgv$&
		$\frac{\lambda^2+32\alpha \kb\lambda}{256(1-\alpha)^2\kb}-\frac{ \theta}{1-\alpha}-\cv-\cvb$&
		$0$\\
		Consumer surplus $CS^{BG}$&
		$\frac{(1+b)^2}{8}$&
		$\frac{(1+b)^2}{8}$&\\
		Social welfare $SW^{BG}$&
		$\frac{3\lambda^2+32\alpha \kb\lambda}{256(1-\alpha)^2\kb}- \frac{\theta[1-(1-g)\alpha]}{1-\alpha}-(1-g)\cs-\cv-\csb-\cvb+\frac{(1+b)^2}{8}$&
		$\frac{(\mu-\alpha \kb)(\lambda+8\alpha \kb-8\mu)}{4(1-\alpha )^2\kb}+\frac{(1-g)\alpha \theta}{1-\alpha}-(1-g)\cs-\csb+\frac{(1+b)^2}{8}$\\
		\bottomrule			
	\end{tabular}
	\begin{tablenotes}
		\item To avoid complicated writing, we define 
		$\lambda=(1-\alpha)(1+b)^2+4(1-\alpha)\theta-8\alpha \kb(1-g)$, 
		$\mu=\sqrt{(1-\alpha)^2\kb( \cv+\cvb)+\alpha ^2{\kb}^2-(1-\alpha)\kb \theta}$.
	\end{tablenotes}
\end{table*}


The equilibrium outcomes in \reflem{lemma:modelbg} are similar to that in \reflem{lemma:modelig} but with
two differences worth knowing.
(i) First, as $\kb$ is less than $k$ leading to denominator decreases, as $\lambda >\psi$ leading to numerator increases, thus the successful launch probability $e$ and the launch price $l$ are higher than in Model IG; and the premium rate $r$ is lower compared with Model IG.
(ii) Although the retail price $p$ is higher compared with Model IG, the consumer surplus eventually increase due to a greater increase in market demand with the adoption of BCT. 
Noted, the consumer surplus is only related to $b$, not to the cost of the blockchain. 
Therefore, as long as blockchain technology is adopted, the consumer surplus can be improved.


\subsection{Values of implementing BCT with government subsidies}
After deriving the equilibrium decisions in the supply chains under Models G and Model BG, we now explore the values of blockchain technology with government subsidies. 
\begin{eqnarray}\label{eq:value_bg}
	\begin{aligned}
		V_{x}^{BG}&=x^{BG}-x^{IG}\\
	\end{aligned}
\end{eqnarray}

By comparing Model BG and Model IG, we report the results in \reftab{tab:value_decision_bg} and \reftab{tab:value_profit_bg} which leading to \refprop{prop:value_decision_bg} and \refprop{prop:value_profit_bg}.

\begin{prop} \label{prop:value_decision_bg}
	Given $\kb$, $k$, $\theta$, $g$, $b$: $e^{BG}>e^{IG}$, $r^{BG}<r^{IG}$, $l^{BG}>l^{IG}$, $p^{BG}>p^{IG}$.	
\end{prop}



As shown, the results in \refprop{prop:value_decision_bg} are similar to \refprop{prop:value_decision_b}. 
It indicates that for given $\kb$, $k$, $\theta$, $g$, and $b$, under the government subsidies, the BCT helps to increase the probability of successful launch $e$, the retail price $p$, and decrease the premium rate $r$ under the government subsidies.
Note that in the case of government subsidies, when the cost of vehicle is high, the effect of blockchain in increasing launch price is weakened compared to the absence of subsidies  with a decrease of $\frac{\alpha g(k-\kb)}{(1-\alpha)^2}$ as shown in \reftab{tab:value_decision}.
In addition, BCT has the same impact on each optimal decision, whether there is government subsidy or not. 


\begin{prop} \label{prop:value_profit_bg}
	Given $\kb$, $k$, $\theta$, $g$, $b$: 
	\begin{enumerate}[(i)]
		\item
		If $\csb ~ \big( \begin{smallmatrix} < \\ =\\> \end{smallmatrix}  \big)~ \min\{\frac{k\lambda ^2-\kb \psi^2}{128k\kb (1-\alpha)^2},\frac{k(\mu-\alpha \kb)[\lambda-8(\mu-\alpha \kb)]-\kb (\omega-\alpha k)[\psi-8(\omega-\alpha k)]}{4k\kb(1-\alpha)^2}\}$,
		then we have: $V_{ SO}^{BG}~ \big(\begin{smallmatrix} > \\ =\\< \end{smallmatrix} \big) ~0$;
		\item
		When $\cv <H(\alpha)$, if $\cvb~ \big(\begin{smallmatrix} < \\ =\\> \end{smallmatrix} \big) ~\frac{k\lambda ^2-\kb \psi^2+32\alpha k \kb(\lambda-\psi)}{256k\kb (1-\alpha)^2} $ , for $\cv <H(\alpha$)
		then we have: $V_{VM}^{BG}~ \big(\begin{smallmatrix} > \\ =\\< \end{smallmatrix} \big) ~ 0$;
		when $\cv \geq H(\alpha)$, $V_{VM}^{BG} \equiv 0$
		\item
		$V_{CS}^{BG}>0$
		\item 
		When $\cv <H(\alpha)$, if $\csb+\cvb ~ \big( \begin{smallmatrix} < \\ =\\> \end{smallmatrix}  \big) \frac{3k\lambda ^2-3\kb \psi^2+32\alpha k \kb(\lambda-\psi)}{256k\kb (1-\alpha)^2}+\frac{b^2+2b}{8}  $, then we have $V_{SW}^{BG} ~ \big(\begin{smallmatrix} > \\ =\\< \end{smallmatrix} \big) ~ 0$;
		when $\cv \geq H(\alpha)$, if $\csb ~ \big(\begin{smallmatrix} < \\ =\\> \end{smallmatrix} \big) ~  \frac{k(\mu-\alpha \kb)[\lambda-8(\mu-\alpha \kb)]-\kb (\omega-\alpha k)[\psi-8(\omega-\alpha k)]}{4k\kb(1-\alpha)^2}+\frac{b^2+2b}{8}$, then we have $V_{SW}^{BG} ~ \big(\begin{smallmatrix} > \\ =\\< \end{smallmatrix} \big) ~ 0$.
	\end{enumerate}
\end{prop}


 The values of BCT under the case of government subsidies in \refprop{prop:value_profit_bg} are similar to the role of BCT without subsidies in \refprop{prop:value_profit_b}.
 Compared with Model IG, the BCT in Model BG helps to increase the profit of SO and the welfare of society when the cost of BCT is not high.
 For the VM, when $\cv<H(\alpha)$, he will benefit from the adoption of BCT if it doesn't cost too much. Otherwise, it is not profitable for him to implement BCT.
 For customers, the consumer surplus will be higher once the BCT is adopted.
 
 
 % TODO: \usepackage{graphicx}  \usepackage{subcaption} required
 \begin{figure}[H]
 	\centering
 	\begin{subfigure}[b]{0.4\textwidth}
 		\includegraphics[width=\textwidth]{sw1}
 		\caption{$C_V<H(\alpha)$}
 		\label{fig:sw1}
 	\end{subfigure}
 	\qquad
 	~ %add desired spacing between images, e. g. ~, \quad, \qquad, \hfill etc. 
 	%(or a blank line to force the subfigure onto a new line)
 	\begin{subfigure}[b]{0.4\textwidth}
 		\includegraphics[width=\textwidth]{sw2}
 		\caption{$C_V \geq H(\alpha)$}
 		\label{fig:sw2}
 	\end{subfigure}
 	\caption{ The value of blockchain for social welfare with (i.e., $V_{SW}^{GB}$: the light grey area with the overlapping part enclosed by line $SW^{IG}$ and line $SW^{BG}$) and without government subsidies (i.e., $V_{SW}^B$: the dark grey area with the overlapping part enclosed by line $SW^I$ and line $SW^B$), when $k=0.8$, $\kb=0.6$,  $\cv=0.01$, $\cs=0.1$, $ \theta=0.5$, $b=0.9$, $g=0.5$, $\alpha=0.2$, $(\csb+\cvb)_1=\frac{3k\eta ^2-3\kb \phi^2+32\alpha k \kb(\eta-\phi)}{256k\kb (1-\alpha)^2}+\frac{b^2+2b}{8} $, $(\csb+\cvb)_2=\frac{3k\lambda ^2-3\kb \psi^2+32\alpha k \kb(\lambda-\psi)}{256k\kb (1-\alpha)^2}+\frac{b^2+2b}{8} $, $(\csb)_3= \frac{k(\mu-\alpha \kb)[\eta-8(\mu-\alpha \kb)]-\kb (\omega-\alpha k)[\phi-8(\omega-\alpha k)]}{4k\kb(1-\alpha)^2}+\frac{b^2+2b}{8}$,  $(\csb)_4=\frac{k(\mu-\alpha \kb)[\lambda-8(\mu-\alpha \kb)]-\kb (\omega-\alpha k)[\psi-8(\omega-\alpha k)]}{4k\kb(1-\alpha)^2}+\frac{b^2+2b}{8}$ . 
 	}\label{fig:value_sw}
 \end{figure}
 
 


Note that the blockchain usage thresholds given by \refprop{prop:value_profit_bg} are higher than that listed in \refprop{prop:value_profit_b}.
This means, the adoption of BCT in the case of government subsidies can improve the affordability of blockchain costs. 
From another point of view, the adoption of blockchain can also amplify the efficiency of government subsidies with amplifications shown in \reftab{tab:value_profit}.

In conclusion, adopting BCT under government subsidies can increase the successful launch probability and benefit all the members to achieve all-win when the cost of BCT is not high compared to the case with government subsidies (Model IG).
Besides, compared with the value of BCT without subsidies ($V_x^{B}$), the affordability of BCT will be improved by government subsidies, and the increase in launch price will lower, which means the value of the government will be magnify as shown in \reffig{fig:value_sw} (e.t., $(\csb+\cvb)_2>(\csb+\cvb)_1$ and $(\csb)_4>(\csb)_3$).
It implies that government subsidies are more likely to be preferred after adopting BCT.

\begin{table*}[htbp]
	\scriptsize
	%		\hspace*{-1cm} % apply this to move the table left, so that the right part of a wide table can be shown.
	\newcommand{\tabincell}[2]{\begin{tabular}{@{}#1@{}}#2\end{tabular}}
	\caption{\label{tab:value_decision_bg} Values of BCT with government subsidies on optimal decisions.}
	\centering
	\renewcommand{\arraystretch}{1.3}
	\begin{tabular}{@{\extracolsep{1pt}}l*{14}{l}@{}}		
		\toprule
		&{Situation}&{$V_{ e^*}$}&{$V_{ r^*}^{BG}$}&{$V_{ l^*}$}&{$V_{ p^*}$} \\
		\midrule
		Value & 	
		{$\cv < H(\alpha)$ } & 			   
		$\frac{k[(1+b)^2+4\theta]-\kb(1+4\theta)}{16k\kb}>0$&
		$-\beta\frac{k[(1+b)^2+4\theta]-\kb(1+4\theta)}{16k\kb}<0$&
		$\frac{(1-\alpha)(b^2+2b)+8\alpha(1-g)(k-\kb)}{8(1-\alpha)^2}>0$&
		$\frac{b}{2}>0$\\
		&{$\cv \geq H(\alpha)$ }&
		$\frac{k\mu-\kb \omega}{k\kb(1-\alpha)}>0$&
		$-\beta$$\frac{k\mu-\kb \omega}{k\kb(1\alpha)}<0$&
		$\frac{2(\mu-\omega)+2\alpha(k-\kb)}{(1-\alpha)^2}>0$&
		$\frac{b}{2}>0$\\
		\bottomrule			
	\end{tabular}
\end{table*}


\begin{table*}[htbp]
	\scriptsize
	%		\hspace*{-1cm} % apply this to move the table left, so that the right part of a wide table can be shown.
	\newcommand{\tabincell}[2]{\begin{tabular}{@{}#1@{}}#2\end{tabular}}
	\caption{\label{tab:value_profit_bg} Values of BCT with government subsidies on members' payoffs.}
	\centering
	\renewcommand{\arraystretch}{1.3}
	\begin{tabular}{@{\extracolsep{1pt}}l*{14}{l}@{}}		
		\toprule
		&{Situation}&{$V_{ SO}^{BG}$}&{$V_{VM}^{BG}$}&{$V_{CS}^{BG}$}&{$V_{SW}^{BG}$} \\
		\midrule
		Value & 	
		{$\cv < H(\alpha)$ } & 			   
		$\frac{k\lambda ^2-\kb \psi^2}{128k\kb (1-\alpha)^2}-\csb$&
		$\frac{k\lambda ^2-\kb \psi^2+32\alpha k \kb(\lambda-\psi)}{256k\kb (1-\alpha)^2}-\cvb$&
		$\frac{b^2+2b}{8}$&
		$\frac{3k\lambda ^2-3\kb \psi^2+32\alpha k \kb(\lambda-\psi)}{256k\kb (1-\alpha)^2}+\frac{b^2+2b}{8}-\csb-\cvb$\\
		&{$\cv \geq H(\alpha)$ }&
		$\frac{k(\mu-\alpha \kb)[\lambda-8(\mu-\alpha \kb)]-\kb (\omega-\alpha k)[\psi-8(\omega-\alpha k)]}{4k\kb(1-\alpha)^2}-\csb$&
		$0$&
		$\frac{b^2+2b}{8}$&
		$\frac{k(\mu-\alpha \kb)[\lambda-8(\mu-\alpha \kb)]-\kb (\omega-\alpha k)[\psi-8(\omega-\alpha k)]}{4k\kb(1-\alpha)^2}+\frac{b^2+2b}{8}-\csb$\\
		\bottomrule			
	\end{tabular}
\end{table*}

%
%Furthermore, we compare the values of BCT under government subsidies with values of BCT without subsidies to explore the difference between adopting BCT impacted by the government subsidies.
%For a clearer comparison, we built $\Delta V_i$ as follows and summarize the outcomes in \reftab{tab:value_decision} and \reftab{tab:value_profit}.
%
%\textcolor{red}{If we look at the impacts of having the penalty scheme under the case with technologies, we will find that the government’s use of penalty scheme will yield the following: (i) The cyber-security level is higher than the case without penalty scheme. (ii) Both the supplier and consumer are benefited from the scheme than without penalty scheme. (iii) The e-tailer’s profit is hurt than without penalty scheme.}
%
%In order to explore the impact of government subsidized with BCT, we define the following terms $\Delta V_{ SO}$, $\Delta V_{VM}$, $\Delta CS$, and $\Delta SW$, which represent the benefits that government subsidies and BCT bring to the SO, the VM, customers, and the society, respectively. 
%
%\begin{eqnarray}\label{eq:value_bg}
%	\begin{aligned}
%		\Delta V_{ SO}&=(\pbgs-\pgs)-(\pbs-\pis)\\
%		\Delta V_{VM}&=(\pbgv-\pgv)-(\pbv-\piv)\\
%		\Delta V_{CS}&=(CS^{BG}-CS^{IG})-(CS^{B}-CS^I)\\
%		\Delta V_{SW}&=(SW^{BG}-SW^{IG})-(SW^{B}-SW^I)\\
%	\end{aligned}
%\end{eqnarray}
%
%\textcolor{red}{Furthermore, focusing on the thresholds (i.e., T for the case without technologies and TIT for the case with technologies) that determine whether implementing the government’s penalty scheme is beneficial to social welfare, we have the following findings: If F is relatively small and BCR > 1, then TIT is smaller than T. }

\begin{table*}[htbp]
	\scriptsize
	%		\hspace*{-1cm} % apply this to move the table left, so that the right part of a wide table can be shown.
	\newcommand{\tabincell}[2]{\begin{tabular}{@{}#1@{}}#2\end{tabular}}
	\caption{\label{tab:value_decision} The increases in the value of BCT on optimal decisions under government subsidies.}
	\centering
	\renewcommand{\arraystretch}{1.3}
	\begin{tabular}{@{\extracolsep{1pt}}l*{14}{l}@{}}		
		\toprule
		&{Situation}&{$\Delta V_{ e^*}^B$}&{$\Delta V_{ r^*}^B$}&{$\Delta V_{ l^*}^B$}&{$\Delta V_{ p^*}^B$} \\
		\midrule
		$\Delta$Value & 	
		{$\cv < H(\alpha)$ } & 			   
		$0$&
		$0$&
		$\frac{-\alpha g(k-\kb)}{(1-\alpha)^2}<0$&
		$0$\\
		&{$\cv \geq H(\alpha)$ }&
		$0$&
		$0$&
		$0$&
		$0$\\
		\bottomrule			
	\end{tabular}
\end{table*}


\begin{table*}[htbp]
	\scriptsize
	%		\hspace*{-1cm} % apply this to move the table left, so that the right part of a wide table can be shown.
	\newcommand{\tabincell}[2]{\begin{tabular}{@{}#1@{}}#2\end{tabular}}
	\caption{\label{tab:value_profit} The increases in the value of BCT on on members' payoffs under government subsidies.}
	\centering
	\renewcommand{\arraystretch}{1.3}
	\begin{tabular}{@{\extracolsep{1pt}}l*{14}{l}@{}}		
		\toprule
		&{Situation}&{$\Delta V_{ SO}^B$}&{$\Delta V_{VM}^B$}&{$\Delta V_{CS}^B$}&{$\Delta V_{SW}^B$} \\
		\midrule
		$\Delta$Value & 	
		{$\cv < H(\alpha)$ } & 			   
		$\frac{\alpha  g [(1-\alpha ) b^2+2 (1-\alpha ) b+4 \alpha  (2-g) (k-\kb)]}{8 (1-\alpha )^2}>0$&
		$\frac{\alpha  g [(1-\alpha ) b^2+2 (1-\alpha ) b-4 \alpha  (2+g) (k-\kb)]}{16 (1-\alpha )^2}>0$&
		$0$&
		$\frac{\alpha  g [3(1-\alpha ) b^2+6(1-\alpha ) b+4 \alpha  (2-3g) (k-\kb)]}{16 (1-\alpha )^2}>0$\\
		&{$\cv \geq H(\alpha)$ }&
		$\frac{2\alpha g[\alpha(k-\kb)-\omega+\mu]}{(-1 + \alpha)^2}>0$&
		$0$&
		$0$&
		$\frac{2\alpha g[\alpha(k-\kb)-\omega+\mu]}{(-1 + \alpha)^2}>0$\\
		\bottomrule			
	\end{tabular}
\end{table*}

\section{Extended Models}\label{sec:extensions}
\subsection{ Marginal cost of implementing BCT}\label{extend:model_c}
In the models above, we assume the cost of BCT is a lump sum neglecting the marginal cost of BCT to acquire and store data, which may not be accurate in practice.
Thus, we extend the blockchain models considering the marginal cost of implementing BCT denoted by $c$.
We verify the robustness of our findings by exploring two cases that 
(i) blockchain-embedded satellite launch supply chain with insurance (Model B-c)
(ii) blockchain-embedded satellite launch supply chain with government-subsidized insurance (Model BG-c).


\subsubsection{Model B-c} 

According to the setting, the market demand of Model B-c can be written as follows:

\begin{eqnarray}\label{eq:bcd}
	%	\left\{
	\begin{aligned}
		D^{B-c} &= 1 \int_{p^{B-c}-b}^{1}{f\left( u \right) \mathrm{d} u}= 1-p^{B-c}+b \\
	\end{aligned}
	%	\right.
\end{eqnarray}


Therefore, the members' payoffs can be measured as follows:
\begin{eqnarray}
	\begin{aligned}
		\pbcs &= e(p-c)D^{B-c} -[\alpha + e(1-\alpha) ]l - (r-g) (\cs + \alpha l) + (1-e)\beta (\cs + \alpha l)- \cs-\csb,\label{eq:bso:payoff}\\
		\pi_I^{B-c}&= r (\cs + \alpha l)-(1-e)\beta (\cs + \alpha l),\\
		\pbcv&=[\alpha + e (1 - \alpha) ]l - (1 - e) \theta - (\kb e^2 + \cv)-\cvb,\label{eq:bvm:payoff}\\
		s.t.~\pbcv &\geq 0.
	\end{aligned}
\end{eqnarray}

Note, the only difference between Model B-c and Model B is that the BCT's marginal cost occurs to SO.
We solve the derivation and summarize the outcomes in \reftab{tab:modelbc_decisions}.

\begin{table*}[htbp]
	\scriptsize
	%		\hspace*{-1cm} % apply this to move the table left, so that the right part of a wide table can be shown.
	\newcommand{\tabincell}[2]{\begin{tabular}{@{}#1@{}}#2\end{tabular}}
	\caption{\label{tab:modelbc_decisions} The equilibrium outcomes in Model B-c.}
	\centering
	\renewcommand{\arraystretch}{1.3}
	\begin{tabular}{@{\extracolsep{1pt}}l*{14}{c}@{}}		
		\toprule
		& \multicolumn{1}{c}{$\cv < H(\alpha)$ } & \multicolumn{1}{c}{$\cv \geq H(\alpha)$ }  \\
		\midrule
		Effort of VM exerting $e^*$& 
		$\frac{\eta -C}{16 (1-\alpha )\kb}$ & 
		$\frac{\mu-\alpha \kb }{(1-\alpha)\kb}$  \\
		Launch price $l^*$&
		$l^*=l_{S}=\frac{\eta-8\theta(1-\alpha)-C}{8(1-\alpha)^2}$&
		$ l^*=l_{VA}= \frac{2\mu-2\alpha \kb-(1-\alpha) \theta}{(1-\alpha)^2}$\\ 
		Retail price $p^*$&
		$\frac{1+b+c}{2}$&
		$\frac{1+b+c}{2}$\\
		Premium rate $r^*$&
		$\beta(1-\frac{\eta-C}{16(1-\alpha)\kb})$&
		$\beta\frac{\kb-\mu}{(1-\alpha)\kb}$\\
		SO's profit $\pbcs$&
		$\frac{\eta^2-C(C-2\eta)}{128(1-\alpha)^2\kb}+\frac{\alpha \theta}{1-\alpha} -\cs-\csb$&
		$\frac{(\mu-\alpha \kb)(\eta+8\alpha \kb-8\mu-C)}{4(1-\alpha )^2\kb}+\frac{\alpha \theta}{1-\alpha}-\cs-\csb$\\
		VM's profit $\pbcv$&
		$\frac{\eta^2+32\alpha \kb\eta-C(C-2\eta-32\alpha \kb)}{256(1-\alpha)^2\kb}-\frac{ \theta}{1-\alpha}-\cv-\cvb$&
		$0$\\
		Consumer surplus $CS^{B-c}$&
		$\frac{(1+b-c)^2}{8}$&
		$\frac{(1+b-c)^2}{8}$&\\
		Social welfare $SW^{B-c}$&
		$\frac{3\eta^2+32\alpha \kb\eta-C(3C-6\eta-32\alpha \kb)}{256(1-\alpha)^2\kb}- \theta-\cs-\cv-\csb-\cvb+\frac{(1+b-c)^2}{8}$&
		$\frac{(\mu-\alpha \kb)(\phi+8\alpha \kb-8\mu-C)}{4(1-\alpha )^2\kb}+\frac{\alpha \theta}{1-\alpha}-\cs-\csb+\frac{(1+b-c)^2}{8}$\\
		\bottomrule			
	\end{tabular}
	\begin{tablenotes}
		\item To avoid complicated writing, we define 
		$\eta=(1-\alpha)(1+b)^2+4(1-\alpha)\theta-8\alpha \kb$, 
		$\mu=\sqrt{(1-\alpha)^2\kb (\cv+\cvb)+\alpha ^2{\kb}^2-(1-\alpha)\kb \theta}$,
		$C=(1-\alpha)c(2+2b-c)$.
	\end{tablenotes}
\end{table*}

To explore the effect of blockchain marginal cost on the equilibrium outcomes, we compare Model B-c with Model B and obtain \refprop{prop:modelbc_vs_b}.

\begin{prop} \label{prop:modelbc_vs_b}
	Under Model B-c, the satellite launch supply chain adopts the BCT with insurance considering the marginal cost of BCT.
	
	 Compared with Model B,
	(i) when $\cv<H(\alpha)$, 
	(a) $e^{B-c}<e^B$, $l^{B-c}<l^B$, $r^{B-c}>r^B$, $p^{B-c}>p^B$; 
	(b) if $0< c< 1+b-\sqrt{\frac{(1-\alpha)(1+b)^2-2\eta}{1-\alpha}}$, $\pi_S^{B-c}>\pi_S^B$; otherwise, $\pi_S^{B-c} \leq  \pi_S^B$;
	if $0<c<1+b-\sqrt{\frac{(1-\alpha)(1+b)^2-2(\eta+16\alpha \kb)}{1-\alpha}}$, $\pi_V^{B-c}>\pi_V^B$; otherwise, $\pi_V^{B-c} \leq \pi_V^B$;
	$CS^{B-c}<CS^{B}$;
	if $0<c<1+b-\sqrt{\frac{3(1-\alpha)(1+b)^2-2(3\eta+16\kb)}{3(1-\alpha)}}$, $\pi_{SW}^{B-c}>\pi_{SW}^B$; otherwise, $\pi_{SW}^{B-c} \leq \pi_{SW}^B$;

	(ii) when $\cv \geq H(\alpha)$, 
	(a) $e^{B-c}=e^B$, $l^{B-c}=l^B$, $r^{B-c}=r^B$, $p^{B-c}>p^B$; 
	(b) $\pi_S^{B-c}< \pi_S^B$; $\pi_V^{B-c} = \pi_V^B=0$; $CS^{B-c}<CS^{B}$; $\pi_{SW}^{B-c} < \pi_{SW}^B$.
\end{prop}


\refprop{prop:modelbc_vs_b} indicates the effect of marginal cost of BCT by comparing Model B-c and Model B and give us new findings.
It implies that in the case of $\cv<H(\alpha)$, the presence of the BCT marginal cost in the satellite launch supply chain means that SO prefers to pay a lower launch price, the VM exerts less effort to make the launch successful, the SO has to bear higher insurance rates, and consumers suffer a higher retail price.
Since the marginal cost of BCT can lead to both an increase in retail price and a decrease in market demand, there exists thresholds regarding $c$ for comparing members' profits between Model B-c and Model B.
The tradeoff between the higher retail price and the lower market demand affects the change in total profit eventually. 
In the first case ($\cv<H(\alpha)$), when the marginal cost is low, the supply chain participants in Model B-c have higher returns. 
Once the marginal cost exceeds a certain threshold, the payoffs of participants in Model B-c are lower than those in Model B. 
For consumers, once the marginal cost exists, consumer surplus is impaired because they need to pay a higher retail price.

However, when the SO chooses an expensive vehicle ($\cv \geq H(\alpha)$), only the retail price is higher than in Model B, and the others are equal to that in Model B, which do not affect by $c$.
This is because the VM sets the launch price instead of the SO in this scenario. 
Therefore, transferring the marginal cost of BCT to consumers is the only way for the SO to make a profit. This treatment is similar to transferring the variable price per product unit in a traditional supply chain.
For the payoff, all participants except the VM suffer a loss of profits due to the presence of marginal costs. The VM only maintains break-even in this scenario, the same as Model B.

Further, to explore whether the value of BCT to the launch supply chain changes after considering marginal costs, i.e., to verify the robustness of \refprop{prop:value_decision_b} and \refprop{prop:value_profit_b}, we conduct comparison between Models B-c and Model I nextly.

\begin{prop} \label{prop:modelbc_vs_i}
	Under Model B-c, the satellite launch supply chain adopts the BCT with insurance considering the marginal cost of BCT.
    
    Compared with Model I,
    (i) when $\cv<H(\alpha)$, 
	(a) if $0<c<1+b-\sqrt{\frac{(1+4\theta)\kb}{k}-4 \theta }$, $e^{B-c}>e^I$, $r^{B-c}<r^I$; otherwise, $e^{B-c}\leq e^I$, $r^{B-c}\geq r^I$; 
	if $0<c<1+b-\sqrt{1-\frac{8\alpha(k-\kb)}{1-\alpha}}$, $l^{B-c}>l^I$; otherwise, $l^{B-c}\leq l^I$;
	if $0<c<b$, $p^{B-c}>p^I$, otherwise, $p^{B-c} \leq p^I$
	(b) if $0<c<1 + b - \sqrt{\frac{(1-\alpha)(1+b)^2-2\eta}{
			1 - \alpha}} $ and $\csb<\frac{k\eta ^2-\kb \phi^2}{128k\kb (1-\alpha)^2}$, $\pbcs > \pis$; otherwise, $\pbcs \leq \pis$;
		if $0<c<1+b-\sqrt{\frac{(1-\alpha)(1+b)^2-2\eta-32\alpha \kb}{1-\alpha }}$ and $\cvb<\frac{k\eta ^2-\kb \phi^2+32\alpha k \kb(\eta-\phi)}{256k\kb (1-\alpha)^2}$, $\pbcv>\piv$; otherwise, $\pbcv \leq \piv$; 
		if $0<c<b$, $CS^{B-c}> CS^I$; otherwise, $CS^{B-c} \leq CS^I$;
		if $0<c<1+b-\sqrt{\frac{3(1-\alpha)(1+b)^2-6\eta-32\alpha \kb}{3(1-\alpha)}}$ and $\csb+\cvb < \frac{3k\eta ^2-3\kb \phi^2+32\alpha k \kb(\eta-\phi)}{256k\kb (1-\alpha)^2}+\frac{b^2+2b}{8}$, $SW^{B-c}>SW^I$; otherwise, $SW^{B-c} \leq SW^I$.
		
	(ii) when $\cv \geq H(\alpha)$, 
	(a) $e^{B-c}>e^I$, $l^{B-c}>l^I$, $r^{B-c}<r^I$; if $0<c<b$, $p^{B-c}>p^I$; otherwise,  $p^{B-c} \leq p^I$;
	(b) if	$\csb<\frac{k(\mu-\alpha \kb)[\eta-8(\mu-\alpha \kb)]-\kb (\omega-\alpha k)[\phi-8(\omega-\alpha k)]}{4k\kb(1-\alpha)^2}$, $\pbcs> \pis$; otherwise, $\pi_S^{B-c} \leq \pis$;
	$\pi_V^{B-c} = \piv=0$;  
    if $0<c<b$, $CS^{B-c}> CS^I$; otherwise, $CS^{B-c} \leq CS^I$;
	if $\csb<\frac{k(\mu-\alpha \kb)[\eta-8(\mu-\alpha \kb)]-\kb (\omega-\alpha k)[\phi-8(\omega-\alpha k)]}{4k\kb(1-\alpha)^2}$ and $0<c<b$, $\pi_{SW}^{B-c} > \pi_{SW}^I$; otherwise, $\pi_{SW}^{B-c} \leq \pi_{SW}^I$.
\end{prop}

\refprop{prop:modelbc_vs_i} shows that when the BCT variation cost is within a certain interval, comparing Model B-c and Model I, the launch success probability increases, the launch price increases, the retail price increases, and the insurance rate decreases. 
This result is the same as the outcomes in \refprop{prop:value_decision_b} (comparing Model B with Model I).


Moreover, by comparing the members' profits in Model B-c and Model I, we also find that when the marginal cost $c$ under a threshold and the cost of BCT is low, all the members will benefit from adopting BCT.

Therefore, by comparing Model B-c and Model I in \refprop{prop:modelbc_vs_i}, our findings on the value of BCT are proved to be robust.




\subsubsection{Model BG-c}

Similar to Model BG, we build Model BG-c considering the marginal cost of BCT, which can be written as follows:

\begin{eqnarray}\label{eq:bgcd}
	%	\left\{
	\begin{aligned}
		D^{BG-c} &= 1 \int_{p^{BG-c}-b}^{1}{f\left( u \right) \mathrm{d} u}= 1-p^{BG-c}+b \\
	\end{aligned}
	%	\right.
\end{eqnarray}


Therefore, the members' payoffs can be measured as follows:
\begin{eqnarray}
	\begin{aligned}
		\pbgcs &= e(p-c)D^{BG-c} -[\alpha + e(1-\alpha) ]l - (r-g) (\cs + \alpha l) + (1-e)\beta (\cs + \alpha l)- \cs-\csb,\label{eq:bso:payoff}\\
		\pi_I^{BG-c}&= r (\cs + \alpha l)-(1-e)\beta (\cs + \alpha l),\\
		\pbgcv&=[\alpha + e (1 - \alpha) ]l - (1 - e) \theta - (\kb e^2 + \cv)-\cvb,\label{eq:bvm:payoff}\\
		s.t.~\pbgcv &\geq 0.
	\end{aligned}
\end{eqnarray}

Note, the only difference between Model BG-c and Model BG is that the BCT's marginal cost occurs to SO.
We solve the derivation and summarize the outcomes in \reftab{tab:modelbgc_decisions}.


\begin{table*}[htbp]
	\scriptsize
	%		\hspace*{-1cm} % apply this to move the table left, so that the right part of a wide table can be shown.
	\newcommand{\tabincell}[2]{\begin{tabular}{@{}#1@{}}#2\end{tabular}}
	\caption{\label{tab:modelbgc_decisions} The equilibrium outcomes in Model BG-c.}
	\centering
	\renewcommand{\arraystretch}{1.3}
	\begin{tabular}{@{\extracolsep{1pt}}l*{14}{c}@{}}		
		\toprule
		& \multicolumn{1}{c}{$\cv < H(\alpha)$ } & \multicolumn{1}{c}{$\cv \geq H(\alpha)$ }  \\
		\midrule
		Effort of VM exerting $e^*$& 
		$\frac{\lambda -C}{16 (1-\alpha )\kb}$ & 
		$\frac{\mu-\alpha \kb }{(1-\alpha)\kb}$  \\
		Launch price $l^*$&
		$l^*=l_{S}=\frac{\lambda-8\theta(1-\alpha)-C}{8(1-\alpha)^2}$&
		$ l^*=l_{VA}= \frac{2\mu-2\alpha \kb-(1-\alpha) \theta}{(1-\alpha)^2}$\\ 
		Retail price $p^*$&
		$\frac{1+b+c}{2}$&
		$\frac{1+b+c}{2}$\\
		Premium rate $r^*$&
		$\beta(1-\frac{\lambda-C}{16(1-\alpha)\kb})$&
		$\beta\frac{\kb-\mu}{(1-\alpha)\kb}$\\
		SO's profit $\pbcs$&
		$\frac{\lambda^2-C(C-2\lambda)}{128(1-\alpha)^2\kb}+\frac{(1-g)\alpha \theta}{1-\alpha} -(1-g)\cs-\csb$&
		$\frac{(\mu-\alpha \kb)(\lambda+8\alpha \kb-8\mu-C)}{4(1-\alpha )^2\kb}+\frac{(1-g)\alpha \theta}{1-\alpha}-(1-g)\cs-\csb$\\
		VM's profit $\pbcv$&
		$\frac{\lambda^2+32\alpha \kb\lambda-C(C-2\lambda-32\alpha \kb)}{256(1-\alpha)^2\kb}-\frac{ \theta}{1-\alpha}-\cv-\cvb$&
		$0$\\
		Consumer surplus $CS^{B-c}$&
		$\frac{(1+b-c)^2}{8}$&
		$\frac{(1+b-c)^2}{8}$&\\
		Social welfare $SW^{B-c}$&
		$\frac{3\lambda^2+32\alpha \kb\lambda-C(3C-6\lambda-32\alpha \kb)}{256(1-\alpha)^2\kb}- \frac{\theta[1-(1-g)\alpha]}{1-\alpha}-(1-g)\cs-\cv-\csb-\cvb+\frac{(1+b-c)^2}{8}$&
		$\frac{(\mu-\alpha \kb)(\phi+8\alpha \kb-8\mu-C)}{4(1-\alpha )^2\kb}+\frac{(1-g)\alpha \theta}{1-\alpha}-(1-g)\cs-\csb+\frac{(1+b-c)^2}{8}$\\
		\bottomrule			
	\end{tabular}
	\begin{tablenotes}
		\item To avoid complicated writing, we define 
		$\lambda=(1-\alpha)(1+b)^2+4(1-\alpha)\theta-8\alpha \kb$, 
		$\mu=\sqrt{(1-\alpha)^2\kb (\cv+\cvb)+\alpha ^2{\kb}^2-(1-\alpha)\kb \theta}$,
		$C=(1-\alpha)c(2+2b-c)$.
	\end{tablenotes}
\end{table*}

To explore the effect of blockchain marginal cost on the equilibrium outcomes under government subsidies, we compare model BG-c with Model BG and obtain \refprop{prop:modelbgc_vs_bg}.

\begin{prop} \label{prop:modelbgc_vs_bg}
	Under Model BG-c, the satellite launch supply chain adopts the BCT with government-subsidies insurance considering the marginal cost of BCT.
	
	Compared with Model BG,
	(i) when $\cv<H(\alpha)$, 
	(a) $e^{BG-c}<e^{BG}$, $l^{BG-c}<l^{BG}$, $r^{BG-c}>r^{BG}$, $p^{BG-c}>p^{BG}$; 
	(b) if $0< c< 1+b-\sqrt{\frac{(1-\alpha)(1+b)^2-2\lambda}{1-\alpha}}$, $\pbgcs>\pbgs$; otherwise, $\pbgcs \leq \pbgs $;
	if $0<c<1+b-\sqrt{\frac{(1-\alpha)(1+b)^2-2(\lambda+16\alpha \kb)}{1-\alpha}}$, $\pbgcv>\pbgv$; otherwise, $\pbgcv \leq \pbgv$;
	$CS^{BG-c}<CS^{BG}$;
	if $0<c<1+b-\sqrt{\frac{3(1-\alpha)(1+b)^2-6\lambda-32\kb}{3(1-\alpha)}}$, $\pi_{SW}^{BG-c}>\pi_{SW}^{BG}$; otherwise, $\pi_{SW}^{BG-c} \leq \pi_{SW}^{BG}$;
	(ii) when $\cv \geq H(\alpha)$, 
	(a) $e^{BG-c}=e^{BG}$, $l^{BG-c}=l^{BG}$, $r^{BG-c}=r^{BG}$, $p^{BG-c}>p^{BG}$; 
	(b) $\pi_S^{BG-c}< \pi_S^{BG}$; $\pi_V^{BG-c} = \pi_V^{BG}=0$; $CS^{BG-c}<CS^{BG}$; $\pi_{SW}^{BG-c} < \pi_{SW}^{BG}$.
\end{prop}

\refprop{prop:modelbgc_vs_bg} indicates the effect of marginal cost of BCT under government subsidies by comparing Model BG-c and Model BG, which is similar to. 

\refprop{prop:modelbgc_vs_bg} shows that the impact of BCT marginal cost under government subsidies derived by comparing model BG-c with model BG.
It can be seen that the results are very similar to  \refprop{prop:modelbc_vs_b}, the only difference being that the specific threshold of marginal cost becomes higher with government subsidies. 
That means the affordability of marginal costs is enhanced with the support of government subsidies.


Moreover, we compare Model BG-c with Model BG to explore whether the marginal cost changes the value of BCT under government subsidies, i.e., to verify the robustness of \refprop{prop:value_decision_bg} and \refprop{prop:value_profit_bg}.

\begin{prop} \label{prop:modelbgc_vs_g}
	Under Model BG-c, the satellite launch supply chain adopts the BCT with government-subsidies insurance considering the marginal cost of BCT.
	
	Compared with Model IG,
	(i) when $\cv<H(\alpha)$, 
	(a) if $0<c<1+b-\sqrt{\frac{(1+4\theta)\kb}{k}-4 \theta }$, $e^{BG-c}>e^{IG}$, $r^{BG-c}<r^{IG}$; otherwise, $e^{B-c}\leq e^I$, $r^{BG-c}\geq r^{IG}$; 
	if $0<c<1+b-\sqrt{1-\frac{8\alpha(1-g)(k-\kb)}{1-\alpha}}$, $l^{BG-c}>l^{IG}$; otherwise, $l^{BG-c}\leq l^{IG}$;
	if $0<c<b$, $p^{BG-c}>p^{IG}$, otherwise, $p^{BG-c} \leq p^{IG}$
    (b) if $0<c<1 + b - \sqrt{\frac{(1-\alpha)(1+b)^2-2\lambda}{
	1 - \alpha}} $ and $\csb<\frac{k\lambda ^2-\kb \psi^2}{128k\kb (1-\alpha)^2}$, $\pbgcs > \pgs$; otherwise, $\pbgcs \leq \pgs$;
	if $0<c<1+b-\sqrt{\frac{(1-\alpha)(1+b)^2-2\lambda-32\alpha \kb}{1-\alpha }}$ and $\cvb<\frac{k\lambda ^2-\kb \psi^2+32\alpha k \kb(\lambda-\psi)}{256k\kb (1-\alpha)^2}$, $\pbgcv>\pgv$; otherwise, $\pbgcv \leq \pgv$; 
	if $0<c<b$, $CS^{BG-c}> CS^{IG}$; otherwise, $CS^{BG-c} \leq CS^{IG}$;
	if $0<c<1+b-\sqrt{\frac{3(1-\alpha)(1+b)^2 -6\lambda-32\alpha \kb}{3(1-\alpha)}}$ and $\csb+\cvb < \frac{3k\lambda ^2-3\kb \psi^2+32\alpha k \kb(\lambda-\psi)}{256k\kb (1-\alpha)^2}+\frac{b^2+2b}{8}  $, 
	$SW^{BG-c}>SW^{IG}$; otherwise, $SW^{BG-c} \leq SW^{IG}$.

	(ii) when $\cv \geq H(\alpha)$, 
	(a) $e^{BG-c}>e^{IG}$, $l^{BG-c}>l^{IG}$, $r^{BG-c}<r^{IG}$; if $0<c<b$, $p^{BG-c}>p^{IG}$; otherwise,  $p^{BG-c} \leq p^{IG}$;
	(b) if	$\csb<\frac{k(\mu-\alpha \kb)[\lambda-8(\mu-\alpha \kb)]-\kb (\omega-\alpha k)[\psi-8(\omega-\alpha k)]}{4k\kb(1-\alpha)^2}$, $\pbgcs> \pgs$; otherwise, $\pbgcs \leq \pgs$;
	$\pi_V^{BG-c} = \pgv=0$;  
	if $0<c<b$, $CS^{BG-c}> CS^{IG}$; otherwise, $CS^{BG-c} \leq CS^{IG}$;
	if $\csb<\frac{k(\mu-\alpha \kb)[\eta-8(\mu-\alpha \kb)]-\kb (\omega-\alpha k)[\phi-8(\omega-\alpha k)]}{4k\kb(1-\alpha)^2}$ and $0<c<b$, $\pi_{SW}^{BG-c} > \pi_{SW}^{IG}$; otherwise, $\pi_{SW}^{BG-c} \leq \pi_{SW}^{IG}$.
\end{prop}

The results in \refprop{prop:modelbgc_vs_g} are similar to \refprop{prop:modelbc_vs_i} that comparing Model BG-c and Model G,the launch success probability increases, the launch price increases, the retail price increases, and the insurance rate decreases with the BCT variation cost in a certain interval.
This result is the same as the outcomes in \refprop{prop:value_decision_bg} (comparing Model BG with Model IG).


Besides, by comparing members' profits in Model BG-c and Model IG, we also find that when the marginal cost $c$ under a threshold and the cost of BCT is low, all the members will benefit from adopting BCT under government subsidies.

Therefore, by comparing Model BG-c and Model IG, our findings in \refprop{prop:value_decision_bg} and \refprop{prop:value_profit_bg} about the value of BCT with the government subsidy are proved to be robust.


\subsection{Alliance}
Inspired by alliances in the real-world alliances, such as U.S. Space Enterprise Consortium and China Commercial Space Alliance, we extend the models to explore if an alliance strategy is a better to improve the effective of  satellite launch supply chain in this section.
On the basis of the main cases, we build three models: 
(i) the VM and SO form an alliance with launch insurance (Model IA); 
(ii) the VM and SO form an alliance with launch insurance under government subsidies(Model GA);
(iii) the VM and SO form an alliance with blockchain-embedded launch insurance (Model BA);
(iv) the VM and SO form an alliance with blockchain-embedded launch insurance under government subsidies (Model BGA).

In the above models, the VM and the SO attempt to maximize their respective benefits, VM by deciding the effort to be paid, and SO by determining the launch service price and retail price.
However, in the alliance strategy, VM and SO will act as a whole alliance to decide the efforts exert and the retail price.
Thus the market demand and payoff functions of Model IA can be written as follows:
\begin{eqnarray}
	%	\left\{
	\begin{aligned}
		D^{IA} &= 1 \int_{p^{IA}}^{1}{f\left( u \right) \mathrm{d} u}= 1-p^{IA} \\
	\end{aligned}
	%	\right.
\end{eqnarray}

\begin{eqnarray}
	\begin{aligned}
		\pia&= epD^{IA} -(1 - e) \theta  - r \cs  + (1-e)\beta \cs-\cs-\cv,\\
		\pi_I^{IA}&= r \cs -(1-e)\beta \cs.\\
	\end{aligned}
\end{eqnarray}

The functions of Model GA, Model BA, and model BGA are similar to Model IA which we omit here. 
By inverse solving, we obtain the equilibrium outcomes which are summarized in \reftab{tab:modelia_modelga_decisions} and \reftab{tab:modelba_modelbga_decisions}




\begin{table*}[htbp]
	\scriptsize
	%		\hspace*{-1cm} % apply this to move the table left, so that the right part of a wide table can be shown.
	\newcommand{\tabincell}[2]{\begin{tabular}{@{}#1@{}}#2\end{tabular}}
	\caption{\label{tab:modelia_modelga_decisions} The equilibrium outcomes in Model IA and Model GA.}
	\centering
	\renewcommand{\arraystretch}{1.3}
	\begin{tabular}{@{\extracolsep{1pt}}l*{14}{c}@{}}		
		\toprule
		& \multicolumn{1}{c}{Model IA } & \multicolumn{1}{c}{Model GA  }   \\
%		\multicolumn{1}{c}{Model BA  } &\multicolumn{1}{c}{Model BGA  } \\
		\midrule
		Effort of SC exerting $e^*$& 
		$\frac{1+4\theta-4\beta \cs}{8k}$ &
		$\frac{1+4\theta-4\beta \cs}{8k}$  \\
%	   $\frac{(1+b)^2+4\theta-4\beta \cs}{8\kb}$&
%	   $\frac{(1+b)^2+4\theta-4\beta \cs}{8\kb}$ \\
		Retail price $p^*$&
		$\frac{1}{2}$&
		$\frac{1}{2}$\\
%		$\frac{1}{2}$\\
		Premium rate $r^*$&
		$\beta(1-\frac{1+4\theta-4\beta \cs}{8k})$&
		$\beta(1-\frac{1+4\theta-4\beta \cs}{8k})$\\
%		$\beta(1-\frac{(1+b)^2+4\theta-4\beta \cs}{8\kb})$	\\
		SC's profit $\pi_{SC}$&
		$\frac{(1+4\theta)^2-(4\beta \cs)^2}{64k}-\theta-\cs-\cv$&
		$\frac{(1+4\theta)^2-(4\beta \cs)^2}{64k}-\theta-(1-g)\cs-\cv$\\
%	    $\frac{[(1+b)^2+4\theta]^2-(4\beta \cs)^2}{64k}-\theta-\cs-\cv-\csb-\cvb$\\
		Consumer surplus $CS$&
		$\frac{1}{8}$&
		$\frac{1}{8}$\\
%		$\frac{1}{8}$\\
		Social welfare $SW$&
		$\frac{(1+4\theta)^2-(4\beta \cs)^2}{64k}-\theta-\cs-\cv+\frac{1}{8}$&
		$\frac{(1+4\theta)^2-(4\beta \cs)^2}{64k}-\theta-(1-g)\cs-\cv+\frac{1}{8}$\\
%		$\frac{[(1+b)^2+4\theta]^2-(4\beta \cs)^2}{64k}-\theta-\cs-\cv-\csb-\cvb+\frac{1}{8}$\\
		\bottomrule			
	\end{tabular}
\end{table*}

\begin{table*}[htbp]
	\scriptsize
	%		\hspace*{-1cm} % apply this to move the table left, so that the right part of a wide table can be shown.
	\newcommand{\tabincell}[2]{\begin{tabular}{@{}#1@{}}#2\end{tabular}}
	\caption{\label{tab:modelba_modelbga_decisions} The equilibrium outcomes in Model BA and Model BGA.}
	\centering
	\renewcommand{\arraystretch}{1.3}
	\begin{tabular}{@{\extracolsep{1pt}}l*{14}{c}@{}}		
		\toprule
		& \multicolumn{1}{c}{Model BA  } &\multicolumn{1}{c}{Model BGA  } \\
		\midrule
		Effort of SC exerting $e^*$& 
		$\frac{(1+b)^2+4\theta-4\beta \cs}{8\kb}$&
		$\frac{(1+b)^2+4\theta-4\beta \cs}{8\kb}$ \\
		Retail price $p^*$&
		$\frac{1+b}{2}$&
		$\frac{1+b}{2}$\\
		Premium rate $r^*$&
		$\beta(1-\frac{(1+b)^2+4\theta-4\beta \cs}{8\kb})$&
		$\beta(1-\frac{(1+b)^2+4\theta-4\beta \cs}{8\kb})$	\\
		SC's profit $\pi_{SC}$&
		$\frac{[(1+b)^2+4\theta]^2-(4\beta \cs)^2}{64\kb}-\theta-\cs-\cv-\csb-\cvb$&
		$\frac{[(1+b)^2+4\theta]^2-(4\beta \cs)^2}{64\kb}-\theta-(1-g)\cs-\cv-\csb-\cvb$\\
		Consumer surplus $CS$&
		$\frac{(1+b)^2}{8}$&
		$\frac{(1+b)^2}{8}$\\
		Social welfare $SW$&
		$\frac{[(1+b)^2+4\theta]^2-(4\beta \cs)^2}{64\kb}-\theta-\cs-\cv-\csb-\cvb+\frac{(1+b)^2}{8}$&
		$\frac{[(1+b)^2+4\theta]^2-(4\beta \cs)^2}{64\kb}-\theta-(1-g)\cs-\cv-\csb-\cvb+\frac{(1+b)^2}{8}$
		\\
		\bottomrule			
	\end{tabular}
\end{table*}
The outcomes above imply a difference that the optimal decisions are effected by the insurance market instead of the prepay rule.
That means, as the VM and SO form an alliance, the motivation of VM to improve the successful launch probability changes from the prepay ratio ($\alpha$) to the insurance claim ($\beta \cs$).
Thus, the less insurance covers, the more effort VM exerts. 
By comparing Model IA and Model I, model GA and Model IG, Model BA and Model B, Model BGA and Model BG, we get \refprop{prop:modela_vs_model}.

\begin{prop}\label{prop:modela_vs_model}
When the VM and the SO form an alliance, 

(i) comparing Model IA and Model I, 
if $\beta\cs<\frac{(1-\alpha)(1+4\theta)+8\alpha k }{ 8(1-\alpha)}$, then $e^{IA}>e^I$ and $\swia>SW^{I}$;

(ii) comparing Model GA and Model G,
if $\beta\cs<\frac{(1-\alpha)(1+4\theta)+8\alpha k(1-g)}{ 8(1-\alpha)}$, then $e^{GA}>e^{IG}$;
if $ (\beta\cs)^2<\frac{[(1-\alpha)(1+4\theta)+8\alpha k(1-g)]^2+32\alpha kg[(4\theta-1)(1-\alpha)+8\alpha k(1-g)]}{[8(1-\alpha)]^2} $, then  $\swga>SW^{IG}$;

(iii) comparing Model BA and Model B,
if $ \beta\cs<\frac{(1-\alpha)[(1+b)^2+4\theta]+8\alpha \kb }{8(1-\alpha)}$, $e^{BA}>e^B$ and $\swba > SW^{B}$;

(iv) comparing Model BGA and Model BG,
if $\beta\cs<\frac{(1-\alpha))[(1+b)^2+4\theta]+8\alpha \kb(1-g)}{8(1-\alpha)} $, $e^{BGA}>e^{BG}$;
if $ (\beta\cs)^2<\frac{\{(1-\alpha)[(1+b)^2+4\theta]+8\alpha \kb(1-g)\}^2+32\alpha \kb g\{[4\theta-(1+b)^2](1-\alpha)+8\alpha \kb(1-g)\} }{[8(1-\alpha)]^2}$,  $\swbga>SW^{BG}$.
\end{prop}

\refprop{prop:modela_vs_model} gives the specific insurance claim thresholds for the adoption of the alliance strategy under four scenarios.
Note that the retail price paid by the consumer and the consumer surplus remain the same, so the increased social welfare mainly comes from the increase in supply chain profits.

Therefore, when the insurance market is soft, it would be a wise idea to pursue an alliance strategy in the satellite launch supply chain. 
It will contribute to an increase in the probability of successful launches as well as to the improvement of social welfare.



\section{Conclusions}\label{sec:conclusions}
\subsection{Remarkble findings}
Nowadays, with the prosperity of commercial launches, more and more research is being conducted in the operation management of space. 
Motivated by the real-world government-subsidized launch insurance project, we explored the operations of the satellite launch supply chain with government-subsidized insurance. 
Firstly, we established the traditional insurance model (Model I) and the government-subsidized insurance model (Model IG). 
By deriving analytical results, we demonstrate the optimal decisions for each participant.
We have further uncovered the effect of the subsidies on different variables.
Finally, we built value models to investigate the benefit of subsidies, especially revealing the conditions under which one model outperforms the other.

However, we find that if only the government provides subsidies, the customers cannot benefit. 
So we investigate the blockchain applications in the space launch supply chain by building a blockchain-embedded insurance model (Model B), which has also been implemented in the real world. 
Besides, considering the high blockchain costs, we explored the scenario of adopting blockchain under government subsidies (Model BG).
At last, in order to measure the value of blockchain under different scenarios, we compare Model B with Model I and Model BG with Model IG. And we analyzed the change of blockchain impact under the government subsidy scenario.


As a concluding remark, we highlight the answers as follows:
 \begin{enumerate} [(1)]
\item Government subsidized launch insurance can achieve win-win in satellite launch supply chain and improve the social welfare. However, it is not always preferred to implement the government subsidy in all cases. 
When the government provides subsidies, it is necessary to screen satellite vendors, and only by subsidizing satellite launch activities with inexpensive vehicles can it effectively promote the development of the launch market. 
Otherwise, subsidies can only increase the profit of satellite operators but can not promote the launch success rate, which is not conducive to the optimal allocation of government funds.

\item The government subsidies have helped to establish positive feedback for the satellite launch market; 
that is, the satellite vendor is more willing to pay high launch price, so that the vehicle manufacturer is motivated to increase the probability of successful launches.

\item Once the government subsidy project is launched, the satellite operator will always get more from it than before. 
But for the vehicle manufacturer, only when the cost of vehicle is relatively low, his income will increase compared to before; otherwise, he cannot benefit from the subsidy program.
For consumers, there is no change in consumer surplus.
Therefore, the overall social welfare as the sum of the profit of the various subjects will increase.

\item In the blockchain-embedded model, the values that blockchain bring to the optimal decisions are similar to the government subsidy brings.
However, there is one difference to claim that the retail price has been increased and the market demand also increases.

\item Moreover, for the satellite, she will always benefit from the adoption of blockchain if its cost is relatively low.

\item However, the profitable condition for the vehicle to decide whether use the blockchain is not only the cost of blockchain is expensive but also the cost of vehicle manufacturing is low.

\item Significantly, the use of the blockchain launch platform will make the consumer surplus increase no matter in which situation.

\item Interestingly, the adoption of blockchain can increase the benefits of government subsidies. 
Besides, when the supply chain obtains the government subsidies, both the satellite operator and the vehicle manufacture can enhance the affordability of blockchain costs.
 \end{enumerate} 

\subsection{Managerial implications}
Analyzing the derived findings, we further propose the following managerial implications, which help form action plans for satellite operators, vehicle manufacturers, and the government.\par 
Satellite operator: It is the most effective to improve profit by applying for government insurance subsidies.
Moreover, the adoption of the blockchain-embedded launch platform will also enhance the profit when the cost of blockchain is low.\par 

Vehicle manufacturer: Only when vehicle costs are low can manufacturers indirectly enjoy the benefits of government subsidies.
Otherwise, the manufacturer will be nonprofitable.
However, it is worth noting that adopting blockchain technology to provide launch services is always beneficial for vehicle manufacturers, as it can increase the probability of a successful launch.
Besides, when the blockchain and vehicle manufacturing costs are low, adopting blockchain technology is the best strategy for the manufacturer, which will improve his profitability.\par 

Government:  Intuitively, government provision of insurance subsidies can improve social welfare. 
However, the excellent way to optimally allocate the limited subsidy funds is to disburse the subsidies to satellite operators who choose cost-effective vehicles. 
This is because it is in this condition that the probability of a successful launch is increased, and a virtuous closed-loop commercial satellite launch market is promoted. 
Finally, this results in a win-win situation in the supply chain. 
However, it is worth noting that when the government provides subsidies to blockchain technology embedded launch activities, it will maximize the funds' effectiveness, achieving all-win among the satellite operator, the vehicle manufacturer, and customers.


\subsection{ Future research}
For the future studies, we suggest several probable future directions.
First, the risk attitude of different participants can be taken into account which will effect the optimal decisions.
Second, the JIT operation management with the supported of blockchain in launch supply chain can be promising directions for future research.
Last but not least, multi-tier supply chain or supply chain network will be interesting to investigate, which involve more members such as the rideshare broker in piggyback launch and rideshare or cluster launch \citep{Barschke2020}. 









%	A table containing numbers is more complex. \reftab{tab:result} shows how to add a wide table with different alignments. It is suggested that use an Excel plugin ``Excel2LaTeX.xla'' to create a data table.
%	\begin{table*}[htbp]
%		\scriptsize
%%		\hspace*{-1cm} % apply this to move the table left, so that the right part of a wide table can be shown.
%		\newcommand{\tabincell}[2]{\begin{tabular}{@{}#1@{}}#2\end{tabular}}
%		\caption{\label{tab:result} Experimental results for the data sets \textit{Random} and \textit{Circles}.}
%		\centering
%		\renewcommand{\arraystretch}{1.3}
%		\begin{tabular}{@{\extracolsep{2pt}}l*{14}{r}@{}}		
%			\toprule
%			\multirow{2}*{Index}
%			& \multicolumn{7}{c}{Random}
%			& \multicolumn{7}{c}{Circles}\\
%			\cline{2-8}\cline{9-15}
%			& \multicolumn{1}{c}{20} & \multicolumn{1}{c}{60} & \multicolumn{1}{c}{100} & \multicolumn{1}{c}{200} & \multicolumn{1}{c}{300} & \multicolumn{1}{c}{400} & \multicolumn{1}{c}{500} & \multicolumn{1}{c}{20} & \multicolumn{1}{c}{60} & \multicolumn{1}{c}{100} & \multicolumn{1}{c}{200} & \multicolumn{1}{c}{300} & \multicolumn{1}{c}{400} & \multicolumn{1}{c}{500}\\
%			\midrule
%			$z_1$ & 0.85 & 0.6 & 0.53 & 0.44 & 0.41 & 0.42 & 0.41 & 0.6 & 0.45 & 0.43 & 0.41 & 0.39 & 0.4 & 0.38\\
%			$z_2$ & 0.85 & 0.46 & 0.51 & 0.4 & 0.39 & 0.4 & 0.37 & 0.45 & 0.42 & 0.38 & 0.38 & 0.37 & 0.37 & 0.37\\
%			\bottomrule			
%		\end{tabular}
%	\end{table*}
%	
%	\section{Math}
%	In-text equations like $a_{ij,t} \sim N(75, 25^2)$. For multiple equations, use \textit{eqnarray} and \& to align.
%	\begin{equation}\label{equ:utility} 	
%		U_{ij,t} = \left(\frac{W^{min}_{i,t}}{W_{ij,t}} \right)^{1-\beta}\cdot \left( \frac{Q_{j,t}}{Q^{max}_{t}} \right) ^{\beta},
%	\end{equation}
%	where
%	\begin{eqnarray}
%		\label{equ:maxtau} W^{\min}_{i,t}&=&\min \{W_{ij,t}\}^N_{j=1}, \\
%		\label{equ:minfq} Q^{\max}_{t}&=&\max \{Q_{j,t}\}^N_{j=1}.
%	\end{eqnarray}\par
%	\begin{eqnarray}\label{eq:B5}	
%		\left\{
%		\begin{aligned}
%		&\frac{\partial \pi_1}{\partial p_1}
%		= \dfrac{Qe^{b-ap_1}}{\displaystyle \sum_{f\in \mathcal{F}} e^{b-a p_f}} 
%		+ \dfrac{a(c_1-p_1)Qe^{b-ap_1}}{\displaystyle \sum_{f\in \mathcal{F}} e^{b-a p_f}} 
%		- \dfrac{a(c_1-p_1)Qe^{2(b-ap_1)}}{\big(\displaystyle \sum_{f\in \mathcal{F}} e^{b-a p_f}\big)^2} = 0,\\
%		&\dots,\\
%		&\frac{\partial \pi_n}{\partial p_n}
%		= \dfrac{Qe^{b-ap_n}}{\displaystyle \sum_{f\in \mathcal{F}} e^{b-a p_f}} 
%		+ \dfrac{a(c_n-p_n)Qe^{b-ap_n}}{\displaystyle \sum_{f\in \mathcal{F}} e^{b-a p_f}} 
%		- \dfrac{a(c_n-p_n)Qe^{2(b-ap_n)}}{\big(\displaystyle \sum_{f\in \mathcal{F}} e^{b-a p_f}\big)^2} = 0.
%		\end{aligned}
%		\right.
%	\end{eqnarray}
%	\begin{equation}\label{equ:if} 	
%	  f(x)= 
%	  \begin{cases}
%			\frac{x^2-x}{x},& \text{if } x\geq 1\\
%			0,             & \text{otherwise}
%		\end{cases}
%	\end{equation}
%	
%	\section{Citation}
%	Use \textbackslash{citet} when the authors are the subject of a sentence; otherwise use \textbackslash{citep}. For example, \citet{1929-Hotelling-p41-57} has spurred voluminous subsequent research on this topic... The term O2O originally means that the customer enjoys the product or service offline through buying online \citep{2010-Rampell-p-}. By means of agent-based modelling (ABM), the CAS theory can be applied to study various complex systems such as ecosystems, supply networks, financial markets, economies, and social systems \citep[see, e.g., ][]{2009-Farmer-p685-686, 2016-Chandrasekaran-p390-416}.\par
%	
%		
%	\section{Conclusion}\label{sec:conclusion}
%	The conclusion goes here.\par
%	
%	
%	\section*{Acknowledgement}
%	Dong was supported in part by the National Natural Science Foundation of China (No. 71573244, 71532013, 71202115 and 71403260). The authors acknowledge Mr. XXX for providing useful data and suggestions. The authors greatly appreciate the editor and anonymous referees for their comments, which helped to improve this paper.
%	
%	\appendix
%	\section{Pseudo Codes}\label{sec:apd:code}
%	\subsection{The procedure}
%	Algorithm \refalg{alg:CIPS} shows a piece of pseudo code.\par
%	\begin{figure}%[!t]
%		%		\removelatexerror
%		\begin{algorithm}[H]
%			\caption{The CIPS generation procedure}\label{alg:CIPS}
%			\KwData{A set $Y$ containing $n$ demand points with ($x$, $y$) coordinates and coverage radius $R$.}
%			\KwResult{A set $C$ consisting of intersection points and demand points with their coordinates.}
%			%			initialize population $P = \left \{ X_{1}, ... , X_{N} \right \} $\;
%			Create a temporary set copied from $Y$\;
%			\For( \emph{loop $Y$}){$i$ in range($n$)}
%			{
%				\For( \emph{loop $Y$}){$j$ in range($n$)}
%				{
%					$d_{i,j} =$ distance between $Y_i$ and $Y_j$\;
%					\If{$0 < d_{i,j}\leq2R$ }
%					{
%						Calculate the coordinates of intersection points\;
%						Add generated IPs to the temporary set\;
%					}					
%				}
%			}
%			Return the temporary set as $C$\;
%		\end{algorithm}
%	\end{figure}
%
%	\newpage
%%	\section*{References}
	\bibliographystyle{model5-names-with-volume-number}
%	\bibliographystyle{IEEEtran}
%\bibliographystyle{ACM-Reference-Format}
	\bibliography{SAVM}

\end{document}