The Zilliqa blockchain announced today that it will be partnering with ChainSecurity, a blockchain security company, in order to improve the security tools and measures of their network.
The project is already known for its smart contract safety, as it uses a proprietary language called Scilla, specially designed to ensure smart contract safety. With this new partnership, greater improvements will be brought to the security standards and infrastructures used in the industry.
ChainSecurity will be creating an extensible static analysis framework, which will support control-flow, data-flow, and information-flow analyses. It will also enable developers to find security flaws by automatically evaluating the source code of their programs.
ChainSecurity is an offshoot of the ICE Centre, a leading blockchain security research and development facility at high-ranking European university ETH Zurich. ChainSecurity has more than 75 partners from the blockchain field.
Their security scanner will also aid developers in finding common security vulnerabilities as well as design issues which can result from improper coding.
ChainSecurity has led professional security audits of Scilla smart contracts prior to the partnership, so it will be able to apply its gained insight into the language’s semantics to determine its relevant security features.
Chief Scientist and Co-Founder of ChainSecurity, Dr. Petar Tsankov, made the following statement :
“The collaboration between the ChainSecurity and Zilliqa teams dates back to 2017 when we first conducted a security audit of the Zilliqa token. We look forward to further collaborating with the Zilliqa team and bringing our knowledge in building advanced security tools to the Zilliqa ecosystem.
Scilla is a programming language which was developed by leading researchers and designers in order to address the vulnerabilities which are currently prevalent in today’s smart contract languages such as re-entry attacks and changes to critical state variables.
Built according to functional programming language principles, Scilla can be used for formal verification, enabling developers to use mathematical verifications to make sure that the contracts are correct at the language level.
Scilla was recently peer-reviewed at OOPSLA 2019, a global academic conference on programming languages and software engineering.
President and Chief Scientific Officer of Zilliqa, Amrit Kumar, said:
“From Scilla to our mainnet and smart contracts launch, security has underscored all areas of technical development at Zilliqa. For the past two years, ChainSecurity has played a key role in bolstering our network. As we continue to grow, these tools will help us proactively address any potential vulnerabilities along the way. Moving towards developing enterprise-grade solutions, we believe such collaborations will provide support to our growing community and enterprise partners whilst establishing a higher benchmark of security standards across the industry.”
Featured image: Finance Yahoo.com
