Компактное доказательство может показать, как обязательство транзакции подключается к определенному заголовку блока, не содержащему весь блок. В белой книге Bitcoin описывается этот подход при обсуждении упрощенной проверки платежей. Понимание доказательств требует идентификации как криптографического соединения, так и дополнительных предположений, используемых для принятия окружающей цепочки. Bitcoin Белая книга: Деревья Меркла и упрощенная проверка платежей, разделы 7-8
Следуйте доказательствам
Отследите, как событие может достичь рынков, а затем проверьте конкурирующее объяснение.
Сравнить объяснения
Переключите линзы, чтобы увидеть, что объясняет каждый аккаунт, и что остается неопределенным.
Анализ WFN: представьте себе изобретенный блок, содержащий четыре обязательства по сделке. Филиал поставляет соседние хэши, необходимые для пересчета корня для одного выбранного обязательства. Если пересчитанный корень соответствует выбранному заголовку, доказательства связывают это обязательство с этим заголовком в соответствии с хеширующими предположениями. Он не выбирает, какому заголовку читатель должен доверять. Это разделяет два вопроса, которым чек может сжать в один зеленый чековый знак. Один задает вопрос, принадлежит ли обязательство заявленному блоку. Другой спрашивает, является ли этот блок частью цепочки, принятой методом проверки читателя. Квитанция должна определить, какой вопрос был фактически проверен, и узел или служба, предоставляющая окружающие доказательства. Претензия о завершении платежа добавляет дополнительные детали: предполагаемая транзакция, получение вывода, суммы и истории цепочки. Доказательство, связанное с неправильной транзакцией или несвязанным заголовком, не будет отвечать на вопрос получателя. Изобретенное дерево с четырьмя листами является пояснительной моделью и не содержит реальной транзакции, наблюдаемой оплаты или заявления о безопасности конкретного кошелька.
Анализ WFN: представьте себе изобретенный блок, содержащий четыре обязательства по сделке. Филиал поставляет соседние хэши, необходимые для пересчета корня для одного выбранного обязательства. Если пересчитанный корень соответствует выбранному заголовку, доказательства связывают это обязательство с этим заголовком в соответствии с хеширующими предположениями. Он не выбирает, какому заголовку читатель должен доверять. Это разделяет два вопроса, которым чек может сжать в один зеленый чековый знак. Один задает вопрос, принадлежит ли обязательство заявленному блоку. Другой спрашивает, является ли этот блок частью цепочки, принятой методом проверки читателя. Квитанция должна определить, какой вопрос был фактически проверен, и узел или служба, предоставляющая окружающие доказательства. Претензия о завершении платежа добавляет дополнительные детали: предполагаемая транзакция, получение вывода, суммы и истории цепочки. Доказательство, связанное с неправильной транзакцией или несвязанным заголовком, не будет отвечать на вопрос получателя. Изобретенное дерево с четырьмя листами является пояснительной моделью и не содержит реальной транзакции, наблюдаемой оплаты или заявления о безопасности конкретного кошелька.
Полезная запись доказательств сохраняет идентификатор транзакции, хеш блока, высоту, данные ветки, источник заголовка и процедуру проверки. Если использовать стороннюю службу, идентифицируйте, какие претензии поступают от этой службы, а не от собственных проверок читателя. Эта редакционная запись не предписывает конкретный дизайн кошелька; она облегчает проверку объема утверждения платежа. Более поздние подтверждения и независимо проверенная цепочка могут добавить доказательства. Но их значение зависит от используемой системы и метода. Избегайте превращения существования ветви Merkle в универсальную окончательную претензию. Белая книга поставляет оригинальную концепцию упрощенной проверки; оценка современной реализации также потребует своей текущей документации, поведения и заявленной модели угрозы.
Ветка и заголовок играют разные роли
В статье объясняется, что транзакции хешируются в дерево Меркла и корень совершается в заголовке блока. Его упрощенный метод проверки получает ветвь, связывающую транзакцию с этим корнем, и следует за заголовками блока, представляющими доказательство работы. Ветвь обеспечивает соединение с совершенным набором. Bitcoin Белая книга: Деревья Меркла и упрощенная проверка платежей, разделы 7-8
В статье также проводится различие между этим методом и узлами, проверяющими транзакции для себя, и описывается его уязвимость, если злоумышленник пересилит сеть. Это предупреждение касается модели проверки. Сама ветвь не должна описываться как независимая проверка каждого правила консенсуса или как гарантия того, что упомянутый блок останется в принятой цепочке. Bitcoin Белая книга: Деревья Меркла и упрощенная проверка платежей, разделы 7-8
Вопрос включения требует именованной точки отсчета
Анализ WFN: представьте себе изобретенный блок, содержащий четыре обязательства по сделке. Филиал поставляет соседние хэши, необходимые для пересчета корня для одного выбранного обязательства. Если пересчитанный корень соответствует выбранному заголовку, доказательства связывают это обязательство с этим заголовком в соответствии с хеширующими предположениями. Он не выбирает, какому заголовку следует доверять читателю.
Это разделяет два вопроса, которые квитанция может сжать в один зеленый чековый знак. Один спрашивает, принадлежит ли обязательство заявленному блоку. Другой спрашивает, является ли этот блок частью цепочки, принятой методом проверки читателя. Квитанция должна определить, какой вопрос был фактически проверен, и узел или служба, предоставляющая окружающие доказательства.
Заявление о завершении платежа добавляет дополнительные детали: предполагаемая транзакция, получение результата, суммы и истории цепочки. Доказательство, привязанное к неправильной транзакции или несвязанный заголовок не ответил бы на вопрос получателя. Изобретенное дерево с четырьмя листами является объяснительной моделью и не содержит реальной транзакции, наблюдаемой оплаты или заявления о безопасности конкретного кошелька.
Опишите область проверки точно
В полезной записи доказательств сохраняется идентификатор транзакции, хеш-блок, высота, данные филиала, источник заголовка и процедура проверки. При использовании стороннего сервиса идентифицируйте, какие претензии поступают от этого сервиса, а не от собственных проверок читателя. Эта редакционная запись не предписывает конкретный дизайн кошелька; это облегчает проверку объема утверждения платежа.
Более поздние подтверждения и независимо проверенная цепочка могут добавить доказательства, но их значение зависит от используемой системы и метода. Избегайте превращения существования ветви Меркла в универсальное требование окончательности. Белая книга поставляет оригинальную концепцию упрощенной проверки; для оценки современной реализации также потребуется ее текущая документация, поведение и заявленная модель угрозы.