You can separate your code into multiple ZoKrates files using import statements:

Relative Imports

You can import a resource in the same folder directly, like this:

import "./mycode.code"

There also is a handy syntax to import from the parent directory:

import "../mycode.code"

Also imports further up the file-system are supported:

import "../../../mycode.code"

You can also choose to rename the imported resource, like so:

import "./mycode.code" as abc

Absolute Imports

Absolute imports don't start with ./ or ../ in the path and are used to import components from the ZoKrates standard library. Please check the according section for more details. `