Bitcoin 1.01 — 科学レイヤー（草案）

マイニングに費やされる計算能力の半分を、医薬品候補のスクリーニングと材料探索に振り向ける設計。状態：草案 — 未実装。前提条件：ローンチ、フェーズ 6（暗号化 P2P）、アーカイブ層（TASARIM.md 第 11 節）、署名の小さいアドレス（ML-DSA）。

出典は 2026-10-26 に調査した。数値やライセンスのうち （要確認） と記したものは二次資料でしか確認できていない。使う前に公式ページで確かめること。

1. 基本原則：「計算能力の半分」＝報酬の半分

チェーンは、あるコンピュータがプロセッサをどう分けているかを見ることも証明することもできない。そのため配分は 経済的に行う：

• コンセンサス規則： 有効な科学キャンペーンがある間、各ブロックの報酬の 50% は「科学プール」へ、 50% はマイナーへ渡る。プールは、検証済みの科学計算を行った人に支払う。
• ローカル設定： アプリの「マイニング ↔ 科学」スライダー（既定 50%）。これは規則ではなく、本人のコンピュータ上でのスレッド／GPU の配分である。人々は稼ぎのよい側へ計算能力を移すので、2 つの報酬プールはおおよそ釣り合う。
• 正直な代償： マイニング報酬が半分になると、チェーンを乗っ取るコストもほぼ半分になる（ASERT は実際の計算能力に合わせて難易度を調整する）。そのため比率は 1 つの定数（BILIM_PAYI）として持ち、ネットワークが小さいうちは低めに始め、のちに 50% へ上げられるようにする。

なぜマイニングそのものに科学計算をさせられないのか（要約）：ブロックのパズルは即座に検証でき、ブロックから導かれ（誰も選べない）、各試行が独立した確率をもち、チェーンの外では価値がないものでなければならない。科学計算はこの 4 条件を満たさない。学術的に知られている安全な例（Ofelimos、CRYPTO 2022）は、特殊な組合せ最適化問題にしか使えない。したがって 2 層とする。安全性のためのプルーフ・オブ・ワークと、有用性のための独立した検証可能な科学レイヤーである。

2. 適した計算

規模の例（概算）：

• D1、10 億分子、CPU のみ： 1 分子あたり数十コア秒 → 数百コア年。計算能力の半分を提供する 1,000 台（4 コアのうち 2 コアを科学に）なら約 3〜4 か月で終わる。D4 でライブラリの 1〜5% だけをスクリーニングするなら数日。
• D1、GPU： Uni-Dock の論文は 3,820 万分子を V100 GPU 100 枚で 12 時間かけてスクリーニングした。GPU 1 枚あたり毎秒約 9 分子に相当する。10 億分子 ≈ 1,300 GPU 日。パートタイムのゲーム用 GPU 100 枚なら約 1 か月。
• M2、CO2 用の MOF スクリーニング： CoRE MOF 2024 の公開構造 8,300 件は、範囲が限られ完了できる仕事であり、基盤を試すための理想的な最初のキャンペーンである。

3. データセットと出典

3a. 医薬品：分子ライブラリ

3b. 医薬品：標的と疾患

3c. 医薬品：活性データ（パラメータ選択、検証、モデル学習）

3d. 医薬品：ソフトウェア

3e. 材料：データセット

3f. 材料：モデルとソフトウェア

3g. ボランティアコンピューティングと有用な仕事の証明に関する文献

• BOINC： 各ジョブを互いに無関係な少なくとも 2 台のコンピュータで実行し、結果が一致すれば受け入れる。浮動小数点の差には、許容誤差付きの検証器か「同質冗長性」（同じ OS とプロセッサメーカーの機器に送る）を使う。私たちの検証の土台はこれである。
• Ofelimos（CRYPTO 2022）と FRLS（2025）： 安全性を証明できる有用な仕事の証明。ただし局所探索で解く最適化問題に限られる。

4. データセットのつなぎ方

4a. キャンペーンのマニフェスト

すべての科学計算はキャンペーンから始まる。マニフェストは JSON 文書で、科学委員会の鍵のいずれかで SLH-DSA 署名される（フィールド名はプログラムと同じくトルコ語）：

