ボランティアコンピューティング — SETI@homeとBOINCの歴史

01家庭のPCが観測装置の一部になる

• 1999年、世界中の家庭で動くスクリーンセーバーが、アレシボ電波望遠鏡の観測データを解析し始めました。画面には星空と信号のグラフが浮かび、利用者が眠っている間も、PCは地球外知的生命の痕跡を探しました。SETI@homeが広く共有したロマンは、宇宙人発見の約束ではなく、個人の机にある計算機が本物の科学装置の一部になれるという参加構造でした。
• ボランティアコンピューティングは、一般参加者が所有するコンピューターの処理時間やストレージを研究へ提供する分散計算です。端末はCPUやOSがばらばらで、いつ切断されるか分からず、管理者が遠隔管理することもできません。この不均一さを前提に仕事を分割・配布・回収・検証する点が、同じデータセンター内のクラスタと大きく異なります。
• 科学者にとっては購入できない規模の計算資源を得る方法であり、参加者にとっては計算を通じて研究へ加わる市民科学です。ただし「使っていないCPU」は無料資源ではありません。電力、発熱、通信、機器寿命は参加者側が負担し、研究目的と運営者を信頼する判断も必要です。

02Grid、Cloud、Citizen Scienceとの違い

• ボランティア計算は市民科学の一形態になり得ますが、市民科学のすべてが計算資源の寄付ではありません。Galaxy Zooのように人の認知を使う活動もあれば、センサー観測やフィールド調査もあります。反対に、ボランティア計算は人の判断をほとんど求めず、端末がバックグラウンドで仕事を進めることがあります。
• BOINCは科学プロジェクトそのものではなく、複数の独立プロジェクトが使えるmiddlewareです。各プロジェクトは自分のサーバー、アプリケーション、研究目的、検証方法を持ち、参加者は一台のBOINC clientを複数projectへ接続できます。

03先駆者 — GIMPSとdistributed.net

• 1996年1月にGeorge Woltmanが始めたGIMPS（Great Internet Mersenne Prime Search）は、候補指数を参加者へ割り当て、Lucas–Lehmer testなどで巨大なメルセンヌ素数を探します。初期は電子メールで仕事を割り当てましたが、PrimeNetによって大量の端末と仕事を自動管理する仕組みへ発展しました。2024年には既知で52番目のメルセンヌ素数 `2^136279841−1` が発見され、2026年8月時点でも検査と再検証が続いています。
• 1997年のdistributed.netは、RSA LaboratoriesのRC5暗号challengeを鍵空間の小区画へ分け、インターネット上の参加端末で総当たりしました。RC5-56はdistributed.netによる探索開始から212日で正解鍵を発見しました（RSA challenge開始日からは267日）。56-bit鍵の現実的な弱さを可視化しただけでなく、keyserver、proxy、clientで仕事を分割し、端末が独立探索して結果を戻す初期の代表例になりました。
• SETI@home自身の公式回顧も、GIMPSとdistributed.netが先行していたと記録しています。SETI@homeの歴史的重要性は「最初」であることではなく、科学目的、視覚的なscreensaver、世界規模の参加共同体を結び、ボランティア計算を広く知らしめたことにあります。

04SETI@home — 眠っている計算機で宇宙を聴く

• David Gedyeは1995年、インターネット接続された多数のPCを仮想スーパーコンピューターとしてradio SETIへ使う構想を提案しました。公開運用は1999年5月17日に始まり、アレシボなどの電波観測を小さなworkunitへ分割して家庭PCへ配りました。clientは周波数分析、Doppler drift、pulseなどを探索し、候補をBerkeleyへ返しました。
• Classic版では解析アプリを更新するたびにclient全体の更新が必要で、研究チームが基盤保守へ多くの時間を使いました。2002年に開発が始まったBOINCは、projectの科学アプリと汎用の配布・実行基盤を分離します。SETI@homeは2004年からBOINC版を公開し、Classicの最後のworkunitは2005年12月15日に処理されました。
• 2020年3月31日、SETI@homeは新しいworkunitの一般配布を止めて「hibernation」に入りました。これは蓄積した検出結果の後段解析へ集中するためで、ウェブサイトと記録は残り、2025年には観測・解析系とNebula back endを記述した論文がまとめられました。「宇宙人を見つけられなかったから突然終了した」という単純な物語ではありません。

