Hi, everyone! This week is coming to an end. LianAn Tech weekly report comes at the appointed time. The details are shown as below:
Offline Symposium
On August 15th, Chengdu LianAn Technology successful held a symposium named “Blockchain Smart Contract Security and VaaS Formal Verification” on East 2nd Section of Second Ring Road, Chenghua district, Chengdu, Sichuan Province. Several companies including Kucoin, China Financial Certification Authority, Truechain and etc. took part in this Symposium.
In this symposium, Larry, director of smart contract audit group, and Jason, director of exchange security in Chengdu LianAn Technology shared the analysis of smart contract vulnerability and the analysis of common vulnerability in exchanges respectively, which arouses guests’ interests and they had a heated discussion.
Important Cooperation
On August 10th, CoinBene built in-depth strategic collaboration with Chengdu LianAn Technology. Chengdu LianAn Technology will provide deep-level security audit service for smart contract of project initiator launched on CoinBene. Meanwhile, to ensure assets security of users, the two parties will carry out further cooperation in the fields of technology including security verification of blockchain projects, development of smart contract and etc.
Media Cooperations
This week, Chengdu LianAn Technology built deep-level strategic collaboration with Korea community websites including BLOCKCHAINHUB, TokenBook, bishequ, blockchain press and Linksfin. All parties agree that, Chengdu LianAn Technology becomes a strategic collaboration partner in aspects of media marketing and promotion, content production and media services. Meanwhile, all parties will share big data such as project information.
This week, Chengdu LianAn Technology teamed up with five medias and LianAn will make further progress. We hope that we can cooperate with more medias in the future.
Vulnerability Analysis
LianAnTech Vulnerability Analysis Series Phase Ⅴ- Authentication Error analyzes the relevant vulnerability of tx.origin variable and ecrecover() function which are relevant to address, and gives corresponding fix-up suggestions.
No matter deceived by address verification or tempted by honeypot contracts, the money of investors who are addicted to coins is always aimed by those malicious people.
Chengdu LianAn Technology hereby reminds people that they should raise the consciousness for security and get to know more about smart contract. People should not follow suit blindly and after discriminating some principles that are easy to confuse, people can understand some traps and vulnerabilities clearly. Only by being on the alert, investing rationally, operating robustly can people strengthen their conscious of the need to think in big-picture terms.
In recent days, a new-type honeypot (deceptive) contract prevails. There is a security vulnerability in a digital currency exchange called Coinw. To warn people that they should pay attention to the transaction safety, Chengdu LianAn Technology delivered security news.
Community News
On August 12th, at the conference called “BK products and strategic cooperation partner conference ” held in Tianfu Software Park, Gaoxin district, chengdu, Sichuan Province, Vincent Guo, the co-founder and CTO of Chengdu LianAn Technology as well as the associate professor in UESTC delivered a speech named ‘How to Deal with the Security Problems of Smart Contract ’.
Professor Guo patiently presented that the “one-button” formal verification tool — — VaaS (Verification as a Service) is the first highly automated smart contract formal verification platform worldwide. It is a Highly efficient, super automated, less humanly intervened, easy to use, available for multiple programming languages and high-capacity blockchain underlying platform.
Since Chengdu LianAn Technology registered a WEIBO account, over 4,000 users have followed us. Welcome to follow our Wechat official account and WEIBO account. We will provide many useful information for you.
This week, Chengdu LianAn Technology has already been reported on the first community media website BLOCKCHAINHUB in Korea. Both sides officially built further strategic cooperation.
About 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 indutry 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.
Let’s connect
E-mail：vaas@lianantech.com
Official website：https://www.lianantech.com
Twitter: https://twitter.com/LianAnTech_com
Facebook: https://www.facebook.com/LianAnTechChengdu/
Telegram Chinese Group：https://t.me/joinchat/IRgNDA4iCF0Rs92sg5qoVg
Telegram English group： https://t.me/joinchat/IRgNDBBpCon-695ATmbA4w
