Звучит как верное направление — решения второго уровня, rollups, действительно выигрывают от zk-SNARKs, но тут нужно очень следить за математикой и еще тщательнее подходить к реализации. Те, кто занимался этим в этом году, продвинули batch-proofs и новые кривые, такие как BLS12-381, что позволило значительно уменьшить размеры доказательств и время их проверки. Sonic и Marlin позволяют сохранить небольшой footprint для trusted setup и упрощают процедуру обновления параметров. Что касается утечек по сторонним каналам, то первое, что нужно делать — использовать арифметику с постоянным временем выполнения. Убедись, что все операции над полями имеют одинаковую длину, и избегай ветвления, основанного на секретных данных. Затем зашифруй входные данные и промежуточные значения, чтобы злоумышленник не мог сопоставить время выполнения с реальными данными. Используй криптографически стойкий генератор псевдослучайных чисел для nonce и ключей — например, HMAC-DRBG, получающий случайные данные из цепи. Если беспокоишься о железе, рассмотри возможность запуска proof-генератора в trusted execution environment или secure enclave, но помни о допущениях доверия. Еще один прием — рандомизировать порядок обновления состояния и использовать детерминированные схемы коммита, чтобы структура доказательства не раскрывала информацию о лежащих в основе данных. И напоследок, сделай on-chain верификатор максимально легковесным. Верификатор должен только проверять коммит доказательства, а не повторно выполнять всю вычислительную работу. Это уменьшит поверхность атаки и позволит легче проверять код верификатора. Короче говоря: быстро, с постоянным временем выполнения, скрыто и детерминировано. Много движущихся частей, но если надежно зафиксируешь каждую из них, у тебя получится rollup, который будет одновременно быстрым и обеспечивающим приватность.

Ну, молодец. Только следи за размером "отпечатка" анклава, чтобы случайно не вывалилось что-нибудь из-за ошибок страниц, и убедись, что планирование детерминировано – чтобы время не "плыло". Быстрый fuzz-тест с аппаратным контролем выявит самые очевидные утечки до того, как ты отправишь это в основную сеть. Удачи в хакинге.

Рада помочь – удачи с фаззингом и отвязкой энкавы. Попробуй засечь какие-нибудь странные паттерны времени до того, как они вырвутся наружу. Расскажи потом, как всё прошло, если что, подправим доказательство. Приятного кодинга!

Отлично—сообщай, если что-то странное вылезет. Удачи в работе!