Values & Variables

Variables

Use set to assign values and $name to reference them:

load token

set $recipient 0x4F2083f5fBede34C2714aFfb3105539775f7FE64
set $amount @token:amount(DAI 1000)
exec @token(DAI) "transfer(address,uint256)" $recipient $amount

Types

The language supports these value types:

Type	Example	Description
address	0xAbCd...1234	20-byte Ethereum address
number	42, 100e18, 1.5e6	Integer or scientific notation
string	"hello", 'it\'s fine'	Quoted string (single or double); supports \', \", \\, \n, \r, \t, and \u{HHHH} escapes (any other \X is left literal); may span multiple lines
bool	true, false	Boolean
bytes	0xdeadbeef	Hex-encoded bytes
bytes32	0x00...001	32-byte value
array	[1 2 3]	Ordered collection — elements are space-separated, never commas
record	[a:1 b:2]	Named entries — sugar for the entries array [["a" 1] ["b" 2]]

Numbers support scientific notation with e: 100e18 means 100 * 10^18. This is useful for token amounts with 18 decimals.

Records

A record is an array of named entries written name:value — it desugars to an entries array of [name value] pairs, so [a:1 b:2] and [["a" 1] ["b" 2]] are the same value. Entries can nest arrays and records; an array can't mix named entries with positional elements.

load circom
load lang [@keys @values @lookup]

set $inputs [a:3 b:11]
set $names @keys($inputs)      # ["a" "b"]
set $signals @values($inputs)  # [3 11]
set $a @lookup($inputs a)      # 3

circom:prove $proof --wasm ipfs://QmWasm --zkey ipfs://QmZkey --inputs $inputs

Arithmetic & Boolean Expressions

Use @num() for arithmetic and @bool() for boolean logic:

set $a 1
set $b 2
set $total @num($a + $b * 2)

set $x 5
set $y 50
set $isValid @bool($x > 0 and $y < 100)

Next Steps

• Control Flow — use expressions to drive if and loop
• Syntax — commands, helpers, and options