I'm trying to write some private protocols(e.g. commitment) in Cairo.
When I pass the private inputs(witnesses) to Cairo through the program input and construct a commitment, I found the private variables go to the public memory which would expose to verifier.