Building contracts from source

When deploying, Fadroma automatically builds the Contracts specified in the deployment, using a procedure based on secret-contract-optimizer.

This either with your local Rust/WASM toolchain, or in a pre-defined build container. The latter option requires Docker (which you also need for the devnet).

By default, optimized builds are output to the wasm subdirectory of your project. Checksums of build artifacts are emitted as wasm/*.wasm.sha256: these checksums should be equal to the code hashes returned by the chain.

We advise you to keep these build receipts in version control. This gives you a quick way to keep track of the correspondence between changes to source and resulting changes to code hashes.

Furthermore, when creating a Project, you'll be asked to define one or more Templates corresponding to the contract crates of your project. You can

Fadroma implements reproducible compilation of contracts. What to compile is specified using the primitives defined in Fadroma Core.

Build CLI

$ fadroma build CONTRACT    # nop if already built
$ fadroma rebuild CONTRACT  # always rebuilds

• CONTRACT: one of the contracts defined in the project, or a path to a crate assumed to contain a single contract.

Builder configuration

Build API

• BuildRaw: runs the build in the current environment
• BuildContainer: runs the build in a container for enhanced reproducibility

Getting a builder

import { getBuilder } from '@hackbg/fadroma'
const builder = getBuilder(/* { ...options... } */)

import { Builder } from '@hackbg/fadroma'
assert(builder instanceof Builder)

BuildContainer

By default, you get a BuildContainer, which runs the build procedure in a container provided by either Docker or Podman (as selected by the FADROMA_BUILD_PODMAN environment variable).

import { BuildContainer } from '@hackbg/fadroma'
assert.ok(getBuilder({ raw: false }) instanceof BuildContainer)

BuildContainer uses @hackbg/dock to operate the container engine.

import * as Dokeres from '@hackbg/dock'
assert.ok(getBuilder({ raw: false }).docker instanceof Dokeres.Engine)

Use FADROMA_DOCKER or the dockerSocket option to specify a non-default Docker socket path.

getBuilder({ raw: false, dockerSocket: 'test' })

The BuildContainer runs the build procedure defined by the FADROMA_BUILD_SCRIPT in a container based on the FADROMA_BUILD_IMAGE, resulting in optimized WASM build artifacts being output to the FADROMA_ARTIFACTS directory.

BuildRaw

If you want to execute the build procedure in your current environment, you can switch to BuildRaw by passing raw: true or setting FADROMA_BUILD_RAW.

const rawBuilder = getBuilder({ raw: true })

import { BuildRaw } from '@hackbg/fadroma'
assert.ok(rawBuilder instanceof BuildRaw)

Building a contract

Now that we've obtained a Builder, let's compile a contract from source into a WASM binary.

Building a named contract from the project

Building asynchronously returns Template instances. A Template is an undeployed contract. You can upload it once, and instantiate any number of Contracts from it.

for (const raw of [true, false]) {
  const builder = getBuilder({ raw })

To build a single crate from the current space through a Fadroma builder:

  const contract_0 = await builder.build({ crate: 'fadroma-example-kv' })

To build multiple crates in parallel:

  const [contract_1, contract_2] = await builder.buildMany([
    { crate: 'fadroma-example-admin' },
    { crate: 'fadroma-example-killswitch' }
  ])

For built contracts, the following holds true:

  for (const [contract, index] of [ contract_0, contract_1, contract_2 ].map((c,i)=>[c,i]) {

• Build result will contain code hash and path to binary:

    assert(typeof contract.codeHash === 'string', `contract_${index}.codeHash is set`)
    assert(contract.artifact instanceof URL,      `contract_${index}.artifact is set`)

• Build result will contain info about build inputs:

    assert(contract.workspace, `contract_${index}.workspace is set`)
    assert(contract.crate,     `contract_${index}.crate is set`)
    assert(contract.revision,  `contract_${index}.revision is set`)

The above holds true equally for contracts produced by BuildContainer and BuildRaw.

  }
}

Specifying a contract to build

The Template and Contract classes have the following properties for specifying the source:

The outputs of builds are called artifacts, and are represented by two properties:

import { Contract } from '@fadroma/agent'
const contract: Contract = new Contract({ builder, crate: 'fadroma-example-kv' })
await contract.compiled

import { Template } from '@fadroma/agent'
const template = new Template({ builder, crate: 'fadroma-example-kv' })
await template.compiled

Building past commits of contracts

• DotGit, a helper for finding the contents of Git history where Git submodules are involved. This works in tandem with build.impl.mjs to enable:
  • building any commit from a project's history, and therefore
  • pinning versions for predictability during automated one-step deployments.

If .git directory is present, builders can check out and build a past commits of the repo, as specifier by contract.revision.

import { Contract } from '@fadroma/agent'
import { getGitDir, DotGit } from '@hackbg/fadroma'

assert.throws(()=>getGitDir(new Contract()))

const contractWithSource = new Contract({
  repository: 'REPO',
  revision:   'REF',
  workspace:  'WORKSPACE'
  crate:      'CRATE'
})

assert.ok(getGitDir(contractWithSource) instanceof DotGit)

Build caching

When build caching is enabled, each build call first checks in FADROMA_ARTIFACTS for a corresponding pre-existing build and reuses it if present.

Setting FADROMA_REBUILD disables build caching.

Implementation details

The build procedure

The ultimate build procedure, i.e. actual calls to cargo and such, is implemented in the standalone script FADROMA_BUILD_SCRIPT (default: build.impl.mjs), which is launched by the builders.

Builders

The subclasses of the abstract base class Builder in Fadroma Core implement the compilation procedure for contracts.

import assert from 'node:assert'
import { fileURLToPath } from 'url'