The addresses of deployed libraries 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.