05約120億の検出から追観測候補へ

• SETI@homeの家庭PC側解析は、電波データから約120億件のdetectionsを抽出しました。後段のNebulaは、人工電波干渉（RFI）、既知のテスト信号、空の位置、周波数、時間的な反復などを使って候補を集約・採点します。大量の単発検出は、そのまま地球外技術の候補ではありません。
• 上位候補は人手でも確認され、約100の方向と周波数帯が追観測対象として選ばれました。UC Berkeleyの2026年1月発表によると、中国のFAST望遠鏡で2025年7月から再観測が進められ、そのデータは解析段階にあります。したがって、この候補数を「約100の地球外信号」と表現してはいけません。
• 科学的成果は発見の有無だけではありません。どの種類・強度の信号ならこのsurveyで検出できたかを定量化し、RFI除去、候補ランキング、再観測という検証可能なpipelineを残したことも成果です。そして、数百万人規模の市民が長期間の観測計算を共同で支えたという制度的実験は、その後のBOINC ecosystemへ直接つながりました。

06BOINCのworkunit lifecycle

• 研究者側のwork generatorは、入力ファイルとworkunitを作ります。feederとschedulerは、端末のCPU/GPU、メモリ、対応platform、締切、参加者が設定したresource shareなどを考慮してtaskを割り当てます。clientはアプリと入力をdownloadし、低いpriorityで実行し、checkpointを保存しながら結果をuploadします。
• 端末が返答しない、期限を過ぎる、計算機が停止する、誤った出力を返す、といった事象は例外ではなく通常の運用条件です。必要なら同じworkunitから別taskを作り、他のhostへ再送します。validatorは複数のresultが十分に一致するか、またはapplication固有の正当性条件を満たすかを判定し、canonical resultを選びます。assimilatorがその結果をscience databaseへ取り込みます。
• BOINCが常に同じ仕事をちょうど2台へ送るわけではありません。projectはinitial replication、minimum quorum、adaptive replicationを設定でき、計算自体が別方法で検証可能ならquorum 1もあり得ます。浮動小数点の差があるため、完全なbit一致ではなく許容差、同種host間での比較、application固有のvalidatorを使う場合もあります。

07信頼は双方向だが、対称ではない

• projectは参加hostを管理できません。overclockによる誤計算、故障、期限切れ、改変client、意図的な偽結果を想定し、冗長計算やvalidatorで結果を疑います。一方、参加者はprojectが配る実行コードを自分のPCで動かすため、運営主体とアプリを信頼する必要があります。
• 署名されたapplicationは、配布物がprojectの鍵で署名されたことと改変検知を助けますが、そのprojectの研究目的や善意まで保証しません。BOINC projectは自律的で、BOINCという名称が全projectの中央審査を意味するわけではありません。参加前に運営機関、研究目的、公開成果、data policy、forumの運用、公式project directoryを確認することが重要です。
• 所有者の許可がない職場・学校・他人の端末で動かしてはいけません。CPU/GPU使用率、実行時間、温度、disk、network、battery条件を制限し、最初は低いresource shareで挙動を観察します。「idle時だけ」でも電力と発熱は増え、特にGPUは消費電力と冷却を無視できません。

08Credit — 計算を共同体の記憶へ変える

