ParentFull threadsynapticrelease·I should also mention that the protocol to verify x is separate and is a valid ZKP.View on HN