ETC開発ロードマップに関するいくつかの考えと提案

ここ数週間、私は、利用可能なリソースとコミュニティの規模を考慮して、Ethereum Classic (ETC) がどのように発展すべきかについていくつかのアイデアを考えてきました。特に中国には、優れた鉱夫の基盤があるようです。コードを書く能力のある熱心なメンバーがかなりいます。取引所は ETC を資産として上場することに満足しているようです。 ETC が外部からの攻撃に対して耐性があることが証明されたため、ウォレットはまもなく ETC をサポートするようになります。

したがって、ETC の基盤は強固であるように見えますが、ETC やコンピューティング能力を悪意を持って攻撃する陰謀グループが外部に存在する可能性があります。しかし、このような出来事は通常は長続きせず、攻撃のコストが攻撃によってもたらされる利益を上回ると、陰謀はすぐに消滅します。したがって、私たちはコミュニティとして、これからの旅路において団結し続ける必要があります。

この投稿では、会話を始めるためのいくつかの提案を紹介します。私の目的は、すべての人に尋ねることではなく、思考実験として「もしも」を尋ね、それがどこまで進むことができるかを見ることです。いくつかの点は本当に多くの肉付けが必要ですが、他の点は十分に簡単に行うことができます。ですので、できるだけ詳しくコメントしてください。もっと良いアイデアを知りたいです。

コンセンサスの時代

何度も耳にしているように、イーサリアムにはコンセンサスの変更を強制する「爆弾」があります。 Casper に関する初期の研究は慎重に見れば有望に思えますが、その成功に関わらず、最終結果は同じです。つまり、鉱山労働者が解雇されるのです。マイナーは当初から価値があり、エコシステムに貢献していることが証明されています。彼らが突然職を失ってしまったら残念だ。

代わりに、2 つの目的を果たすハイブリッド アプローチへの段階的な移行を望みます。まず、DApp パラダイムと密接に結びついた便利なプルーフ オブ ワーク アルゴリズム (つまり、難易度爆弾を取り除くことも意味します) を見たいと思います。第二に、イーサリアム保有者が自らの保有資産を活用して、プラットフォームの将来について有意義な決定を下せるようになることを望んでいます。

数人の VCU 研究者がハイブリッド化の形式化を提案しており、これがこの取り組みの基礎として役立つと私は考えています。 POW の有効性に関しては、Permacoin と Spacemint が提案した提案にはいくつかの利点があり、コンセンサスの観点から分散型ストレージに関する会話が始まりました。 DApps は複雑さとストレージ要件を増加させ、それによって分散型データベースとネットワーク セキュリティの構築を推進します。

IOHK は、Permacoin にヒントを得た Rollerchains と呼ばれるもののホワイトペーパーを公開する準備をしており、これはこのシステムにとって良い足がかりとなる可能性があります。皮肉なことに、私たちは来週、証明可能な安全性を備えたプルーフ・オブ・ステーク・アルゴリズムをリリースする準備も進めています。これは、コンセンサス アルゴリズムに対する私たちの不可知論を示していると思います。

POW メカニズムの変更に加えて、考慮すべき改善点がいくつかあります。マイニング問題のアウトソーシングにより、マイニングプールやクラウドコンピューティングファームが形成され、全体的なマイニング能力が少数の人々の手に集中するようになりました。アンドリュー・ミラー氏は、鉱業投資を健全なビジネスモデルとして維持しながら、この問題に対処するという素晴らしい仕事をしました。

改善が必要な他の 2 つの領域は、Ghost と検証時間です。 Ghost は、ブロックチェーン構造を、より緩い有向非巡回グラフ構造に変換します。最近の分析により、Ghost にはいくつかの問題があることが分かりました。第二に、スマート コントラクトの複雑さ、相互作用、およびサイズが増大します。それらの検証はビットコイン取引と同じではありません。検証時間を短縮できれば素晴らしいと思います。

Ghost に関しては、同じ作者が現在 Spectre と呼ばれる代替品の開発に取り組んでおり、これには大きな利点があります。 ETCに搭載できる改造フォームもあると思います。

検証時間に関しては、プルーフ・オブ・ワークや SNARK 証明などの研究が、契約検証が線形複雑性クラスになるための良い方向性を示しているようです。メインチェーン上にどれだけ保持すべきか、またどれだけをプライベート SMC グループにオフロードできるかは未解決の問題であり、正当性の証明を通じて検証する必要があります。

