Sulkta-OSS/agora
3
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity Actions

filter stake UTxO by ScriptCredential

Browse source
This commit is contained in:
Hongrui Fang 2022-10-13 18:56:56 +08:00 • committed by emiflake
parent 3fda333ec5
commit eee2ce52b5
1 changed files with 8 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

12
agora/Agora/Stake/Scripts.hs
View file

@ -284,7 +284,9 @@ mkStakeValidator
# (pfield @"_0" # stakeInputRef) # (pfield @"_0" # stakeInputRef)
# txInfoF.inputs # txInfoF.inputs
stakeValidatorAddress = pfield @"address" # validatedInput stakeValidatorCredential =
pfield @"credential"
#$ pfield @"address" # validatedInput
-------------------------------------------------------------------------- --------------------------------------------------------------------------
@ -303,8 +305,10 @@ mkStakeValidator
PGT -> ptraceError "More than one SST in one UTxO" PGT -> ptraceError "More than one SST in one UTxO"
-- 1 -- 1
PEQ -> PEQ ->
let ownedByStakeValidator = let ownerCredential = pfield @"credential" # txOutF.address
txOutF.address #== stakeValidatorAddress
isOwnedByStakeValidator =
ownerCredential #== stakeValidatorCredential
datum = datum =
ptrace "Resolve stake datum" $ ptrace "Resolve stake datum" $
@ -314,7 +318,7 @@ mkStakeValidator
# txInfoF.datums # txInfoF.datums
in passert in passert
"Should owned by stake validator" "Should owned by stake validator"
ownedByStakeValidator isOwnedByStakeValidator
(pjust # datum) (pjust # datum)
-- 0 -- 0
PLT -> pnothing PLT -> pnothing