CIRCRES_proofs