Questions tagged [validation]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0 votes
1 answer
27 views

How Long Can A Contract Stay On Chain After Validation?

So I have a smart contract that will validate and do some action X but I then require it to wait for user action for a time T and then perform action Y. Questions: What are the limits on T (how long ...
user avatar
1 vote
0 answers
9 views

How to Validate A Smart Contract Twice?

I have a smart contract I want to validate at a certain date. Exacute its logic and then revalidate on a second date. The trick is I only want it to be signed once. How do I do this? can I just add ...
user avatar
0 votes
0 answers
10 views

How to Sign a Smart Contract From a Smart Contract?

I want to run a smart contract (that the user signs) and then wait 10 days and send some ADA from the user's wallet to another address. I can do the waiting with POSXIT Time but if there is not ...
user avatar
0 votes
0 answers
12 views

Can I forcefully run phase 2 validation in PAB locally?

Transaction validation happens in two phases: https://docs.cardano.org/plutus/transaction-costs-determinism https://iohk.io/en/blog/posts/2021/09/07/no-surprises-transaction-validation-part-2/ https://...
user avatar
0 votes
1 answer
19 views

Contract is not stopping execution if validation script fails (happened after 2022-04-06 PAB Release)

Before the 2022-04-06 PAB Release Contracts used to stop execution after validation script failed the transaction sent by submitTxConstraintsWith, but after this release Contract is not stopping its ...
user avatar
  • 111
2 votes
2 answers
162 views

Can temporary forking occur in Cardano's protocol?

In Bitcoin's protocol (and similar PoW systems), at one point chain might temporarily split in two and two different chains will be maintained up until one outpaces the other and proves itself as the ...
user avatar
  • 23
1 vote
1 answer
54 views

Script Witness Not Validating for Multisig

I'm getting the following error when trying to consume a UTxO sitting in a multisig script address: [ { "scriptWitnessNotValidating": [ "...
user avatar
2 votes
1 answer
60 views

How to retrieve an addresses transaction history inside a plutus contract

I am trying to implement so logic to ensure smart contract (SC) validation upon certain conditions - which are derived from the end-users transaction history. If I parameterise the SC and take the ...
user avatar
9 votes
2 answers
159 views

What is where executed and when?

To wrap my around what happens when I where, I tried to visualize it. In order to be able to show the interaction between two different systems generating transactions, I have a Generator A and ...
user avatar
  • 172
7 votes
1 answer
168 views

on multiple eUTxO and the validation proces

I have an in-depth question that needs good knowledge of the ledger rules. I was thinking about how to program efficiently and design apps such that they are parallelizable, a good practice for ...
user avatar
  • 886
0 votes
0 answers
17 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 ...
user avatar
  • 274
0 votes
1 answer
21 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 ...
user avatar
  • 433
1 vote
0 answers
57 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 ...
user avatar
1 vote
2 answers
59 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 ...
user avatar
  • 744
6 votes
2 answers
482 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 ...
user avatar
  • 163
3 votes
1 answer
66 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 $ ...
user avatar
1 vote
2 answers
91 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 ...
user avatar
1 vote
2 answers
50 views

StateMachine validation failing

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