{
  "kampanya": "amr-2027-01",
  "amac": "カルバペネム耐性 A. baumannii — NDM-1 メタロ-β-ラクタマーゼ阻害剤",
  "tur": "D1",
  "hedef": { "kaynak": "PDB:xxxx", "hazir_dosya_sha256": "…", "kutu": [x, y, z, dx, dy, dz] },
  "kutuphane": { "kaynak": "ZINC-22 3D", "surum": "…", "dilim_boyu": 1000, "dilim_sayisi": 1000000,
                 "dizin_merkle_koku": "…" },
  "yazilim": { "ad": "vina", "surum": "1.2.x", "ikili_sha256": "…" },
  "parametreler": { "exhaustiveness": 8, "tohum": "ORION-512(kampanya || dilim || molekül)" },
  "dogrulama": { "k": 2, "skor_yuvarlama": 0.01, "poz_yuvarlama_A": 0.001 },
  "odul_birim": "0.5",
  "sonuc_lisansi": "CC0",
  "bitis_yuksekligi": 0
}

4b. 準備（キャンペーンチームが 1 回だけ）

この段階は専門家を必要とし、分散させない：

1. 標的の選定（WHO のリスト、TDR Targets、協力研究室の提案）。
2. タンパク質の準備：プロトン化、結合ポケットの特定。
3. 既知の活性分子（ChEMBL、PDB）による再ドッキングと、デコイ分子による濃縮試験：パラメータが妥当ならキャンペーンを開始する。

4c. 作業単位とデータの配布

• 作業単位＝（キャンペーン、スライス番号）。内容は決定的で、ライブラリファイルの特定の行である。スライスの正しさはマニフェストのマークルルートに対して証明される。
• オープンライセンスのデータ（PDB、AlphaFold、許されるなら ZINC）：アーカイブ層で、内容アドレス方式の断片（ORION-512）としてピア間で配布する。アーカイバーはそれを保管することで報酬を得る。
• ライセンスが制限されたデータ（Enamine など）：ネットワークはスライス ID とハッシュだけを配布する。参加者は自分が同意した条件のもとで、データを元の提供元からダウンロードする。

4d. 計算と決定性

• 科学ソフトウェアはハッシュを固定した形で Bitcoin 1.01 のリリースに同梱される。キャンペーンがプログラムに何かをダウンロードさせることはできない。マニフェストは、リリースに含まれるバイナリをハッシュで選ぶだけである。
• 権限が低くネットワークアクセスのない別プロセス（サンドボックス）で実行する。
• シングルスレッド、固定シード、正規化された出力：スコアは 0.01 kcal/mol、座標は 0.001 Å に丸め、結果ファイルをハッシュする。

4e. 検証

1. 割り当て： スライスが開かれたブロックのハッシュとスライス番号から、ステーク加重の抽選で k 人を選ぶ（TASARIM.md 第 11 節の抽選）。誰もどのスライスを受け取るかを選べない。
2. コミット → 公開： 参加者はまず ORION(結果 || アドレス) のコミットメントをチェーンに書き、期間が終わると結果を公開する。他人の結果を写しても意味がない。
3. 比較： 決定的な作業は完全一致、D3 / M3 のような作業は許容誤差付き（BOINC 方式）。
4. 安価な確認： どのノードも、主張された最良のポーズを再スコアリングしたり（D1）、最終構造で 1 点計算をしたり（M1 / M2）できる。
5. 罰則： 一致しない結果にはステークの削減。繰り返せばキャンペーンから除外。

4f. 結果の公開と追跡

• チェーンには要約とマークルルートだけを置き、完全な結果（SDF / CSV / ポーズのファイル）はアーカイブ層に置く。
• エクスプローラーに「科学」ページ：キャンペーンの進捗（完了したスライスの割合）、最良の候補（SMILES、スコア、ダウンロードできるポーズ）、参加者数、検証率、不一致。
• 結果は CC0 で誰にでも公開する。一定の間隔で協力機関にまとめて提供する。
• 実験のループ： 協力研究室が最良の候補を発注し（Enamine の受注合成）、試験する。活性／不活性の結果はアーカイブとチェーンに書かれ、次のモデルの学習データになる。

5. マイニングへの組み込み（コンセンサス設計）

段階：

6. 最初のキャンペーンの提案

