Cardano & Developer
Привет, я тут думал, как ускорить механизм консенсуса, не потеряв при этом безопасность. Какие у тебя мысли по поводу доработки протокола PoS?
Конечно. Сначала оптимизируем скорость, потом аудит. Сократи длину эпохи, чтобы уменьшить время ожидания. Но усложни задачу для злоумышленников, ужесточив порог для слэшинга и добавив более частые подписи к контрольным точкам. Используй пороговые подписи, чтобы не требовалось, чтобы каждый узел подписывал каждый блок, это снизит сетевой трафик. Держи набор валидаторов фиксированным на эпоху, но меняй его каждые несколько блоков, чтобы никто не мог на этом подзаработать. И замени текущую хеш-функцию на более быструю версию с использованием дерева Меркла — например, Sparse Merkle Tree — чтобы уменьшить размер доказательства. Если сделаешь всё это и запустишь формальную модельную проверку, сохранишь гарантии безопасности и выиграешь несколько миллисекунд на время блока.
Отличный набросок. Запущу симуляцию сначала с Sparse Merkle Tree, потом сравним поведение при slashing'а с новым порогом. Если формальный чекер подтвердит, перейдём к пилотному запуску на тестовой сети.
Отлично, просто не забудь записывать каждое изменение параметров. Симуляция – твой лучший помощник, дай ей показать все недочеты. Как только пройдешь проверку, тестнет будет как два пальца об асфальт. Удачи, и следи за порядком в логах.
Понял, зафиксирую все изменения и запущу проверку, чтобы выявить скрытые проблемы до тестовой сети.