Почитал статью. В общем исходная проблема в том что если для масштабируемости ты упаковываешь валидацию в ZK пруф, а потом ещё агрегируешь их в один пруф рекурсивно, то получившая конструкция может терять в безопасности плюс пруфы могут раздуваться
Ну и все это работает только в простых полях поэтому годится не для Снарков а для Bulletproofs, Sonic или их модификаций. Собственно работающая конструкция там только для Соника
обзор всего defi, особенно глубокий, был бы неадекватно большим. обзоры отдельных аспектов (например, куда вкладывать под %, или какие есть опции trufstless поменять A на B) есть например на medium