Formal Crypto.

Smart contract development and blockchain verification

We are a team of full-stack programmers and mathematicians focused on the development of blockchain software solutions.

Contact us


Our team has been involved in a wide variety of projects, including the creation of DAOs, NFT collections, staking contracts, audits. Here are just a few of them.

Mars stakingDevelopment of a staking contract for ERC-20 token

Solidity Smart Contract development with an original logic and high-security requirements. Adding the ability to update using the developed Proxy contract based on ERC1967 and creating Web interface for MVP.

NFT collectionCreating an NFT collection on the Ethereum network

Development of an ERC721 smart contract for Solidity, which includes the logic of a private presale, gas savings, and limiting the number of sales per wallet.
Creation of a landing page for mint new tokens, integration with MetaMask and WalletConnect. Generate a collection of pseudo-random images and attributes depending on the weights of different layers types. Create an IPFS node and pin an NFT collection to it. Integration of the collection with the OpenSea auction.

AlgoEURSCreation of White Paper for the Stablecoin protocol

AlgoEURS is a decentralized finance (DeFi) protocol on Ethereum blockchain that allows users to borrow AEUR, a stablecoin pegged to the euro, using a wide range of on-chain assets as collateral including plain Ether, other stable coins, non-stable fungible tokens, and various non-fungible assets. The protocol allows borrowers to insure against the liquidation of the collateral assets and provides a platform for investors to make money as insurers. To create the possibility of insuring the collateral and making money on it, the protocol issues AEPUT token on Ethereum blockchain.

Axie NFT TokenCreating an NFT collection for authorization

Development of an ERC721 smart contract for Solidity on the BSC network for getting verified users one unique key to access other products of in-progress DAO. Creating Proxy Contract for future upgradability and development of NFT-based authorization tools for web and Telegram.

NFT Game AnalyticsDevelopment of a strategy for the onchain NFT game

Strategy development to increase the value of the investor's collection. Smart Contracts audits for Solidity in Ethereum and Polygon networks and creation of a real-time monitoring system with the collection of more than 20 different metrics of in-game mechanics. Setting up Telegram Bots for Instant Analytics.


Having extensive experience working with a variety of customers, we can join your project at any stage: from protocol design to turnkey development.

Our core competencies:

Contact us

We are glad to receive any of your feedback and suggestions. Use contact form below or send the message directly via Telegram.