Beosin teams up with Korean Alpha Labs to jointly safeguard blockchain ecosystem
On November 20th, Beosin (Chengdu LianAn Tech) announced strategic cooperation with Korean Alpha Labs. Two parties agree to become business partners on several fields including blockchain security, smart contract development and audits, aiming to better integrate quality resources of two countries to achieve the sound development of security ecosystem of blockchain industries covering China, Korea and eventually the whole world.
Alpha Labs is one of the largest crypto fund companies based in South Korea, funded by Korean Reinsurance Company. Alpha Labs’ team members are serial entrepreneurs, VCs and early blockchain supporters focused on catalyzing high-impact projects from China, South America, Southeast Asia and Japan.
Beosin has recently released Automated Formal Verification Tool for Smart Contract — VaaS-ETH Trial Version on its official website (http://www.lianantech.com).
With a minimum accuracy rate of 95%, VaaS-ETH provides precise and free smart contract audit service for all developers. Beosin renders a wide variety of professional services including smart contract audit, wallet development and security audit, secure DApp development and audit, Smart contract development and audit, and security inspection for exchanges and blockchain platforms.
About Beosin
Beosin is headquartered in Chengdu and focuses on blockchain security field.Founded by Prof. Xia Yang and Prof. Wensheng Guo of UESTC, Beosin’s core team consists of 40 associate professors, doctors, and postdoctoral fellows with experience studying overseas and leading universities as well as laboratories industry elites from Alibaba, Huawei, and other known enterprises. Using formal verification as its core technology, the team has been providing years of services for security-critical systems in aerospace, military and other fields. Beosin is the first company in China that applies formal verification technology to blockchain security field.
Beosin has received strategic equity investments from known venture capitals including Fenbushi Capital, Milestone Capital, and Vangoo Capital while building strategic partnerships with over 40 renowned blockchain companies such as Huobi, OKEx, Kucoin, LBank, CoinBene, CoinMex, CoinTiger, Becent, ONT, Qtum, Bytom, Wanchain, Scry, Bubi Blockchain, YUNPHANT, QuarkChain, IoTeX, Math Wallet, etc.
Let’s connect
E-mail：vaas@lianantech.com
Official website：https://www.beosin.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
