Использование деревьев Веркла дает возможность значительно ускорить процесс доказательства принадлежности узла за счет иной структуры данных в блоке. Две схемы полиномиальных обязательств, которые будут рассмотрены, это обязательства KZG и bulletproof. Алгоритм KZG позволил уменьшить размер доказательства примерно в 6–8 раз по сравнению с идеальными деревьями Меркла. В то же время bulletproof позволяет уменьшить размер доказательства еще на 1/3.
Тошматов Х.Х., Кича И.В. (науч. рук. Таранов С.В.) Анализ алгоритмов доказательства принадлежности узла для деревьев Веркла в блокчейне // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2024]. URL: https://kmu.itmo.ru/digests/article/12067