Skip to content

Code Assertion


This statement introduces conditions to be checked at execution time. If the condition fails, the witness generation is interrupted and the error is reported.

template Translate(n) {

Recall that, when a constraint is introduced with ===, then an assert is automatically added in the witness generation code.