Questions tagged [validation]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0
votes
0answers
14 views

Can I defined my own TxConstraints to be validated on-chain?

Can I defined my own validation function which would be used while validating a script transaction on-chain? If so, how to go about it? For example, let's say that the function would check if a given ...
0
votes
1answer
16 views

terminology validation and verification

Is there a strictly defined term for validation and verification or are they interchangeable? Are validations strictly used for transactions e.g. validate a transaction? Is verification strictly used ...
1
vote
0answers
44 views

Is it possible to validate on-chain if two different wallet addresses come from the same person?

My goal is: I would like to create a smart contract which would verify if unlocking transaction comes from the same person as the wallet address which is known before hand. What I have tried: I have ...
1
vote
2answers
50 views

Why is there no mechanism available to restrict creation of UTXOs at a script address?

It has been told that anyone can create UTXOs at any script address without restrictions since the validator does not run for transaction that do not consume UTXOs. The question is, why so? I think it ...
5
votes
2answers
440 views

When is an eUTXO consumed?

Scenario There are two transactions tx1 and tx2 both trying to consume an arbitrary eUTXo oRef. Both tx1 and tx2 are submitted to the mempool in the same block, and are valid transactions; we can ...
3
votes
1answer
42 views

Can you specify an upper and lower bound for the validity period of a transaction?

I want a transaction to only be valid for a certain period of time relative to some specified start time. I thought that maybe I could use Constraints.mustValidateIn (interval firstInterval $ ...
1
vote
2answers
54 views

Is there a way for a validator to get the current time?

Is it possible for a validator to get the current time without it being passed in via the redeemer? My validator is heavily dependent on the time being correct so it would probably be a bad design ...
1
vote
2answers
40 views

StateMachine validation failing

Transition function throws an error. Here it is. transition :: FreelanceContract -> State FContractDatum -> FContractRedeemer -> Maybe (TxConstraints Void Void, State FContractDatum) ...