
.svg)
When we were evaluating auditors for the Polkadot Claims Contract, the team at ChainSecurity Ltd impressed us with their track record of successful audits and their tooling for verifying properties of smart contracts. For the audit, they were able to functionally verify twelve properties of our smart contract to ensure the immutability of critical state that is needed to bootstrap Polkadot genesis. They helped to identify design, trust, and security concerns in the contract and we were able to work together to resolve each of these. If we have further opportunities for our security needs, we would consider engaging ChainSecurity Ltd again.
Logan Saether
Web3 Foundation