1. 基盤の試験運用、材料： CoRE MOF 2024（公開構造 8,300）での CO2 / H2O 吸着スクリーニング（M2）。データとツールが公開されており、結果の検証が安価で、作業の範囲が限られ完了できる。注：汎用の機械学習ポテンシャルは MOF の吸着では不正確なことがある。ODAC で学習したモデルのほうが適しているが、ライセンスを確認すること。
2. 抗生物質耐性、医薬品： WHO の最重要リストからの標的（たとえばカルバペネム耐性 A. baumannii の耐性酵素）、 D4＋D1＋D2。見つかった候補は合成して CO-ADD で無料で試験できる。研究室を持たないプロジェクトにとって最短の道である。
3. 顧みられない疾患： TDR Targets が優先した標的を、DNDi のような機関とともに。
4. 電池電解質： LIBE / OMol25 の範囲の分子について、酸化安定性のスクリーニング（M3）。

7. セキュリティ、倫理、法律

• ソフトウェアのサプライチェーン： ボランティアのコンピュータで動くのは、署名付きリリースに同梱されハッシュが固定されたプログラムだけであり、サンドボックスは必須である。キャンペーンがコードを送り込めることがあってはならない。
• デュアルユース： スクリーニング基盤は有害な目的にも向けられうる。キャンペーンは治療目的に限り、科学委員会の承認を得て開始する。マニフェストは公開され誰でも検証でき、毒性を高めることを目的とするキャンペーンは一切受け付けない。
• ライセンス： ChEMBL からの派生データは CC BY-SA で共有しなければならない。CARD は商用利用にライセンスが必要。 Enamine / ODAC / OMol25 は条件を読まずに配布してはならない。私たちが生み出す結果は CC0 である。
• 期待値： ドッキングスクリーニングの実験的な的中率は低く、機械学習による材料予測は DFT と実験で検証しなければならない。この基盤が生み出すのは候補であって、薬や材料ではない。告知ではこのことを明記すべきである。
• 協力先： 標的の選定と実験での試験には大学の医薬品化学／計算化学グループ、CO-ADD（抗菌試験）、DNDi（顧みられない疾患）。材料には計算材料科学のグループ。

8. 協力先を必要としないキャンペーン

どの機関との合意もデータのライセンスも必要としないキャンペーン。共通点は、入力を自分たちで生成すること（分子と結晶を規則の集合から列挙する）、計算をオープンソースのプログラムが行うこと、結果を CC0 で公開することである。この方法で薬や材料が「見つかる」わけではない。他の人々のモデルや研究室を支える計算による参照データを生み出すのである。今日の医薬品・材料分野の AI の多くは、こうして実験室なしで作られたデータセットで学習している（QM9、ANI、SPICE、OC20、OMol25）。

共通の基盤

• 番号から分子へ： 作業単位は「分子 12,000,000〜12,000,999」のような範囲である。各参加者は自分のコンピュータで規則から分子を生成するので、配布すべきデータセットはない。番号 → 混合基数の数 →（骨格、置換基の選択）→ 正規化 SMILES。規則に反する番号や、すでに生成された分子と同じになる番号は、決定的に飛ばす。
• ソフトウェア： RDKit（BSD）、xtb（LGPL-3.0）、PySCF（Apache 2.0）、Quantum ESPRESSO（GPL）、AutoDock Vina （Apache 2.0）。GPL/LGPL のツールはプログラムに組み込まず、別プロセスとして動かす。バージョンと設定はキャンペーンのマニフェストで固定する。理論レベルが混ざるとデータの価値がなくなる。
• 公開： チェーンにマークルルート、ファイルはアーカイブ層に。さらに Zenodo（DOI）と Hugging Face。これらには無料のアカウントで足り、協力関係は要らない。注目されるにはデータセット論文（arXiv / ChemRxiv）を出す。
• ライセンス： データは CC0。プロジェクト自身のコードにはライセンスがない（リポジトリに LICENSE ファイルがない）。オープンソースとして公開する前に、MIT や Apache 2.0 などのライセンスを加えるべきである。

8a. ORION-電解質（最初のキャンペーン案）

電池電解質の分子空間：溶媒、塩のアニオン、添加剤。