ステーク証明取引の場合、ガバナンスの問題、財務の仕組み、望ましくないフォークや悪意のあるフォークに対する第 2 層の保護の追加などのトピックについて利害関係者が有意義に投票できるシステムを編成するためのオプションが多数あります。最初の 2 つについては次のセクションで説明し、最後の 1 つについては VCU の論文で説明します。

このトピックに関する副次的な考えとして、スケーラビリティの問題を解決しながら新しいコンセンサス アルゴリズムを実装するのは賢明ではないと思います。スケーリング問題を解決するには、進化する暗号化技術、オーバーレイ プロトコル、市場メカニズムの普及を組織的に使用する必要があると考えています。

マネージメントと貨幣時代

イーサリアムの最も重要な問題は技術的なものではありません。コミュニティの分裂は管理の不備の結果です。人々は、一連の悪い選択肢の中で、ハードフォークが最良の選択肢であると考えています。ハードフォークは法的に必要であると考えられています。しかし、フォークによってコミュニティが破壊されないとは想定できません。 ETC は驚くほど規模が大きく、十分な資本を有する少数派です。

ETC では、相互に関連する 2 つの問題が発生します。ハードフォークの騒ぎが収まるにつれ、ETC は開発の方向性とロードマップについて決定を下し、行動を起こす必要があります。イーサリアム財団はETCを支援しないことを明確にしており、ETCコミュニティの小グループは最近独立を宣言し、結婚生活を終わらせて自分の家に戻りました。

したがって、ETC には、持続可能な何らかの形の意思決定機関と資金調達メカニズムが必要です。また、システムは個人崇拝の形成を防止し、単一の中央集権的な組織によって支配されてはならないことも付け加えておきたい。そうでなければ、脱却する意味がどこにあるのだろうか？

幸いなことに、数十年にわたるイノベーションによって、膨大な成長、実験データ、そして腐敗に対する抵抗力をもたらす素晴らしいアイデアのパイプラインが生み出されました。そのうち3つを挙げてみます。

まず、Dash は Vault モデルを導入しました。つまり、各ブロックの Coinbase 報酬は 3 つのプール (45、45、10) に分割され、45% がマイナーに、45% がマスターノードと呼ばれるプールに、10% がトレジャリー プールに分配されます。誰でも、少額の手数料を支払えば国庫に資金を要請することができ、その手数料は毎月決済されます。マスターノードは提案に投票します。賛成票数が反対票数を10%上回った場合、提案は可決されます。

少なくとも 1,000 ダッシュを持つ人なら誰でもマスターノードになることができ、現在ネットワークには 4,000 を超えるアクティブノードが存在します。このウェブサイトでは提案とノードの情報を提供します。たとえば、この提案は支払いシステムのコア開発者向けです。承認されたもう一つの提案は、Dash に Slack サポートを追加することでした。最近、Slack に参加したときに、チップとして初めて Dash を受け取りました。

ダッシュ モデルには適切なゲーム理論と情報セキュリティ分析が必要ですが、このアイデアには原則としてメリットがあると思います。さらに、これはすべてのオープンソース プロトコルが抱えるいくつかの一般的な問題に対する斬新な解決策であるように思われます。 IOHK はダッシュ モデルを研究し、その結果に関するホワイト ペーパーを公開します。 Dapps、コア開発、学術研究への資金を増やすために、ETC に改善と変更を加えていきたいと考えています。

第二に、ソフトフォークとハードフォークに加えて、ETC プロトコルを進化させるメカニズムが必要です。ピーター・サバーのノミックをベースにしたアーサー・ブライトマンのテゾスシステムは、潜在的な解決策を提供します。基本的な考え方は、暗号通貨をコンセンサス、ネットワーク、トランザクションという 3 つの異なるモジュールの組み合わせとして考えることです。

Tezos モデルは、これらのモジュールを形式化し、関係者に新しい構成を提案するメカニズムを提供します。前提は、意味のある構成はすべてこの方法で表現できること (完全性前提)、そして、インストール時に適切にパラメータ化されていれば、システムはより競争力のあるものに進化すること (生産的進化前提) です。

Arthur 氏は、Strange Loop パターンの一部またはすべてをカバーする Ocaml コードをリリースする予定であることも示しており、私たちはこのシステムの実現可能性を研究することを楽しみにしています。このコンセプトは優れているようで、組織的かつ体系的なプロセスでプロトコルをアップグレードするための非常に優れたメカニズムを提供します。

