Recently, SCRY.INFO and LianAn Technology entered a strategic cooperation based on which the two parties will work together on development of blockchain-based smart contracts, security auditing and formal verification.
Chengdu based Lian’an Technology specializes in blockchain security. Founded by Professor Yang Xia and Professor Guo Wensheng from the University of Electronic Science and Technology of China, Lian’an Technology has a core team comprising of over 20 associate professors, postdoctoral researchers, Ph.D. and Master’s degree holders from famous foreign universities and labs such as CSDS, Yale and UCLA. Utilizing the company’s core formal verification technology, the team has supported critical security systems in aerospace and military fields for years. The team’s VaaS (Verification as a Service) platform is the worlds’ first formal verification platform that aims to improve security and functionality of blockchains and smart contracts through dedicated formal verification theories and methodologies.
With the rapid development of blockchain technology, several new participants that lack sufficient practical experience and knowledge in terms of technological security, have entered the market. Due to this, they can encounter extremely high technological risk, and this may lead to problems such as loss of tokens, token theft and contract crash. That’s why there is an urgent need for a formal verification platform in the blockchain industry to help participants avoid potential technological vulnerabilities and risks. Lian’an Technology utilizes formal verification theories and methodologies and builds mathematical models to provide reliable and safe protection for developers, enabling the industry to develop at a high speed.
SCRY.INFO is the world’s first blockchain-based quantifiable data exchange platform for real data storage, validation, sharing, analysis and trading. SCRY.INFO uses smart contracts to provide cluster-based smart data validation for distributed users across industries, as well as enables access, tools, transactions and sharing on the platform. SCRY.INFO encourages more individuals and groups to build their own DAPPs in the protocol layer. This cooperation will help improve and provide a more reliable security guarantee for SCRY.INFO’s ecosystem.
The high degree of compatibility between the two parties with respect to blockchain technology and concepts, will ensure that this cooperation progresses more naturally. As this cooperation intensifies, the two parties are bound to carry out more extensive exchanges and collaborations, create more development opportunities, and help the entire industry grow and flourish.