Hello, I would like to ask if the functions implemented by libsnark library meet the definition of CP-SNARKs?