Я позавчера полностью разобрал код уровня консенсуса Midnight, изначально стремясь к приватному PoS Ouroboros Crypsinous, но чем больше я смотрел, тем больше хотел ругаться.
Две самые громкие вещи, которые они хвалят — SNARK скрывает личность лидера + шифрование с предохранением для защиты приватности транзакций — концепция действительно интересная, но на практике все идет не так. Цель 12 секунд для блока? Да не смешите меня. Я протестировал приватные транзакции, как только ZK доказательства начали проверяться, время подтверждения сразу подскакивало до 18-25 секунд. По сравнению с 20 секундами для Cardano, с добавлением приватности стало еще медленнее, что равносильно тому, что сжигается лишняя вычислительная мощность. В статье написано черным по белому, что выборы лидера должны сразу запускать SNARK доказательства, а процессоры у низкопроизводительных узлов просто не справляются, уровень пустоты в тестовой сети на 15% выше, чем у обычной публичной цепи, и куча мелких узлов просто выбрасывается из временного окна. Реклама утверждает, что "приватность не жертвует производительностью", на деле это просто шутка.
Еще более отвратительным является споры о приватности и окончательности. В обычной цепи, увидев блок, вы можете считать это концом, но Midnight должен дождаться, пока все ZK доказательства будут загружены в цепь, прежде чем это будет считаться действительным. Я моделировал сценарий двойного расходования: атакующий просто должен задержать сетевую задержку, и, прежде чем подтверждение доказательства будет завершено, он может действовать. В статье говорится, что система устойчива к адаптивным атакам на коррупцию, но реальные сетевые предположения гораздо более свободные, чем теоретические, окно двойного расходования вовсе не заблокировано, и это слишком похоже на пустую болтовню.
Теперь взглянем на этот ужасный дизайн Supernode. Cardano SPO должен дополнительно запускать контейнер легкого узла, я посчитал ресурсы: только ZK верификация потребляет на 30% больше CPU. Маленькие стейкинг-пулы просто не выдерживают, в конечном итоге только большие пулы могут это сделать, риск централизации очевиден. Официальная документация еще смеет писать "SPO может участвовать выборочно", выборочно? Это технический барьер или финансовый барьер? Одна фраза, чтобы обмануть всех, кто поверит.
В итоге можно сказать одно: техническая концепция крутая, но инженерное выполнение хромает. Перед тем как основной сеть Q2 действительно запустится, я категорически не собираюсь вкладываться. Эти данные о пустых слотах и задержках в тестовой сети говорят сами за себя, кто будет бросаться, тот глупец. Давайте подождем, пока они не ускорят ZK до usable, а я пока буду наблюдать. @MidnightNetwork $NIGHT #night
Две самые громкие вещи, которые они хвалят — SNARK скрывает личность лидера + шифрование с предохранением для защиты приватности транзакций — концепция действительно интересная, но на практике все идет не так. Цель 12 секунд для блока? Да не смешите меня. Я протестировал приватные транзакции, как только ZK доказательства начали проверяться, время подтверждения сразу подскакивало до 18-25 секунд. По сравнению с 20 секундами для Cardano, с добавлением приватности стало еще медленнее, что равносильно тому, что сжигается лишняя вычислительная мощность. В статье написано черным по белому, что выборы лидера должны сразу запускать SNARK доказательства, а процессоры у низкопроизводительных узлов просто не справляются, уровень пустоты в тестовой сети на 15% выше, чем у обычной публичной цепи, и куча мелких узлов просто выбрасывается из временного окна. Реклама утверждает, что "приватность не жертвует производительностью", на деле это просто шутка.
Еще более отвратительным является споры о приватности и окончательности. В обычной цепи, увидев блок, вы можете считать это концом, но Midnight должен дождаться, пока все ZK доказательства будут загружены в цепь, прежде чем это будет считаться действительным. Я моделировал сценарий двойного расходования: атакующий просто должен задержать сетевую задержку, и, прежде чем подтверждение доказательства будет завершено, он может действовать. В статье говорится, что система устойчива к адаптивным атакам на коррупцию, но реальные сетевые предположения гораздо более свободные, чем теоретические, окно двойного расходования вовсе не заблокировано, и это слишком похоже на пустую болтовню.
Теперь взглянем на этот ужасный дизайн Supernode. Cardano SPO должен дополнительно запускать контейнер легкого узла, я посчитал ресурсы: только ZK верификация потребляет на 30% больше CPU. Маленькие стейкинг-пулы просто не выдерживают, в конечном итоге только большие пулы могут это сделать, риск централизации очевиден. Официальная документация еще смеет писать "SPO может участвовать выборочно", выборочно? Это технический барьер или финансовый барьер? Одна фраза, чтобы обмануть всех, кто поверит.
В итоге можно сказать одно: техническая концепция крутая, но инженерное выполнение хромает. Перед тем как основной сеть Q2 действительно запустится, я категорически не собираюсь вкладываться. Эти данные о пустых слотах и задержках в тестовой сети говорят сами за себя, кто будет бросаться, тот глупец. Давайте подождем, пока они не ускорят ZK до usable, а я пока буду наблюдать. @MidnightNetwork $NIGHT #night