Разработка provably fair игры HiLo: смарт-контракты и коммит-ривел

Provably fair HiLo на блокчейне: коммит-ривел и газ-оптимизация

Игроки в блокчейн-казино часто сомневаются в честности исхода. Когда генератор случайных чисел скрыт, а результат определяется на сервере — доверие падает. Мы отказываемся от такой модели. Вместо закрытого RNG используем коммит-ривел схему: серверный сид фиксируется до начала игры, а после — раскрывается. Каждый шаг верифицируется на уровне смарт-контракта. Такой подход гарантирует, что даже владелец казино не может подменить результат после старта игры. Игрок может воспроизвести все карты, используя открытые сиды.

В нашей реализации HiLo house edge фиксирован и прописан в контракте — 1%. Никаких скрытых комиссий. Мультипликатор рассчитывается динамически на основе вероятности угадывания, что исключает возможность манипуляции.

Почему мы не используем Chainlink VRF?

Chainlink VRF — децентрализованный рандомайзер, но он медленный: на каждый запрос уходит 1–2 блока (~2 секунд на Ethereum). Для игры, где карта должна раскрываться мгновенно, это неприемлемо. Коммит-ривел схема с детерминированной комбинацией хэшей сидов даёт результат сразу, без ожидания оракула.

Коммит-ривел схема в 500 раз дешевле и в 100 раз быстрее — идеальный выбор для HiLo.

Как игрок может проверить честность?

После окончания игры казино публикует полный серверный сид. Игрок берёт этот сид, вычисляет keccak256(serverSeed) и сравнивает с хэшем, который был опубликован до игры. Если хэши совпадают — казино не подменяло сид. Затем по формуле _deriveCard из контракта игрок генерирует последовательность карт и сверяет с историей.

Согласно спецификации EIP-1967, использование детерминированных функций на основе хэшей гарантирует неизменность результата после фиксации сида.

// Клиентская верификация (JavaScript) import { keccak256, encodePacked } from "viem"; function verifyGame( serverSeed: string, serverSeedHash: string, clientSeed: string, cards: number[] ): boolean { const computedHash = keccak256(new TextEncoder().encode(serverSeed)); if (computedHash !== serverSeedHash) return false; for (let i = 0; i < cards.length; i++) { const combined = keccak256( encodePacked(["bytes32", "bytes32", "uint8"], [serverSeedHash, clientSeed as `0x${string}`, i]) ); const card = Number(BigInt(combined) % 52n); if (card !== cards[i]) return false; } return true; } 

Как мы это делаем: стек и реализация

Мы используем Solidity 0.8.20, Foundry для тестирования и деплоя, и Tenderly для мониторинга. Контракт содержит оптимизированную коммит-ривел схему, где каждая карта вычисляется на лету без хранения всей колоды.