• BOINCのcreditは、検証された計算貢献を数値として記録する社会的な会計です。金銭でも、projectの所有権でも、研究結果の正しさそのものでもありません。参加者にclientが動いていることを知らせ、長期の貢献を可視化し、teamやbadgeを通じて共同体を形成します。
• 初期SETI@homeはtask一つを一単位として数えましたが、taskごとの計算量差や不正resultにもcreditが付く問題がありました。BOINCは計算量の推定とvalidationを組み合わせ、公平性を高めようとしました。それでもhardware、application最適化、GPU利用、projectのcredit policyが異なるため、project間の完全な比較尺度ではありません。
• ランキングは参加を促す一方、creditのためだけに電力を追加消費したり、許可のない端末を使ったり、不正clientを作る誘因にもなります。科学的目的、資源負担、共同体の承認をどう均衡させるかは、middlewareだけでは解けない設計課題です。

09主要プロジェクトのAtlas

• 次表の状態は2026年8月22日に各projectの公式情報で確認したものです。activeでも仕事が常時配布されるとは限らず、研究batchの間はqueueが空になることがあります。

• このほか、Climateprediction.netは気候ensemble、LHC@homeはCERNの加速器・粒子simulation、PrimeGridは素数探索、Quake-Catcher Networkは家庭sensorによる地震観測などへ参加モデルを広げました。一つのplatformが天文学、医学、数学、気候、物理学を横断できることがBOINCの大きな遺産です。

10BOINCとBitcoin mining — 似た外形、異なる目的

• BOINCとmining poolは、serverから仕事を受け、local machineが反復計算し、結果やshareを返すという外形が似ています。この類似は、分散した大量の計算資源を小さな仕事へ束ねるclient/server engineeringにあります。しかし、計算の意味、信頼モデル、検証、報酬は根本的に異なります。

• BOINC creditに最も似て見えるのはpool shareですが、shareはBitcoin consensusのblockではなく、pool内部で各minerの貢献量を測る低難度のproofです。BOINCの計算をそのままBitcoinのProof of Workへ置き換えることもできません。科学計算は検証cost、入力差、進捗の再利用性が一定せず、Bitcoinは生成が難しく検証が極端に容易なhash puzzleを必要とします。

11なぜ全ての科学が@homeにならないのか

• ボランティア計算に向くのは、大量の独立taskへ分けられ、入力と結果のnetwork transferが計算時間より小さく、途中停止から再開でき、返却結果を安く検証できる問題です。毎stepで全nodeが密に通信するsimulationや、巨大な共有memoryを必要とする処理は不向きです。
• 研究teamにはserver運用、application port、security response、volunteer support、result assimilation、長期保存の負担があります。人気が急増すれば仕事生成とupload serverがbottleneckになり、研究grantが終わればproject serverの維持自体が難しくなります。SETI@homeの経験からBOINCが生まれたのは、科学者が同じ基盤問題を何度も作り直さないためでした。
• 近年はcloudと研究clusterが入手しやすくなり、PCのidle時間、mobile化、電力cost、GPU/acceleratorの特殊化も環境を変えています。それでも、長期間にわたる大量の独立taskと、科学参加の共同体を同時に必要とする領域では、volunteer computing独自の価値が残ります。

12残ったもの — 計算資源以上の共同研究

• SETI@homeは、地球外文明の確認という最終目標にはまだ到達していません。しかし、何百万もの人が自分のPCを宇宙へ向け、長期間のsurveyを計算で支えた事実は消えません。projectの価値を「発見したか」の一問だけに縮めると、感度限界、解析手法、追観測候補、public engagementという成果を見失います。
• BOINCは、科学applicationとvolunteer infrastructureを分離し、一つのclientから複数分野へ参加できる共通基盤を作りました。workunit、deadline、checkpoint、validation、canonical result、creditという語彙は、信頼できない端末を科学へ編み込むための設計知です。
• この歴史はBitcoinへ直線的に収束する前史ではありません。科学結果を作る計算、企業serviceを複製する合意、公開台帳を保護するProof of Workは、それぞれ別の目的を持ちます。それでも、世界中の計算機が一つの問いに参加できるという感覚は、分散コンピューティングが技術だけでなく文化でもあることを教えています。