2
0

Delete article

Deleted articles cannot be recovered.

Draft of this article would be also deleted.

Are you sure you want to delete this article?

Hello World あたたたた 14日目 Solidity編

Posted at

この記事は Hello World あたたたた Advent Calendar 2025 の記事です。

今日はSolidityで Hello World あたたたた を実装して解説していきます。

そもそも「Hello World あたたたた」が何かは 1日目の記事 をご覧ください。

Solidity / ブロックチェーン特有の前提

Solidityはブロックチェーンで使用される言語で、一般的なプログラミング言語とは異なる制約が存在します。
このため、お題の あたたたた とは以下の点で異なっているのでご了承ください。

  • ループ部分はトランザクション発行で代替する。
  • 出力するのは該当トランザクションで決定した文字のみとする。

以下、今回関係している制約を簡単に記載します。
※それ以外にもコントラクトなど、ブロックチェーンを前提とした記載がありますが、説明は他に譲ります。

無限ループは書けない

1回の関数呼び出し(トランザクション)は 必ず有限時間で終了する必要があります

  • 無限ループ → ガス切れ → トランザクション失敗
  • 「繰り返す処理」は 複数回のトランザクションで表現する

完全な乱数はオンチェーンでは作れない

オンチェーンだけで改ざん不能な完全な乱数を生成することはできません。
今回は学習用途として、ブロック情報と状態を組み合わせた疑似乱数を使います。


コーディング例

HelloAtatatata.sol
// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;

contract HelloAtatatata {
    event Output(string text);
    uint256 private nonce;

    // 疑似乱数の生成
    function getRandom() internal returns (uint256) {
        nonce++;
        return uint256(
            keccak256(abi.encodePacked(block.prevrandao, block.timestamp, msg.sender, nonce))
        );
    }

    // 変数 hako に空の配列を用意
    string[] private hako;

    function run() public {
        // Solidityで無限ループになる可能性がある処理は書けないため以下は無し
        // - 変数 running に true をセット
        // - running が true なら繰り返す
        // - running に false をセット

        // 0か1をランダムに決める
        bool x = getRandom() % 2 == 0;
        // もし0なら
        //     変数 char に「あ」をセット
        // その他なら
        //     変数 char に「た」をセット
        string memory char = x ? unicode"" : unicode"";

        // 画面に char を出力
        emit Output(char);

        // char を hako に追加
        if (hako.length < 5) {
            hako.push(char);
        } else {
            // 6文字目以降は、循環して終端5文字のみを保持する
            hako[0] = hako[1];
            hako[1] = hako[2];
            hako[2] = hako[3];
            hako[3] = hako[4];
            hako[4] = char;

            // もし 最後の 5 文字が「あたたたた」なら
            if (
                keccak256(abi.encodePacked(hako[0], hako[1], hako[2], hako[3], hako[4])) ==
                keccak256(abi.encodePacked(unicode"あたたたた"))
            ) {
                // "お前はもう死んでいる" を出力
                revert(unicode"お前はもう死んでいる");
            }
        }
    }
}

コードと文法の解説

変数の宣言・代入

Solidity では、変数を使う前に 型と宣言キーワードを書く必要があります。

string[] private hako;
bool x = true;
string memory char = unicode"";
  • Solidity では型を書く必要がある(string / bool など)
  • = は代入(右の値を左の変数に入れる)
  • 文字列は " で囲む(日本語を使う場合は unicode"..." と書く)
  • [] は配列を表す
  • string や配列は 参照型 のため、memory など保存場所に関する指定を行う
  • memory は関数の実行中だけ使われる一時的な変数で、実行が終わると消える
  • booluint などは 値型 のため、保存場所を指定する必要がない
  • private はコントラクトの外から参照できないことを意味する

「型」「保存場所」「可視性」が明示されることは Solidity の特徴です。

状態を使って「繰り返し」を表現する

このコントラクトでは、run() を呼ぶごとに「あ」または「た」を 1 文字だけ生成します。

function run() public {
    ...
}

Solidity では無限ループを書くことができません。
そのため、トランザクションを発行するたびに hako を更新して状態を保持することで、ループ相当の動作とします。

条件判定(if / else)

if (hako.length < 5) {
    hako.push(char);
} else {
    hako[0] = hako[1];
    // snip
}
  • <== は比較演算子
  • Solidity ではブロックを {} で表す
  • 複数の条件を評価したい場合は else if を使う

文字の出力(Output)

event Output(string text);

string memory char = x ? unicode"" : unicode"";
emit Output(char);
  • Solidityでは、画面に直接文字を表示することはできない
  • 代わりに イベント(event)を発行して出力する
  • emit はイベントを発行するためのキーワード(Outputはサンプルで命名したイベント名)
  • emit されたイベントは トランザクションログに記録される

