The addresses of deployed libaries must be set in the project configuration. These addresses then replace their placeholders in IRs: linkersymbol in Yul and PUSHLIB in EVM legacy assembly.

A library may only be used without deployment if it has been inlined by the optimizer.

Compiling non-inlinable libraries

View the ZK Stack docs to learn how to compile non-inlinable libraries.