labs@atheron:~/services/web3$ deploy contract --audit-ready

Smart contracts

Web3 code written for the audit.

Tokens, staking, vaults, marketplaces and the dapps your users see. We write your contracts so an auditor can read them, and we test them as if one were already looking.

Start a project Estimate it

// what we build

Contracts and the apps around them.

Tokens

Fungible and non-fungible tokens, with the supply rules written into the contract, not into a promise.

Staking and vaults

Deposits, rewards and withdrawals. The accounting is tested against every order of operations we can generate.

Marketplaces

Listings, bids and settlement on chain, with fees and royalties that add up.

Dapps

Front ends that read the chain, ask for signatures clearly and show what a transaction will do before your user sends it.

Wallet sign-in

Your users sign in with a wallet, across chains. The challenge is made and checked on the server.

Audit preparation

Specifications, invariants, test suites and documentation, so your audit spends its time on what matters.

// how we build it

Invariants first, code second.

Before we write the contract, we write down what must always be true, such as no one withdrawing more than they put in.
Property tests and fuzzing try thousands of sequences of calls against those invariants.
Upgrade paths, admin keys and pauses are decided in the open and documented. Nothing is hidden.
If something should not be on chain at all, we tell you plainly.

// stack

What we usually build with.

contracts: Solidity for EVM chains; Rust where the chain calls for it
testing: Foundry, property tests and fuzzing
front end: Next.js, TypeScript, standard wallet connectors (EIP-6963)
sign-in: Wallet sign-in for EVM, Bitcoin, Solana, TON, Sui, Aptos and Cosmos wallets

// a typical first project

Token and staking, audit-ready.

A token, a staking contract and a simple dapp to use them, with the tests and documents an auditor asks for. Open it in the estimator to see what it would cost.

Estimate this

// proof

The ATON blockchain

Our own block-DAG specification: a GHOSTDAG-style rule, a hard cap of one billion ATON and a fair launch.

Read about the chain

// questions

Questions about smart contracts.

Do you audit contracts?

We prepare them for audit and test them hard, but your audit should come from someone who did not write the code. We help you choose an auditor and fix what they find.

Which chains?

Ethereum and the EVM chains most of all, and others where your project needs them. If a chain is a poor fit for what you want to do, we will say so.

Can contracts be upgraded?

They can be built to be. That is a trade-off between fixing mistakes and trusting whoever holds the upgrade key. We decide it with you and document it.

Do you launch tokens for sale?

We build the contracts and the apps. Whether and how a token is offered is a legal question for your own advisers, and we do not give that advice.

// industries

How it fits your industry.

See what this looks like in your industry: the questions buyers ask, and example projects with a price range.

// related

Often built together.

~/apps

Web and mobile apps

Web apps, iOS and Android apps, customer portals and back offices that your team runs every day, in web2 or web3.

~/chains

Private and public blockchains

Permissioned networks for companies, and public chains. Each one is specified before it is built.

~/bots

Discord and Telegram bots

Bots for moderation, verification, rewards, support and commerce, which your team runs from its own admin screens.

// where we work

Find your market.

See this work from your city: what changes there, the questions buyers ask, and prices in your currency.

Every market

// start

Not sure which you need?

Tell us the problem, not the solution. We will tell you what we would build, and what we would not.

Start a project Book a call