トランザクションのlogsに以下のような出力が行われます。(Output(unicode"た")の例)

[
	{
        "from": "0x9B2A3840420401351628668FCFB97xxxxxxxxxxx",
		"topic": "0xe75f2b39d184b4b99d3a5a16c5aa6940f3ffe06f8e799a27757xxxxxxxxxxxxx",
		"event": "Output",
		"args": {
			"0": "た"
		}
	}
]

最後の5文字の比較

if (
    keccak256(abi.encodePacked(hako[0], hako[1], hako[2], hako[3], hako[4])) ==
    keccak256(abi.encodePacked(unicode"あたたたた"))
) {
    revert(unicode"お前はもう死んでいる");
}
  • hako には直近5文字を保持している
  • stringは == で比較できないため、 abi.encodePacked でバイト列に変換、結果を keccak256 でハッシュにして比較している
  • revert を使っているが本来は Output を使うところ
    • revert するとそのトランザクション自体が失敗として扱われるため、今回のサンプルとしてはRemixで確認がしやすいため、このようにしている

疑似乱数の生成

ブロックチェーン上では、完全な乱数は作れません。そのため Solidity では 疑似乱数を使います。

uint256 private nonce;

function getRandom() internal returns (uint256) {
    nonce++;
    return uint256(
        keccak256(abi.encodePacked(block.prevrandao, block.timestamp, msg.sender, nonce))
    );
}
  • block.prevrandao は直近ブロック由来のランダム値
  • block.timestamp はブロックの生成時刻
  • msg.sender は関数を呼び出したアドレス
  • nonce は毎回変化させるためのカウンタとして使用
  • keccak256 はハッシュ関数で、入力が少し変わるだけで結果も大きく変化する

Solidity の概要と歴史

Solidityは、Ethereumをはじめとするブロックチェーン上で スマートコントラクトを書くために設計されたプログラミング言語です。
ブロックチェーン上で実行されるため、単なる計算だけでなく 資産の管理やルールの自動執行を担います。
DeFi(分散型金融)や NFT、DAO など、Ethereum エコシステムの中核を支える言語として広く使われています。

Solidity の特徴

  • スマートコントラクト専用に設計された言語
  • ブロックチェーン上でプログラムが実行される
  • 状態は改ざんできず、透明性が高い
  • 実行にはガス(手数料)がかかる
  • JavaScript や C 系言語に似た文法
  • DeFi、NFT、DAO などの分野で広く利用されている

Solidity の歴史

Solidity は、Ethereum の誕生とともに生まれた比較的新しい言語です。
Ethereum が「ブロックチェーン上でプログラムを動かす」という概念を実現するために開発されました。
現在ではEthereum 以外のEVM互換チェーン(Base、Polygon、BSC、Avalanche など)でも使われています。

  • 開発元:Ethereum プロジェクト
  • 初版公開:2014 年
  • 主な用途:スマートコントラクト開発
  • 対象環境:Ethereum Virtual Machine(EVM)

個人的なコメント

Hello Worldレベルしか触ったことがなかったですが、書き始めて「ループが書けない」点で少し躓きましたが、結果的に少し変わった題材を紹介できてよかったかなと思います。

おまけ:サンプルコードの確認方法

サンプルコードの確認には、Remixを使用しました。
2025/12/13現在ですが、以下の手順で確認しています。
!!注意!!間違ってもメインネットにつないで実行しないでください!

  1. Remixを開く。Web上でIDEが開きます
  2. Create ボタンを押して Create new file を選んで、 Create black で新規ファイルを作成します
  3. サンプルコードを貼りつけます
  4. Compile ボタンを押します
  5. 左端にある Deploy & run transactions のアイコンを押してデプロイを行うためのペインを開きます
  6. EnvironmentRemix VM (Osaka) になっていることを確認
  7. Deploy ボタンを押します
    • Deployed Contracts にデプロイしたコントラクトが表示されます
    • ログも表示されているはずです
  8. コントラクトで run ボタンを押すと、サンプルコードの runが実行されます
    • 何度か押しながらログを確認するとトランザクションが失敗するはずです
    • ログの内容を見ると お前はもう死んでいる はずです

最後のログはこんな感じ。
image.png

2
0
0

Register as a new user and use Qiita more conveniently

  1. You get articles that match your needs
  2. You can efficiently read back useful information
  3. You can use dark theme
What you can do with signing up
2
0

Delete article

Deleted articles cannot be recovered.

Draft of this article would be also deleted.

Are you sure you want to delete this article?