(mod
(public_key hidden_puzzle_hash)
(point_add public_key (pubkey_for_exp (sha256 public_key hidden_puzzle_hash)))
)