[JanisErdmanis]

> This can easily solved be done via letting people forge receipts. Then anyone can forge a vote to give to someone offering to buy them.

This is the literal definition of receipt freeness. It’s hard to ensure that the receipt you receive to verify your vote had not already been forged by the malware.

[charcircuit]

Then that is a confusing definition since the voter literally had a receipt of their vote that they can verify.

If the receipt you get says you voted for someone you didn't, then that is a clear sign something went wrong.

[JanisErdmanis]

The definition is fine. It covers paper ballot security requirement where one shall not get any receipt at all.