Constraint

Functions

arg

Target a calldata argument by path. Each argument is a big-endian uint16 step; multiple steps navigate into nested types.

Git Source

function arg(p0: number, ...rest: number[]): ConstraintBuilder;

Parameters

Returns

ConstraintBuilder

msgSender

Target the msg.sender context property.

Git Source

function msgSender(): ConstraintBuilder<`0x${string}`>;

Returns

ConstraintBuilder<`0x${string}`>

msgValue

Target the msg.value context property.

Git Source

function msgValue(): ConstraintBuilder<bigint>;

Returns

ConstraintBuilder<bigint>

blockTimestamp

Target the block.timestamp context property.

Git Source

function blockTimestamp(): ConstraintBuilder<bigint>;

Returns

ConstraintBuilder<bigint>

blockNumber

Target the block.number context property.

Git Source

function blockNumber(): ConstraintBuilder<bigint>;

Returns

ConstraintBuilder<bigint>

chainId

Target the block.chainid context property.

Git Source

function chainId(): ConstraintBuilder<bigint>;

Returns

ConstraintBuilder<bigint>

txOrigin

Target the tx.origin context property.

Git Source

function txOrigin(): ConstraintBuilder<`0x${string}`>;

Returns

ConstraintBuilder<`0x${string}`>

baseFee

Target the block.basefee context property.

Git Source

function baseFee(): ConstraintBuilder<bigint>;

Returns

ConstraintBuilder<bigint>

gasPrice

Target the tx.gasprice context property.

Git Source

function gasPrice(): ConstraintBuilder<bigint>;

Returns

ConstraintBuilder<bigint>

Types

ConstraintBuilder

Mutable builder that accumulates operators targeting a single path. Implements the Constraint interface so it can be passed directly to policy builders.

Git Source

ScalarValue

Accepted scalar value types for operator arguments.

Git Source