The super star dropped in! A Thumbs up from Vitalik Buterin!

On 11th, Sep, Vitailk Buterin, the founder of Ethereum, addressed the attendees at “2018 Shanghai International Blockchain Week” in Shanghai W Hotel Worldwide. He not only demonstrated some advanced technologies of Ethereum, but also stressed the importance of blockchain security.

▲ Vitailk Buterin was addressing

After speech, Vitalik visited Chengdu LianAn’s booth to view the demonstration of smart contract formal verification platform VaaS and exchanged his opinions with our technical staffs on blockchain, VaaS platform, and so on.

▲ Vitailk Buterin was exchanging with Pro. Yang and her team

Yang Xia, CEO of Chengdu LianAn Tech, introduced the framework, function and advantages of VaaS, and explained how the security verification of smart contract is implemented by using VaaS platform. According to Yang, Vaas platform is enabled to provide formal verification of smart contract by adopting multiple formal verification methods and mathematical model, which is characterized with high-efficiency verification, high degree of automation, little human involvement, easy operation, contract programming languages, supports the underlying platform of high-capacity blockchain and so on.

By “one-button” formal verification function, VaaS can precisely identify the location and causes of risky codes, effectively verify the regular security vulnerabilities, security attributes, the function correctness of smart contracts and blockchain application.

At that time, using directly “one-button” formal verification tool for VaaS-ETH, Vitalik was impressed by its function of identifying the problems in Ethereum contract precisely and efficiently. Then he expressed his appreciation for the contribution Chengdu LianAn Tech has made into the Ethereum ecological security.

▲The thumbs-up from Vitailk Buterin

Of course, there are other investors, project parties, medias and followers from blockchain sector visiting Chengdu LianAn Tech booth to know the latest tech-developments, viewing the demonstration of VaaS platform, and trying on this platform at no charge.

▲ The booth of Chengdu LianAn Tech

This year’s International Blockchain Week: Tech Open Day is well under way, from which Chengdu LianAn has learned a lot through an in-depth discussion with other mainstreaming technical platforms on the core technology of blockchain sector in 2018 and the following years. What’s more, it’s our honor to have face-to-face talk with Vitalik Buterin. We are fully aware of our responsibility of securing blockchain security. “Winter is coming”, under such circumstance, Chengdu LianAn is committed to developing blockchain security technology, and hard working to press ahead.

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 well-known corporations such as Huobi, OKEX, KuCoin, LBank, CoinMex, Becent, ONT, Scry, CareerOn, IoTeX, DALICHAIN, Bplus, Bytom, Bubi Blockchain, and YUNPHANT. In addition, it has made cooperative agreement with France Inria, the top formal verification team in the world. 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.

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