QuarkChain built in-depth strategic cooperation with Chengdu LianAn Technology.

BEOSIN
2 min readAug 27, 2018

--

On August 27th, QuarkChain built deep-level strategic collaboration with Chengdu LianAn Technology. As the security cooperative partner of QuarkChain, Chengdu LianAn Technology will provide all-around security verification and solutions for QuarkChain and smart contract of its public chain. It is reported that, as a smart contract audit company designated by over 10 exchanges such as Huobi, OKex, KuCoin and LBank, Chengdu LianAn Technology has already audited more than 500 smart contracts by virtue of VaaS which is a “one-button” formal verification tool and Chengdu LianAn Technology has also been selected for Etherscan smart contract security audit recommendation List.

About QuarkChain

QuarkChain is an innovative permissionless bolckchain architecture that aims to meet the global-wise commercial standard. It provides a secure, decentralized, and scalable bolckchain solution to deliver 100,000+ on-chain TPS.

About Chengdu LianAn Technology

Chengdu LianAn Technology Co. Ltd. is headquartered in Chengdu and focuses on blockchain security field. Founded by Prof. Xia Yang and Prof. Wensheng Guo of UESTC, LianAn Tech’s core team members consist of more than 30 associate professors, postdoctoral students, doctors and masters with experience of studying at overseas leading universities and laboratories (CSDS, Yale, and UCLA) as well as industry elite from Alibaba Huawei, and other famous enterprises. Using formal verification as its core technology, this team has been providing years of services for security critical systems in aerospace, military and other fields. Chengdu LianAn Technology Co. Ltd. is the one and only company in China that applies this technology to blockchain security field.

As the only blockchain security company obtained strategic equity investment from Fenbushi Capital, Chengdu LianAn Technology has signed strategic partnership agreements with well-known corporations such as Huobi, OKEX, LBank, CoinBene, Kucoin, CoinMex, Becent, JBE?(, ONT, Scry, CareerOn, loTeX, DALICHAIN, Bytom, Bubi Blockchain, YUNPHANT, and BiXiaoBai. In addition, it has built partnership with Inria France, the top formal verification team in the world. LianAn Technology is on the “2018 China Blockchain Industry White Paper” issued by the Ministry of Industry and Information Technology and has also been selected for the smart contract security audit recommendation list on Etherscan.

--

--

BEOSIN
BEOSIN

Written by BEOSIN

Blockchian Security · IDE · Beosin-VaaS · Formal Verification · SAS | China leading enterprise in blockchain security field

No responses yet