Huobi Global, OKEX , Bytom and Themis Have Reached Deep Strategic Cooperation with Chengdu LianAn Technology
On May 11, Bytom Foundation and Chengdu LianAn Technology signed the strategic cooperation agreement. The two parties will reach a preliminary cooperation intention in the field of blockchain security technology. In the future, Chengdu LianAn Technology will provide formal security verification, smart contract development, auditing, security verification and other services of the underlying platform for Bytom, in order to ensure the security and functional correctness of the Bytom’s Platform and smart contract.
The serious security loophole in EDU alarmed the blockchain industry practitioners . OKEX reached a strategic cooperation intention with Chengdu LianAn Technology. on May 25. Chengdu LianAn Technology . will use vaas (verification as a services) verification platform and other technical measures to improve the security and functions of blockchain platforms and smart contracts.
On June 5, Huobi Global and the well-known network security company, Chengdu LianAn Technology signed a strategic cooperation agreement, jointly raising the security level of huobi platform digital assets. LianAn Technology formally joined in the “Huobi Partner” of Huobi security.
After joining in the “Huobi Partner” of Huobi security, Chengdu LianAn Technology will participate in the code review of smart contracts that have been launched on Huobi Pro. For projects that apply for listing on launch Huobi platform, LianAn Technology will also participate in and complete the audit report to safeguard the assets of investors.
In addition, Themis (GET) team also announced a strategic partnership with Chengdu LianAn Technology . for blockchain security verification, smart contract development, auditing, and security verification.
Chengdu LianAn Technology is a well-known blockchain security technology service provider. It is committed to the use of formal verification theory and methods to increase the security and functionality of blockchain platforms and smart contracts.
Themis is committed to creating a multi-center hosting infrastructure for digital assets. The scope of application includes digital assets OTC(Over-The-Counter), digital assets e-commerce and digital assets fund custody ,etc.
Next, LianAn Technology will work with the aforementioned partners to create a global formal verification security community. In the future, VaaS verification platform of Chengdu LianAn Technology . will provide more partners with professional security and functional correctness formal verification services of the blockchain platforms and smart contract.
