Beosin (Chengdu Lian'an) Situational Awareness System Alarm: At around 13:30 pm on August 4, the EOS Royale game was attacked by hackers. The hackers have made a total profit of about 18,000eos. We have contacted the project team but received no response.
Chengdu Lian'an hereby reminds project parties to be more vigilant and pay attention to safety precautions. They can contact security companies for security services to avoid causing more asset losses. At the same time, all project parties are welcome to join Chengdu Lian'an's Eagle Eye Situational Awareness System and Eagle Eye Contract. Firewall, Hawkeye situational awareness system will provide free early warning and alarm services for everyone, and Hawkeye contract firewall can block hacker attacks in real time.
Everyone is welcome to experience:
1. The VaaS streamlined version of the smart contract automatic formal verification platform, with an accuracy rate of over 95%
Beosin (Chengdu Lian'an Technology) has released its VaaS platform to the world. It is the world's first smart contract formal verification platform that simultaneously supports multiple blockchain platforms such as ETH, EOS, Fabric, ONT, and TRON, with an accuracy rate of over 95%.
The VaaS (lite version) system provides all blockchain practitioners with convenient and free smart contract security audit services, performs formal verification of smart contract security vulnerabilities, and calmly responds to conventional contract security issues. Welcome everyone to log in to the official website to experience:
official website:
https://beosin.com/vaas/index.html#/audit/ptsj
▲VaaS Lite version platform
2. Online Beosin-IDE free version
Beosin-IDE is a free online integrated development environment for smart contracts for BOS and EOS blockchain platforms. It is an online blockchain application development integrated environment that can simultaneously support contract development, deployment, testing and source code debugging.
Everyone is welcome to try it for free: access via browser
https://beosin.com/BEOSIN-IDE/index.html#/
(As shown below, Chrome browser is recommended).
▲ Beosin EOS-IDE
Beosin officially issued a formal statement:
In order to meet the needs of global market strategy, the company launched a new English brand "Beosin". As a company deeply involved in the field of blockchain security, "Beosin" strives to protect the industry, with the purpose of creating a full ecological security of the blockchain, and wholeheartedly provides customers with smart contract security audits, smart contract development audits, and wallet security audits. , DApp penetration testing, blockchain platform security testing, exchange security services, security product customization services, enterprise-level security services, etc. However, the change of the company's English name does not involve changes in business structure or company ownership. The new brand’s logo is as shown below:
Recently, XX Lian'an Technology and Chengdu Lian'an Technology have the same name, and their logos and slogans are similar. Chengdu Lian'an Technology is a company specializing in blockchain security invested by Fenbushi Capital, Jieshi Capital, and Pangu Chuangfu. It has no connection with other XX Lian'an Technology. Please look for the only designated trademark brand of Chengdu Lian'an Technology and be careful not to be deceived. For all information, please refer to the official website and official public account.
Chengdu Lian'an Technology official public account name: Beosin Chengdu Lian'an
Chengdu Lian'an Technology official website:
www.lianantech.com
——Beosin
About Beosin:
Beosin Chengdu Lian'an is a company specializing in blockchain security. It was co-founded by two professors, Yang Xia and Guo Wensheng of the University of Electronic Science and Technology of China, who have been engaged in the aviation, aerospace, and military security fields for more than 10 years and are experts in formal verification technology. They are core employees of the team. It is composed of professors, postdocs, PhDs from well-known overseas universities and laboratories, as well as elites who have worked in well-known companies such as Alibaba and Huawei.
It is one of the first teams in the world to apply formal verification technology to the field of blockchain security. It is the first to develop internationally leading and simultaneously support multiple blockchain platforms (ETH, EOS, Fabric, Ant BaaS, ONT, BCOS, etc.) Smart contract automatic formal verification platform VaaS (accuracy rate reaches over 95%), and has built a one-stop blockchain security service platform, establishing a complete set of "blockchain security development - security detection based on formal verification - - A complete security defense system of "Runtime Security Monitoring and Protection". The number of users has exceeded 20,000. It has applied for more than 10 software invention patents and copyrights. It has audited nearly a thousand smart contracts, audited dozens of chain platforms, and is proficient in multiple Mainstream blockchain platform.
At present, Chengdu Lian'an has received equity investment from famous investment institutions such as Fenbushi Capital, Jieshi Capital, and Pangu Fortune, and has cooperated with Ant Financial, PwC, WeBank, ONT, NEO, Qtum, Bubi Blockchain, More than 60 domestic and foreign blockchain companies such as R3V, and nearly a hundred digital currency exchanges such as Huobi, OKEx, KuCoin, Matcha, and Chain have established long-term strategic partnerships.
「Beosin」
WorksHuobi, OKEx, KuCoin
CoinBene, CoinTiger, etc.
A contract audit company designated by a well-known exchange.
Selected for Etherscan
Smart contract security audit list.
Welcome to contact Beosin,
Learn about smart contract security auditing
Smart contract development and audit one-stop service
Wallet Security Audit
DApp Penetration Testing
Blockchain platform security detection
Exchange security services
Security product customization services
Enterprise-grade security services
·
Tel: 028-83262585
Website: www.lianantech.com
Email: [email protected]
Address: No. 599, Century City South Road, Chengdu City
Room 504, Building D7, Tianfu Software Park
Official website:
https://www.lianantech.com
GitHub URL:
https://github.com/Lianantech/VCA
Facebook URL:
https://www.facebook.com/BeosinChengdu/
Twitter URL:
https://twitter.com/Beosin_com
Telegram Chinese group:
https://t.me/LiananTech_cn
Telegram English group:
https://t.me/LiananTech_en
Weibo:
https://weibo.com/u/6566884467
CSDN blog:
https://blog.csdn.net/CDLianan
Zhihu column:
