Charcoal is a Solidity-to-Sway translator written in Rust. This tool aims to translate contracts written in Solidity into Sway source code.

This is primarily an educational tool, and some generated Sway code may be incorrect or not optimal.

Please feel free to file an issue.

Requirements

Compiling the charcoal binary requires the Rust compiler and its package manager, cargo.

See the Rust Install page for installation options.

Usage

cargo run --release -- [OPTIONS]

[!warning]

Known Issues

• Functions that return owned strings may return string constants.
• Contracts that contain inheritance may generate incorrect function implementations.
• Structures that contain mappings may not be translated correctly.
• Pointer types may not be translated correctly.
• Signed integers support is incomplete.
• Low level calls are not all supported.
• Contract creation with new is not supported.

Implementation Status

• Language Items
  • [x] Import Directives
  • [x] Struct Types
  • [x] Enum Types
  • [x] Interfaces
  • [x] Libraries
  • [x] using/for
• Contract-related
  • [x] this
  • [x] super
  • [ ] selfdestruct(address payable recipient) (NOTE: Unsupported)
• State Variables
  • [x] Constant
  • [x] Immutable
  • [x] Regular
• Functions
  • [x] Parameters
  • [x] Return Variables
  • [x] Returning Multiple Values
  • [x] View Functions
  • [x] Pure Functions
  • [ ] Receive Ether Function (NOTE: Unsupported)
  • [ ] Fallback Function (NOTE: Unsupported)
  • [x] Function Overloading
  • [x] Function Modifiers
  • [ ] Function Signatures (NOTE: Unsupported)
  • [ ] Function Selectors (NOTE: Unsupported)
• Inheritance
  • [x] Inheritance Specification
  • [x] Function Overriding
  • [ ] Modifier Overriding
  • [x] Constructors
• Events
  • [x] Event Type Declarations
  • [ ] Indexed Parameters (NOTE: Unsupported)
  • [ ] <event>.selector (NOTE: Unsupported)
• Error Handling
  • [x] Error Type Declarations
  • [ ] <error>.selector (NOTE: Unsupported)
  • [x] assert(bool condition)
  • [x] require(bool condition)
  • [x] require(bool condition, string memory message)
  • [x] revert()
  • [x] revert(string memory reason)
  • [x] revert Error(1, 2, 3)
  • [ ] revert Error({a: 1, b: 2, c: 3})
• Control Structures
  • [x] if/else
  • [x] while
  • [x] do/while
  • [x] for
  • [x] break
  • [x] continue
  • [x] return
  • [x] try/catch
• Function Calls
  • [x] Internal Function Calls
  • [x] External Function Calls
  • [x] Function Calls with Named Parameters
  • [x] Omitted Names in Function Definitions
  • [ ] Creating Contracts via new
• Ether Units
  • [ ] wei
  • [ ] gwei
  • [ ] ether
• Time Units
  • [ ] seconds
  • [ ] minutes
  • [ ] hours
  • [ ] days
  • [ ] weeks
• Block and Transaction Properties
  • [x] blockhash(uint blockNumber) returns (bytes32)
  • [ ] blobhash(uint index) returns (bytes32) (NOTE: Unsupported)
  • [ ] block.basefee (NOTE: Unsupported)
  • [ ] block.blobbasefee (NOTE: Unsupported)
  • [x] block.chainid
  • [x] block.coinbase
  • [ ] block.difficulty (NOTE: Unsupported)
  • [ ] block.gaslimit
  • [x] block.number
  • [ ] block.prevrandao (NOTE: Unsupported)
  • [x] block.timestamp
  • [ ] gasleft() returns (uint256)
  • [x] msg.data
  • [x] msg.sender
  • [ ] msg.sig (NOTE: Unsupported)
  • [x] msg.value
  • [x] tx.gasprice
  • [ ] tx.origin (NOTE: Unsupported)
• ABI Encoding and Decoding Functions
  • [x] abi.decode(bytes memory encodedData, (...)) returns (...)
  • [x] abi.encode(...) returns (bytes memory)
  • [x] abi.encodePacked(...) returns (bytes memory)
  • [ ] abi.encodeWithSelector(bytes4 selector, ...) returns (bytes memory)
  • [ ] abi.encodeWithSignature(string memory signature, ...) returns (bytes memory)
  • [ ] abi.encodeCall(function functionPointer, (...)) returns (bytes memory)
