Consider adopting Blockscout Verifier Service

[sambacha]

https://github.com/blockscout/blockscout-rs/tree/main/smart-contract-verifier

It accepts bytecode to be verified and potential source files as input and returns whether those files and bytecode correspond to each other.

The service consists of 2 parts, a verification library and a transport layer that serves requests:

smart-contract-verifier - implements actual verification logic as a library and exposes an interface to be used by the transport layer;
A transport layer that implements some APIs over the service (smart-contract-verifier-http).

API is defined here: https://github.com/blockscout/blockscout-rs/blob/main/smart-contract-verifier/smart-contract-verifier-http/README.md