価値がある理由：電解質スクリーニングで最大の障壁は、分子がどの電圧範囲で分解しないかである。この分野の大規模データ（OMol25）はアクセスに条件があり、公開されている LIBE は小さい（約 1 万 7,000 種）。単一で一貫したレベルの、100 万規模の CC0 データセットは本当の空白を埋める。このレベルでの 1 分子あたりの時間は数コア時間になりうる。試作で測定する。

8b. ORION-分子

医薬品様の小分子の量子化学的参照データ：独自の列挙（GDB の手法に着想。GDB-17 は 1,660 億分子を含む）で生成した分子の配座について、エネルギーと力（ωB97M-V/def2-TZVPD）を求める。目的は創薬で使われる機械学習ポテンシャルの学習で、 SPICE / ANI に似ているが完全に CC0 である。

8c. ORION-結合

PDB の公開タンパク質構造（たとえば WHO 最重要病原体の酵素）と、自分たちで生成した分子を組み合わせたドッキングスコアとポーズ（Vina）、CC0。機械学習のベンチマークデータとして価値があり、望めば候補を将来 CO-ADD に送ることもできる。ドッキングスコアはノイズが大きいので、長期的な価値は量子化学データより低い。 PDB の利用条件は wwPDB にある （要確認）。

8d. ORION-結晶（第 2 段階）

既知の結晶型での元素置換 → 機械学習ポテンシャル（MACE-MP-0）による緩和 → Quantum ESPRESSO による DFT の確認 → 安定性（凸包）のための参照エネルギー。電池正極や触媒向けの、新しい安定な無機材料の候補。DFT が重いので後回しにする。

8e. 数学

コラッツ予想の検証、素数の間隔。プロジェクトの √2 / 3x+1 という個性に最もよく合い、検証も最も容易な選択肢だが、社会的な価値は象徴的なものである。

8f. ORION-原子核：力が原子核に及ぼす影響

強い力、電磁気力、弱い力が同位体、崩壊、反応に及ぼす影響を、実測された質量でモデル化する研究。ツール： araclar/cekirdek_modeli.py（追加ライブラリ不要）。データ：AME2020 原子質量表（IAEA、無料）。

python araclar\cekirdek_modeli.py mass_1.mas20.txt           # すべての部（約 3 秒）
python araclar\cekirdek_modeli.py mass_1.mas20.txt deneme    # 電磁気のスケール実験のみ

式（ベーテ・ヴァイツゼッカーの半経験的質量公式、MeV）：

B(Z,N) = a_v·A − a_s·A^(2/3) − a_c·Z(Z−1)/A^(1/3) − a_a·(N−Z)²/A + δ(A)
         体積     表面           電磁気（クーロン）       対称性          対

体積項と表面項は強い力の「液滴」モデルでの表現であり、a_c は陽子同士の反発である。弱い力は結合には入らない。どの同位体がベータ崩壊で変わるかは質量差が決める。

結果（AME2020 の実測 2,457 核、Z, N ≥ 8）：

実験：クーロン項に k を掛けると（強い力の項は固定。モデル内の思考実験）：

現実の世界では鉄のピークは Fe-56 / Ni-62、アルファ崩壊は A ≈ 145 から可能であり、Z ≤ 120 の束縛核の数の理論予測は 6,900 ± 500（Erler ら 2012）である。モデルはこれらと整合する。電磁気力が 2 倍強ければ、最も安定な原子核はケイ素のあたりへ移り、束縛核の数は 3 分の 1 に減る。限界：実際に微細構造定数が変われば、中性子と陽子の質量差のような他の量も変わるが、この実験はそれらを固定している。

分散キャンペーンとして： 上の式は数秒で済み、計算能力を要しない。マイニングに適した形は、原子核密度汎関数（Skyrme / HFB）による核図表全体の質量表と不確かさの解析である。各（原子核、パラメータの標本）が独立した計算で、数分から数時間かかる。目的は、中性子過剰核（r 過程：金のような重元素が恒星で生まれる過程）の質量を信頼区間付きで予測することである。オープンなソルバー（HFBTHO、Sky3D）を検討すべきである （ライセンス要確認）。

対話型ページ： araclar/kuvvet_laboratuvari.html（ブラウザでダブルクリックすれば開き、サーバーは不要）。 3 つの力をスライダーで拡大縮小し、核図表（Z ≤ 130）、結合エネルギー曲線、実測 − モデルの差、2 核子系を計算し直す。