• Members of bytes
  • [ ] bytes.concat(...) returns (bytes memory)
• Members of string
  • [ ] string.concat(...) returns (string memory)
• Mathematical and Cryptographic Functions
  • [x] addmod(uint x, uint y, uint k) returns (uint)
  • [x] mulmod(uint x, uint y, uint k) returns (uint)
  • [x] keccak256(bytes memory) returns (bytes32)
  • [x] sha256(bytes memory) returns (bytes32)
  • [ ] ripemd160(bytes memory) returns (bytes20) (NOTE: Unsupported)
  • [ ] ecrecover(bytes32 hash, uint8 v, bytes32 r, bytes32 s) returns (address)
• Members of Address Types
  • [ ] <address>.balance (uint256)
  • [ ] <address>.code (bytes memory)
  • [ ] <address>.codehash (bytes32)
  • [x] <address payable>.transfer(uint256 amount)
  • [x] <address payable>.send(uint256 amount) returns (bool)
  • [x] <address>.call(bytes memory) returns (bool, bytes memory)
  • [ ] <address>.delegatecall(bytes memory) returns (bool, bytes memory) (NOTE: Unsupported)
  • [ ] <address>.staticcall(bytes memory) returns (bool, bytes memory) (NOTE: Unsupported)
• Type Information
  • [ ] type(C).name
  • [ ] type(C).creationCode
  • [ ] type(C).runtimeCode
  • [ ] type(I).interfaceId
  • [x] type(T).min
  • [x] type(T).max
• Inline Assembly Statements
  • [x] Assignments
  • [x] Variable Declarations
  • [x] If Statements
  • [x] For Statements
  • [x] Switch Statements
  • [ ] Leave Statements
  • [x] Break Statements
  • [x] Continue Statements
  • [x] Block Statements
  • [ ] Function Definitions
  • [x] Function Calls
• Inline Assembly Expressions
  • [x] Boolean Literals
  • [x] Number Literals
  • [x] Hex Number Literals
  • [ ] Hex String Literals
  • [x] String Literals
  • [x] Variable Identifiers
  • [x] Function Calls
  • [ ] Suffix Access
• Inline Assembly Built-In Functions
  • [ ] stop
  • [x] add
  • [x] mul
  • [x] sub
  • [x] div
  • [x] sdiv
  • [x] mod
  • [x] smod
  • [x] exp
  • [x] not
  • [x] lt
  • [x] gt
  • [x] slt
  • [x] sgt
  • [x] eq
  • [x] iszero
  • [x] and
  • [x] or
  • [x] xor
  • [ ] byte
  • [x] shl
  • [x] shr
  • [x] sar
  • [x] addmod
  • [x] mulmod
  • [ ] signextend
  • [x] sha3
  • [x] keccak256
  • [ ] pc
  • [ ] pop
  • [ ] mload
  • [ ] mstore
  • [ ] mstore8
  • [ ] sload
  • [ ] sstore
  • [ ] tload
  • [ ] tstore
  • [ ] msize
  • [ ] gas
  • [x] address
  • [ ] balance
  • [x] selfbalance
  • [x] caller
  • [x] callvalue
  • [ ] calldataload
  • [ ] calldatasize
  • [ ] calldatacopy
  • [ ] codesize
  • [ ] codecopy
  • [ ] extcodesize
  • [ ] extcodecopy
  • [ ] returndatasize
  • [ ] returndatacopy
  • [ ] mcopy
  • [ ] extcodehash
  • [ ] create
  • [ ] create2
  • [ ] call
  • [ ] callcode
  • [ ] delegatecall
  • [ ] staticcall
  • [ ] return
  • [ ] revert
  • [ ] selfdestruct
  • [ ] invalid
  • [ ] log0
  • [ ] log1
  • [ ] log2
  • [ ] log3
  • [ ] log4
  • [x] chainid
  • [ ] basefee
  • [ ] blobbasefee
  • [ ] origin
  • [x] gasprice
  • [ ] blockhash
  • [ ] blobhash
  • [x] coinbase
  • [x] timestamp
  • [x] number
  • [ ] difficulty
  • [ ] prevrandao
  • [ ] gaslimit
  • [ ] datasize
  • [ ] dataoffset
  • [ ] datacopy
  • [ ] setimmutable
  • [ ] loadimmutable
  • [ ] linkersymbol
  • [ ] memoryguard
  • [ ] verbatim...