Proving _knowledge_ or simple properties about the pre-image doesn't get you much of anything interesting.
In this protocol the prover proves something that makes the preimage valuable to the verifier. This generally puts into the land of ZKP for general computation; and in that land, facts about pedersen commitment are not more efficient to prove than SHA256.
(except with exceptional parameter selection... e.g. constructing a EC group out of the field created by the SNARK constructions' group.)
In this protocol the prover proves something that makes the preimage valuable to the verifier. This generally puts into the land of ZKP for general computation; and in that land, facts about pedersen commitment are not more efficient to prove than SHA256.
(except with exceptional parameter selection... e.g. constructing a EC group out of the field created by the SNARK constructions' group.)