Может быть reentrancy не вполне точно, я имел в виду это

В текущей версии мы используем свою имплементацию Tillich and Źemor метода гомоморфного хеширования.
Проблема сохранения тысяч хешей решается за счет процедуры проверки, которую мы называем Data Audit.

В каждую эпоху узлы внутреннего кольца проводят аудит данных.
На первом этапе узлам в выбранном контейнере предлагается коллективно реконструировать список гомоморфных хэшей объектов, которые сформировали бы  гомоморфный хэш, хранящийся в группе хранения.
Делая это, узлы демонстрируют, что они имеют все объекты и могут предоставить хэши этих объектов.
Предоставленный список хэшей может быть проверен, но на данном этапе неизвестно, лгут ли узлы.
На этом этапе узлы действительно могут попытаться обмануть нас, сохранив и предоставив хеши объекта, не храня сами данные.

Для того чтобы убедиться что узлы не обманули - проводится второй этап игры, где нам необходимо убедиться, что узлы честные и не подделывают результаты проверки.
Узлы внутреннего кольца вычисляют набор пар узлов (так чтобы покрыть все узлы хранения минимальным количеством сочетаний), которые хранят одни и те же объекты, и просят каждый узел предоставить по три гомоморфных хеша этого объекта.  При этом диапазоны выбираются таким образом, чтобы хэш диапазона, запрашиваемого у одного узла, был составным хэшем диапазонов, запрашиваемым у другого узла в этой паре (шаг 4 на изображении) и наоборот.

Диапазоны выбираются случайным образом (кол-во возможных сочетаний челленджей очень велико и ограничено лишь размерами самого объекта) и такая проверка возможна за счет свойства гомоморфности - соответвтвенно дешевле хранить сами данные, чем хеши для всех возможных сочетаний.

Узлы не могут предсказать объекты или диапазоны, которые будут выбраны для аудита. Они даже не могут предсказать парный узел для игры. Этот этап быстро обнаруживает вредоносные узлы, поскольку каждый узел обслуживает несколько контейнеров и групп хранения и участвует во многих сеансах аудита данных.
Узел пойманный на обмане, не получит никаких наград за эту эпоху.
Таким образом, цена попыток обмана и рисков слишком высока, и узлу проще и дешевле быть честным и вести себя корректно.

При всем этом надо учитывать что каждый узел состоит в большом количестве контейнеров и хранит еще большее кол-во групп хранения (элемент проверки). Объекты проверки и диапазоны случайны. Обман становится экономически невыгоден. Сама проверка, несмотря на длинное описание, достаточно легковесна и дешева. Реальные данные не пересылаются по сети.

Могу сломать эту вашу конструкцию

Вот я воткнулся как раз в "Диапазоны выбираются случайным образом (кол-во возможных сочетаний челленджей очень велико и ограничено лишь размерами самого объекта)" - фишка в том, что меня каждый раз просят предоставить хеши от новых частей файла? типа, если файл - 1Кb в длину, меня просят предоставить три хеша от рандомных диапазонов байт? например с 12 байта по 78, с 89 по 125 и с 179 по 267? Сорри, если торможу - возможно поможет, если подскажете как выглядят несколько challenge-й для одного и того же объекта при разных рандомах? (ну и заодно пойду перечитаю про гомоморфное хеширование). В остальном модель вроде понятна...

Кстати, спасибо за подкаст - интересно1

Да - верно - есть пара узлов обладающих одним объектом - каждый из них формирует три хеша для проверяющей стороны.
При этом диапазон случаен. Например для 100kb:
1 узел предоставит хеши для зон: 1-40 (H1), 41-75 (H2), 76-100 (H3);
2 узел предоставит хеши для зон: 1-15 (H1'); 16-40 (H2'); 41-100 (H3');

При этом
H1 = H1'*H2',
H3' = H1*H2

ах вононо, фишка в последнем "остатке", теперь осознал коммент @khovratovich

спасибо за комментарий - я не допер про полноту хешей. теперь понятно - клевая штука. А как ломать ?

заплатите за аудит - расскажу как ломать

буду делать что-то подобное, заплачу :) пока интерес теоретический

спасибо за пояснения!

Если будут еще вопросы или что обсудить - пишите, буду рад помочь.

а за границей между тем все проблемы уже решены. И лайтнинг нинужен. Мгновенные переводы по номеру телепона, инновация

Всем привет! Планирует кто-то из чата посещение https://blockchain-life.com ? Если да то сегодня последний день минимальный прайс на участие!

Глядишь к концу апреля, что-то интересное в индустрии произойдет и будет на что посмотреть, что прослушать и с кем пообщаться 😏