2 核子（araclar/iki_nukleon.py。湯川型（パイ中間子交換）＋クーロン、s 波、ヌメロフ法）：到達距離 a = ħc / m_π c² = 1.414 fm。V₀ は 2 つの実測値に合わせた：三重項チャンネル 49.80 MeV（重陽子の結合エネルギー 2.2246 MeV）、一重項チャンネル 32.20 MeV（中性子・陽子散乱長 −23.74 fm）。

弱い力のしきい値。中性子と陽子の質量差 Δ（現実には 1.293 MeV）について：

• 自由中性子が崩壊する：Δ > m_e（0.511 MeV）、
• 水素原子が安定である（電子を捕獲して中性子に戻らない）：Δ > m_e − 13.6 eV、
• 太陽での p + p → d + e⁺ + ν が可能である：B_d − Δ − m_e > 0。現実には 0.420 MeV。Δ が 1.714 MeV を超えていたら、太陽はこの経路では燃えられなかった。

強い力が 14% 強ければ 2 つの中性子が、28% 強ければ 2 つの陽子が束縛されていた。27% 弱ければ重陽子が存在せず、したがってすべての重元素へ至る連鎖の最初の環がなかった。

対象範囲の限界： 原子核の構造、崩壊エネルギー、恒星内の反応。中性子輸送、連鎖反応、臨界、同位体濃縮の計算は、このレイヤーには意図的に含めない。

8g. ORION-化合物：元素が化合物をつくるしきい値

どの元素がどの比率で安定な化合物をつくるかを 2 段階で地図にするキャンペーン：安価な式が候補を選別し、残りをマイナーが DFT で計算する。

ツール：

• araclar/bilesik_laboratuvari.html：対話型の周期表（ptable.com の化合物ビューに似ている）。元素を選ぶと、可能な化合物、しきい値、推定物性、既知の化合物（Wikidata）、DFT の相（Materials Project）が並べて表示される。
• araclar/bilesik_modeli.py：データをダウンロードし、係数をフィットし、モデルを検証し、ページにデータを埋め込む。

python araclar\bilesik_modeli.py indir ham                    # 元データ（約 12 MB）
python araclar\bilesik_modeli.py veri ham veri.json            # ページ用データ＋係数のフィット
python araclar\bilesik_modeli.py dogrula veri.json             # 下の検証表
python araclar\bilesik_modeli.py tahmin veri.json Fe O         # 1 つの選択に対する候補
python araclar\bilesik_modeli.py gom veri.json araclar\bilesik_laboratuvari.html

しきい値（それぞれが次の前提条件）：

係数は実験による生成エンタルピー（Kingsbury による集成：Kim、Kubaschewski、NIST-JANAF。電荷の釣り合った化合物 798 と金属の組 751）にフィットした： k = 0.681 eV（ポーリングは 1）、c_N = 2.37 eV（ポーリングは 2.40）、c_O = −0.08 eV（ポーリングは 1.05）、k_m = 0.670 eV。

予測される物性： トルコ語の体系名（demir(III) oksit＝酸化鉄(III)、diazot pentoksit＝五酸化二窒素、amonyum nitrat＝硝酸アンモニウム。多原子アニオンとアンモニウムの型 33 種。ラボは現在、化合物をトルコ語で命名する）、結合の種類とイオン性、単一分子の形と極性（VSEPR。NH₃ は三角錐、SF₄ はシーソー形、XeF₄ は平面四角形、ClO₂ はラジカル）、イオン結晶の格子エネルギー（カプスチンスキー。NaCl 746、MgO 3,799、CaF₂ 2,638 kJ/mol、ボルン・ハーバーの値からのずれ 0〜8%）、元素への分解温度。既知の DFT の相については電気的な分類、ビッカース硬さ（Chen のモデル、弾性率から）、磁気モーメント。

検証（dogrula、2026-10-26 のデータ）：

結果からわかること：

