Sulkta-OSS/agora
2
0
Fork 0
Code Issues 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 57fa61a010
commit 147bc31a83
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)
# 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"
-- 1
PEQ ->
let ownedByStakeValidator =
txOutF.address #== stakeValidatorAddress
let ownerCredential = pfield @"credential" # txOutF.address
isOwnedByStakeValidator =
ownerCredential #== stakeValidatorCredential
datum =
ptrace "Resolve stake datum" $
@ -314,7 +318,7 @@ mkStakeValidator
# txInfoF.datums
in passert
"Should owned by stake validator"
ownedByStakeValidator
isOwnedByStakeValidator
(pjust # datum)
-- 0
PLT -> pnothing