Стимулируемый запуск тестовой сети - Provers

Сегодня мы рады объявить о начале стимулов для Testnet 3, который приближает нас на один шаг к сети Aleo и поддерживает частные децентрализованные приложения. Мы приглашаем всех членов нашего сообщества принять участие.

Testnet 3 знаменует собой значительный прогресс от Testnet 2. Во-первых, он приносит новый алгоритм консенсуса, AleoBFT, который объединяет алгоритм согласования доказательств ( на основе DiemBFT ) со схемой компенсации на основе работы для профессионалов. Мы выпустим более подробную информацию об AleoBFT в ближайшие месяцы. Но начальная часть программы стимулирования будет сосредоточена именно на проверах.

Роль provers в AleoBFT

Что такое проверы? В криптографии с нулевым знанием у нас есть две взаимодействующие стороны prover который генерирует криптографическое доказательство и verifierэто проверяет правильность доказательства, не зная его содержания. Чтобы отправить / получить активы или взаимодействовать с приложением, пользователь должен создать доказательство нулевого знания. В некоторых случаях использования мы ожидаем, что некоторые пользователи могут передать процесс генерации доказательств какой-либо сторонней службе проверки.

Что такое проверы? В криптографии с нулевым знанием у нас есть две взаимодействующие стороны провер который генерирует криптографическое доказательство и верификатор это проверяет правильность доказательства, не зная его содержания. Чтобы отправить / получить активы или взаимодействовать с приложением, пользователь должен создать доказательство нулевого знания. В некоторых случаях использования мы ожидаем, что некоторые пользователи могут передать процесс генерации доказательств какой-либо сторонней службе проверки.

Важно отметить, что создание доказательств на аутсорсинге не является обязательным в нашей сети, как в других сетях, таких как StarkNet. Тем не менее, мы ожидаем, что на Aleo появится экосистема профессионалов для поддержки различных приложений. Прелесть этой системы в том, что она максимизирует выбор пользователя с точки зрения того, каким сторонам они предпочитают доверять, если таковые имеются.

Сеть Aleo вознаграждает профессионалов непосредственно из протокола, чтобы загрузить эту экосистему. В AleoBFT проверы могут получить часть вознаграждения на основе монет за создание доказательств, таких как оригинальный алгоритм консенсуса PoSW. Тем не менее, есть два принципиальных отличия от того, как доказательство работало на Testnet 2.

1. Проверы НЕ производят блоки, но они получают часть вознаграждения на основе монет от каждого блока.

2. Награда на основе монет не является победителем. Все проверы, которые предоставили решения для данного блока выше минимальной цели сложности, получают пропорциональную часть вознаграждения.

Протокол AleoBFT использует вариант ASERT алгоритм корректировки сложности ( такой же, как Testnet 2 ) для вычисления двух значений цель доказательства и цель на основе монет. Решения Prover принимаются, если они выше порог цели доказательства. Как только сумма решений для профессионалов превышает цель для монет, вознаграждение для монет распределяется между профессионалами, которые предоставили действительные решения пропорционально. Таким образом, экономика AleoBFT похожа на пул майнинга в традиционной сети проверки работы.

В качестве ощутимого примера давайте представим трех проверов: Алису, Боба и Чарли. Давайте предположим, что цель базы монет - 1024, а цель доказательства - 8. Давайте представим, что за 15-секундный период производится один блок:

• Алиса рассчитывает и представляет 80 доказательств PoSW, которые являются, по крайней мере, целевым значением доказательства 8, для общего балла 640 ( 62,5% от общего количества )

• Боб рассчитывает 32 доказательства PoSW, которые являются как минимум целевым значением доказательства 8, для общего балла 256 ( 25% от общего количества )

• Чарли рассчитывает 16 доказательств PoSW, которые являются, по крайней мере, целевым значением доказательства 8 для общего балла 128 ( 12,5% от общего количества )

Алиса, Боб и Чарли получат пропорциональную часть ( 62,5%, 25% и 12,5% соответственно ) вознаграждения за монетную базу для этого блока.

