Adolfo Gao, CMO of Chengdu LianAn Technology, was Invited and Delivered a Speech at NBC2018 Blockchain National Tour (Chengdu Station)
NBC (NewBlockchain CHINA) 2018 Blockchain National Tour (Chengdu Station) was held at Tianfu hall, Minyoun Chengdu Dongda Hotel, Jingjiang district, Chengdu on October 13. Adolfo Gao, CMO of Chengdu LianAn Technology, was invited as an important guest of this meeting. In the recent years, the all-around development of blockchain industry has been strongly supported by the Chengdu government, which has made Chengdu one of the cities with fatest-growing blockchain industry.
This was an industrial feast with far-reaching significance. Hundreds of guests, from industrial associations, famous projects, investment companies, exchanges, community operators and medias, gathered together to exchange their opinions on “Blockchain technology and future of the industry”.
By attending this meeting, the team of Chengdu LianAn Technology had shown that this team paid a lot of attention to Chengdu market. Meanwhile, consultations and discussions about Chengdu LianAn Tech’s VaaS platform indicated that under the current bear market, the professional investors tend to value products with technological advantages and potentials more and how important security technologies are to blockchain industry.
At the meeting, Adolfo Gao, CMO od Chengdu LianAn Tech, delivered a speech about “Solutions to blochchain security”. According to Mr. Gao’s speech, financial loss caused by smart contract security events has accumulated to 1.24 billion dollars, which costs the most financial loss, exceeding loss cost by exchange security events. Smart contract security has demonstrated its critical importance in Blockchain industry.
Smart contract is disclosed and non-revisable once deployed. So, current blockchain projects demand security more urgently. It’s crucial to have your smart contract audited before it runs officially.
Mr. Gao also pointed out that, Chengdu LianAn tech is specialized in smart contract audit & development. We utilize formal verification to verify the security and functionality of smart contract in a formal and highly-automated way to reduce manual participation and to improve efficiency.
By constructing security attribute models for the known security vulnerabilities, the “one-key” formal verification tool VaaS 2.0 will automatically prove if these vulnerabilities exist, accurately locating the risky codes and pointing out the reasons. This tool can effectively verify conventional security vulnerabilities, security attributes and functional correctness of smart contracts or blockchain applications.
In addition, Mr. Gao also adds that Chengdu LianAn Tech has three major advantages:
First, we are dedicated to the research of smart contract security.
Second, we have distinct advantages in the technology side. We utilize the strict formal verification method to provide more comprehensive security audits for smart contracts.
Third, we have developed VaaS, the world’s first automated smart contract security verification tool. We combine the automated tool VaaS with manual verification and achieve more accurate and efficient results than manual verification only.
In the end, Mr. Gao stressed at the meeting that besides continually improve the automaticity, Chengdu LianAn Tech also provide all-around security services for blockchain ecosystem, including smart contract security audit, secure smart contract development & audit, security test & penetration test for exchanges, customized VaaS platform development, secure Dapp development, public chain & wallet security and so on.
After the meeting, Chengdu project leaders, exchanges, and industry media conferred with Mr. Gao for more knowledge (information) of VaaS 2.0. Mr. Gao demonstrated the security verification process of VaaS 2.0 on smart contracts to manifest its efficiency and automation in detecting security risks of 10 categories and 27 subtypes while maintaining a 95% accuracy. Investors at the meeting highly recognized the platform’s efforts in standardizing the smart contract audit and expressed their wishes for further cooperation.
If you want to join us, please send your resume and objective position to our HR! Check the “Recruitment” section in our official WeChat account for more information.
Official statement from Chengdu LianAn Technology:
Recently, XX LianAn Tech was found to be named the same as Chengdu LianAn Tech with similar Logo and taglines. Chengdu LianAn Tech is a company specialized in blockchain security and is invested by Fenbushi Capital in the form of equity investment. Chengdu LianAn Tech has no connection with any other XX LianAn Tech. Please identify the specified brand of Chengdu LianAn tech and beware of being deceived. All information shall subject to the content on Chengdu LianAn Tech’s official website and official WeChat account.
Chengdu LianAn Technlogy’s WeChat account: 链安科技
Chengdu LianAn Technlogy’s official website: www.lianantech.com
— — Chengdu LianAn Technology
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.
Being the only blockchain security company that obtained strategic investment from Fenbushi capital, LianAn Technology has signed strategic cooperation agreements with more than 40 well-known corporations such as Huobi, OKEX, KuCoin, LBank, CoinMex, Becent, ONT, Scry, CareerOn, IoTeX, DALICHAIN, Bplus, Bytom, Bubi Blockchain, and YUNPHANT. LianAn Tech was listed on the “2018 China Blockchain Industry White Paper” issued by the Ministry of Industry and Information Technology, and it has also been selected for the smart contract security audit recommendation List of Etherscan and has participated in the writing of the content related to smart contract formal verification in the white paper issued by the Ministry of Industry and Information Technology. LianAn also won the “Best Security Audit Partnership” of OKEx.
「Chengdu LianaAn Technology」
Designated contract audit company of Huobi, OKEX, LBank, CoinBene, etc
Selected in Etherscan’s smart contract security audit list
Contact LianAn to know more about smart contract security audit
One-package service for secure smart contract development and audit
Security test and penetration test for exchanges
Customized development of VaaS platform and secure development of Dapp
Security service for blockchain ecosystem like public chain, wallet, etc.
·
Telephone number: 028–83262585
Website: www.lianantech.com
Email: vaas@lianantech.com
Website:
GitHub：
https://github.com/Lianantech/VCA
Facebook：
https://www.facebook.com/LianAnTechChengdu/
twitter：
https://twitter.com/LianAnTech_com
Telegram Chinese Group：
Telegram English Group：
Weibo：
https://weibo.com/u/6566884467
CSDN blog：
