Explain the process of constructing an arithmetic circuit for a zk-SNARK that proves knowledge of a discrete logarithm without revealing it. Specifically, detail how to convert the statement 'I know x such that y = g^x' into Rank-1 Constraint System (R1CS) constraints, including the definition of the witness vector and the matrices A, B, and C.