Как работает KaspaForge Arena

KaspaForge Arena — некастодиальный протокол для доказуемо честных игр. Первая живая игра — блекджек с дилером дома в публичной mainnet-бете. Любой разблокированный профиль Desk может войти за OPEN-стол со своим ключом кошелька. Ковенанты Kaspa L1 контролируют деньги и допустимые состояния, а zero-knowledge proofs проверяют закреплённую колоду и перемешивание. Граница доверия к текущему hosted prover прямо описана ниже.

Одна партия — пять независимо проверяемых слоёв

Здесь нет одного сокращения «доверьтесь ZK»: каждый слой доказывает или исполняет свою часть партии.

Как генерируется ZK-доказуемая колода

1. Дилер делает commit первым. Комната фиксирует обязательство seed дилера до входа игрока. Оно не раскрывает seed, но не даёт заменить его позже.
2. Игрок входит со своим commitment. Одно подтверждение паролем создаёт игровую идентичность, проверяет и подписывает точный JOIN и публикует commitment игрока.
3. Игрок раскрывает seed. Reveal обязан соответствовать раннему commitment. Seed обеих сторон, идентификатор партии и правила теперь задают один точный вход перемешивания.
4. Программа выполняет несмещённый детерминированный Fisher–Yates. Одна и та же байт-в-байт программа Arena обязана получить одинаковый порядок 52 карт из одинаковых входов. Серверного API «выбрать колоду» нет.
5. Скрытая колода становится SHA-256 Merkle-деревом. Публичен корень, будущие карты скрыты от игрока и чейна. Позже карта открывается вместе с путём, доказывающим её место именно в этой колоде.
6. Prover строит доказательство для конкретной партии. Журнал zkVM связывает правила, идентификатор партии, commitments и корень колоды. Подставить proof от другой комнаты нельзя.
7. Проверка происходит до раздачи. Для новых публичных комнат proof строит hosted RTX prover, но артефакт принимается только после независимой CPU-проверки. Лишь затем ковенант может перейти в состояние dealt.

От открытого стола до ончейн-рецепта

1. Room. Дилер дома KaspaForge финансирует OPEN Room covenant своей ставкой, залогом живости и резервом сетевой комиссии.
2. Sit down. Любой разблокированный профиль Desk может занять доступное OPEN-место со своим P2PK-ключом; allowlist отдельных кошельков нет. Desk проверяет комнату, при необходимости готовит точную монету игрока, локально подписывает JOIN и запускает seed-flow одним вводом пароля.
3. Prove and deal. Hosted proof генерируется, независимо проверяется и связывается с переходом, фиксирующим корень колоды.
4. Play. Hit и stand двигают единственный Game UTXO. Открытые карты сверяются с Merkle-путями; недопустимый из текущего состояния переход отвергается.
5. Dealer resolution. S17 входит в правила текущих комнат и публичные входы proof. Дилер не может сменить правило после финансирования комнаты.
6. Settlement. Терминальная ветка платит ограниченные выходы игрока, дилера, сервиса и prover и записывает точную транзакцию. Лобби Arena связывает рецепт со списком завершённых партий.

Текущая экономика бета-стола

Реальная ставка

5, 10, 25, 50, 75 или 100 KAS с каждой стороны. На каждом уровне стоит по одному доступному OPEN-столу S17.

Залоги живости

Игрок добавляет 2 KAS, дилер — 5 KAS. При штатном расчёте залоги возвращаются и защищают timeout-поведение.

Сетевой резерв

Дилер вносит измеренный резерв на комиссии ходов. Это не ставка; неиспользованная часть возвращается при расчёте.

Игровой сервис

0,9% банка двух ставок: 0,09, 0,18, 0,45, 0,9, 1,35 или 1,8 KAS. Комиссия взимается только с победителя; залоги и резерв в её базу не входят.

Hosted proof

0 KAS на всех текущих OPEN-столах. Сейчас расходы на HOSTED proving покрывает KaspaForge.

Выплаты

Обычный выигрыш платит 1:1 до заявленной комиссии сервиса с победителя. Двухкарточный natural игрока против ненатуральной руки дилера платит 3:2. Правило выплаты закреплено идентификатором программы комнаты и не может измениться посреди партии.

Как проверить свою партию

1. Откройте Verify game на столе: там видны game id, правила, commitments, корень колоды, статус proof и журнал ходов.
2. После расчёта откройте Receipt в блоке Последние завершённые партии. Ссылка ведёт к точной терминальной транзакции в публичном Kaspa explorer.
3. Проверьте сохранение стоимости: блокировка выбранного стола равна выходам участников + выходу сервиса + выходу hosted prover + сетевым комиссиям. Неиспользованный резерв уже входит в выплаты участникам и второй раз не считается.
4. Если proof, проекция комнаты или цепочка подписанного admission отсутствует либо невалидна, клиент обязан отказать, а не просить довериться серверной копии.

git clone https://github.com/pcdoctormsk-ctrl/arena-verifier.git
cd arena-verifier
./scripts/check.sh
cargo run --locked --manifest-path arena-verify/Cargo.toml -- /path/to/proof.json

Почему первая игра Arena — блекджек

Блекджек достаточно прост, чтобы довести партию до конца, и достаточно сложен, чтобы нагрузить всю платформу: скрытая информация дилера, случайная колода, варианты H17/S17, решения игрока, стадии proving, таймауты, потолки комиссий и терминальная выплата из общих средств. Повторно используемый результат больше одной карточной игры: admission, генератор программы, граница кошелька, proving pipeline, автомат Room → Game и методика аудита подходят будущим доказуемо честным играм.