Short description
The first smart contract security-auditing protocol. Quantstamp Inc. is developing a protocol that audits smart contracts using formal verification in order to find bugs before contracts are published to the blockchain. Quantstamp developers seek to secure and verify audits using a distributed network of nodes, similar to how an Ethereum node secures and validates a transaction. The Quantstamp protocol aims to be a scalable and cost-effective solution to the smart contract crisis.
Abstract
Quantstamp is the first smart contract security-auditing protocol. We are extending Ethereum with technology that ensures the security of smart contracts. Our team is made of up of software testing experts who collectively have over 500 Google Scholar citations.