Smart-contract verification service. Contains the main verification logic and exposes interface through which verification function could be called. Should be wrapped into binary providing protocol implementations for communication.
Currently only Rest API over HTTP implementation is available and can be found at smart-contract-verifier-http