• 電荷の釣り合いは電気的なふるまいのしきい値である： 電荷の釣り合った化合物の 81〜92% は半導体か絶縁体であり、釣り合わないものの 65% と金属の組の 96% は金属的である。
• ポーリングの式を実験にフィットさせると、窒素の補正をひとりでに再発見する（2.37 eV、ポーリングは 2.40）。 N₂ の三重結合の余分な安定性がデータにはっきり現れている。一方、酸素の補正は k が小さくなることに吸収される。
• エネルギーの式は大まかな順位しか与えない。 ポーリングの和は結合の数に比例するので、同じ金属のすべての酸化物に O あたり同じエネルギーを与えてしまい、FeO と Fe₂O₃ を区別できない。MP にある安定な（金属＋非金属）2 元化合物の 60% は生成されない：混合原子価（Fe₃O₄）、金属過剰（Ni₃P）、多原子アニオンを含むもの（FeS₂ の S₂²⁻）、リストにない酸化数の相。ページはこれらの相を「モデルが生成しない相」として別に表示する。
• エリンガムのしきい値は大きさとして正しい（HgO は約 500 °C で分解し、モデルは 612 °C）。Ag₂O ではずれが大きい（30 °C、現実には約 200 °C 以上）。モデルは固体のエントロピーをゼロとみなすので、Ag₂O では −66 ではなく −103 J/mol·K になる。

分散キャンペーンとして： 式の計算はミリ秒で済み、マイニングには値しない。候補を無料で選別するためのものである。マイナーに配る仕事は、選別を通過した各（組成、構造）の DFT 計算である。式の 0.42 eV/原子の誤差を 0.12 に下げる段階である。

9. マイニングの式

第 1 節と第 5 節の規則を数式で表したもの。記法：h はブロック高、e は期間（E = 720 ブロック ≈ 1 日）、 β = BILIM_PAYI。金額はすべて最小単位（10⁻⁸ コイン）に切り捨てる。

9a. 報酬の配分

R(h)        = 10 コイン · 2^(−⌊h / 1,050,000⌋)        ブロック補助金（zorluk.cpp: blok_odulu）
F_h         = ブロック内の取引手数料
P_h         = ⌊β · R(h)⌋                               科学プール（鍵のないプール出力）
A_h         = ⌊0.05 · R(h)⌋ + ⌊0.20 · F_h⌋              アーカイブプール（TASARIM.md 第 11 節）
マイナー_h   = R(h) + F_h − P_h − A_h

β = 0.5 のとき、マイナーは補助金の 45% と手数料の 80% を受け取る。キャンペーンがないときは P_h = 0。

手数料からは取り分を取らない。 手数料の半分がプールに行くなら、マイナーは利用者に「手数料は別の出力で私に払ってほしい」と言えてしまう。チェーンはそれを見分けられず、取り分は抜け落ちる。一方、補助金はコンセンサス規則からしか生まれないので、抜け落ちることはない。

各ブロックでのプール残高：

H_h = H_(h−1) + P_h + K_h − Ö_h          K_h：没収したステーク、Ö_h：行った科学への支払い

没収したステークはマイナーではなくプールへ行く。マイナーが罰則を生み出すことに利害をもたないようにするためである。

9b. 期間ごとの予算と支払い

B_e     = ⌊λ · H_e⌋,  λ = 1/30                     その期間に配る額（H_e：期間開始時の残高）
π_u     = w_c · c_u                                 作業単位の点数
Π_j     = Σ π_u   （j が参加し、多数派と一致した単位）
Ö_j     = ⌊B_e · Π_j / Σ_i Π_i⌋                      j のその期間の支払い

• c_u：単位の参照コスト。キャンペーンのマニフェストで作業種別ごとに固定され、参照マシンで測ったコア秒で表す。参加者の実際の所要時間は使わず、申告することもできない。
• w_c：キャンペーンの重み（科学委員会がマニフェストで定める）。優先キャンペーンのコア秒ほど価値が高く、参加者はそちらへ移る。
• 毎日プールの 1/30 を配る。参加者数が変動しても支払いは滑らかで、長期的には配った額＝入った額になる。均衡残高は H* = 30 × 1 日の流入額。β = 0.5 なら 1 日の流入は 720 × 5 = 3,600 コイン、H* ≈ 108,000 コイン。
• 一致した k 人はそれぞれ単位の満点を受け取る。全員が同じ計算をしたからである。冗長性のコストは、コア秒あたりの支払いが k で割られることである。

9c. 割り当て（抽選）

単位 u は高さ h_u で開かれる。次のブロックが見つかると：

