Контракты
Proof-native контракт хранит NOID под обязательством программы и правил расходования. Каждый его переход доказывается тем же рекурсивным доказательством блока, что и обычные платежи. Пользователи работают с общим ограниченным ядром, не создавая отдельную систему доказательств для каждого приложения.
Архитектурная идея описана в From live value to live rights. Этот раздел объясняет практическую работу.
| Задача | Руководство |
|---|---|
| Разобраться в условиях, депозитах, вызовах и преемниках | Жизненный цикл и механика |
| Изучить инструкции, счётчики и авторизацию | Целочисленное ядро и ABI |
| Написать и проверить программу контракта | Язык Pruv и рабочий процесс |
| Выбрать готовые правила | Шесть шаблонов |
| Подключить приложение или использовать CLI | API и интеграция |
| Создавать, передавать и использовать контракты в кошельке | Работа через GUI |
| Обмениваться чеками и восстановиться после офлайна | Чеки и восстановление |
Вместимость блоков
getContractProtocol показывает установленный runtime и пределы блоков.
Пополнение и вызовы требуют runtime_available = true.
| Класс | Страницы | Живые входы | Вызовы контрактов |
|---|---|---|---|
| Small, m23 | 63 | 504 | 63 |
| Large, m24 | 206 | 504 | 63 |
| Native, m24 | 63 | 504 | 63 |
Вызовы и платежи используют общий бюджет страниц. Вызов занимает одну страницу и один живой вход; обычный платёж может занимать несколько. Small вмещает 63 вызова или 63 одностраничных платежа. Large — 63 вызова и 143 одностраничных платежа с общим пределом 504 входа. Основной coinbase учитывается отдельно; дополнительная обязательная системная запись занимает одну страницу бюджета.
Что сохранять
Цепь аутентифицирует текущее обязательство и стоимость. Сохраняйте секрет кошелька, публичные условия контракта и нужные чеки. Один секрет не позволяет воссоздать произвольную программу или пропущенные изменения счётчиков. Кошелёк находит локально отслеживаемых преемников и объединяет полученные доказательства со своим журналом. Файл контракта содержит условия и не более одного подходящего чека, а не полный архив действий всех участников.
Сохранение условий без депозита бесплатно. Пополнение и вызовы оплачиваются отдельными сетевыми комиссиями. Лимит комиссии вызова — потолок будущей комиссии, а не стоимость создания контракта.
Нативные финансовые контракты
Нативные контракты охватывают токены, кривые, пулы DEX и NFT-листинги. Общее рекурсивное доказательство блока проверяет владение, резервы и атомарные переводы. Типизированные операции работают в Native вместе с ABI 3 и платежами.
Шаблоны Pruv создают запросы с проверкой условий перед отправкой. Руководства кошелька описывают токены и NFT. См. точные правила.