Chain Targets
Formagine compiles the same Form definition to optimized WASM for four blockchain ecosystems. Each target produces a chain-native binary — correct entry points, encoding, and state layout — with identical invariant guarantees. Write once, verify once, deploy to any supported chain.
CosmWasm
Targets the Cosmos ecosystem via the wasmd module. Emits WASM with instantiate, execute, query, and migrate entry points and JSON message dispatch. Deploys to Osmosis, Neutron, Injective, Sei, Stargaze, Juno, Terra, Archway, and any CosmWasm-enabled chain. The Rust-free approach produces binaries an order of magnitude smaller than standard CosmWasm Rust contracts — typically under 50KB versus 200-800KB.
Near Protocol
Targets NEAR Protocol's native WASM runtime with near-sdk-compatible exports. NEAR's storage staking model charges ~1 NEAR per 100KB of state, making state efficiency critical. Formagine's compact binary encoding reduces per-entry storage by ~40% versus near-sdk-rs with Borsh serialization. The 4MB binary limit is generous; Formagine contracts typically use under 80KB.
Arbitrum Stylus
Targets Arbitrum's WASM execution environment running alongside the EVM on Ethereum's most active L2. Full bidirectional interop — WASM contracts call Solidity contracts and vice versa. Uses Ethereum ABI encoding, callable from ethers.js, viem, and Foundry. WASM computation is ~100x cheaper than EVM opcodes via the ink metering system. Inherits Ethereum L1 security through Arbitrum's optimistic rollup.
Polkadot
Targets Substrate-based chains via pallet-contracts with ink!-compatible WASM. Uses SCALE codec encoding and Substrate's two-dimensional weight system (ref_time + proof_size). Deploys to Astar, Shiden, Aleph Zero, Phala, and any Substrate chain with pallet-contracts. Cross-chain composability via XCM enables forms on one parachain to interact with forms or pallets on another.