σ_u      = ORION-512(ブロックハッシュ(h_u + 1) || "bilim-atama" || u)
U_i      = ORION-512(σ_u || アドレス_i) / 2^512           (0, 1) 上の一様分布
a_i      = S_i · ρ_i                                     ステーク × 評判
キー_i    = −ln(U_i) / a_i
選ばれる者 = キーが最も小さい k 人の参加者                  （Efraimidis–Spirakis の重み付き抽出）

• 単位が開かれた時点ではブロックハッシュがわからないので、誰もどの単位を受け取るかを選べない。h_u + 1 を見つけたマイナーがハッシュを変えるにはブロック全体を犠牲にしなければならず、得られるのは仕事を 1 つもらうことだけなので割に合わない。
• 選ばれる確率は a_i に比例する。ステークを多くの ID に分けても合計の確率は上がらず、新しい ID は低い評判（ρ = 0.5）から始まるのでむしろ下がる。ρ は一致した単位ごとに上がり（最大 1）、不一致のたびに半分になる。

9d. コミット、公開、判定

コミット_j = ORION-512(r_j || n_j || アドレス_j)     r_j：正規化した結果、n_j：ランダムな 32 バイト

• コミットの期間 T_t = 30 ブロック（約 1 時間）、公開の期間 T_a = 30 ブロック。参加者のすべてのコミットメントは、 1 時間ごとに 1 つのマークルルートとして 1 つの取引にまとめる（第 5 節）。
• 数値の結果はマニフェストの格子に丸める（例：エネルギーは 1 meV/原子）。一致＝正規化した結果のハッシュが等しいこと。ノードは科学ソフトウェアを動かさず、ハッシュを比べるだけである。
• 等しい結果が ⌊k/2⌋ + 1 個以上あれば単位を受け入れる。多数派がなければ、新しい k 人で単位を開き直し、誰も罰しない。格子の境界にかかった誠実な計算でも結果が分かれうるからである。

9e. 罰則と監査

公開しない                      K = 0.01 · S_j
多数派と異なる結果              K = 0.10 · S_j    （多数派が 2 以上で、監査が多数派を支持した場合）
監査                            受け入れた単位の q = 5% を σ から選び、k_d = 3 人の新しい参加者に再計算させる

単独で不正をする（計算せずに結果をでっち上げる）参加者は必ず見つかる。残りの k − 1 個の誠実な結果が互いに一致するからである。本当の脅威は共謀である。重みの f の割合を握るグループが同じ偽の結果を出すことだ。見つからずに済む確率：

P_逃れる = P_多(f, k) · (1 − q · (1 − P_多(f, k_d))),    P_多(f, k) = Σ_{m > k/2} C(k, m) f^m (1 − f)^(k−m)

誠実さの条件。誠実な参加者が 1 単位から得るのは v_u − κ·c_u、計算せずに結果をでっち上げる者が得るのは P_逃れる·v_u − (1 − P_逃れる)·0.10·S_j である（v_u：単位への支払い、κ：1 コア秒の電気代）：

不正は割に合わない  ⇔  (1 − P_逃れる) · (v_u + 0.10 · S_j)  >  κ · c_u

支払いが計算コストをまかなう限り（v_u > κ·c_u / (1 − P_逃れる)）、利益目的の不正はステークがなくても割に合わない。ステークの本当の役割は、利益ではなくデータを壊すことを狙う攻撃者に高い代償を払わせることである。偽の単位を 1 つ通すための期待コストは (1 − P_逃れる) / P_逃れる · 0.10 · S_j。例：f = 0.1、k = 3、S_j = 100·v_u なら、通った偽の単位 1 つにつき約 360·v_u かかる。より強い攻撃者に対しては k = 5 を使い、結果は公開前に科学委員会の無作為抽出でも監査する。科学レイヤーでの不正はチェーンを危険にさらさない。データの一部を壊すだけであり、マニフェストの版によって元に戻せる。

9f. 均衡：「計算能力の半分」

参加者は 1 コア秒ごとに、プルーフ・オブ・ワークか科学のどちらかに使える。人々が稼ぎのよい側へ移るにつれ、計算能力あたりの稼ぎは両側で等しくなる：

マイナー_h / X_PoW = P_h / X_科学    ⇒    X_科学 / X_PoW = P_h / マイナー_h = β·R / ((0.95 − β)·R + 0.80·F)

