«Просто исправить стоимость для каждой примитивной операции и суммы» сделать нелегко. Сетевая цепочка динамически определяет истинное значение своего токена для любого значения, которое предоставляет минимум его токена. Например, газ стоит того, что мир хочет заплатить за его использование в качестве единицы расчета на мировом компьютере. Чтобы точно измерить усилия, потраченные сетью, чтобы обеспечить значение единицы его токена, нам нужен алгоритм DMMS (как описано в бумаге боковых цепей) &, что является не чем иным, как блок-цепочкой для проверки работоспособности.
Для каждой примитивной операции требуется ее собственная блочная цепь, чтобы ее значение определялось точно. Когда несколько маркеров реализованы по одной цепочке, например, цветные/пользовательские монеты, он не может точно измерить значение единицы.
В случае функционального языка можно представить себе блок-блок lisp с примитивами paul graham, реализованными как код операции (интерпретатор на основе стека не имеет значения), который будет завершен, но будет страдать от проблемы определения истинного значения каждого кода операции; самый дешевый всегда будет оскорблен, как видно на ethereum (дешевизна функции самоубийства была спама).
Таким образом, для достижения функциональной цепочки цельной цепочки требуется цельная сеть из 7 цепей, каждая из которых независимо определяет истинное значение усилий, необходимых для этого примитивного вычисления.
Люди, у которых есть альтернативы доказательству работы, не согласятся с вышеизложенным. Cryptocurrency - это новое поле, и математика недостаточно зрелая, чтобы кто-нибудь мог предъявить конкретные требования.
Такая мера не может быть независимой от стратегии оценки. Внешняя оценка приведет к сокращению сроков до нормальной формы, что самое внутреннее не будет. Например, 'const() (fix id)'. При внешней оценке этот термин будет сведен к нормальной форме за один шаг. С самой внутренней оценкой это приведет к бесконечному циклу 'fix id', поэтому стоимость будет бесконечной. 'fix' - это' Data.Function'. – jpath
На самом деле это не зависит от стратегии оценки, если вы определяете ее как минимальное количество шагов для сокращения срока до нормальной формы по всем возможным стратегиям оценки. Но это будет равно количеству шагов, необходимых при использовании ленивой оценки, и я не думаю, что это было бы полезной мерой для любой другой стратегии оценки. – jpath
К шагу я имею в виду применение лямбда-абстракции к ** одному ** аргументу или применение примитивной операции к ее аргументам. – jpath