forex.pm forex forum binary options trade - Binance - Сryptocurrency exchanges - Is it possible to design a recursive covenant opcode that results in a full node stuck in an infinite verification loop?
  • Welcome to forex.pm forex forum binary options trade. Please login or sign up.
 

Is it possible to design a recursive covenant opcode that results in a full node stuck in an infinite verification loop?

Started by Bitcoin, Feb 05, 2022, 04:40 am

Previous topic - Next topic

0 Members and 1 Guest are viewing this topic.

Bitcoin

Is it possible to design a recursive covenant opcode that results in a full node stuck in an infinite verification loop?

Is it possible to design a new opcode enabling recursive covenants that could result in a full node stuck in an infinite loop of verifying transactions? (Obviously this would never be considered for a Bitcoin soft fork, I'm just wondering about the limits of the design space for covenant opcodes)


e.g. A -> B -> C


A, B, C are transactions. B spends A, C spends B. A imposes constraint on spending conditions of B. B imposes constraint on spending conditions of C. But the spending conditions of C have to check something in A (something that wasn't hashed, perhaps the first few bits of a signature in the witness). As a result of that verification B has to check something in A and the infinite verification loop is set in motion.


I'm leaning towards no but not 100 percent sure. It isn't enough for C to check something in A, it needs to change A in some way such that B needs to verified again. This might even be prevented by the UTXO model (versus account model). In an account model you could refer to the balance of any previous block and get into an infinite verification loop that way.


Source: Is it possible to design a recursive covenant opcode that results in a full node stuck in an infinite verification loop?