203
любого другого файла, кроме того, который был запрошен клиентом. Это можно с
легкостью сделать, если мы определим дерево Меркле по хэшам файлов, а не по
самим файлам. Детали опустим.)
Клиент вычисляет hr
:= H(h1...2, H(x3, x4))
и hr?r1...4, h5...8) и
затем проверяет, чтобы h1...8 = hr
Если H является стойкой к коллизиям, для сервера невозможно отправлять
неправильные файлы (и любое доказательство), которые пройдут успешную
верификацию. Используя данный подход, локальное хранилище клиента яв-
ляется постоянным (независимо от количества файлов t), и связь от сервера к
клиенту пропорциональна log t.
Достарыңызбен бөлісу: