01 Major Events
✦ Official Statement from Chengdu LianAn Tech
Chengdu LianAn Tech has announced officially that our company has nothing to do with other technology companies including Beijing lianAn Tech, Shenzheng lianAn Tech and Zhejiang lianAn Tech.
Only the following trademarks in English and Chinese are designated officially by Chengdu LianAn. If there are some similar or relevant information from forementioned technology companies, all the information and messages from official website and Wechat account should be taken as valid.
The name of our official Wechat account is “LianAn Technology”, and the official URL is www.lianantech.com
The business of LianAn Tech is including the development and security auditing of smart contract, the development and verification of Dapp, exchanges security, wallets security, the customized development of VaaS tools, and the integrated service of smart contract development and auditing.
✦Chengdu LianAn is entering South Korean Blockchain Market
This week, Chengdu LianAn Technology has audited the smart contracts security of VOLT and ROM. It is the first time for Chengdu LianAn Tech to provide formal verification for South Korean blockchain projects, which means Chengdu LianAn is officially entering the South Korean market.
Nowadays, Chengdu LianAn Tech has established deep strategic cooperation with BLOCKCHAINHUB, Tconomy and Coinsosik.com. The strategic cooperation between LianAn and the above three medias will be carried out in media marketing promotion, content production and media service, and we will share own big data with them such as project information.
02 Media Cooperation
On 30th, Aug, Chengdu LianAn Tech has reached strategic cooperation with ChainDD, BTC123 and Hooview. The strategic cooperation between LianAn and the above three medias will be implemented in media marketing promotion, content production and media service, and all of them will share own big data such as project information.
▲ChainDD is trying to build a professional and authoritative platform for providing global blockchain news and ranking data. It is committed to panoramically demonstrate blockchain information and data as the following aspects: breaking news, in-depth insight, flash, real-time blockchain development, project analysis.
▲BTC123.com, established in 2011, is a “one-stop” service platform for blockchain sector managed by Chengdu Lianyi Cyber Technology Limited Company.
Recently, the public voting for top 10 exchanges in the world are in full strings in BTC 123.com. You can read it more through clicking the below URL:
▲ Hooview is a comprehensive and specialized service platform covering exclusive interview, news, marketing analysis, live interaction and so on.
✦ China Crypto News: An Exclusive Interview with Yang Xia,CEO of Chengdu LianAn Tech
This week, Pro. Yang accepted the interview with China Crypto News that is the English media belongs to China Blockchain Partners. Giving elaboration on the distinguish between the manual verification of smart contract and formal verification, she introduced comprehensively the smart contract platform VaaS, a “one-button” verification tools. Compared with the manual verification, VaaS can identify the security problems and defects in contracts so as to increase greatly auditing efficiency.
▲China Crypto News: An Exclusive Interview with Pro.Yang.
03 Vulnerability Analysis
In the previous articles, we have discussed various vulnerabilities in token contract. Actually, Ether, the underlying token powering the Ethereum blockchain, is not involved in these token contracts in which other tokens are always used in trading process.
Nowadays, the increasingly game contract used directly Ether as the spendable money in the game, however, no one can ensure that this kind of game contract, based on the code logic of Ether Transfer, never to be attacked.
That the remaining assets of Ponzi Game has been frozen is a kind of DoS attack for excessing the block gas limits. In the eighth article of Chengdu lianAn Serial Vulnerability Analysis, we analyzed other vulnerabilities and traps concerning the Ether Transfer.
The safety problems of Ether transfer has been reported frequently in the emerging game contracts using directly Ether as spendable money, which not only entailed economic loss, but also damaged the investors’ and project parties’ confidence in blockchain sector. Under such circumstance, it is necessary for us to show a discreet attitude toward the development and auditing of smart contract, and rise up to the upcoming challenges associated with blockchain sector and make further progress.
04 Community Operation
✦Community Activity: Help Us Renew Our brand！1 ETH for Winner!
Please refer to the picture below for detailed information:
✦ Navigation of Chengdu LianAn Wechat Account has been Upgraded
I can hardly wait to demonstrate the new navigation of our Wechat Official Account!!! Then let me introduce the new account step by step:
Firstly, the navigation is classified into three menus: Company Development, Product Service, Contact Us
▲ Company Development (公司动态) covers four aspects including About Chengdu LianAn, Overseas Market BD, Vulnerability Disclosure &Analysis, Security Vulnerability Info Station.
In the About Chengdu LianAn Technology(关于成都链安科技), you can obtain relevant articles about Strategic Cooperation, Media Interview, Company Honor, LianAn Weekly Report as well as Popular Science Content.
In Overseas Market BD, you can get our company’s cooperation with other companies in Asia, Europe and other counties and regions.
In Vulnerability Disclosure & Analysis, you can read the vulnerability analysis exclusively found by Chengdu LianAn Technology, and the Serial Vulnerability Analysis.
In Scurity Vulnerability Info Station, you can review the global pressing events concerning vulnerability and security.
There are Service Project, Product Introduction, Auditing Report, and Product Demonstration in Product Service
In Contact US, we set up three aspects including Business Cooperation, Official Web, Technical Exchange.
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.
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
