Zilliqa to boost its blockchain security with ChainSecurity

With the project’s existing emphasis on smart contract safety, evidenced by its secure-by-design smart contract language, Scilla, the collaboration looks to address the need for greater security standards and infrastructures in the blockchain industry. Having conducted professional security audits of Scilla smart contracts, ChainSecurity will be able to leverage its deep understanding of the language’s semantics in order to identify relevant security properties.

The security scanner will be extensible, allowing the Zilliqa community to easily add more relevant security checks and vulnerability patterns over time in order to establish best practices for smart contract development. “From Scilla to our mainnet and smart contracts launch, security has underscored all areas of technical development at Zilliqa.

Timeline of Zilliqa