Skip to content

Pragma

All files with .circom extension should start with a first pragmainstruction specifying the compiler version, like this:

pragma circom xx.yy.zz;

This is to ensure that the circuit is compatible with the compiler version indicated after the pragma instruction. Otherwise, the compiler throws a warning.

If a file does not contain this instruction, it is assumed that the code is compatible with the latest compiler's version and a warning is thrown.