<p>In the <strong>UTxO</strong> model, we ARE passing the value into the validation, an output is compromised of both that and the redeemer (witness). The paper just fails to mention that.</p>
<p>I believe that is because the value is not important here, as we just have to understand that in the <strong>eUTxO</strong> model, it extends the previous model by including the entire transaction object <strong>tx</strong> and the datum <strong>δ</strong>, where <strong>δ</strong> contains arbitrary contract-specific data. This is done to enforce contract continuity and maintain the machine state, respectively.</p>
<p>The description of the UTxO model was just for reference and a quick brief on it. I believe thats why it fails to mention it.</p>

CC BY-SA 4.0
2022-02-17T23:28:36.107Z
2022-02-18T00:17:48.063Z
2022-02-18T00:17:48.063Z
Michael
<p>I'm reading the <a href="https://iohk.io/en/research/library/papers/the-extended-utxo-model/" rel="nofollow noreferrer">paper which introduces the eUTxO model</a> and I'm having trouble figuring one specific difference between the standard UTxO validator and the eUTxO validator.</p>
<p>It seems that the only argument to the validator in the UTxO model is the redeemer</p>
<blockquote>
<p>Whether an output can be consumed by an input is determined by a function
ν attached to the output, which we call the output’s validator. A transaction
input proves its eligibility to spent an output by providing a redeemer object ρ,
such that ν(ρ) = true</p>
</blockquote>
<p>While in the eUTxO model it seems that the value, datum, redeemer and transaction are arguments to the eTUxO validator</p>
<blockquote>
<p>Overall, to check that an input
with redeemer ρ that is part of the transaction tx is entitled to spend an output
(ν, value, δ), we check that ν(value, δ, ρ, tx ) = true</p>
</blockquote>
<p>I understand why the datum, redeemer and transaction are required in the eUTxO validator.</p>
<p>What I don't understand is why <code>value</code> is required in the eUTxO validator but not in the UTxO validator.</p>
<p>Why does the eUTxO model require that the <code>value</code> be passed to the validator while the UTxO model does not?</p>

<eutxo><validator>
Validator function in UTxO vs eUTxO model
# Validator function in UTxO vs eUTxO model

(Asked by: username_0 on 2022-02-17)

I'm reading the [paper which introduces the eUTxO model](https://iohk.io/en/research/library/papers/the-extended-utxo-model/) and I'm having trouble figuring one specific difference between the standard UTxO validator and the eUTxO validator.

It seems that the only argument to the validator in the UTxO model is the redeemer

> Whether an output can be consumed by an input is determined by a function
> ν attached to the output, which we call the output’s validator. A transaction
> input proves its eligibility to spent an output by providing a redeemer object ρ,
> such that ν(ρ) = true

While in the eUTxO model it seems that the value, datum, redeemer and transaction are arguments to the eTUxO validator

> Overall, to check that an input
> with redeemer ρ that is part of the transaction tx is entitled to spend an output
> (ν, value, δ), we check that ν(value, δ, ρ, tx ) = true

I understand why the datum, redeemer and transaction are required in the eUTxO validator.

What I don't understand is why `value` is required in the eUTxO validator but not in the UTxO validator.

Why does the eUTxO model require that the `value` be passed to the validator while the UTxO model does not?

**Tags:** eutxo, validator

---

## 1 answers

### Answer by username_1 on 2022-02-17. Score: 1 | Accepted answer

In the **UTxO** model, we ARE passing the value into the validation, an output is compromised of both that and the redeemer (witness). The paper just fails to mention that.

I believe that is because the value is not important here, as we just have to understand that in the **eUTxO** model, it extends the previous model by including the entire transaction object **tx** and the datum **δ**, where **δ** contains arbitrary contract-specific data. This is done to enforce contract continuity and maintain the machine state, respectively.

The description of the UTxO model was just for reference and a quick brief on it. I believe thats why it fails to mention it.


---

