Diligence

Diligence created for blockchain security & Ethereum Smart Contract audits.

Consensys's comprehensive smart contract audit service helps from startups to enterprises launch and maintain their Ethereum blockchain applications.

Diligence provides Diligence Fuzzing as a service detects contract. Fuzzing as a Service enables users to find bugs immediately after writing their first specification. Diligence Fuzzing help to analyze smart contracts before deploying them to find vulnerabilities open to exploitation.

Scribble is a specification language and runtime verification tool that translates high-level specifications into Solidity code. It allows you to annotate smart contracts with properties, instead of writing in a separate file. Upon completion, Scribble transforms annotations in the Scribble specification language into concrete assertions that verify the specification.After writing properties, developers can use tools such as Diligence Fuzzing to automatically test smart contracts and ensure all is working as planned.

Once a smart contract is enabled with Scribble comments, any security tool that works by checking assertions can be used for verification, including fuzz testers, symbolic analyzers, and even Solidity’s own built in SMT checker.

Install Scribble Code:

npm install -g eth-scribble