CompuCoin

提供: tezos-wiki
移動先: 案内検索

これは、ブロックチェーンの作成に費やされるコンピューティングパワーの計算能力の大部分を実際に使用するようにBitCoinプロトコルを変更すると同時に、BTCの「バッキング」と同様のものを作成するという提案です。

この提案には、2つの自由なパラメータK1とK2があり、これは実装時にコミュニティによって修正されます。

1)トランザクションと並んで、ブロック・チェーン内でエンコードされるべき入札を計算するための標準化された方法を作成する。私は、3-SATのような簡単なNP完全な問題表現と、入札とに問題を提起することを提案する。また、ソリューションを投稿するための標準化された方法が必要です。

2)上記の標準化された形式で書かれた計算力の入札を、ブロックチェーン内のトランザクションとともに符号化することを可能にする。ブロックに符号化される最大の最悪ケースの時間複雑度が現在のハッシュ難易度(ある比例定数K1)。

3)すべてのノードは、ブロックチェーン内で正常に符号化された現在の最大有効計算パワービッドのリストをメモリ内に保持する(これを「現在のタスク」と呼ぶ)。

4)現在の課題の解決策は、作業証明の一形態として採用され、ブロックチェーン内の次のブロックを生成するために必要なハッシュ作業証明の難点を割り引くために使用することができます。したがって、ノードは、ハッシングに加えて現在のタスクの解決策を探すために、コンピューティングパワーの一部を捧げることを選択できます。しかし、各ノード(最悪の場合)の努力の一定割合K2は常にハッシングに専念しなければならない。すなわち、ブロックは、(a)(現在のタスクを解決する最悪の場合の努力)+(最悪の場合の作業証明の努力)の合計がいくつかの数を超える限り有効であると考えられ、b )=((現在のタスクを解決するための最悪の場合の努力)+(最悪の場合の作業証明のハッシュ努力))* K2

これを実装するには、ブロックチェーンを分岐させることを提案します。

ノート:

  • 非決定論的多項式時間問題の形でコンピューティングパワーを販売する動機は次のとおりです。
    • BitCoinの鉱夫プールの恥ずかしい並列性を利用する
    • 問題の答えをエンコードするのに必要なバイト単位のスペースが非常に困難な問題であっても非常に小さい問題を許容する(これらの答えはブロックチェーンにコード化されなければならない)
    • 発生した問題の最悪の場合の時間の複雑さを簡単に測定できるようにする

3-SAT表現への非決定論的オートマトンの変換は、概念的には比較的単純であるため、例えば3-SATは良好である。 TSP。

  • コンピューティングパワービッドの最大時間の複雑さを制限する動機は、他のメンバーを割引ブロックから奪い取ることができるようにするために、1人の鉱夫が既に答えを知っている大きな時間の複雑さの問題を引き起こさないようにすることです。
  • 最高の入札を実施する動機付けは、各鉱夫がどの入札を選ぶことができれば、それぞれの鉱夫が既に回答を知っている問題に対して自分の入札を提出することができるということです。このようにして、ハッシュを生成するたびに割引ブロックを生成することができます。入札額が大きく、時間の複雑性が限られている場合、これをしようとする鉱夫は定期的に他の競合する鉱夫によって解決される問題を抱え、大量のBTCを支払わなければならない。
  • ハッシュの形を維持するために、各作業証明の量をいくらか必要とする動機付けは、ノードが既に解決策を知っている問題を提起することによって、ノードがブロックチェーンを制御できないようにすることです。
  • このシステムは、マイナープールからコンピューティングパワーを購入したい人は、まずBTCを取得しなければならないことを意味し、BTCの価格を引き上げる
  • これは、米国の所得税やペトロダールが米ドルに裏付けを提供するのと同じ意味でのみ「裏づけ」しています.BTCは一定の計算力で償還することはできませんが、多くの人々がBTCのみを支払いとして受け入れる一組のサプライヤーから購入したいと考えている少なくとも1種類の商品です(これは、この仕組みを通じた鉱夫プールによって提供されるNP完全な解決力がより安くなることを前提としていますNP完全コンピューティングパワーの他の売り手よりも、おそらくそうであると思われます。また、安価に利用できる場合、多くの人々がこの形式でコンピューティングパワーを購入したいと考えています。
  • 鉱夫は、BTCへの支援のようなものを提供するので、これを実装するチェーンに切り替えることを奨励しています.BTCは、1 BTCの価格にフロアを提供します。
  • この提案は、現在のタスクがほとんど常に解決策を知っているノードによって引き起こされる問題で構成されているナッシュ均衡または同様のものがないことをゲーム理論的に研究する必要があります。私はK1とK2の選択が重要かもしれないという直感を持っています。

- BayleShanks



https://en.bitcoin.it/wiki/Intrinsic_worth_brainstormingも参照してください。