sorin stratulat a écrit : > I attached all the files from the distribution (I needed to change > more files, not only rpo.v). Thank you Sorin. This patch allows Rainbow to certify more than 30 additional proofs from the set of CPF files generated in last competition.