Dear all, just to clarify, we expect the tools to output *CPF2 proofs* in the certified categories (just like last year). If your tool already supports the new CPF3 format and you planned to make use of that at termCOMP, please let me know. Best Florian