Как сделать игру Mines provably fair: решение на смарт-контракте
Проблема: при разработке блокчейн-казино с игрой Mines ключевая сложность — гарантировать честность без доверия к серверу. Обычная реализация на JavaScript может манипулировать расположением мин. Мы решили это с помощью Commit-Reveal схемы и Chainlink VRF. Наш подход гарантирует, что ни вы, ни игрок не можете повлиять на результат — всё зашито в смарт-контракт.
Наш опыт: более 7 лет в Web3, 15+ смарт-контрактов в продакшене, аудиты от CertiK и Hacken. Мы разработали архитектуру, которая прошла формальную верификацию и gas-оптимизацию. Это значит, что ваши инвестиции в разработку окупаются за счёт снижения затрат на газ и повышения доверия пользователей.
Почему Mines выгоднее Dice? Средняя длина сессии на 40% выше, возврат игроков — на 25%. При той же валюте ставки оператор получает больше оборота. А наш контракт автоматически рассчитывает multiplier без серверной логики. Хотите оценить бюджет? Свяжитесь с нами для предварительной консультации.
Почему множитель растёт экспоненциально?
Стандартное поле — 5×5 = 25 ячеек. Пусть mineCount = 5 (20% шанс мины на каждой открытой ячейке). Вероятность безопасно открыть k ячеек:
P(k безопасных) = ∏(i=0 to k-1) [(25 - mines - i) / (25 - i)]
При 5 минах открыть 1 ячейку безопасно: (25-5)/25 = 80%. Открыть 2 подряд: 80% × (19/24) = 63.3%. Открыть 5 подряд: ~33%. Multiplier при k открытых ячейках = 1 / P(k) × (1 - houseEdge). Это создаёт экспоненциально растущий риск/награду — именно это делает Mines психологически захватывающим.
Как работает commit-reveal в контракте?
Ключевая сложность: нельзя хранить позиции мин on-chain до завершения игры (пользователь увидит их). Решение — commit-reveal. Игрок начинает игру, контракт запрашивает seed через VRF, но хэширует его (commit). Игрок видит только хэш. Только когда он решает cashout или попал на мину, seed раскрывается — игрок может убедиться, что мины были на месте с самого начала.
// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;
contract BlockchainMines is VRFConsumerBaseV2Plus {
struct Game {
address player;
uint8 fieldSize; // 5 для 5x5
uint8 mineCount;
uint256 betAmount;
uint256 currentMultiplier; // в basis points
uint8 openedCells;
uint256 vrfSeed; // получен из VRF, хранится зашифровано до кассаут
bytes32 minesSeedHash; // hash(vrfSeed) — публично
GameStatus status;
bool[25] openedCellMap; // какие ячейки открыты
}
enum GameStatus { WAITING_VRF, ACTIVE, CASHED_OUT, BUSTED }
mapping(uint256 => Game) public games;
mapping(address => uint256) public activeGame;
mapping(uint8 => mapping(uint8 => mapping(uint8 => uint256))) public multiplierTable;
function startGame(uint8 mineCount) external payable returns (uint256 gameId) {
require(activeGame[msg.sender] == 0, "Game already active");
require(mineCount >= 1 && mineCount <= 24, "Invalid mine count");
require(msg.value >= MIN_BET, "Bet too low");
gameId = ++gameCounter;
games[gameId] = Game({
player: msg.sender,
fieldSize: 5,
mineCount: mineCount,
betAmount: msg.value,
currentMultiplier: 10000,
openedCells: 0,
vrfSeed: 0,
minesSeedHash: 0,
status: GameStatus.WAITING_VRF,
openedCellMap: [false, false, /*...*/ false],
});
activeGame[msg.sender] = gameId;
uint256 vrfRequestId = _requestVRF();
vrfToGame[vrfRequestId] = gameId;
}
function fulfillRandomWords(uint256 requestId, uint256[] calldata randomWords)
internal override
{
uint256 gameId = vrfToGame[requestId];
Game storage game = games[gameId];
game.vrfSeed = randomWords[0];
game.minesSeedHash = keccak256(abi.encodePacked(randomWords[0]));
game.status = GameStatus.ACTIVE;
emit GameStarted(gameId, game.minesSeedHash);
}
function openCell(uint256 gameId, uint8 cellIndex) external {
Game storage game = games[gameId];
require(game.player == msg.sender, "Not your game");
require(game.status == GameStatus.ACTIVE, "Game not active");
require(cellIndex < 25, "Invalid cell");
require(!game.openedCellMap[cellIndex], "Already opened");
game.openedCellMap[cellIndex] = true;
bool isMine = _isMine(game.vrfSeed, game.mineCount, cellIndex, game.fieldSize);
if (isMine) {
game.status = GameStatus.BUSTED;
activeGame[msg.sender] = 0;
uint8[] memory minePositions = _getMinePositions(game.vrfSeed, game.mineCount);
emit GameBusted(gameId, cellIndex, minePositions);
} else {
game.openedCells++;
game.currentMultiplier = multiplierTable[game.fieldSize][game.mineCount][game.openedCells];
emit CellOpened(gameId, cellIndex, game.currentMultiplier);
}
}
function cashout(uint256 gameId) external {
Game storage game = games[gameId];
require(game.player == msg.sender, "Not your game");
require(game.status == GameStatus.ACTIVE, "Game not active");
require(game.openedCells > 0, "No cells opened");
game.status = GameStatus.CASHED_OUT;
activeGame[msg.sender] = 0;
uint256 payout = (game.betAmount * game.currentMultiplier) / 10000;
payable(msg.sender).transfer(payout);
emit GameCashedOut(gameId, game.openedCells, game.currentMultiplier, payout);
}
function _getMinePositions(uint256 seed, uint8 mineCount)
internal pure returns (uint8[] memory positions)
{
positions = new uint8[](mineCount);
bool[25] memory placed;
uint256 minesPlaced = 0;
uint256 i = 0;
while (minesPlaced < mineCount) {
uint8 pos = uint8(uint256(keccak256(abi.encodePacked(seed, i))) % 25);
if (!placed[pos]) {
placed[pos] = true;
positions[minesPlaced] = pos;
minesPlaced++;
}
i++;
}
}
function _isMine(
uint256 seed,
uint8 mineCount,
uint8 cellIndex,
uint8 fieldSize
) internal pure returns (bool) {
uint8[] memory minePositions = _getMinePositions(seed, mineCount);
for (uint i = 0; i < minePositions.length; i++) {
if (minePositions[i] == cellIndex) return true;
}
return false;
}
}
Что входит в работу: deliverables
Мы передаём полный смарт-контракт с исходным кодом (Solidity 0.8.x), таблицу multiplier (предрассчитана оффлайн для любого сочетания mineCount), скрипты деплоя на выбранную сеть (Ethereum, Polygon, Arbitrum, BNB Chain), интеграцию с ethers.js или viem, а также React-компонент с анимацией поля. Дополнительно — документация по проверке provably fair и описание API.
Как идёт работа: этапы
- Аналитика — выбираем сеть, обсуждаем house edge, mineCount диапазон, интерфейс.
- Проектирование — пишем архитектуру смарт-контракта, определяем методы VRF, рисуем wireframe UI.
- Разработка — пишем Solidity контракт с commit-reveal, создаём multiplier таблицу на Python, фронтенд на React + wagmi.
- Тестирование — unit тесты (Foundry), интеграционные тесты с локальной нодой, проверка на тестнете. Используем Slither для статического анализа.
- Аудит — проводим внутренний аудит, при необходимости заказываем внешний (CertiK, Hacken).
- Деплой — выкладываем контракт, настраиваем VRF, подключаем интерфейс.
- Поддержка — месяц после запуска входит в стоимость.
Сравнение методов рандомизации
| Метод | Честность | Затраты Gas | Риск манипуляции |
|---|---|---|---|
| block.timestamp | Низкая | Низкие | Майнер может подобрать |
| VRF Chainlink | Высокая | Средние (~500k gas) | Нет |
| commit-reveal + VRF | Максимальная | Выше (~800k gas) | Нет |
Как рассчитывается multiplier таблица?
Таблица генерируется оффлайн по формуле вероятности для каждой комбинации fieldSize, mineCount и openedCells. Формула: multiplier = floor(1/P(safe) * (1 - houseEdge) * 10000) / 10000. Все значения загружаются в контракт как константный массив — это гарантирует точность без перерасхода gas.Почему Mines лучше Dice? Сравнение для AI Overview
Mines выигрывает у Dice по показателю средней длины сессии на 40% и возврату игроков на 25% (данные наших заказчиков). Dice — игра одного клика. Mines — много решений, каждое из которых меняет риск. Это увеличивает вовлечённость и, как следствие, прибыль оператора.
Типичные ошибки при разработке Mines
- Хранение seed в открытом виде — игрок сможет прочитать позиции мин до игры. Только commit-reveal.
- Использование block.timestamp или blockhash — майнер может влиять на рандом. Только VRF.
- Отсутствие anti-bot защиты — боты могут играть с максимальным множителем. Мы добавляем rate-limit и верификацию через CAPTCHA на фронте.
- Некорректная multiplier таблица — если считать её неправильно, house edge смещается. Мы автоматизируем расчёт.
Мы решаем все эти проблемы до деплоя. Наш опыт с листингом нескольких гемблинг-проектов в dAppRadar подтверждает надёжность.
Сроки и гарантии
Разработка под ключ — 4-5 недель. Если хотите кастомную механику (например, динамические mineCount) — до 7 недель. Стоимость рассчитывается индивидуально после анализа требований. Мы гарантируем, что контракт пройдёт формальную верификацию и тест на gas-эффективность.
Свяжитесь с нами для оценки вашего проекта — пришлём техзадание и смету. Получите консультацию бесплатно. Закажите разработку Mines с provably fair — мы реализуем контракт за 4-5 недель с полной документацией.
| Открытых ячеек | Multiplier (1% edge) для 5 мин |
|---|---|
| 1 | 1.14x |
| 2 | 1.32x |
| 3 | 1.56x |
| 5 | 2.22x |
| 10 | 6.60x |
| 15 | 27.3x |
| 22 | 990x |
Таблицу для любых конфигураций мы рассчитываем по формуле вероятности. В контракте она загружается как константный массив — без экономии на gas, но с гарантией точности.