Не особо вникал в zkRollup, но у вас там zkSNARK-и? Т.е. это означает некий начальный trusted setup (MPC церемония или просто централизованное распределение начальных параметров) и делает систему менее trustless (тот кто обладает общим начальным секретом может генерировать поддельные доказательства)? Не смотрели в сторону bulletproofs, которые хоть и тяжелее, но не требуют trusted setup?
Да, снарки и trusted setup. К сожалению, я из команды, которая занимается разработкой непосредственно сети и сервера, криптографией занимается отдельная команда, поэтому полноценно квалифицированный ответ дать не смогу. Могу сказать только то, что работы в направлении trustless SNARKs ведутся. Если необходимо — могу уточнить у криптографов, в каком направлении конкретно.
