zk-snarks 可以对任意的陈述进行证明， 陈述可以是密文。 但 zk-snarks 不能证明密文背后的信息。