Это продолжение с не по теме обсуждения на об использовании программ Снарка в качестве альтернативной модели проверки crytocurrency. Выполнение программы корректность может быть проверена с СНАРК. Смотрите здесь для получения дополнительной информации о SNARKs: http://eprint.iacr.org/2013/507.pdf

Основная идея заключается в том, что шахтеры делают все проверки и предоставить доказательство правильности знаний о правильных неизрасходованных выходах, какие другие узлы могут проверить без необходимости проверки транзакций самого.


В самом деле. Если даже один хэш будет увеличивать сложность слишком много (не правда ли? Я не знаю), я полагаю, вы могли бы получить неизрасходованные выходы от запуска обычной программы проверки, а затем предоставить дерево хэш в качестве вклада в программу СНАРКА которая проверяет, что неизрасходованные выходы соответствуют в конце исполнения. Таким образом, вам нужен только булев выход для программы СНАРКА.


Это то, что я думал. И если можно встраивать предыдущие доказательства в новые доказательства, то блоки могут содержать доказательства того, что предыдущее доказательство было проверено. Затем вам нужно будет только последний блок, потому что блок будет выступать в качестве доказательства для всех предыдущих блоков. Это было бы идеально. Блоки должны были бы затем рассчитать и предоставить доказательства для общей работы, так что узлы могут просто выбрать блок с цепью с самой высокой общей доказанной работой.