Alice is a sneaky one, she's been trying to send more than what she has to Bob's account. Good thing that we use zero-knowledge proof to enforce the integrity of our transfer. We just want to make sure that Bob can get 100,000 worth of coins or more. Can you help us verify Alice's proof?
Note
Note also that this is a real bug that was found during an audit, so you're not just solving a silly puzzle here :D
We assume that you have Golang installed. You can install the dependencies and run the tests:
$ go get -d ./...
$ go testThe test should fail as Bob did not get more than 100,000 coins in his account.
You can try submitting a proof on our servers here:
$ curl -X GET http://147.182.233.80:8080/ -H "Content-Type: application/json" -d '{ "new_bob_balance": "1000000", "proof_hex": "<HEX>" }'