検証済みコントラクト

ソース検証は、公開された Solidity または Vyper のソースが、チェーン上にデプロイされたバイトコードとまったく同じものにコンパイルされることを証明します。コンパイラ、そのバージョン、オプティマイザ設定、コンストラクタ引数のすべてがデプロイ済みのバイト列を再現する必要があります。これは任意であり、誰かがソースを提出したときにコントラクトがこのラベルを得ます。Arc のコントラクトの大半が未検証なのは、単に誰も提出していないからです。