API

In this section we define the API of VerX, which can be used to integrate VerX with existing platforms and protocols.

Authentication

To request an access_token please send us an email to contact@chainsecurity.com

Submit a verification job

To submit a job to VerX you need to make

Submit request

{
   "code": <contract code>
   "deployer": <deployment script>
   "spec": <property>
}

Responses

  1. Verified

Verified response

{
   "status": "verified"
}

  1. May not hold

Failed to verify response

{
   "status": "may_not_hold"
   "violation_trace": <string>
}

  1. Timeout

Timeout

{
   "status": "timeout"
}

  1. Input error messages

Contract parse error

{
   "status": "solidity_parse_error"
   "error": <string>
}

Specification parse error

{
   "status": "spec_parse_error"
   "error": <string>
}

Deployment scripts parse error

{
   "status": "deploy_error"
   "error": <string>
}

  1. Runtime error

Response

{
   "status": "runtime_error"
   "error": <string>
}