<p>No, since the Redeemer can never succeed, those funds are locked in the script address forever and can never be redeemed.</p>
<p>Yes. This emphasizes the importance of audits of smart contracts before they're used on mainnet.</p>

CC BY-SA 4.0
2022-01-25T07:59:26.567Z
In addition to what @Samuel said. It is also wise to never send funds without a datum to a smart contract address. The ledger rules will not validate transactions that consume such UTxO's as scripts always expect an datum. This ledger implementation can change in the future, while a bad script that locks funds can not be fixed.
Fermat
CC BY-SA 4.0
2022-01-25T03:26:18.010Z
2022-01-25T03:26:18.010Z
Samuel Leathers
<p>On the &quot;burned&quot; example*, do those burnt tokens go back to being available from the reserve and to be rewarded back to circulation or are they locked and lost forever ?</p>
<p>If so, then is it correct to assume that poorly written smart contracts could potentially lock people's assets when a bug is found say... years down the road ?</p>
<ul>
<li>(can't find the link now, sorry)</li>
</ul>

<plutus-pioneer-program><smart-contract>
Question about funds in the "burned" example
# Question about funds in the "burned" example

(Asked by: username_0 on 2022-01-25)

On the "burned" example\*, do those burnt tokens go back to being available from the reserve and to be rewarded back to circulation or are they locked and lost forever ?

If so, then is it correct to assume that poorly written smart contracts could potentially lock people's assets when a bug is found say... years down the road ?

* (can't find the link now, sorry)

**Tags:** plutus-pioneer-program, smart-contract

---

## 1 answers

### Answer by username_1 on 2022-01-25. Score: 5 | Accepted answer

No, since the Redeemer can never succeed, those funds are locked in the script address forever and can never be redeemed.

Yes. This emphasizes the importance of audits of smart contracts before they're used on mainnet.

> **Comments:**
> **username_2**: In addition to what @Samuel said. It is also wise to never send funds without a datum to a smart contract address. The ledger rules will not validate transactions that consume such UTxO's as scripts always expect an datum. This ledger implementation can change in the future, while a bad script that locks funds can not be fixed.  

---