最後に、ラルフ・マークルはDAO民主主義のアイデアを提案しました。マークルは最近、よく書かれたホワイトペーパーを起草した。基本的な考え方は、未来思想に触発されて、価値と信念を切り離し、最も知識のある利害関係者に未来を予測させるインセンティブ システムを作成し、その実行に直接的な役割を与えないというものです。

これを実現するための具体的なメカニズムとしては、予測市場やその他のメカニズムの利用などが挙げられます。しかし、私の主張は、ホワイトペーパーやインタビューにこれ以上何も付け加えるものではありません。ただ、Merkle のアイデアは Tezos のコンセプトよりもはるかに優れていると言えます。

プロトコルを修正するための直接または委任された利害関係者の投票プロセスの代わりに、人々は最も高い予測効用を持つ投票を使用して、プロトコル内の元帳を進化させることができます。元々の社会契約を守るために、いくつかの制限を設ける必要がありました (そのシステムの十戒を考えてみましょう)。モデルには、予測市場メカニズムから始まるトレーニングが必要ですが、これは単なる参照であり、コマンドではありません。

金融政策に関しては、イーサリアムは最初から価値の保存手段としてではなく、むしろ計算燃料の源として設計された。プルーフ・オブ・ステークへの転換は金融政策を変え、インフレの観点からより魅力的なものとなるでしょう。しかし、ETC は独自の道を決定する必要があります。

マイニングモードを維持する場合は、ビットコインシステムに似た減衰メカニズムを使用することを提案します。このモデルに関連するホワイトペーパーが書かれているかどうか、そして突然のコインベース報酬の半減よりもマイナーに利益をもたらすより良い方法があるかどうかを確認するために、包括的な文献レビューを行うとよいでしょう。 ETC コミュニティのマイナーと相談して、彼らがどのようなポリシーを好むか、また Dash スタイルの金庫モデルをサポートするかどうかを確認することをお勧めします。

コードが法律となる時代

コードは法であり、コード実行から必ず結果が得られるという哲学を持っている場合は、結果の正確性について強力な保証が必要です。コード検証のトピックは非常に豊富で、多くの興味深いテクニックやツールが満載です。おそらく、このトピックに関する最も簡潔なテキストは、Benjamin Pierce 著の「Software Foundations」という本にあります。

このトピックの豊富さにかかわらず、正確性の問題を解決するのは簡単な命題ではありません。実際には、問題にはスマート コントラクト、コンパイラー、仮想マシンの 3 つのレベルがあります。スマート コントラクト レベルでは、直接証明を備えた機能的な DSL が必要です。この目的で Idris を使用した最近の論文があり、Haskabelle で行われた作業は非常に有望です。契約の意図を詳しく説明するメタ言語があればいいでしょう。この点に関しては、Prolog コミュニティがいくつかの答えを持っているかもしれません。

スマート コントラクトは仮想マシン上で実行されます。安全性や正確性を低下させるバグやアーティファクトはコンパイラの欠陥であり、パラダイムの意図を考慮すると発生するべきではありません。したがって、コンパイラの品質についてかなり詳細な分析を実行することが賢明であると思われます。 Inria の CompCert プロジェクトはその一例です。これは関数型DSLです
これは実行するのが桁違いに簡単です。

結局のところ、EVM の性質は私の知識を超えており、素晴らしい保証を生み出す素晴らしい理論が存在することは確かですが、私は多くのアドバイスを提供することはできません。私の最善のアドバイスは、EVM の開発をより広範な VM コミュニティが行っていることに限定することです。 EVM を、JVM のようにより理解されサポートされているもの上で実行するように移行した方が理にかなっています。この変化により、開発者は言語の自由度をさらに高めることができます。

つまり、パラダイムにはコストの投資が必要です。コードは法律であり、正確性に対する高い責任を伴います。この要件は、少なくとも、開発者がスマート コントラクトを検証するための、より優れた教育法とリファレンス ライブラリの必要性を認めています。最善の場合でも、ミッションクリティカルなソフトウェアのベストプラクティスを注意深く観察し、これらのプラクティスを実装するために多額の投資が必要になります。

要約する

ここまで読んでくださった方には、この記事を読んでくださったことに感謝いたします。この投稿は、コミュニティが会話を始めるための単なる提案です。より優れた、より形作られたアイデアを見たいです。また、これらのアイデアが、過去の失敗を説明する、一貫性があり、現実的で、理解しやすいロードマップに変換されることも望んでいます。

私はいつでも開発ロードマップの議論に参加する用意があり、その実装を手伝うことを楽しみにしています。