Справочник по логике, обеспечивающей конфиденциальность
Текущие документы объясняют, что такое доказательства с нулевым разглашением (ZK), но нет углубленного руководства по проектированию частных переходов состояний.
Цель: руководство, которое показывает, как взять публичное DApp (например, простую аукционную или голосовательную систему) и переписать его логику в частное состояние (хранящееся на машине пользователя) по сравнению с публичным состоянием (хранящимся в цепочке).Отладка ZK-цепей и сервера доказательств
Разработчики часто сталкиваются с проблемами, когда "Сервер доказательств" не работает или цепь не удовлетворима.
Цель: Руководство по устранению неполадок для Midnight SDK.
Ключевой раздел: "Интерпретация журналов ошибок ZKIR (представление промежуточных нулевых знаний)" для того, чтобы точно узнать, какая строка компактного кода вызвала сбой генерации доказательства.Стратегия управления DUST"
Новые пользователи часто сталкиваются с проблемами, потому что у них недостаточно DUST для оплаты транзакционных сборов.
Цель: Специальное руководство о взаимосвязи между NIGHT (токеном управления) и DUST (токеном сборов).
Ключевой раздел: "Автоматизация генерации DUST для CI/CD пайплайнов" для того, чтобы разработчики не ждали вручную генерации токенов во время автоматизированного тестирования.От TypeScript до Compact"
Текущая документация по языку Compact упоминает, что он "вдохновлен TypeScript", но они не явно сопоставляют общие шаблоны TS с их эквивалентами Compact.
Переписывание: Создать параллельный "Шпаргалку", показывающую, как переводить стандартную логику TypeScript в защищенный код Compact, подчеркивая конкретные ограничения, такие как рекурсия или определенные структуры данных, которые не являются дружелюбными к ZK.Создание с Open Zeppelin на Midnight"
Хотя OpenZeppelin объявил о поддержке Midnight, пошаговое руководство по внедрению стандартов токенов с защитой конфиденциальности (например, частный эквивалент ERC-20) в настоящее время отсутствует в основной документации.
