Ouroboros Praos

Ouroboros Praos — это механизм консенсуса proof-of-stake, разработанный IOHK и являющийся обновленной версией Ouroboros Classic.

Что такое Ouroboros Praos?

Ouroboros Praos — это усовершенствование Ouroboros Classic, первой версии протокола консенсуса, разработанного IOHK. Это первый алгоритм доказательства ставки, безопасность которого была формально доказана в строгой криптографической модели.

Ouroboros Praos совершенствует гарантии безопасности классического протокола, вводя новый "многоуровневый" подход к протоколу, позволяющий ему плавно масштабироваться с ростом размера сети. Алгоритм доказательно безопасен в асинхронном режиме, делая обычное и стандартное криптографическое предположение.

Praos — это не только технически совершенный протокол, но и протокол, который проще для разработчиков интегрировать в свои приложения по сравнению с его предшественниками. Поэтому он был выбран для внедрения в Cardano.

Протокол доказательства ставки Ouroboros Praos - это вторая итерация Ouroboros, первого доказательно безопасного протокола доказательства ставки, созданного исследовательской группой IOHK. Как и Ouroboros Genesis, Ouroboros Praos - это доказательно безопасный протокол proof-of-stake blockchain, позволяющий пользователям запускать узел и майнить новые блоки при их случайном выборе.

Praos обозначает «самодостаточный», так как эта итерация протокола обеспечивает более надежные гарантии, чем Ouroboros Genesis, с позиций масштабируемости и безопасности. Как и все исследовательские работы IOHK, эта была опубликована в академическом журнале (Journal of Cryptographic Engineering). Ouroboros Praos функционирует по двухуровневой системе: основная цепочка состоит из эпох (коллекций блоков), а каждая эпоха содержит слоты (возможности для майнинга блоков). Время, требуемое для каждой эпохи, зависит от общего количества пулов ставок в сети.

Основным преимуществом наличия операторов пулов (управляющих пулами ставок) как части системы является то, что это повышает доступность сети. Одно из главных различий между Ouroboros и Ouroboros Praos состоит в том, что каждый из них требует от своих отдельных ставочных пулов.

В системе Ouroboros каждый пул нуждался в едином лидере, который отвечал за добычу блоков. Это предполагало, что каждый пул должен иметь как минимум один аккаунт, чтобы начать делать ставки, а значит, вся вычислительная работа выполнялась этим одним аккаунтом.

В Тем не менее, в Ouroboros Praos пулам не нужно иметь лидера. Вместо этого они могут распределять обязанности между всеми учетными записями в пуле. Это означает, что вычислительная работа может быть распределена между несколькими аккаунтами, а не только одним, что снижает нагрузку на каждый аккаунт.

Две других формы алгоритма Ouroboros — Ouroboros Genesis и Ouroboros Classic. В Ouroboros Genesis применяется верифицируемая случайная функция (VRF) в дополнение к традиционному механизму Proof-of-Stake (PoS), используемому в Ouroboros Classic. VRF — это криптографический принцип, позволяющий одной стороне генерировать случайный результат в любое время и получать его публичную проверку другими сторонами. В контексте Ouroboros, VRF применяется для определения лидера, который фиксирует блоки в бухгалтерской книге в каждом слоте. VRF улучшает наши возможности по обеспечению безопасности и децентрализации для Ouroboros Genesis по сравнению с Ouroboros Classic. Кроме того, это позволяет Ouroboros Genesis быть более масштабируемым, чем Ouroboros Classic, для определенных моделей состязаний.

Связанные термины