MythX Enterprise

MythX offers a wide range of specialized services which enables enterprises to elevate their smart contract security to the next level.

Our Offering

AUDITOR GUIDED SECURITY SCAN

AUDITOR GUIDED SECURITY SCAN

Initial Assessment

Assess smart contract development environment

Guided Vulnerability Scan

Perform deep custom automated analysis on smart contract.

Detect generic security issues and best practice violations in the source code, and provide manual review by security auditor to eliminate spurious results.

Delivery

Generate findings in a comprehensive report.

CUSTOM VERIFICATION SERVICE

CUSTOM VERIFICATION SERVICE

Analysis planning

Assess smart contract business logic and agree key properties to test.

Analysis Services

Create custom property validation tests.

Run a deep fuzzing campaign to increase analysis coverage and reduce residual risk.

Delivery

Generate findings in a comprehensive report.

CONTINUOUS VERIFICATION

CONTINUOUS VERIFICATION

Solution Architecture

Monitor changes automatically.

Technology Integration

Integrate into your development environment to perform continuous analysis on any code changes.

Delivery

Detect security issues shown within the source code along with transactions traces, results are viewable on the MythX Dashboard.

RETAINER FOR CUSTOM SUPPORT

RETAINER FOR CUSTOM SUPPORT

Custom Support

Maintain client profile, smart contract development environment with executable specs.

Maintenance services

Maintain CI pipeline integration.

Maintain executable wrapper contracts containing assertions.

Maintain “Actor” contracts used to establish a seed states and functional scope for Mythril and Harvey

Maintain IDE scripts to set up initial states for verification.

Delivery

Dedicated MythX development support.

What our Customers Say

From the beginning the Consensys Diligence team made a great effort to contribute to the security of the Aave Protocol, providing knowledge that helped us grow our awareness and security-focused culture. Their technology will be extremely helpful to move Aave forward. Their MythX technology was used in this project to verify the correctness of the Aave smart contract system

- Emilio Frangella Fullstack Blockchain Developer at Aave

Working with the MythX team solidified our perspective on the effectiveness of fuzz testing, and strengthened the trust in the audit report Consensys Diligence led on our v3.0 release.

- 0x team

Get Started with MythX Enterprise