#SuccinctLabs #$PROVE

@Succinct Сеть Succinct Prover использует токен PROVE для облегчения платежей между запросчиками и проверами. Все платежи осуществляется через контракт SuccinctVApp, который действует как центральный уровень расчета для сети.

Депозиты

Запросчики начинают с внесения токенов PROVE в контракт SuccinctVApp, используя функциональность deposit(). Депозиты хранятся и ассоциируются с запросами, образуя эскроу-награду, которая в конечном итоге будет выплачена проверу. Депозит подлежит минимальной сумме депозита (minDepositAmount) и записывается внутренне как Транзакция для отслеживания расчетов.

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

Платежи

Когда провайдер успешно завершает запрос, внецепочный аукционист производит ZK доказательство, которое описывает новое экономическое состояние системы. Аукционист объединяет это ZK доказательство вместе со списком квитанций, которые представляют собой легковесные инструкции, такие как «оплатить 120 PROVE в хранилище провера X». Это доказательство и квитанции затем обрабатываются контрактом SuccinctVApp:

Проверка в цепочке: Контракт использует проверяющее устройство SP1 для подтверждения того, что ZK доказательство действительно и что оно чисто переводит состояние корня Меркла сети из старого в новое.

Атомарное обновление состояния: Если доказательство действительно, контракт хранит новый корень и временную метку, гарантируя, что каждый платеж связан с доказуемо правильным изменением состояния.

Исполнение квитанции: Подтвержденные квитанции затем выполняются в порядке; эти квитанции включают платежи в хранилища проверов, которые проходят через эскроу-хранилище iPROVE, чтобы все стейкеры делили награду, и прямые переводы, которые отправляются как сырой PROVE.

Поскольку инструкции по переводу встроены в криптографически проверенное доказательство, никакие средства не могут перемещаться без доказательства правильности соответствующих вычислений. Это обеспечивает минимизацию доверия к платежам с помощью одной транзакции в цепочке.