Это не две сделки, это одна сделка, а также количество входов сделок и их пути Merkel. Однако, если вы утверждать, что вход просто не существует не существует компактное доказательство, что в настоящее время (хотя один может быть добавлен с дополнительным обязательством). Доказывая вещи, как "coinbase занимает слишком много субсидий" также требует дополнительных данных. Я перечислил много (большинство?) Из вещей, которые нуждаются в дополнительных данных, чтобы доказать долгое время назад:
https://en.bitcoin.it/wiki/User:Gmaxwell/features#ProofsБольшой один не хватает данных.
проверка заголовков SPV
Размер заголовка не влияет на количество транзакций в секунду, так что я думаю, что SPV узлы можно предположить, чтобы проверить заголовки.
Создание цепочки заголовков корня для всех других доказательств является разумным.
Даже если некоторые SPV узлы только сохранить 10-20k новых блоков, это, вероятно, будет безопасным.
Доказательство недействительных сценария
Если P2SH было обязательным, то это стало проще. Весь сценарий и релиз скрипт включен в сделку расходов.
Это еще надо доказать, что выход на самом деле существует. Это может быть обработано UTXO системы фиксации.
Если изменения Merkle дерева разрешено, то Merkle дерево может также иметь пути к хэшу для всех выходов. Это держит доказательство существования легче.
В противном случае, не может быть правилом, что сделки не может быть более 4-х выходов. Это (несколько) ограничивает размер сделок.
Доказательство двойных расходов
Система UTXO фиксации также будет охватывать это.
Доказательство ложной инфляции
Доказательство блока слишком большой
Правильно, нужен новый Merkle дерево.
Доказательство того, чтобы тратить не-существующий ввод
Это трудно один. Если есть система фиксации, то блоки должны включать в себя дополнительные данные, необходимые для проверки каждого из фиксаций.
Если все UTXOs в дереве, то только хэш корня требуется.
Для проверки каждой транзакции, необходимо знать, корень до и после операции, чтобы доказать, что дерево сделки было правильно обновлено.
Это означает, что существует потребность в Merkle дерева, содержащего корень дерева после каждого обновления.
Для того, чтобы убедиться, что UTXO дерево правильно обновляется, то вам нужно
Merkle корень UTXO Merkle дерева для блока
Путь к узлу до и после операции
- Это доказывает, корень этого дерева до и после того, как сделка была вставлена
Путь через дерево UTXO для каждого входа и выхода в сделке
- Это позволяет Тм, чтобы вставить и удалить
Это позволяет SPV узла для проверки конкретной транзакции.
Последний вопрос доказывает, что доказательство данных отсутствуют. Если незаконная сделка входят, узлы должны иметь возможность получить дополнительные данные. Если они не могут, то они не могут создать доказательство.
Re: случайная проверка сделки