Ouroboros Praos — это механизм консенсуса proof-of-stake, разработанный IOHK и являющийся обновленной версией Ouroboros Classic.
Что такое Ouroboros Praos?
Ouroboros Praos — это усовершенствование Ouroboros Classic, первой версии протокола консенсуса, разработанного IOHK. Это первый алгоритм доказательства ставки, безопасность которого была формально доказана в строгой криптографической модели.
Ouroboros Praos совершенствует гарантии безопасности классического протокола, вводя новый "многоуровневый" подход к протоколу, позволяющий ему плавно масштабироваться с ростом размера сети. Алгоритм доказательно безопасен в асинхронном режиме, делая обычное и стандартное криптографическое предположение.
Praos — это не только технически совершенный протокол, но и протокол, который проще для разработчиков интегрировать в свои приложения по сравнению с его предшественниками. Поэтому он был выбран для внедрения в Cardano.
Praos обозначает «самодостаточный», так как эта итерация протокола обеспечивает более надежные гарантии, чем Ouroboros Genesis, с позиций масштабируемости и безопасности. Как и все исследовательские работы IOHK, эта была опубликована в академическом журнале (Journal of Cryptographic Engineering). Ouroboros Praos функционирует по двухуровневой системе: основная цепочка состоит из эпох (коллекций блоков), а каждая эпоха содержит слоты (возможности для майнинга блоков). Время, требуемое для каждой эпохи, зависит от общего количества пулов ставок в сети.
Основным преимуществом наличия операторов пулов (управляющих пулами ставок) как части системы является то, что это повышает доступность сети. Одно из главных различий между Ouroboros и Ouroboros Praos состоит в том, что каждый из них требует от своих отдельных ставочных пулов.
В системе Ouroboros каждый пул нуждался в едином лидере, который отвечал за добычу блоков. Это предполагало, что каждый пул должен иметь как минимум один аккаунт, чтобы начать делать ставки, а значит, вся вычислительная работа выполнялась этим одним аккаунтом.
Две других формы алгоритма 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, для определенных моделей состязаний.







