Solidity とは？

EthereumなどのEVMという実行環境で動くスマートコントラクトを書くよ。ソースをコンパイルして実行用のコードにし、ブロックチェーンへ配置する。配置しただけで常に動き続けるのではなく、トランザクションや他のコントラクトからの呼び出しで処理するんだ。

C++・Python・JavaScriptの影響を受けているよ。ただしSolidityは静的型付けの言語で、変数などに型がある。contractの中に状態を保存する変数や関数を定義するけれど、似た文法だからJavaScriptと同じ動作になるとは限らないんだ。

投票、資金調達、オークション、複数人の承認が必要なウォレットなどが例だよ。スマートコントラクトはブロックチェーン上の処理を担う部分。画面や外部のデータを含むアプリ全体を、Solidityだけで作るわけではないんだ。

権限や資金移動の設計を慎重に確認するよ。たとえば外部への呼び出し中に再び呼ばれる「再入」の問題がある。テストやコードレビュー、必要に応じた監査が大切。処理に使えるガスにも上限があり、長すぎるループなどで実行できなくなる場合があるんだ。

配置済みのコードを普通のファイルのように上書きすることはできないよ。更新を見込んで設計したプロキシ方式なら、呼び出し先の実装コントラクトを別のものへ切り替えられる。更新権限やデータの互換性も設計が必要で、どのコントラクトも後から自由に直せるわけではないんだ。