search

fuji-money / tapscripts

10 stars 2 forks source link

I think we don't need INSPECTOUTPUTNONCE when we already checked that value and asset are explicit #7

Open dgpv opened 1 year ago

dgpv commented 1 year ago

https://github.com/fuji-money/tapscripts/blob/279449d49f39c21a829fa90a99fc98488e923283/alpha/prime-safe-redeem.tapscript#L38-L42

dgpv commented 1 year ago

The code above that checks that both value and asset of output 0 are non-confidential.

I used the 'nonce is empty' check in my early covenant code as a belts-and-suspenders check, but now I'm really in doubt if it is useful at all, when we already checked that asset and/or value is non-confidential. As I understand, the nonce will be non-empty only if they are confidential.