Расчёт вознаграждений за блок

Мы можем рассчитать вознаграждение на основе монет по следующей формуле:

R_coinbase = max ( 0, H_Y10 - H ) * R_anchor * 2 ^ ( -1 * ( D - B ) / B ).

‍

R_anchor = Якорное вознаграждение.

H_Y10 = Высота якорной заграждения в 10 году.

H = Текущая высота блока.

D = Время, прошедшее с предыдущего блока.

B = Время якорной блокировки.

‍

Таким образом, начальный запас токенов Aleo будет расширяться за счет вознаграждения монетной базы в течение примерно десятилетия, и они будут линейно уменьшаться за счет блока в течение этого промежутка времени. Мы скоро выпустим обновленный пост в блоге mainnet tokenomics с более подробной информацией.

Эта же кривая выбросов действует во время Testnet 3, а блок генезиса создается 6 ноября 2022 года. Мы не будем сбрасывать сеть в начале периода стимулирования. Таким образом, блочные вознаграждения будут рассчитываться в течение периода стимулирования на основе высоты сети в начале периода стимулирования ( см. Ниже ).

Награды токенов за период стимулирования

Как упоминалось в нашем предыдущем посте в блоге, мы выделили 25 миллионов кредитов Aleo для стимулов Testnet 3. Стимулы Prover составляют 30% или 7,5 млн кредитов.

Кредиты, полученные в течение стимулирующего периода, будут погашаться за кредиты Aleo при запуске mainnet в размере 5: 1. То есть каждые пять кредитов Aleo, заработанных в течение периода стимулирования, подлежат погашению за один кредит Aleo в mainnet.

Период стимулирования ростовщика будет действовать со 2 декабря 2022 года, с 0000 UTC до 26 января 2023 года, в 2359 UTC или до тех пор, пока сеть не выдаст 7,5 млн кредитов, в зависимости от того, что наступит раньше. 

Если 8-недельный период истек и было выдано менее 7,5 млн кредитов, команда Aleo оставляет за собой право распределять оставшиеся кредиты. Если вы работали с проверным узлом до даты начала и НЕ используете предоставленные сценарии, убедитесь, что вы сбросили свой узел; иначе вы не сможете зарабатывать стимулы.

вывод

Команда Aleo будет следить за деятельностью профессионалов в течение периода стимулирования, чтобы идентифицировать любого, кто может пытаться обмануть систему. Если вы не будете следовать указаниям наших объявлений, вы не получите вознаграждения, и в целом команда Aleo оставляет за собой право удерживать вознаграждения от любого лица по любой причине.

Обратите внимание, что эти кредиты, вероятно, будут распределены во время запуска сети. Они должны использоваться в качестве механизма оплаты услуг в магистрали Aleo. Они не являются инвестиционными или инвестиционными инструментами, и их не следует рассматривать как таковые; их ценность просто в их полезности для функциональности сети. Требуя своих наград, вы заявляете, гарантируете и подтверждаете, что вы:

• не приобретать Aleo Credits в качестве инвестиции и не ожидать экономической выгоды или прибыли в качестве держателя Aleo Credits;

• не полагаясь ни на Aleo, ни на кого из его сотрудников или представителей каким-либо образом;

• не приобретать какой-либо капитал или другие доли участия в Aleo в силу владения Aleo Credits;

• не искажать Aleo Credits как инвестицию или возможность получить экономическую выгоду или прибыль.

Как и в случае с Testnet 2, целью этого общедоступного Testnet является проверка технической архитектуры и безопасности блокчейна в максимально реалистичной обстановке. Aleo уже прошел несколько проверок безопасности, но мы считаем, что значительная часть того, что заставляет децентрализованный консенсус работать, связана с внутренними экономическими стимулами.

Чтобы узнать больше о запуске узла и участии в программе стимулирования Testnet 3, ознакомьтесь с нашей snarkOS хранилище на Github. Спасибо за участие в Aleo Testnet 3 и за помощь в тестировании инфраструктуры для частной децентрализованной платформы завтрашнего дня для частных приложений!