// SPDX-License-Identifier: MIT pragma solidity ^0.8.20; contract HiLoGame { uint8 constant DECK_SIZE = 52; struct Game { address player; bytes32 serverSeedHash; bytes32 clientSeed; string serverSeed; uint256 betAmount; uint8 currentCard; uint8 position; uint256 multiplier; bool active; bool cashed; } mapping(bytes32 => Game) public games; uint256 public constant HOUSE_EDGE = 100; // 1% event GameStarted(bytes32 indexed gameId, address player, uint8 firstCard); event CardRevealed(bytes32 indexed gameId, uint8 card, uint256 multiplier); event GameCashed(bytes32 indexed gameId, uint256 payout); event GameLost(bytes32 indexed gameId, uint8 card); function startGame( bytes32 serverSeedHash, bytes32 clientSeed ) external payable returns (bytes32 gameId) { require(msg.value > 0, "Bet required"); gameId = keccak256(abi.encodePacked( msg.sender, serverSeedHash, clientSeed, block.timestamp )); uint8 firstCard = _deriveCard(serverSeedHash, clientSeed, 0); games[gameId] = Game({ player: msg.sender, serverSeedHash: serverSeedHash, clientSeed: clientSeed, serverSeed: "", betAmount: msg.value, currentCard: firstCard, position: 0, multiplier: 100, // 1.0x active: true, cashed: false }); emit GameStarted(gameId, msg.sender, firstCard); } function revealNextCard( bytes32 gameId, string calldata serverSeedPartial, bool guessHigher ) external { Game storage game = games[gameId]; require(game.active, "Game not active"); require(msg.sender == owner() || msg.sender == gameServer, "Unauthorized"); uint8 nextCard = _deriveCard( game.serverSeedHash, game.clientSeed, game.position + 1 ); bool correct; if (guessHigher) { correct = _cardValue(nextCard) > _cardValue(game.currentCard); } else { correct = _cardValue(nextCard) < _cardValue(game.currentCard); } if (_cardValue(nextCard) == _cardValue(game.currentCard)) { correct = false; } game.position++; game.currentCard = nextCard; if (!correct) { game.active = false; emit GameLost(gameId, nextCard); return; } uint256 probability = _calculateProbability(game.currentCard, guessHigher); game.multiplier = (game.multiplier * 9900) / probability; emit CardRevealed(gameId, nextCard, game.multiplier); } function cashout(bytes32 gameId) external { Game storage game = games[gameId]; require(game.active, "Game not active"); require(msg.sender == game.player, "Not your game"); game.active = false; game.cashed = true; uint256 payout = (game.betAmount * game.multiplier) / 100; payable(game.player).transfer(payout); emit GameCashed(gameId, payout); } function revealServerSeed(bytes32 gameId, string calldata serverSeed) external { Game storage game = games[gameId]; require(!game.active, "Game still active"); require( keccak256(bytes(serverSeed)) == game.serverSeedHash, "Invalid server seed" ); game.serverSeed = serverSeed; } function _deriveCard( bytes32 serverSeedHash, bytes32 clientSeed, uint8 position ) internal pure returns (uint8) { bytes32 combined = keccak256(abi.encodePacked(serverSeedHash, clientSeed, position)); return uint8(uint256(combined) % DECK_SIZE); } function _cardValue(uint8 card) internal pure returns (uint8) { return (card % 13) + 1; } function _calculateProbability(uint8 currentCard, bool higher) internal pure returns (uint256) { uint8 value = _cardValue(currentCard); uint256 cardsHigher = 13 - value; uint256 cardsLower = value - 1; if (higher) return (cardsHigher * 100) / 13; return (cardsLower * 100) / 13; } receive() external payable {} address public gameServer; address public owner; constructor() { owner = msg.sender; gameServer = msg.sender; } modifier onlyOwner() { require(msg.sender == owner); _; } } 

Какие проблемы решает коммит-ривел?

Без коммит-ривел игрок не может быть уверен, что сервер не подменил результат после ставки. Коммит-ривел снимает эту проблему: хэш сида фиксируется до игры, а сам сид раскрывается только после. Игрок получает доказуемую гарантию, что результат не был изменён. Это необходимо для лицензионных требований и доверия пользователей.

Процесс работы

1. Аналитика: обсуждаем механику, требования к RNG, мультипликатор, house edge, лимиты ставок.
2. Проектирование: архитектура смарт-контракта, выбор схемы коммит-ривел, определение интерфейсов.
3. Разработка: пишем контракт на Solidity 0.8.20, пишем тесты в Foundry (unit + fuzzing).
4. Тестирование: формальная верификация с помощью Slither, Echidna (fuzzing), тестнет-деплой.
5. Аудит: привлекаем стороннего аудитора (опционально).
6. Деплой: деплоим на выбранную сеть (Ethereum, Polygon, BNB Chain).
7. Поддержка: мониторинг, обновление параметров, помощь игрокам.

Что входит в работу

• Исходный код смарт-контракта с комментариями
• Документация по верификации для игроков
• Интеграция с фронтендом (React, wagmi, RainbowKit)
• Тестовый деплой на testnet
• Деплой на mainnet + настройка Tenderly мониторинга
• Обучение команды валидации результатов

Сроки и стоимость

Базовая реализация (контракт + фронтенд) занимает 2–3 недели. Если требуется формальная верификация и полный аудит, срок увеличивается до 6–8 недель. Стоимость рассчитывается индивидуально в зависимости от сложности и объёма работ.

Обратитесь к нам, чтобы обсудить ваш проект. Мы имеем 5+ лет опыта в блокчейн-разработке, реализовали более 20 игр и DeFi-продуктов. Гарантируем provably fair реализацию и прозрачность всех алгоритмов.

Закажите разработку игры HiLo под ключ — пишите, оценим проект за 24 часа. Получите консультацию по архитектуре и газ-оптимизации.