手数料が小さいうちは、計算能力の半分がひとりでに科学へ向かう。手数料が増えるにつれ、均衡はプルーフ・オブ・ワークの側へ移る。この均衡を決めるのは規則ではなく稼ぎであり、アプリの「科学 %」スライダーは本人のコンピュータでの選択である。限界：GPU と CPU では 2 つの仕事での効率が異なる（ORION は CPU 向きで、DFT も主に CPU を使う）。攻撃のコストはマイナーの収入に依存するので、β が大きくなるほどチェーンの乗っ取りは安くなる（第 1 節）。

出典

• ZINC-22: PMC9976280, ZINC22 wiki
• Enamine REAL Space: BioSolveIT、2025 年 9 月の更新, REAL Space
• VirtualFlow: Nature 2020（PubMed）, VirtualFlow 2.0 プレプリント
• Uni-Dock: GitHub, 論文
• AutoDock Vina: GitHub · GNINA: GitHub, GNINA 1.0
• WHO BPPL 2024: WHO
• CO-ADD: オープンデータベース, 機関の紹介
• TDR Targets: 概要
• CARD: card.mcmaster.ca, ライセンス
• ChEMBL: Bioregistry
• AlphaFold DB: NAR 2024
• OMol25: arXiv 2505.08762 · OMat24: arXiv 2410.12771
• OC20 / OC22: OC20, OC22
• ODAC25: ColabFit
• fairchem: GitHub · UMA: arXiv 2506.23971
• MACE: PyPI mace-torch
• Materials Project: re3data
• LIBE: Scientific Data 2021
• CoRE MOF 2024: Zenodo
• BOINC: BOINC: A Platform for Volunteer Computing
• Ofelimos: ePrint 2021/1379, FRLS: ePrint 2025/2091
• AME2020 原子質量表: IAEA AMDC（Wang ら、Chinese Physics C 45, 030003, 2021）
• 裸の Dy-163 の束縛状態ベータ崩壊: Jung ら、Physical Review Letters 69, 2164 (1992)
• 裸の Re-187 の束縛状態ベータ崩壊: Bosch ら、Physical Review Letters 77, 5190 (1996)
• 束縛核の限界: Erler ら、"The limits of the nuclear landscape"、Nature 486, 509 (2012)
• 原子の全電子結合エネルギーの式: Lunney, Pearson, Thibault、Reviews of Modern Physics 75, 1021 (2003)
• 電荷の釣り合い＋電気陰性度による選別規則（SMACT）: Davies ら、"Computational screening of all stoichiometric inorganic materials"、Chem 1, 617 (2016)
• 結合エネルギーとイオン性: L. Pauling、The Nature of the Chemical Bond、第 3 版、Cornell University Press (1960)
• 格子エネルギー: A. F. Kapustinskii、Quarterly Reviews, Chemical Society 10, 283 (1956) · イオン半径: R. D. Shannon、Acta Crystallographica A32, 751 (1976)
• 硬さのモデル: Chen, Niu, Li, Li、Intermetallics 19, 1275 (2011) · エリンガム図: H. J. T. Ellingham、J. Soc. Chem. Ind. 63, 125 (1944)
• 実験による生成エンタルピー: Kim, Meschel, Nash, Chen、Scientific Data 4, 170162 (2017)。Kingsbury による集成: Wang ら、ChemRxiv 14593476（figshare, CC BY 4.0）
• 実験によるバンドギャップ: Zhuo, Mansouri Tehrani, Brgoch、J. Phys. Chem. Lett. 9, 1668 (2018)（figshare, CC BY 4.0）
• Materials Project: Jain ら、APL Materials 1, 011002 (2013)。2018 年版のスナップショットは matminer 経由（Ward ら、Comput. Mater. Sci. 152, 60, 2018）
• pymatgen のリソースファイル（MIT）: GitHub（Ong ら、Comput. Mater. Sci. 68, 314, 2013）
• 元素の性質: PubChem 周期表 · 既知の化合物とトルコ語名: Wikidata（CC0）、QLever エンドポイント経由
• 重み付き抽選: Efraimidis, Spirakis、"Weighted random sampling with a reservoir"、Information Processing Letters 97, 181 (2006)