Etch synergetic contract code includes specific function annotations. These need to be all present or absent, and only one of each type is allowed.
@problemspecifies a problem.
@objectivemeasures the solution to a given problem.
@workcreates a solution from a random number/nonce.
@clearfinishes the competition, zeros everything, and saves the solution.
You can find an example of a synergetic contract and these annotations here.