Схема обязательств для возможного неупорядоченного растущего набора элементов

Деревья Меркла можно использовать для схемы фиксации вектора. В частности, для двух последовательностей S, S' с одинаковыми элементами в одном и том же порядке корень Меркла для S будет таким же, как и для S'. Что делать, если мне нужно добавить к S и S' одни и те же элементы с течением времени, но они могут отличаться в порядке? Существует ли какая-либо конкретная схема обязательств, наиболее подходящая для этого сценария?

Смысл схемы обязательств в том, что обязательство не раскрывает то, что было зафиксировано, до тех пор, пока доказывающая сторона не выпустит некоторую секретную информацию. Для схем, основанных на хеше, обычно обязательство С=Н(Р+В) куда р представляет собой большое (128-битное) случайное число. Злоумышленник не может проверить предположение о значении В не зная р.

Для векторной схемы обязательств дерева Меркла листья дерева Меркла будут обязательствами по значениям. Каждый лист дерева вычисляется как лист[i]=Ci=H(Ri+Vi). Обязательство для [А,Б,В,Г,А,В,В,Г] будет использовать разные случайные Ри значения для каждого листа. Несмотря на то, что значения в левом и правом поддеревьях идентичны ([А,Б,В,Г]) значения листьев и результирующие поддеревья различны.

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