λ項を減らすために必要な努力を正確に測定する方法は？

Question

Ethereumなどのブロックチェーンは、スマートコントラクト処理仮想マシンでスタックレジスタベースの言語を使用します。このモデルは、プログラムを実行するために必要な作業量を測定する単純なメカニズムを提供するので非常に便利です。各プリミティブ操作と合計のコストを修正するだけです。

仮想マシンの代わりに、スマートコントラクトを特長とするブロックチェーンが、ハスケルのコアなどの関数型プログラミング言語を使用しているとします。機能的なプログラムを実行するために必要な作業の量を測定する簡単で正確な方法はありますか？ノードがあらゆる評価戦略を使用できることを念頭に置いて、そのような測定は普遍的でなければなりません。

Answer 1

"各プリミティブ演算と合計のコストを修正するだけです"は簡単ではありません。ブロックチェーンネットワークは、そのトークンの最小値が提供する任意の値について、そのトークンの真の値を動的に決定する。たとえば、世界のコンピュータ上で計算の単位として使用するために、世界が支払うことを望むものはどれも価値があります。トークンの単価を保証するためにネットワークが費やした労力を正確に測定するには、DMMSアルゴリズム（サイドチェーンペーパーに記載されているように）&が必要です。これは作業証明のブロックチェーンに過ぎません。

各プリミティブ演算は、その値が正確に決定されるために独自のブロックチェーンを必要とします。 1つのブロックチェーンで複数のトークンが実装されている場合（たとえば、色付き/カスタムコインの場合）、ユニットの値を正確に測定することはできません。

関数型言語の場合、paul grahamの7つのプリミティブがopcode（スタックベースの解釈子は無関係です）で実装されたlispブロックチェーンを想像できますが、これは完全なチューリングですが、真の値を決定するという問題があります各オペコードの最も安価なものは、エテリアム（自殺機能の安さがスパムされている）で明らかであるように、常に虐待されるだろう。

したがって、機能的チューリング完全ブロックチェインを実現するには、それぞれプリミティブ計算に必要な労力の真の価値をそれぞれ独立に決定する7ブロックチェーンの編組ネットワークが必要です。

作業証明の代替案を持っている人は、上記に同意しません。 Cryptocurrencyは新しい分野であり、数学は誰でも具体的な主張をするのに十分成熟していません。