This is where you would want to see a Pedersen commitment, right? 

 Maybe? But arithmetic opcodes and introspection would be simpler.