Maybe a silly question, I’ve just started learning about zk-SNARKs and noticed something in your hook implementation.
Isn't it problematic to require a commitment in the withdrawal function? This could potentially link a deposit with a withdrawal, compromising user privacy. Wouldn't using the nullifier hash alone be sufficient to prevent double spending? The amount could then be derived directly from the proof.
Maybe a silly question, I’ve just started learning about zk-SNARKs and noticed something in your hook implementation.
Isn't it problematic to require a commitment in the withdrawal function? This could potentially link a deposit with a withdrawal, compromising user privacy. Wouldn't using the nullifier hash alone be sufficient to prevent double spending? The amount could then be derived directly from the proof.