Zilliqa’s obsession with security and collaboration with ChainSecurity
The company has always been security-focused as evident through its high-security smart contracts. Moreover, smart contracts use a “bug resistant” language that provides high security by ensuring a bug-free system. Nonetheless, the company hopes to take security a step higher by making its infrastructure even more impregnable.
ChainSecurity will develop an extensible static analysis framework for the Zilliqa network. This would allow developers to detect issues within the codes of their programs. The infrastructure would allow control-flow, data-flow, and information analyses which are significant factors while determining the security properties of a system.
What is ChainSecurity?
ChainSecuirty is an ICE startup that bought the first automated formal audit platform for blockchains. ICE is a blockchain-focused research and development lab at European University ETH Zurich. Currently, ChainSecurity has over seventy clients in the blockchain ecosystem.
ChainSecurity and Zilliqa: What does the partnership hold for blockchain
The startup is planning on introducing a security scanner that will allow developers to detect security vulnerabilities within their codes. These include generic vulnerabilities that arise from improper coding practices.
ChainSecurity is also conducting a formal audit of the Scilla language. This way, the startup can recognize its properties and hence utilize the language for various security purposes. The collaboration will improve security for Zilliqa while creating a model for other security-focused businesses to follow.
Zilliqa price action seems to be in a hurdle as bears seem to be in control of the market momentum. You can read a more detailed price analysis here.