Coins in addition to proofs