Tectonic Technology Innovation Company Limited (CS)) (Sponsor)
Nam Wah Intelligent Automation Ltd. (TL) (Sponsor)
Hunan Sunshine Holdings Limited (CS) (Sponsor)
Today smart contracts are suffering from increasing attack risks and potential logic errors because general programming languages are used. Besides, the current blockchain is not efficient due to the slow virtual machine, thus limiting the efficiency of the smart contract. Therefore, this project will build a set of domain specific languages (DSLs) to compose tailor-made smart contracts for various financial applications. Libraries will be developed with the knowledge extracted from the applications. And, an efficient compiler for the underlying blockchain network will be studied. With the proposed system, ASTRI can build a financial platform to sign and run smart contracts efficiently and accurately for small and medium-sized enterprises (SMEs) in Hong Kong. Besides, the abstract process makes the contract signing extensible for other applications. This leads to other potential collaboration chances in more markets such as mainland China.