zk
ZK
Введение
Обсуждение проектов, которые могут сталкиваться с проблемами.
Сравнение производительности блокчейна (например, Bitcoin) и оптимистических решений.
Концепция Optimistic Rollups
Optimistic Rollups выпускают блоки в оптимистичном режиме.
Фишеры (Fisher) проверяют блоки, чтобы убедиться в их корректности.
Если фишер находит ошибку, он предоставляет ZK-доказательства.
Критика и иллюзии
Polkadot не использует ZK и может достигать функционала фишеров через древовидные пруфы и логику раннего провала.
Люди часто смотрят на проблему односторонне и игнорируют многоплановый подход.
Доктор-продавец лекарств (метафора): Фишеры выгодны при наличии ошибок, иначе они бесполезны.
Каверзные логические аспекты
Фишеры обязаны успевать проверять все транзакции в установленное временное окно.
Если фишер не успевает, кто его контролирует? Другие фишеры? Это приведет к консенсусу.
Проблема ложных срабатываний и страхования бабками (деньгами).
Теория игр и стимулирование
Фундаментальный подход через теорию игр.
Полицейские (фишеры) должны проверять все блоки в окне и гарантировать полную проверку.
Игра с обратной связью: стимул и антистимул.
Решение через тестовые транзакции
Специальные роботы вставляют тестовые неправильные транзакции.
Транзакции маркируются капсулами времени, чтобы их нельзя было отличить от настоящих неправильных.
Полицейские обязаны находить все неправильные транзакции (настоящие и тестовые).
Роль ZK в новой системе
ZK ведет статистику и учитывает неожиданность и конкурентную игру полицейских.
Создание стимула через синдром упущенной выгоды (аналогия с биткоином).
Заключение
Предложенная схема более надежная и стимулирующая правильное функционирование системы.
Обоснованность использования теории игр для обеспечения надежности и безопасности.
at August 03, 2024
Email This
BlogThis!
Share to Twitter
Share to Facebook
Share to Pinterest
Comments
Post a Comment