diff --git a/plutarch-validators/WhalePoolsDex/Contracts/StablePool.hs b/plutarch-validators/WhalePoolsDex/Contracts/StablePool.hs new file mode 100644 index 0000000..2e20488 --- /dev/null +++ b/plutarch-validators/WhalePoolsDex/Contracts/StablePool.hs @@ -0,0 +1,34 @@ +{-# LANGUAGE TemplateHaskell #-} +{-# LANGUAGE UndecidableInstances #-} + +module WhalePoolsDex.Contracts.StablePool ( + StablePoolConfig (..) +) where + +import PlutusTx.Builtins +import qualified PlutusTx +import PlutusLedgerApi.V1.Value +import PlutusLedgerApi.V1.Crypto (PubKeyHash) +import PlutusLedgerApi.V1.Scripts (ValidatorHash) +import PlutusLedgerApi.V1.Credential + +data StablePoolConfig = StablePoolConfig + { poolNft :: AssetClass + , an2n :: Integer + , assetX :: AssetClass + , assetY :: AssetClass + , multiplierX :: Integer + , multiplierY :: Integer + , poolLq :: AssetClass + , amplCoeffIsEditable :: Bool + , lpFeeIsEditable :: Bool + , lpFeeNum :: Integer + , protocolFeeNum :: Integer + , daoStabeProxyWitness :: ValidatorHash + , treasuryAddress :: ValidatorHash + , treasuryX :: Integer + , treasuryY :: Integer + } + deriving stock (Show) + +PlutusTx.makeIsDataIndexed ''StablePoolConfig [('StablePoolConfig, 0)] \ No newline at end of file diff --git a/plutarch-validators/WhalePoolsDex/PContracts/PDeposit.hs b/plutarch-validators/WhalePoolsDex/PContracts/PDeposit.hs index 920d38a..9e1d932 100644 --- a/plutarch-validators/WhalePoolsDex/PContracts/PDeposit.hs +++ b/plutarch-validators/WhalePoolsDex/PContracts/PDeposit.hs @@ -25,6 +25,7 @@ import PExtra.Monadic (tlet, tletField, tmatch) import WhalePoolsDex.PContracts.PApi (containsSignature, getRewardValue', maxLqCap, pmin, tletUnwrap) import WhalePoolsDex.PContracts.POrder (OrderAction (Apply, Refund), OrderRedeemer) import WhalePoolsDex.PContracts.PFeeSwitch (extractPoolConfig) +import Plutarch.Trace import qualified WhalePoolsDex.Contracts.Proxy.Deposit as D diff --git a/plutarch-validators/WhalePoolsDex/PContracts/PDepositStable.hs b/plutarch-validators/WhalePoolsDex/PContracts/PDepositStable.hs new file mode 100644 index 0000000..37d316f --- /dev/null +++ b/plutarch-validators/WhalePoolsDex/PContracts/PDepositStable.hs @@ -0,0 +1,153 @@ +{-# LANGUAGE ScopedTypeVariables #-} +{-# LANGUAGE UndecidableInstances #-} + +module WhalePoolsDex.PContracts.PDepositStable ( + stableDepositValidatorT, +) where + +import qualified GHC.Generics as GHC +import Generics.SOP (Generic, I (I)) + +import Plutarch +import Plutarch.Api.V2.Contexts +import Plutarch.DataRepr +import Plutarch.Lift +import Plutarch.Prelude +import Plutarch.Api.V1 (PMaybeData, PPubKeyHash, PValue) +import Plutarch.Extra.TermCont + +import PExtra.API +import PExtra.Ada +import PExtra.List (pelemAt) +import PExtra.Monadic (tlet, tletField, tmatch) + +import WhalePoolsDex.PContracts.PApi (containsSignature, getRewardValue', maxLqCap, pmin, tletUnwrap) +import WhalePoolsDex.PContracts.POrder (OrderAction (Apply, Refund), OrderRedeemer) +import WhalePoolsDex.PContracts.PStablePool (extractStablePoolConfig) +import qualified WhalePoolsDex.PContracts.PDeposit as Deposit + +stableDepositValidatorT :: ClosedTerm (Deposit.DepositConfig :--> OrderRedeemer :--> PScriptContext :--> PBool) +stableDepositValidatorT = plam $ \conf' redeemer' ctx' -> unTermCont $ do + ctx <- pletFieldsC @'["txInfo", "purpose"] ctx' + conf <- pletFieldsC @'["x", "y", "lq", "poolNft", "exFee", "rewardPkh", "stakePkh", "collateralAda"] conf' + let + collateralAda = getField @"collateralAda" conf + + rewardPkh = getField @"rewardPkh" conf + stakePkh = getField @"stakePkh" conf + exFee = getField @"exFee" conf + + x = getField @"x" conf + y = getField @"y" conf + lq = getField @"lq" conf + + txInfo' = getField @"txInfo" ctx + + txInfo <- pletFieldsC @'["inputs", "outputs", "signatories"] txInfo' + inputs <- tletUnwrap $ getField @"inputs" txInfo + outputs <- tletUnwrap $ getField @"outputs" txInfo + + redeemer <- pletFieldsC @'["poolInIx", "orderInIx", "rewardOutIx", "action"] redeemer' + let + poolInIx = getField @"poolInIx" redeemer + orderInIx = getField @"orderInIx" redeemer + rewardOutIx = getField @"rewardOutIx" redeemer + action = getField @"action" redeemer + + rewardOut <- tlet $ pelemAt # rewardOutIx # outputs + rewardValue <- tlet $ getRewardValue' # rewardOut # rewardPkh # stakePkh + + poolIn' <- tlet $ pelemAt # poolInIx # inputs + poolIn <- pletFieldsC @'["outRef", "resolved"] poolIn' + let pool = getField @"resolved" poolIn + + poolValue <- tletField @"value" pool + let poolIdentity = -- operation is performed with the pool selected by the user + let requiredNft = pfromData $ getField @"poolNft" conf + nftAmount = assetClassValueOf # poolValue # requiredNft + in nftAmount #== 1 + + ptraceC $ "poolInputDatum 1" + poolInputDatum <- tlet $ extractStablePoolConfig # pool + ptraceC $ "poolInputDatum 2" + poolConf <- pletFieldsC @'["treasuryX", "treasuryY"] poolInputDatum + let + treasuryX = getField @"treasuryX" poolConf + treasuryY = getField @"treasuryY" poolConf + + selfIn' <- tlet $ pelemAt # orderInIx # inputs + selfIn <- pletFieldsC @'["outRef", "resolved"] selfIn' + selfValue <- + let self = pfromData $ getField @"resolved" selfIn + in tletField @"value" self + + PSpending selfRef' <- pmatchC $ getField @"purpose" ctx + let + selfIdentity = + let selfRef = pfield @"_0" # selfRef' + selfInRef = getField @"outRef" selfIn + in selfRef #== selfInRef -- check that orderInIx points to the actual order + + strictInputs = -- ensure double satisfaction attack is not possible + let inputsLength = plength # inputs + in inputsLength #== 2 + + liquidity <- + let lqNegative = assetClassValueOf # poolValue # lq + in tlet $ maxLqCap - lqNegative + + reservesX <- tlet $ (assetClassValueOf # poolValue # x) - treasuryX + reservesY <- tlet $ (assetClassValueOf # poolValue # y) - treasuryY + + minRewardByX <- tlet $ minAssetReward # selfValue # x # reservesX # liquidity # exFee # collateralAda + minRewardByY <- tlet $ minAssetReward # selfValue # y # reservesY # liquidity # exFee # collateralAda + let validChange = -- pair excess is returned to user + pif + (minRewardByX #== minRewardByY) + (pcon PTrue) + ( pif + (minRewardByX #< minRewardByY) + (validChange' # rewardValue # y # minRewardByY # minRewardByX # reservesY # liquidity) + (validChange' # rewardValue # x # minRewardByX # minRewardByY # reservesX # liquidity) + ) + minReward = pmin # minRewardByX # minRewardByY + validReward = -- calculated minimal output of LQ tokens is satisfied + let actualReward = assetClassValueOf # rewardValue # lq + in minReward #<= actualReward + + ptraceC $ "poolIdentity" + ptraceC $ pshow poolIdentity + ptraceC $ "selfIdentity" + ptraceC $ pshow selfIdentity + ptraceC $ "strictInputs" + ptraceC $ pshow strictInputs + ptraceC $ "validChange" + ptraceC $ pshow validChange + ptraceC $ "validReward" + ptraceC $ pshow validReward + + pure $ + pmatch action $ \case + Apply -> poolIdentity #&& selfIdentity #&& strictInputs #&& validChange #&& validReward + Refund -> + let sigs = pfromData $ getField @"signatories" txInfo + in containsSignature # sigs # rewardPkh -- user signed the refund + +-- Checks whether an asset overflow is returned back to user +validChange' :: Term s (PValue _ _ :--> PAssetClass :--> PInteger :--> PInteger :--> PInteger :--> PInteger :--> PBool) +validChange' = + phoistAcyclic $ + plam $ \rewardValue overflowAsset overflowAssetInput otherAssetInput overflowAssetReserves liquidity -> + let diff = overflowAssetInput - otherAssetInput + excess = pdiv # (diff * overflowAssetReserves) # liquidity + change = assetClassValueOf # rewardValue # overflowAsset + in excess #<= change + +minAssetReward :: Term s (PValue _ _ :--> PAssetClass :--> PInteger :--> PInteger :--> PInteger :--> PInteger :--> PInteger) +minAssetReward = + phoistAcyclic $ + plam $ \selfValue asset assetReserves liquidity exFee collateralAda -> + unTermCont $ do + assetInput <- tlet $ assetClassValueOf # selfValue # asset + let depositInput = pif (pIsAda # asset) (assetInput - exFee - collateralAda) assetInput + pure $ pdiv # (depositInput * liquidity) # assetReserves diff --git a/plutarch-validators/WhalePoolsDex/PContracts/PRedeemStable.hs b/plutarch-validators/WhalePoolsDex/PContracts/PRedeemStable.hs new file mode 100644 index 0000000..b6dcad0 --- /dev/null +++ b/plutarch-validators/WhalePoolsDex/PContracts/PRedeemStable.hs @@ -0,0 +1,138 @@ +{-# LANGUAGE UndecidableInstances #-} + +module WhalePoolsDex.PContracts.PRedeemStable ( + stableRedeemValidatorT +) where + +import qualified GHC.Generics as GHC + +import Plutarch +import Plutarch.Api.V2 +import Plutarch.Api.V1.Value +import Plutarch.DataRepr +import Plutarch.Lift +import Plutarch.Prelude +import Plutarch.Extra.TermCont + +import PExtra.API +import PExtra.Ada (pIsAda) +import PExtra.Monadic (tlet, tmatch) +import PExtra.PTriple (PTuple3, ptuple3) + +import WhalePoolsDex.PContracts.PApi (containsSignature, getRewardValue', maxLqCap, zeroAsData) +import WhalePoolsDex.PContracts.POrder (OrderAction (Apply, Refund), OrderRedeemer) +import WhalePoolsDex.PContracts.PStablePool (extractStablePoolConfig) +import qualified WhalePoolsDex.PContracts.PRedeem as Redeem + +stableRedeemValidatorT :: ClosedTerm (Redeem.RedeemConfig :--> OrderRedeemer :--> PScriptContext :--> PBool) +stableRedeemValidatorT = plam $ \conf' redeemer' ctx' -> unTermCont $ do + ctx <- pletFieldsC @'["txInfo", "purpose"] ctx' + conf <- pletFieldsC @'["x", "y", "lq", "poolNft", "exFee", "rewardPkh", "stakePkh"] conf' + let + rewardPkh = getField @"rewardPkh" conf + stakePkh = getField @"stakePkh" conf + + x = getField @"x" conf + y = getField @"y" conf + lq = getField @"lq" conf + + exFee = getField @"exFee" conf + txInfo' = getField @"txInfo" ctx + + txInfo <- pletFieldsC @'["inputs", "outputs", "signatories"] txInfo' + inputs <- tletUnwrap $ getField @"inputs" txInfo + outputs <- tletUnwrap $ getField @"outputs" txInfo + + redeemer <- pletFieldsC @'["poolInIx", "orderInIx", "rewardOutIx", "action"] redeemer' + let + poolInIx = getField @"poolInIx" redeemer + orderInIx = getField @"orderInIx" redeemer + rewardOutIx = getField @"rewardOutIx" redeemer + + rewardOut <- tlet $ pelemAt # rewardOutIx # outputs + rewardValue <- tlet $ getRewardValue' # rewardOut # rewardPkh # stakePkh + + poolIn' <- tlet $ pelemAt # poolInIx # inputs + poolIn <- pletFieldsC @'["outRef", "resolved"] poolIn' + let + pool = getField @"resolved" poolIn + poolValue = pfield @"value" # pool + poolIdentity = -- operation is performed with the pool selected by the user + let + requiredNft = pfromData $ getField @"poolNft" conf + nftAmount = assetClassValueOf # poolValue # requiredNft + in nftAmount #== 1 + + poolInputDatum <- tlet $ extractStablePoolConfig # pool + poolConf <- pletFieldsC @'["treasuryX", "treasuryY"] poolInputDatum + let + treasuryX = getField @"treasuryX" poolConf + treasuryY = getField @"treasuryY" poolConf + + selfIn' <- tlet $ pelemAt # orderInIx # inputs + selfIn <- pletFieldsC @'["outRef", "resolved"] selfIn' + let selfValue = pfield @"value" # (getField @"resolved" selfIn) + + PSpending selfRef' <- tmatch (pfromData $ getField @"purpose" ctx) + let + selfIdentity = + let + selfRef = pfromData $ pfield @"_0" # selfRef' + selfInRef = pfromData $ getField @"outRef" selfIn + in selfRef #== selfInRef + + collateralAda <- -- we reserve a small amount of ADA to put it into user output later + let inAda = plovelaceValueOf # selfValue + in tlet $ inAda - exFee + + let strictInputs = -- ensure double satisfaction attack is not possible + let inputsLength = plength # inputs + in inputsLength #== 2 + + liquidity <- + let lqNegative = assetClassValueOf # poolValue # lq + in tlet $ maxLqCap - lqNegative + + outs <- tlet $ calcOutput # rewardValue # x # y # collateralAda + inLq <- tlet $ assetClassValueOf # selfValue # lq + + let + outAda = plovelaceValueOf # rewardValue + + minReturnX = calcMinReturn # liquidity # inLq # poolValue # x # treasuryX + minReturnY = calcMinReturn # liquidity # inLq # poolValue # y # treasuryY + + outX = pfromData $ pfield @"_0" # outs + outY = pfromData $ pfield @"_1" # outs + opAda = pfromData $ pfield @"_2" # outs + + fairShare = minReturnX #<= outX #&& minReturnY #<= outY -- output shares are proportional to the total LQ and LQ returned by the user + fairFee = opAda + collateralAda #<= outAda -- output ADA (if present) plus collateral ADA is returned in full to the user + + action <- tletUnwrap $ getField @"action" redeemer + pure $ + pmatch action $ \case + Apply -> poolIdentity #&& selfIdentity #&& strictInputs #&& fairShare #&& fairFee + Refund -> + let sigs = pfromData $ getField @"signatories" txInfo + in containsSignature # sigs # rewardPkh -- user signed the refund + +calcMinReturn :: Term s (PInteger :--> PInteger :--> PValue _ _:--> PAssetClass :--> PInteger :--> PInteger) +calcMinReturn = + phoistAcyclic $ + plam $ \liquidity inLq poolValue ac treasury-> + let reserves = (assetClassValueOf # poolValue # ac) - treasury + in pdiv # (inLq * reserves) # liquidity + +calcOutput :: Term s (PValue _ _:--> PAssetClass :--> PAssetClass :--> PInteger :--> PTuple3 PInteger PInteger PInteger) +calcOutput = plam $ \rewardValue poolX poolY collateralAda -> unTermCont $ do + rx <- tlet $ assetClassValueOf # rewardValue # poolX + ry <- tlet $ assetClassValueOf # rewardValue # poolY + + outX <- tlet $ rx - collateralAda + outY <- tlet $ ry - collateralAda + + let ifX = ptuple3 # pdata outX # pdata ry # pdata outX + ifY = ptuple3 # pdata rx # pdata outY # pdata outY + ifElse = ptuple3 # pdata rx # pdata ry # zeroAsData + pure $ pif (pIsAda # poolX) ifX (pif (pIsAda # poolY) ifY ifElse) diff --git a/plutarch-validators/WhalePoolsDex/PContracts/PStablePool.hs b/plutarch-validators/WhalePoolsDex/PContracts/PStablePool.hs new file mode 100644 index 0000000..2eaf279 --- /dev/null +++ b/plutarch-validators/WhalePoolsDex/PContracts/PStablePool.hs @@ -0,0 +1,98 @@ +{-# LANGUAGE UndecidableInstances #-} + +module WhalePoolsDex.PContracts.PStablePool ( + StablePoolConfig (..), + extractStablePoolConfig +) where + +import qualified GHC.Generics as GHC +import Generics.SOP (Generic, I (I)) + +import Plutarch +import Plutarch.Api.V2 (PScriptHash(..), PMaybeData (..), PTxOut, POutputDatum(..), PAddress(..), PPubKeyHash(..), PDatum(..), PValue(..), KeyGuarantees(..), AmountGuarantees(..), PCurrencySymbol(..), PStakingCredential(..)) +import Plutarch.Api.V2.Contexts (PScriptContext, PScriptPurpose (PSpending), PTxInfo(..)) +import Plutarch.DataRepr +import Plutarch.Lift +import Plutarch.Prelude +import Plutarch.Extra.TermCont +import Plutarch.Builtin (pasInt, pforgetData, pfromData, pdata, PIsData(..)) +import Plutarch.Unsafe (punsafeCoerce) +import Plutarch.Internal.PlutusType (PInner, PlutusType, pcon', pmatch') +import Plutarch.TryFrom (PTryFrom (PTryFromExcess, ptryFrom')) +import Plutarch.Api.V1.Scripts (PValidatorHash) +import Plutarch.Api.V1.AssocMap as Map +import Plutarch.Extra.Maybe as Maybe + +import PExtra.API (PAssetClass, assetClassValueOf, ptryFromData, assetClass, pValueLength) +import PExtra.List (pelemAt) +import PExtra.Monadic (tcon, tlet, tletField, tmatch) + +import qualified WhalePoolsDex.Contracts.StablePool as P +import WhalePoolsDex.PContracts.PApi (burnLqInitial, feeDen, maxLqCap, tletUnwrap, zero, containsSignature) +import WhalePoolsDex.PConstants + +import Plutarch.Trace + +data AikenBool (s :: S) + = False ( Term + s + ( PDataRecord '[ ] + ) + ) + | True ( Term + s + ( PDataRecord '[ ] + ) + ) + deriving stock (GHC.Generic) + deriving + (PIsData, PlutusType, PEq) + +instance DerivePlutusType AikenBool where type DPTStrat _ = PlutusTypeData +instance PTryFrom PData AikenBool + +newtype StablePoolConfig (s :: S) + = StablePoolConfig + ( Term + s + ( PDataRecord + '[ "poolNft" ':= PAssetClass + , "an2n" ':= PInteger + , "assetX" ':= PAssetClass + , "assetY" ':= PAssetClass + , "multiplierX" ':= PInteger + , "multiplierY" ':= PInteger + , "lpToken" ':= PAssetClass + , "amplCoeffIsEditable" ':= AikenBool + , "lpFeeIsEditable" ':= AikenBool + , "lpFeeNum" ':= PInteger + , "protocolFeeNum" ':= PInteger + , "daoStabeProxyWitness" ':= PByteString + , "treasuryAddress" ':= PByteString + , "treasuryX" ':= PInteger + , "treasuryY" ':= PInteger + ] + ) + ) + deriving stock (GHC.Generic) + deriving + (PIsData, PDataFields, PlutusType, PEq) + +instance DerivePlutusType StablePoolConfig where type DPTStrat _ = PlutusTypeData + +instance PUnsafeLiftDecl StablePoolConfig where type PLifted StablePoolConfig = P.StablePoolConfig +deriving via (DerivePConstantViaData P.StablePoolConfig StablePoolConfig) instance (PConstantDecl P.StablePoolConfig) + +instance PTryFrom PData (PAsData StablePoolConfig) + +extractStablePoolConfig :: Term s (PTxOut :--> StablePoolConfig) +extractStablePoolConfig = plam $ \txOut -> unTermCont $ do + txOutDatum <- tletField @"datum" txOut + + POutputDatum txOutOutputDatum <- pmatchC txOutDatum + + rawDatum <- tletField @"outputDatum" txOutOutputDatum + + PDatum poolDatum <- pmatchC rawDatum + + tletUnwrap $ ptryFromData @(StablePoolConfig) $ poolDatum \ No newline at end of file diff --git a/plutarch-validators/WhalePoolsDex/PContracts/PValidators.hs b/plutarch-validators/WhalePoolsDex/PContracts/PValidators.hs index e13d1c8..83587e7 100644 --- a/plutarch-validators/WhalePoolsDex/PContracts/PValidators.hs +++ b/plutarch-validators/WhalePoolsDex/PContracts/PValidators.hs @@ -5,6 +5,8 @@ module WhalePoolsDex.PValidators ( redeemValidator, validatorAddress, wrapValidator, + stableDepositValidator, + stableRedeemValidator ) where import PlutusLedgerApi.V1.Scripts (Validator (getValidator)) @@ -16,6 +18,9 @@ import qualified WhalePoolsDex.PContracts.PPoolBFee as PPB import qualified WhalePoolsDex.PContracts.PRedeem as PR import qualified WhalePoolsDex.PContracts.PSwap as PS +import qualified WhalePoolsDex.PContracts.PDepositStable as PSD +import qualified WhalePoolsDex.PContracts.PRedeemStable as PSR + import Plutarch import Plutarch.Api.V2 (mkValidator, validatorHash) import Plutarch.Api.V2.Contexts (PScriptContext) @@ -47,5 +52,11 @@ depositValidator = mkValidator $ wrapValidator PD.depositValidatorT redeemValidator :: Validator redeemValidator = mkValidator $ wrapValidator PR.redeemValidatorT +stableDepositValidator :: Validator +stableDepositValidator = mkValidator $ wrapValidator PSD.stableDepositValidatorT + +stableRedeemValidator :: Validator +stableRedeemValidator = mkValidator $ wrapValidator PSR.stableRedeemValidatorT + validatorAddress :: Validator -> Address validatorAddress = scriptHashAddress . validatorHash diff --git a/plutarch-validators/WhalePoolsDex/PValidators.hs b/plutarch-validators/WhalePoolsDex/PValidators.hs index e03d6cd..b6c40c8 100644 --- a/plutarch-validators/WhalePoolsDex/PValidators.hs +++ b/plutarch-validators/WhalePoolsDex/PValidators.hs @@ -5,6 +5,8 @@ module WhalePoolsDex.PValidators ( redeemValidator, validatorAddress, wrapValidator, + stableDepositValidator, + stableRedeemValidator ) where import PlutusLedgerApi.V1.Scripts (Validator (getValidator)) @@ -16,6 +18,9 @@ import qualified WhalePoolsDex.PContracts.PPoolBFee as PPB import qualified WhalePoolsDex.PContracts.PRedeem as PR import qualified WhalePoolsDex.PContracts.PSwap as PS +import qualified WhalePoolsDex.PContracts.PDepositStable as PSD +import qualified WhalePoolsDex.PContracts.PRedeemStable as PSR + import Plutarch import Plutarch.Api.V2 (mkValidator, validatorHash) import Plutarch.Api.V2.Contexts (PScriptContext) @@ -51,5 +56,11 @@ depositValidator = mkValidator cfgForValidator $ wrapValidator PD.depositValidat redeemValidator :: Validator redeemValidator = mkValidator cfgForValidator $ wrapValidator PR.redeemValidatorT +stableDepositValidator :: Validator +stableDepositValidator = mkValidator cfgForValidator $ wrapValidator PSD.stableDepositValidatorT + +stableRedeemValidator :: Validator +stableRedeemValidator = mkValidator cfgForValidator $ wrapValidator PSR.stableRedeemValidatorT + validatorAddress :: Validator -> Address validatorAddress = scriptHashAddress . validatorHash diff --git a/plutarch-validators/plutarch-validators.cabal b/plutarch-validators/plutarch-validators.cabal index 22f7472..3c5a858 100644 --- a/plutarch-validators/plutarch-validators.cabal +++ b/plutarch-validators/plutarch-validators.cabal @@ -94,13 +94,17 @@ library WhalePoolsDex.Contracts.Proxy.FeeSwitch WhalePoolsDex.Contracts.Pool WhalePoolsDex.Contracts.PoolBFee + WhalePoolsDex.Contracts.StablePool WhalePoolsDex.PContracts.PApi WhalePoolsDex.PContracts.PAssets WhalePoolsDex.PContracts.PDeposit + WhalePoolsDex.PContracts.PDepositStable WhalePoolsDex.PContracts.POrder WhalePoolsDex.PContracts.PPool + WhalePoolsDex.PContracts.PStablePool WhalePoolsDex.PContracts.PPoolBFee WhalePoolsDex.PContracts.PRedeem + WhalePoolsDex.PContracts.PRedeemStable WhalePoolsDex.PContracts.PSwap WhalePoolsDex.PContracts.PSimpleStaking WhalePoolsDex.PContracts.PStakingWithPkhLock diff --git a/plutarch-validators/test/Gen/DepositGen.hs b/plutarch-validators/test/Gen/DepositGen.hs index 9e80744..f67d843 100644 --- a/plutarch-validators/test/Gen/DepositGen.hs +++ b/plutarch-validators/test/Gen/DepositGen.hs @@ -87,4 +87,10 @@ genTxOut :: OutputDatum -> AssetClass -> Integer -> Integer -> PubKeyHash -> TxO genTxOut od lq lqQty adaQty pkh = let value = mkValues [mkValue lq lqQty, mkAdaValue adaQty] mempty + in mkTxOut' od value pkh + +genTxOutWithCharge :: OutputDatum -> AssetClass -> Integer -> AssetClass -> Integer -> Integer -> PubKeyHash -> TxOut +genTxOutWithCharge od lq lqQty token tokenCharge adaQty pkh = + let + value = mkValues [mkValue lq lqQty, mkValue token tokenCharge, mkAdaValue adaQty] mempty in mkTxOut' od value pkh \ No newline at end of file diff --git a/plutarch-validators/test/Spec.hs b/plutarch-validators/test/Spec.hs index ca383e5..26c1bfd 100644 --- a/plutarch-validators/test/Spec.hs +++ b/plutarch-validators/test/Spec.hs @@ -17,12 +17,20 @@ import Test.Tasty.HUnit import WhalePoolsDex.PValidators import PlutusLedgerApi.V2 as PV2 +import qualified Data.ByteString as BS import Plutarch.Api.V2 +import Codec.Serialise (serialise, deserialise) +import qualified Data.ByteString as BS +import qualified Data.ByteString.Lazy as LBS +import qualified Data.ByteString.Base16 as Hex +import qualified Data.Text as T +import qualified Data.Text.Encoding as T +import Debug.Trace main :: IO () -main = +main = defaultMain tests - + tests = testGroup "Contracts" [ feeSwitch , feeSwitchBFee diff --git a/plutarch-validators/test/Tests/Deposit.hs b/plutarch-validators/test/Tests/Deposit.hs index 22af918..3da7ead 100644 --- a/plutarch-validators/test/Tests/Deposit.hs +++ b/plutarch-validators/test/Tests/Deposit.hs @@ -407,4 +407,5 @@ incorrectTokenReward = withTests 1 $ property $ do result = eraseBoth $ evalWithArgs (wrapValidator PDeposit.depositValidatorT) [cfgData, orderRedeemToData, cxtToData] - result === Left () \ No newline at end of file + result === Left () + \ No newline at end of file diff --git a/plutus.json b/plutus.json index f1daf20..736bf1e 100644 --- a/plutus.json +++ b/plutus.json @@ -6,7 +6,7 @@ "plutusVersion": "v2", "compiler": { "name": "Aiken", - "version": "v1.0.23-alpha+8584adc" + "version": "v1.0.26-alpha+075668b" }, "license": "Apache-2.0" }, @@ -27,8 +27,8 @@ } } ], - "compiledCode": "5901f001000032323232323232323222253330063253330073370e90001803000899191919299980599b88480000044c94ccc030cdc3a40006016002266ebcc00cc028c044c02800402458ccc8c0040048894ccc044008530103d87a80001323253330103370e0069000099ba548000cc0500092f5c0266600a00a00266e0400d2002301500330130023758600460126004601200c90000a5132323232533300e3370e90010008a400026eb4c04cc030008c030004c94ccc034cdc3a40040022980103d87a8000132323300100100222533301300114c103d87a800013232323253330143371e91101010000213374a90001980c1ba80014bd700998030030019bad3015003375c6026004602e004602a0026eacc048c02c008c02c004c8cc004004008894ccc0400045300103d87a800013232323253330113371e012004266e95200033015374c00297ae0133006006003375660240066eb8c040008c050008c048004c8c8cc004004008894ccc04000452f5bded8c0264646464a66602266e3d221000021003133015337606ea4008dd3000998030030019bab3012003375c6020004602800460240026eacc03cc040c040c040c040c020c004c0200148c03c004dd7180680098028008b1805980618020008a4c26cac4600a6ea80048c00cdd5000ab9a5573aaae7955cfaba05742ae881", - "hash": "c3f723bfe736990376a0ccf55498df2b4b69aa33e780d2693703012b" + "compiledCode": "5901e301000032323232323232222533300432533233006300130073754004264a6646601066e212000332232533300b3370e900118061baa0011480004dd6980818069baa00132533300b3370e900118061baa00114c103d87a80001323300100137566022601c6ea8008894ccc040004530103d87a8000132323253330103371e911010100375c602200626012660286ea00052f5c026600a00a0046eb4c044008c050008c048004c8cc00400400c894ccc03c0045300103d87a80001323232533300f3371e00c6eb8c04000c4c020cc04cdd3000a5eb804cc014014008dd598080011809801180880099198008009bab300e300f300f300f300f300b3754600660166ea8018894ccc03400452f5bded8c0264646464a66601c66e3d2201000021003133012337606ea4008dd3000998030030019bab300f003375c601a0046022004601e0026eb8c034c028dd50020992999804980218051baa00113375e600660166ea8c038c02cdd50008040b1999180080091129998070010a6103d87a800013232533300d300800313006330110024bd70099980280280099b8000348004c04800cc040008dd6180118051baa3002300a375400a90001ba548000528918060009b874800058c024c028c018dd50008a4c26cacae6955ceaab9e5573eae815d0aba201", + "hash": "95c393d81a8c0bf94ea6226b2da4193a08bf71c1c6afb3c14e01ae58" }, { "title": "liquidity_locker.liquidity_locker", @@ -44,8 +44,8 @@ "$ref": "#/definitions/Int" } }, - "compiledCode": "5903f6010000323232323232323232222323232533300932323232533300d3370e90011806000899191919299980899b8748000c0400044c8c8c8c8c8c94ccc05ccdc3a4000602c002264646464a66603600220042940cc88c8cc00400400c894ccc08400452809919299981019b8f00200514a2266008008002604a0046eb8c08c004dd6180f98101810181018101810181018101810180c1805980c00a9bae3007301801753330193375e6014602e00a6014602e002264a66603466e1d2004301900113232323232325333020002100114a066e24dd69808180e80e1bad3010301d00432323300100100222533302400114a226464a666046646464646466e24004c8c8c94ccc0accdc3a40040022900009bad30303029002302900132533302a3370e90010008a60103d87a8000132323300100100222533303000114c103d87a800013232323253330313371e018004266e95200033035375000297ae0133006006003375a60640066eb8c0c0008c0d0008c0c8004dd598179814001181400099198008008061129998168008a6103d87a8000132323232533302e3371e016004266e95200033032374c00297ae01330060060033756605e0066eb8c0b4008c0c4008c0bc004dd6981600098160011bae302a001302a003375c60500042660080080022940c0a0008dd618130009919198008008011129998120008a5eb804c8ccc888c8cc00400400c894ccc0a8004400c4c8cc0b0dd3998161ba90063302c37526eb8c0a4004cc0b0dd41bad302a0014bd7019801801981700118160009bae302300137566048002660060066050004604c0026eacc02cc070028dd59805180d802980b0009810000980c0008b1802180b800899911919299980e99b87480080044c8c94ccc07ccdc3a400460406ea8c030c074c040c0740184cdc4002800899b89005001375a604600260360042940c06c004c030c064c030c064008c078c07cc07cc07cc07cc07cc07cc07cc05c03cdd69805180b80b180e800980a8008b19991800800911299980e0010a6103d87a800013232533301b3370e0069000099ba548000cc07c0092f5c0266600a00a00266e0400d20023020003301e00237586002602801801c460366038603800260026024004460326034002602e002601e0022c64646600200200444a66602c0022980103d87a80001323253330153375e600c602600400e266e952000330190024bd70099802002000980d001180c0009bac3001300e006230150013013001300b0011630110013011002300f001300700414984d958dd68021800802119299980419b87480000044c8c8c8c94ccc03cc04800852616375c602000260200046eb4c038004c01800858c0180048c014dd5000918019baa0015734aae7555cf2ab9f5740ae855d11", - "hash": "ddbebc6263726bcc035934b3b71c1fb144a78a1cbbc57499c45b1e89" + "compiledCode": "5904040100003232323232323223232322322533300832323253323300c3001300d37540042646464a66601e601a60206ea80044c8c8c8c94ccc04cc044c050dd500089919299980a9991191980080080191299980e0008a50132533301a3371e6eb8c07c008010528899801801800980f8009bac301a301b301b301b301b301b301b301b301b301737546012602e6ea8038dd71803180b9baa014100114a0a66602866ebcc020c058dd50021804180b1baa00113253330153370e9002180b1baa00113232323253330193233001001323300100137566018603a6ea802c894ccc07c00452f5c0264666444646600200200644a66604a00220062646604e6e9ccc09cdd4803198139ba9375c60480026604e6ea0dd69812800a5eb80cc00c00cc0a4008c09c004dd7180f0009bab301f001330030033023002302100122533301e00114a2264a666038646466e24dd6981198120009991192999810980b18111baa0011480004dd6981318119baa0013253330213016302237540022980103d87a8000132330010013756604e60486ea8008894ccc098004530103d87a8000132323253330263371e00e6eb8c09c00c4c064cc0a8dd4000a5eb804cc014014008dd698138011815001181400099198008008051129998128008a6103d87a8000132323253330253371e00e6eb8c09800c4c060cc0a4dd3000a5eb804cc014014008dd59813001181480118138009bae3023002375c604600260460026eb0c0840084cc00c00c004528181080088008a50337126eb4c030c068dd500b9bad300c301a37540066eacc020c064dd50021809800980d180b9baa001163003301637540022664464a66602e601860306ea80044c94ccc060c94ccc070c06c00454ccc064c038c0680045288a99980c980b980d0008a5016163754601260346ea8c030c068dd5002099b880030011337120060026eb4c070c064dd50008a50300a30183754601460306ea8008c064c068c068c068c068c068c068c068c058dd50059bad3008301637540266030602a6ea800458ccc8c0040048894ccc0600085300103d87a800013232533301730150031300a3301b0024bd70099980280280099b8000348004c07000cc068008dd61800980a1baa00900c2301730183018001300130123754602a60246ea80088c054c05800458cc88c8cc00400400c894ccc054004530103d87a80001323253330143375e6010602c6ea80080144c01ccc0600092f5c02660080080026032004602e0026eb0c008c040dd5002980998081baa004374a9000118090009b874800858c03cc040008c038004c028dd50008a4c26cac6eb4004c00400c94ccc010c008c014dd5000899191919299980598070010a4c2c6eb8c030004c030008dd6980500098031baa00116370e90002b9a5573aaae7955cfaba05742ae89", + "hash": "9e310043d0abbd80b17a54a05ae409fc7efefecb4bba55f594bf763d" }, { "title": "orders/auction.auction", @@ -61,8 +61,8 @@ "$ref": "#/definitions/orders~1auction~1Action" } }, - "compiledCode": "5906bc01000032323232323232323222232325333008323232533300b3370e900000189919191919191919299980999b8748008c0480044c8c8c94ccc058cdc3a4000602a0022646464646464646464646464a66604466e1d2000302100113232323232323232323232323232323232323232323232533303953330395333039533303901b100114a0200e2940400852808040a503232533303a3370e900000089919299981e19b8f375c60666074072002266e1c04d200014a06eb8c100004c0e00084cdd79818181c00d9818181c00b981c0009817181b1817181b00a99b873370401200266e0801c008ccc00800cdd6980c981a180b181a0199119b82002483403cccc004008dd698159819980a98198191119b82002375a6078607a607a607a607a607a607a606a06844464666002002008006444a66607a004200226660060066080004660080026eb4c0fc008c8cc004005200022533303533710052002297ae013303937500026600400466e0000520023371090000022999818a9998188030a51100514a2266e24c8cdc098009bab3015303001330013756602a606001e466601800291100488100002533303000413370266e0402401c0044cdc080480399b83337040026eb4c094c0b4008dd6980918168012999817001899b833370466e04010018dd69808981600099b80375a602260580026eb4c090c0b00044cdc08020031809181581519b8f008489003371e00c9101003330043756601a605000e00a6eb8c034c0a0c034c0a009cccc00cdd5980618138030029bae300c3027301f302702633300237566016604c0120066eb8c02cc098c02cc098094ccc004dd5980518128040019bae300a3025301d3025024222323232533302c3370e90010008a400026eb4c0c4c0a8008c0a8004c94ccc0accdc3a4004002298103d87a8000132323300100100222533303100114c103d87a800013232323253330323371e014004266e95200033036375000297ae0133006006003375a60660066eb8c0c4008c0d4008c0cc004dd598181814801181480099198008008021129998170008a6103d87a8000132323232533302f3371e010004266e95200033033374c00297ae0133006006003375660600066eb8c0b8008c0c8008c0c0004dd7180d9811980418118111bae301a3022301a3022021302800130200011633323001001222533302700214c0103d87a80001323253330263370e0069000099ba548000cc0a80092f5c0266600a00a00266e0400d2002302b003302900237586002603e0220264604c604e604e0026004603a010a66603ca66603c66e20048dd6981198121812181218121812180e00d89919299981019b87480080044c8c94ccc088cdc3a400460466ea8c014c080c060c0800184cdc4004800899b89009001375a604c002603c0042940c078004c050c070c050c07000852809919299981019b87480080044c8c94ccc088cdc3a400460466ea8c014c080c014c0800184cdc4000804099b89001008375a604c002603c0042940c078004c050c070c004c0700085281181198120009800980d00611810981118111811181118111811181100099b80001002337006eb4c078c07cc07cc07cc05c058cdc10008069bad301d301e301e301e301e3016015301c00130140011632323300100100222533301b00114c103d87a800013232533301a3375e6020603000400c266e9520003301e0024bd70099802002000980f801180e8009bac300b30130053019001301100116301700130170023015001300d00a375a602600260260046eb4c044004c02401c4cc88c8cc00400400c894ccc04800452809919299980899b8f00200514a2266008008002602c0046eb8c050004dd618011804980098048031bae30023009008230100012300f30103010301030103010301030103010001300700414984d958c94ccc020cdc3a4000002264646464a66601e60240042930b1bad30100013010002375a601c002600c0082a66601066e1d20020011533300b300600414985858c01800cc8c8c94ccc024cdc3a40000022646464646464646464646464646464646464a66603c604200426464646493180b803180b007980b008180a8088b1bae301f001301f002301d001301d002375a603600260360046eb4c064004c064008dd6980b800980b8011bad301500130150023013001301300230110013011002300f001300700616300700523253330093370e9000000899191919299980818098010a4c2c6eb4c044004c044008dd6980780098038010b1803800919299980419b87480000044c8c8c8c94ccc03cc04800852616375c602000260200046eb8c038004c01800858c0180048c014dd5000918019baa0015734aae7555cf2ab9f5740ae855d11", - "hash": "a0c7d4382eba21ed5713ae245d1c8643199470d568c8fcc30ab85dcf" + "compiledCode": "590717010000323232323232322323223232253330083232533300a3008300b375400c2646464646464a666020601660226ea80044c8c94ccc048c040c04cdd5000899191919191919191919299980e180d180e9baa001132323232323232323232323232323232323232533302f0171533302f0011533302f0051533302f002100614a029405280a5032533302f302d303037540022a66605e66e3cdd7181398189baa02e375c606860626ea80044c0b4034528099baf30263031375402c604c60626ea804cc094c0c0dd5181298181baa0123370e66e08018ccc004008dd6980b18179baa3013302f37540584466e0800920d00f33704a66605a010266e04cdc0806805802899b8100d00b333001002375a6048605e6ea8c04cc0bcdd50161119b82002375a6068606a606a606a606a606a606a60626ea80b8888c8ccc00400401000c8894ccc0d400840044ccc00c00cc0e0008cc010004dd6981b8011919800800a400044a66605a66e2008800452f5c02660626ea0004cc008008cdc0000a400466e2120000035333029533302900514a2200829444cdc49919b8130013756602660586ea8044c004dd5980998161baa00e233300b0014881004881000013370666e08004dd6980f98151baa002375a602260546ea80094ccc09c00c4cdc199b823370200800c6eb4c040c0a4dd500099b80375a602060526ea8004dd6980f18149baa00113370200800c602260506ea8094cdc78042441003371e00c91010033300437566018604a6ea801c014dd7180618129baa300c302537540446660066eacc02cc090dd50030029bae300b30243754603260486ea8084ccc008dd5980518119baa008003375c601460466ea8c028c08cdd50101998009bab30093022375400e0066eb8c024c088dd5180b98111baa01f222325333023301e302437540022900009bad30283025375400264a666046603c60486ea80045300103d87a80001323300100137566052604c6ea8008894ccc0a0004530103d87a8000132323253330283371e00e6eb8c0a400c4c060cc0b0dd4000a5eb804cc014014008dd698148011816001181500099198008008021129998138008a6103d87a8000132323253330273371e00e6eb8c0a000c4c05ccc0acdd3000a5eb804cc014014008dd59814001181580118148009bae301530203754600e60406ea8074dd7180a180f9baa3014301f37540386042603c6ea800458ccc8c0040048894ccc0840085300103d87a8000132325333020301e00313010330240024bd70099980280280099b8000348004c09400cc08c008dd61800980e9baa00d00f23020302130210013002301b3754603c60366ea80214ccc060cdc40069bad301d301e301e301e301e301e301a375402e2a66603064a666032602860346ea80044c94ccc068c94ccc078c07400454ccc06cc058c0700045288a99980d980c980e0008a5016163754600660386ea8c044c070dd5002099b8800700113371200e0026eb4c078c06cdd50008a50300f301a3754601e60346ea80084c94ccc064c050c068dd5000899299980d19299980f180e8008a99980d980b180e0008a511533301b3019301c00114a02c2c6ea8c00cc070dd51801980e1baa00413371000200c266e24004018dd6980f180d9baa00114a0601e60346ea8c004c068dd50010a5014a04603a603c002600260306ea80208c06cc070c070c070c070c070c070c070004cdc000080119b80375a6030603260326032602a6ea8048cdc10008041bad30173018301830183018301437540222c6644646600200200644a6660300022980103d87a80001323253330173375e601c60326ea80080144c01ccc06c0092f5c0266008008002603800460340026eb0c020c04cdd5001980b18099baa002374a90000b180a180a801180980098079baa006375a602260240046eb4c040004c030dd50030999119198008008019129998088008a50132533300f3371e6eb8c050008010528899801801800980a0009bac3002300c3754600260186ea800cdd7180118061baa0092300f0012300e300f300f300f300f300f300f300f300f00114984d958c94ccc01cc0140044c8c8c8c94ccc038c04400852616375a601e002601e0046eb4c034004c024dd50018a99980398010008a99980518049baa00314985858c01cdd50011b8748008c8c94ccc014c00cc018dd50020991919191919191919191919191919191919299980d180e80109919191924c602c00c602a01e602a02060280222c6eb8c06c004c06c008c064004c064008dd6980b800980b8011bad30150013015002375a602600260260046eb4c044004c044008c03c004c03c008c034004c034008c02c004c01cdd50020b12999802980198031baa001132323232533300c300f002149858dd6980680098068011bad300b001300737540022c4a6660086004600a6ea80044c8c8c8c94ccc02cc03800852616375c601800260180046eb8c028004c018dd50008b1b87480015cd2ab9d5573caae7d5d02ba157441", + "hash": "fbc59e20bd55b1b521db154643fb359020bdfc8da40120946c89c08a" }, { "title": "orders/limit/limit_order.batch_witness", @@ -72,8 +72,8 @@ "$ref": "#/definitions/Data" } }, - "compiledCode": "590776010000323232323232323232225333005323253330073370e900218030008991919191999911119199980080080280225122225333016003100113232533301800414a0264646666010010006002a66602e00a26660120080040142940c070014c068010c068010c06000cdd6180218048019bac3001300900337586004601200664646464644446464a66602a66e1d2004301400113232323232533301a3375e00298010241000013232323232323232323232323232323232323232323232323232323232323232323232533303d002100114a064a66608000229444c8c8cc00400400c894ccc10c00452809919299982119b8f00200514a2266008008002608e0046eb8c114004dd718210159bac304130423042304230423042304230423042304230423042303a026533303b0011323232533303e002100114a0a66607a034266e2402ccdc019b800080070091533303d0191337120160102a66607a66e2402c0204cdc499b8148000028cdc00038048a503371266e0801cdd6981a981d00299b82001375a606e607400aa66607602e266e00cdc00050028038805099299981e19b8748010c0ec0044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc1314ccc1314ccc1314ccc1314ccc130020401c52808030a50100414a020062940400452819baf00e001323232323232323374a90001982a982b0039982a982b0031982a982b0029982a9ba801233055305600433055305600333055305600233055305600133055375002060ae60ae00260ac00260aa00260a800260a660a600260a400260a2002609006866ebc044040cdc48008029bad304c304d304d304d304d304d3045031533304602313371202866e00cdc00030020090a999823011099b89014006153330463371202800c266e24cdc0a400002666e0001004852819b890033370666e0801403c040cdc499b82004375a607a608401a66e08004dd6981f9821006a99982180f899b803370002400201e202466e04030004dd6981c181f80219b8100b001375a6060607a0046062002608400260740022c6062607205466ebc004c0fcc100c100c100c100c100c100c100c100c100c0e0090c0c8c0dc0a0c0c4c0d8094c0f0c0f4c0f4c0f4c0f4c0f4c0f4c0f4c0d4084dd69816981a0101bad3026303301f375a60726074607460746074606403c66e0401c02ccdc080280199b81001003533303000c10041333302200600f00e480194ccc0bc030400c4cccc08401404003d2006533302e00a10061333302000800d00c480194ccc0b402840144cccc07c01c0380352006375a605c00260606eacc0b4008c0c0038c0b8034dd6981500098161bab3029002302c00b302a00a3371e0069101003371e008910100375c603a60400086eb8c068c07c00cdd7180d980f0019bae3018301d0023023302430243024302430243024301c0083013301b0073756602e60340166eacc058c064020c034010528980f0009bac301a00132337606ea0c064004dd3980d0009baa001301b001301300116300a3012001300e30110032301530163016301600122223233300100100500222253330153371090000008a99980c0010a4000264646464a66603266e3c0080284c8c8c8c94ccc074cdc780100688008a9998100018a4000264a6660420022646464a66604266e3c004044400852000375c60420046eb4c084004c08c01058c08c00cdd6980f0019bae301c0023020002301e00113330070070033370200a90011bab301a003375c6030004603800660340042c464a66601e66e1d20000011323232323232323232323232323232323232323232323232533302a302d00213232323232498c8cc004004018894ccc0c0004526132330030033034002375c606400264a66605666e1d20000011323232325333032303500213232498c94ccc0c4cdc3a400000226464a66606c60720042649319299981a19b87480000044c8c94ccc0e4c0f00084c926302b00116303a0013032002153330343370e90010008991919191919299981e98200010a4c2c6eb4c0f8004c0f8008dd6981e000981e0011bad303a0013032002163032001163037001302f003153330313370e90010008a99981a18178018a4c2c2c605e00460480062c60660026066004606200260520122c605201064a66605466e1d200000113232323253330313034002149858dd6981900098190011bad3030001302800c16302800b301c00c301b013163758605600260560046eb8c0a4004c0a4008c09c004c09c008dd69812800981280118118009811801181080098108011bad301f001301f002375a603a002603a0046eb4c06c004c06c008c064004c064008dd7180b800980b8011bae3015001300d00216300d001232533300e3370e9000000899191919299980a980c0010a4c2c6eb8c058004c058008dd7180a00098060010b1806000919299980699b87480000044c8c94ccc048c05400852616375c602600260160042a66601a66e1d20020011323253330123015002149858dd7180980098058010b18058009180818089808800918079808180818081808180818081808180800098009803002118068008b180098020011180598060008a4c26cac4600a6ea80048c00cdd5000ab9a5573aaae7955cfaba05742ae89", - "hash": "2be9e0e775b72db02ab618a03ccbe70c357a47bcd8437323e7e0f51a" + "compiledCode": "59076301000032323232323232225333003325332330053001300637546004600e6ea800c4c8c8c8c8cccc8888c8cccc004004014011289111299980a001880089919299980b0020a501323333007007002301a0055333014004133300800300100914a060300086030008602c0066eb0c010c02cdd50019bac3001300b37540066eb0c008c02cdd5001991919191919191111919299980a9808980b1baa00113253330163375e60366eb0c060c8cdd81ba83018001374e60320026ea8005301024100001323232323232323232323232323232323232323232323232533302e53233302f3375e0066068606a606a606a606a606a606a606a606a606a60626ea80684c94ccc0c0cdc499b82008375a605660646ea8018cdc12999818009099b803370001600e01220166eb4c0b4c0c8dd500308008a50533302f012130013370066e0001c01802054ccc0bc0444c00401c54ccc0bcc00401c4cdc499b8148000024cdc00030040a501325333030302c303137540022646464646464646464646464a66607866e24cdc10049bad3037303e375402466e08018dd6981c981f1baa0121533303c0051533303c0041533303c0031533303c002100114a029405280a5014a066ebc02cc8c8c8c8c8c8c8cdd2a40006608c608e00e6608c608e00c6608c608e00a6608c6ea0040cc118c11c010cc118c11c00ccc118c11c008cc118c11c004cc118dd4007182418240009823800982300098228009822182200098218009821000981e9baa0263375e01e01c66e24dd6981f181f981f981f981f981f981d9baa024003533303801b1300a3370066e0001400c04454ccc0e00684c02801454ccc0e0c0280144cdc499b8148000048cdc00018088a503371200466e0ccdc1002007007a99981b00c099b803370002200201e202266e04030004dd69816981b1baa004337020160026eb4c08cc0d0dd50011812000981a98191baa0011630273031375403c6e24cdc0a99981700888068999981000700a80a2400ca66605c02220142666604001602a028900308008a5032533303100114a2264646600200200644a66606800229404c94ccc0c8cdc79bae303700200414a2266006006002606e0026eb8c0cc070dd618191819981998199819981998199819981998199819981998179baa0183027302e3754036604c605a6ea8060c0bcc0c0c0c0c0c0c0c0c0c0c0c0c0c0c0b0dd500a9bad3022302b37540286eb4c064c0a8dd50099bad302c302d302d302d302d3029375402466e04008014cdc0a99981280388008999980b801005004a400ca66604a00e20082666602e00a01401290031bad302630293756604c605200460520026eacc07cc090dd50089bad3023302637566046604c004604c0026eacc070c084dd500619b8f003489003371e008910100375c6032603c6ea8010dd7180b180e9baa003375c602e60386ea800cdd7180a180d9baa002301d301e301e301e301e301e301e301a3754006601e60326ea8008c024004528980d180b9baa00116300c301637540026020602a6ea800c8c054c058c058c0580048888c8ccc0040040140088894ccc054cdc4240000022a666030004290000991919299980c19b8f375c60320060122646464a66603666e3cdd7180e00180588008a99980f0010a40002a66603c604200426464a66603a66e3cdd7180f00100688008a40006eb4c078004c08000858dd6980e001180f801180e800899980300300119b8000448004dd5980c801180e001980d0010b12999807180298079baa00113232323232323232323232323232323232323232323232325333029302c00213232323232498c8cc004004018894ccc0bc004526132330030033033002375c6062002a666052604060546ea80204c8c8c8c94ccc0c0c0cc0084c8c92632533302f30260011323253330343037002132498c94ccc0c8c0a40044c8c94ccc0dcc0e80084c9263029001163038001303437540042a66606460500022646464646464a666076607c0042930b1bad303c001303c002375a607400260740046eb4c0e0004c0d0dd50010b18191baa001163035001303137540062a66605e604a0022a66606460626ea800c5261616302f375400460440062c60620026062004605e00260566ea8020594ccc0a0c07cc0a4dd5005899191919299981798190010a4c2c6eb4c0c0004c0c0008dd6981700098151baa00b16301b00c301a013163758605400260540046eb8c0a0004c0a0008c098004c098008dd69812000981200118110009811001181000098100011bad301e001301e002375a603800260380046eb4c068004c068008c060004c060008dd7180b000980b0011bae3014001301037540022c4a66601a6008601c6ea80044c8c8c8c94ccc050c05c00852616375c602a002602a0046eb8c04c004c03cdd50008b11929998069802000899192999809180a8010a4c2c6eb8c04c004c03cdd50010a9998069801800899192999809180a8010a4c2c6eb8c04c004c03cdd50010b18069baa001370e90011b87480008c038c03cc03c0048c034c038c038c038c038c038c038c038c038004c004c020dd5002118058009b8748010588c024c028004526136565734aae7555cf2ab9f5740ae855d11", + "hash": "221ad845313837904c15a0f0107dd0cbe8bdf4a41701866dabe996e4" }, { "title": "orders/limit/limit_order.limit_order", @@ -97,11 +97,11 @@ } } ], - "compiledCode": "5903e60100003232323232323232322222323253330093232533300b003132323300100100222533301100114a02646464a66602266ebc0380045288998028028011808801180a80118098009bab301030113011301130113011301130090011323232533300e3370e900118068008991919299980899b8748000c0400044c8c8c8c8c94ccc0594ccc05802c400852808008a503375e601860260046034603660366036603660366036603660366036602602266ebcc020c048c020c048008c020c048004c060dd6180c180c980c9808804980b80098078008b19191980080080111299980b0008a6103d87a80001323253330153375e6018602600400c266e952000330190024bd70099802002000980d001180c0009bac3007300e0063014001300c001163001300b0072301230130013322323300100100322533301200114a026464a66602266e3c008014528899802002000980b0011bae3014001375860206022602260226022602260226022602260120026eb8c040c044c044c044c044c044c044c044c044c044c044c02401cc004c0200108c03c004526136563370e900118049baa003323232533300a3370e90000008991919191919191919191919191919191919191919191919299981298140010991919191924c646600200200c44a6660560022930991980180198178011bae302d0013253330263370e9000000899191919299981698180010991924c64a66605866e1d20000011323253330313034002132498c94ccc0bccdc3a400000226464a666068606e0042649318150008b181a80098168010a99981799b87480080044c8c8c8c8c8c94ccc0e0c0ec00852616375a607200260720046eb4c0dc004c0dc008dd6981a80098168010b18168008b181900098150018a99981619b874800800454ccc0bcc0a800c5261616302a002302300316302e001302e002302c00130240091630240083253330253370e9000000899191919299981618178010a4c2c6eb4c0b4004c0b4008dd6981580098118060b1811805980d806180d0098b1bac30260013026002375c60480026048004604400260440046eb4c080004c080008c078004c078008c070004c070008dd6980d000980d0011bad30180013018002375a602c002602c004602800260280046eb8c048004c048008dd7180800098040030b1804002919299980519b87480000044c8c8c8c94ccc044c05000852616375c602400260240046eb8c040004c02000858c0200048c94ccc024cdc3a400000226464a66601c60220042930b1bae300f0013007002153330093370e900100089919299980718088010a4c2c6eb8c03c004c01c00858c01c0048c014dd5000918019baa0015734aae7555cf2ab9f5740ae855d11", - "hash": "8646a54d4d52cbcc415a51f0f04c0a2e7c4021fdc5f261a46d2cad39" + "compiledCode": "5904020100003232323232323222323232232253330093232533300b0041323300100137566022602460246024602460246024601c6ea8008894ccc040004528099299980719baf00d300f301300214a226600600600260260022646464a66601c6014601e6ea80044c94ccc03cc030c040dd5000899191929998090038a99980900108008a5014a066ebcc020c04cdd5001180b180b980b980b980b980b980b980b980b980b98099baa00f3375e600860246ea8c010c048dd5180a98091baa00230043012375400260286eb0c050c054c054c044dd50028b1991191980080080191299980a8008a6103d87a80001323253330143375e6016602c6ea80080144cdd2a40006603000497ae0133004004001301900230170013758600a60206ea8010c04cc040dd50008b180098079baa0052301230130013322323300100100322533301200114a0264a66602066e3cdd7180a8010020a5113300300300130150013758602060226022602260226022602260226022601a6ea8004dd71808180898089808980898089808980898089808980898069baa0093001300c37540044601e00229309b2b19299980598050008a999804180218048008a51153330083005300900114a02c2c6ea8004c8c94ccc01cc010c020dd50028991919191919191919191919191919191919191919191919299981118128010991919191924c646600200200c44a6660500022930991980180198160011bae302a0015333022301f30233754010264646464a666052605800426464931929998141812800899192999816981800109924c64a666056605000226464a66606060660042649318140008b181880098169baa0021533302b3027001132323232323253330343037002149858dd6981a800981a8011bad30330013033002375a6062002605a6ea800858c0acdd50008b181700098151baa0031533302830240011533302b302a37540062930b0b18141baa002302100316302a001302a0023028001302437540102ca666042603c60446ea802c4c8c8c8c94ccc0a0c0ac00852616375a605200260520046eb4c09c004c08cdd50058b180d006180c8098b1bac30230013023002375c60420026042004603e002603e0046eb4c074004c074008c06c004c06c008c064004c064008dd6980b800980b8011bad30150013015002375a60260026026004602200260220046eb8c03c004c03c008dd7180680098049baa0051625333007300430083754002264646464a66601c60220042930b1bae300f001300f002375c601a00260126ea8004588c94ccc01cc0100044c8c94ccc030c03c00852616375c601a00260126ea800854ccc01cc00c0044c8c94ccc030c03c00852616375c601a00260126ea800858c01cdd50009b8748008dc3a4000ae6955ceaab9e5573eae815d0aba201", + "hash": "85a3651503dc31af3ddd6af34d0c705ad1fe311ba25979c4aad77f56" }, { - "title": "stable_pool/deposit.deposit", + "title": "stable_pools/t2t/deposit_t2t.stable_deposit_t2t", "datum": { "title": "datum", "schema": { @@ -114,15 +114,15 @@ "$ref": "#/definitions/splash~1stableswap~1types~1OrderAction" } }, - "compiledCode": "5904ed01000032323232323232323222232323253330093232323232323232323232323232323253330193370e900000089919191919191919191919191919299981399b8748000c0980044c8c8c8c8c8c8c8c8c8c8c8c94ccc0cccdc3a4000606400226464646464646464a66607666e1d2004303a00113232533303d3370e9000181e00089919191919191919191919191919191919191919191919191919299982d182e8010991919191919191919191919299983199b8748000c1880044c8c8c8c8c8c8c8c8c8c8c94ccc1b94ccc1b8010400852808008a5032323253330703370e9000000899b8f059375c60ea60dc004266ebcc00cc1b8c0ecc1b8120028c1b8004c004c1b0c004c1b00288c1cc004cdc481f80099980100180600519b8733300103203b03948008888c8c8c94ccc1bccdc3a40040022900009bad3074306d002306d00132533306e3370e90010008a60103d87a8000132323300100100222533307400114c103d87a800013232323253330753371e014004266e95200033079375000297ae0133006006003375a60ec0066eb8c1d0008c1e0008c1d8004dd598399836001183600099198008008021129998388008a6103d87a800013232323253330723371e010004266e95200033076374c00297ae0133006006003375660e60066eb8c1c4008c1d4008c1cc004dd59836800983680118358009831800983480098308008b1981e81f8231bae30660013066002375c60c800260b80306600a01246eb4004cc0100308dd7000982a80a9980100b11bad001330010172305400122323300100100322533305f00114984c8cc00c00cc18c008c00cc184004c14406458dd6982d800982d8011bac30590013059002375c60ae00260ae0046eb0c154004c154008dd6982980098298011bad30510013051002375a609e002609e00466e1d200230493754609a002609a004609600260960046eb0c124004c124008dd6182380098238011bad304500130450023043001303b001163041001303900116303f001303f0023756607a002607a002606860026068004460766078002607200260620022c6601a0240286eb8c0d8004c0d8008dd7181a00098160021bad303200130320013031002302f0013027026302d0013025001163300100600c3001001222533302a00214c103d87a80001323253330293370e0069000099ba548000cc0b40092f5c0266600a00a00266e0400d2002302e003302c002375860500026050002604e0046eb0c094004c074054dd6981180098118011bad30210013021002375a603e002602e02a2646600200200c44a66603c00229404c8c94ccc074cdc78010030a511330040040013022002375c6040002602e0286eb8c070004c070004c04c048dd6180c800980c800980c000980b800980b000980a800980a000980980098090009804800980780098038020a4c26cac64a66601266e1d2000001132323232323253330123015002149858dd6980980098098011bad30110013011002375a601e002600e00a2a66601266e1d20020011533300c300700514985858c01c010c94ccc020cdc3a40000022646464646464a66602260280042649318040028b1bad30120013012002375c60200026020004601c002600c00a2c600c008464a66601066e1d2000001132323232533300f3012002149858dd7180800098080011bae300e0013006002163006001230053754002460066ea80055cd2ab9d5573caae7d5d02ba157441", - "hash": "31faf2eb582b3a9dc58b05ddf15db70a487da4ff118527421ad63f32" + "compiledCode": "590715010000323232323232322323232232322533300932533300a3008300b375400a264646464646464646464646464646464646464646464a666040603c60426ea80044c8c8c8c94ccc090cdc3a4008604a6ea80044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0e0c0d8c0e4dd5000899191919191919191919192999821982098221baa001132323232323232323232323232325333051304f3052375400226464a6660a660a260a86ea80044c94ccc150c148c154dd5000899299982a9829982b1baa00113232533305700c1533305700b1533305700a15333057008100114a029405280a5053330563371e00a08a266e3c00410c5281bae305a305737540022c60b260ac6ea800458c160c154dd50008b1819182a1baa00e375c60ac60a66ea800458c154c148dd5006299982799b89337040026eb4c140018cdc100480d899b893370400200a66e0802406852819b81483fbfffffffffffffffc04060cdc399918008009129998290008a4000266e01200233002002305500103348010cdc481b803182299980c0148088081bad304c00153330495333049300b01e1300b01d14a0266ec0dd419b8000203137500022a666092a66609260160362601603429404cdd81ba8002375066e000040c44cdd81ba8002375000266e0401cccc05400c068064cdc080399980a00100e00d99980980080a80a1bab304a304b0023049001304537546090608a6ea800458cc09009c0d4dd698218011bad3041001533303f533303f30010141300101314a0266ec0dd419b813370200604e0506ea000854ccc0fd4ccc0fcc0040444c004040528099bb037500066ea0cdc099b810020270281337606ea000cdd40011b8f4890033300a00500f00e333009004011010375c608060820046eb8c0fc004c0ecdd50151bab303d303e303a3754603060746ea8c0f4c0e8dd50008b1980c80e81619980180a00280219b81333002013007006375a6074607601866e04ccc004048024020dd6981c80591119299981b9818981c1baa0011480004dd6981e181c9baa0013253330373031303837540022980103d87a8000132330010013756607a60746ea8008894ccc0f0004530103d87a80001323232533303c3371e00e6eb8c0f400c4c080cc100dd4000a5eb804cc014014008dd6981e8011820001181f000991980080080211299981d8008a6103d87a80001323232533303b3371e00e6eb8c0f000c4c07ccc0fcdd3000a5eb804cc014014008dd5981e001181f801181e8009bae30373038002375c606c00260646ea8c0d4020dd7181a181a8011bae3033001302f3754606400c6eb8c0c4c0c8008dd7181800098161baa302f004302f302f302f302f302f302f302f001302e302e302e001302d001302c302c30283754004a66604a6046604c6ea80044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc118c1240084c8c8c8c92630430143042019304101a304001d16375a608e002608e0046eb4c114004c114008dd7182180098218011bae30410013041002375a607e002607e0046eb4c0f4004c0f4008c94ccc0e8c0e400454ccc0dcc0c4c0e00045288a99981b981a981c0008a50161637546076002607600464a666070606e0022a66606a605e606c002294454ccc0d4c0ccc0d80045280b0b1baa3039001303900230370013037002375a606a002606a0046eb4c0cc004c0cc008c0c4004c0c4008c0bc004c0bc008dd698168009816801181580098139baa001163029302637540022c605060520046eacc09c004c09cc08cdd5180098119baa3026302337540044604c604e0022c6600200a6eb4c090c09404cc0040048894ccc08c008530103d87a8000132325333022302000313006330260024bd70099980280280099b8000348004c09c00cc094008dd2a40006eb0c080c084c084008dd6180f800980d9baa010375a603a603c0046eb4c070004c070008dd6980d000980d0011bae30180013018002375c602c002602c004602800260206ea8034dd6980900098090011bad3010001300c375400a26644646600200200644a66602200229404c94ccc03ccdc79bae301400200414a226600600600260280026eb0c03cc040c040c040c040c040c040c040c040c030dd50009bae300f3010300c3754012601c60166ea8004526136563253330083006001132323232323253330113014002149858dd6980900098090011bad30100013010002375a601c00260146ea800c54ccc020c00800454ccc02cc028dd50018a4c2c2c60106ea8008dc3a4004a6660086004600a6ea800c4c8c8c8c8c8c8c8c8c8c8c8c94ccc04cc0580084c926300d00b16375a602800260280046eb4c048004c048008dd6980800098080011bae300e001300e002375c601800260180046014002600c6ea800c5894ccc010c008c014dd5000899191919299980598070010a4c2c6eb8c030004c030008dd7180500098031baa00116370e90002b9a5573aaae7955cfaba05742ae881", + "hash": "a8f22a7d9e5b88bc4f56523b0a18af30d5fd0b666f91b79e076f50c0" }, { - "title": "stable_pool/pool.validate_pool", + "title": "stable_pools/t2t/pool_t2t.validate_stable_pool_transition_t2t", "datum": { "title": "input_datum", "schema": { - "$ref": "#/definitions/splash~1stableswap~1types~1PoolData" + "$ref": "#/definitions/splash~1stableswap~1types~1PoolDataT2T" } }, "redeemer": { @@ -139,11 +139,36 @@ } } ], - "compiledCode": "590f600100003232323232323232322322223232323232533300d32323232323232323253330163370e9001180a80309919191919191919191919299981099b8748000c0800044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc10ccdc3a40006084002264646464646464646464a66609a66e1d2004304c00313232323232323232323232323232323232323232323232323232325333068533306853330685333068533306800b100a14a020082940400c52808010a50100114a064a6660d066e1d20000011323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323253330bb01005100114a0a666174026661740266e1c02920004a09444c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc324054ccc324054ccc324054ccc3240403c403052808038a50100314a020022940cdc399b8148000060004cdc199b82337020b806266e0520feffffffffffffffffffffffffffffffffff070190313333304e00104500f00e05b3304e00104032333300100100a004002222253330cb0100314bd70099192999866808020a5eb804c8c94ccc33c0401452f5c02661a0026ea0cdc099b81004002375a61a20200a666601001000600261a40200a61a20200a6eb4c33c04010c33c04010dd698668080199825002119b833370466e0810c0e0004010cdd79ba700d374e00266090004466e0ccdc119b820410340010023370466e0920083370207e900124181341866609c00800244a6661820266e200040084cdc0801000899b810010023304500b23370666e080041580a4ccccc1140040f0018014150cc1140040dccc11402409cccccc1080040e400c0080344c8c8c94ccc2f404cdc3a40006178020022646464a6661800266e1d200030bf01001132323253330c3013370e9000186100800899191929998630099b8748000c314040044c8c8c94ccc32404cdc3a40006190020022646464a6661980266e1d200030cb010011323232323232323232323253330d70153330d70153330d70153330d70153330d70153330d701008100714a0200c2940401452808020a50100314a020022940ccccccc16000410015407c078cdc100482a83599199800800a400003a444a6661b602002297ae01330dc01375064a6661b20266e1c00c1b84cdc119b833370066e08cdc180080600599b8200f04d00b00c1001375a61ba0200266600600666e00009200230de01001333333305601b02705301d01c3370400e0a60d266e1c024cdc000780629998690099b873305501823370e002900019b81051480104cdc380a0088a503371260aa66e04cdc100680199b820073370290604d0602299b824801000ccdc39982980d919b8700148000cdc0827a400466e24c14ccdc019b820080013370400a08266e0920040013370266e0520c09a0c042040375a61a4020026194020022c660a008c0c06eb4c33c04004c31c0400458cc134034174dd69866008009862008008b1982500802d1bad30c90100130c1010011633047008057375a618c02002617c020022c660880080ac6eb4c30c04004c2ec0400458cc10400814ccc114024028cc11001801ccc1080140d0cdc10170009982481b01b299985b00a99985b00a99985b0099b8702a01313370e05002229404cdd79ba7026374e01e29404cdc78120068a503303f00a0213303e0020093303d00201f3303d02f06a3303c02e08701337020020046660980ce02e02a6660961080202c0286eb4c2c804004c2c804008dd61858008009858008011bae30ae0100130ae0100237586158020026158020046eb4c2a804004c2a804008dd6985400800985400800985380800985300800985280800985200800985180800985100800984c808269bae309f01001309f01002375c613a02002612a020206eb4c26c04004c26c04008dd6184c80800984c808011bae3097010013097010023758612a02002612a020046eb4c24c04004c24c04008dd69848808009848808011bad308f01001308f01001308e01002308c01001308c0100237586114020026114020046eb0c22004004c22004008dd6984300800984300800983e83d111111119191919191919191929998470099b8748000c234040044c8c8c8c8c8c8c8c94ccc25804cdc4006001099b8800c00114a06666604602602c01800466e00034024ccccc08804805402c008cdc08060041bad309501002375a61260200266ec0dd419b823370402000266e04008018dd419b823370402000266e00008018cdc18050009bad309401001308c01001163301200f0093370400201466e0802c020ccccc06002002c00400c008cc06c028cdc0004a400466e0801800ccdc100300098098041808803911998098012400044a666102026006004266e00005200210012533307d337100029000099b81480000044004c0040048894ccc20004008530103d87a800013232533307f3370e0069000099ba548000cc20c04dd400125eb804ccc014014004cdc0801a40046108020066eb4c2080400888c8cc00400400c894ccc2000400452f5c0266102026ea0c00cdd698410080099801001184180800911111919191919191929998420099b880030021337100060022940ccccc04c028020cdc0003a40040080066666602401200e66e040192002003002333330110080060050020013370400a00666e08014004c02c018c02401488ccc02000800488cdc1001000911998038010009119b8100200122323300100100322533307c00114bd7009983e9ba83232333018005375c6100020026eb8c20004c20404004c1e0004c1f8004cc008008c1fc0048ccc0180052000223370000400246466600c00290011119b82002001323300100100222533307900114bd70099191919299983d19b87480080044cc01801800c4cc1f8c1fcc1e0008cc01801800cc1e00054ccc1e0ccc1e0cdc38012400094128899ba548000cc1f0dd400125eb80530103d87a8000307d002375a60f6002444446464a6660f266e200040084cdc0801000899b810010023370000400a66e00cdc100280219b8300300222232333001001004003222533307a00214bd7009919299983e0018a5eb804cc1f4dd4198030011bad307e003333005005001307f003307e003375a60f8004444446464a6660ee66e200040084cdc0801000899b810010023370000400866e00cdc100200199b83330070033370000a900100111119980300180111198018008011800800911299983819b880014800052000153330703370e00290000a40042a6660e066e1ccdc3000a40089000099980180199b82002002337060029002099b820023330030033370400400466e0ccdc0800a4004900211119199800800802001911299983a80108008999801801983c001198021bad3077002001375a60e000260e00046eb4c1b8004c19812c4c94ccc1a4cdc3a400060d00022646464646464a6660de00420022940cc008dd598019836030035198009bab3002306b05f0032232323300100100422533307400114a02646464a6660e866ebc018004528899802802801183a001183c001183b00099ba548000cc1c8cdd2a4004660e46ea40052f5c097ae023071307230723072307230723072001375c60de00260ce0022c66646002002444a6660dc0042980103d87a800013232533306d3370e0069000099ba548000cc1c4dd480125eb804ccc014014004cdc0801a400460e40066eb8c1c00080ad2000306604a3375e6e9c094dd380b2999832a999832a999832a999832a99983299baf03701313370e06a02229404cdd79ba7033374e01e29404cdd79ba7031374e01a29404cdd78178058a501533306502d100913330650094a094452819b8733300101c00400248008888c8c8c94ccc1a4cdc3a40040022900009bad306e306700230670013253330683370e90010008a6103d87a8000132323300100100222533306e00114c103d87a8000132323232533306f3371e014004266e95200033073375000297ae0133006006003375a60e00066eb8c1b8008c1c8008c1c0004dd598369833001183300099198008008021129998358008a6103d87a8000132323232533306c3371e010004266e95200033070374c00297ae0133006006003375660da0066eb8c1ac008c1bc008c1b4004dd7183380098338011bae3065001305d0313375e06402466ebc1180e4cdc3a400460ba6ea8c184004c184008c17c004c17c008dd6182e800982e8011bac305b001305b002375a60b200260b200460ae002609e0066020010608a00260a600260960062c60a2002609200a609e002609e0046eacc134004c134008c12c004c10c004c124004c10400458cc08c0b409cc00405c8c008004c004004894ccc10c00452f5c02660886082608a00266004004608c0026eb0c108004c108004c104004c100004c0fc008cdc3a400460726ea8c0f4004c0f4008c0ec004c0ec008dd6181c800981c8011bac30370013037002375a606a002606a00460660026056050606200260520066eacc0bc004c0bc008c0b4004c094004c0ac004c0ac008c0a4004c084004c09c004c07c00458cc00403801cc0040048894ccc090008530103d87a80001323253330233370e0069000099ba548000cc09c0092f5c0266600a00a00266e0400d20023028003302600230220013022002375a604000260400046eb4c078004c058048c070004c05001858dd6180d000980d000980c8011bac3017001300f003301500130150023013001300b00614984d958c94ccc034cdc3a40000022646464646464a66602c60320042649319299980a19b87480000044c8c8c8c94ccc06cc07800852616375a603800260380046eb4c068004c04800854ccc050cdc3a40040022a66602e60240042930b0b18090008b180b800980b8011bad30150013015002375a6026002601600e2c601600c600200c464a66601866e1d2000001132323232323232323232323232323232323232323232323232325333029302c0021323232323232498cc0880208dd68009981080591bae00130210143301f0152375a0026603c02c46040002603c0322c6eb4c0a8004c0a8008dd6181400098140011bae302600130260023758604800260480046eb4c088004c088008dd6981000098100011bad301e001301e0023370e9001180c1baa301c001301c002301a001301a0023758603000260300046eb0c058004c058008dd6980a000980a001180900098050010b18050009119198008008019129998080008a4c26466006006602800460066024002464a66601466e1d200000113232323253330113014002149858dd7180900098090011bae30100013008002163008001375c0024600a6ea80048c00cdd5000ab9a5573aaae7955cfaba05742ae89", - "hash": "36c46a46a19bb49d241e3ecabfaf1dd25227f8cd6ca1098d62e13ae5" + "compiledCode": "590af801000032323232323232232232323232322322533300c3232323232325333012300c30133754008264646464646464646464a6660386030603a6ea80044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0e8c0d8c0ecdd5000899191919191919299982099b8748010c108dd5002099191919191919191919191919191919191919191919191919299982d19baf04803d1533305a0071533305a0041533305a0031533305a002100114a029405280a5014a0a6660b260aa60b46ea810c54ccc164cc8c88c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc248054ccc24804cdc381a9bad30970102115333092013370e05803e2a6661240266e1c0a80744cdc781400d8a5014a029404004528299199849009998490098470099b810040054a09444c8c8c94ccc254054ccc25404cdc499b8200200e33704006014266e24cdc100100699b8200300914a0200229414ccc25004c00c0144c00c01052819b8133702907f7fffffffffffffff8080280099b81483fbfffffffffffffffc040144c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc29404c28404c29804dd50008992999853008028a9998530080208008a5014a0646464646464646464a66615c02603a66e04cdc000399b823370401000801266e08cdc102880219b8030060173370403202a266e24cdc099b800073370400401200290000a503370466e08140008cdc0180280919b8201800a3370400c00266e08cdc100100800419b823370400202602260020286e08054cc134008cdc024008900119b800494801cdd69855009853809baa0011653330a70104914c103d87a80001308d01330a80130a9010494bd7018458099b81375a61500200e66e0ccdc11bad30a80100503d3370007a905fcd0619b87375a614e0200a6eb4c29c04008cdc499b823370290001bad30a60130a701001039337046eb4c29804008cdc099b814830268300ec0e4c29804004c29404004c29004004c28c04004c28804008dd69850008009850008011bad309e01001309e01002375a6138020026138020046eb4c26804004c26804008dd6984c00800a99984900983100309984b009ba802f330960137500626612c026ea0028cc25804dd40059984b009ba8008330960137500126612c026ea0018cc25804dd40039984b009ba8003330960137500186612c026ea00352f5c026612c026ea00c4cc25804dd40179984b009ba800b330960137500146612c026ea0024cc25804dd40041984b009ba80073309601375000c6612c026ea0008cc25804dd40069984b009ba800c4bd701b8948000cdc080b01199b8101602333303905201f01e33303806e01e01d3370200400866e04008010cdc080300819b810060103370200c03666e0401806ccdc080100219b8100200433302f04800500433302e04700700633302d06300300233302c062005004375c610a02610c020046eb8c21004004c20004dd518418080f9bae308201308301002375c61020200260fa6ea8c20004074dd6983f9840008011bad307e001307e002375c60f800260f860f80046eb4c1e8004c1e8008dd6983c000983c183c183c183c183c183c183c183c000983b98399baa030375c60ea60ec0046eb8c1d0004c1c0dd518398051bad30723073002375a60e200260e20046eb8c1bc004c1bcc1bc008dd6983680098368011bad306b001306b306b306b001306a002375a60d000260d00046eb4c198004c198004c194004c190008dd698310009831182f1baa0593001001222533305c3371000290000a40002a6660b860b0002290010a9919982e982c99b86002480104ccc010010c00400ccdc18012400826002666008008600200666e0cc114009200437040046eb0c178c16cdd5021899baf03701914a02646464a6660b8660046eacc00cc178dd502781408008a50330013756600460ba6ea813816488c8c8cc004004010894ccc188004528099299983019baf0043061306500214a226600600600260ca002608a660c066e95200233060375200297ae04bd701182f98301830183018301830183000099baf374e0406e9cc0840714ccc15ccdd7819982e00a0a99982b99baf031012153330573375e05e0202a6660ae66e1c0b403854ccc15ccdc38158060a99982b99baf02900a153330575333057024100613330570064a094454ccc15d4ccc15c09840204ccc15c0212825113371e04600a29405280a5014a029405280a5014a060a06660020346eb8c16c008dd7182d982e00111119299982c9829982d1baa0011480004dd6982f182d9baa0013253330593053305a37540022980103d87a800013233001001375660be60b86ea8008894ccc178004530103d87a80001323232533305e3371e00e6eb8c17c00c4c11ccc188dd4000a5eb804cc014014008dd6982f80118310011830000991980080080211299982e8008a6103d87a80001323232533305d3371e00e6eb8c17800c4c118cc184dd3000a5eb804cc014014008dd5982f0011830801182f800982b1baa0303375e0640286eb8c15cc160c160c160008c084c148dd5182b000982b001180f98281baa3054001305400230520013052002375a60a000260a00046eb4c138004c138008c130004c130008c128004c128c128004c114dd5001181d800982318219baa00416304530460023044001304037546086008608460860046eacc104004c104004c0f0dd5181f981e1baa001163301f028024300101923002001300100122533303a00114bd7009981d981c181e00099801001181e8009bae3039303a303a303a00230033034375460700026070006600260646ea8c0d8008dc424000606a004606600260660046eb4c0c4004c0c4008dd69817800981780118168009816801181580098159815801181480098129baa02030273028002302600130223754604a0046eacc090c094004c080dd5181198120011811000980f1baa3021301e37540022c660020166eb4c080020c0040048894ccc07c0085300103d87a800013232533301e301a00313007330220024bd7009998028028009803001981180198108011b8048004dd2a4000603660380046eb4c068004c068004c054dd5005180b980a1baa004163758602c602e602e0046eb0c054004c044dd50011809980a001180900098071baa00114984d9594ccc028c018c02cdd500089919191919192999809980b00109924c64a666022601a00226464a66602c603200426493191980080080111299980c0008a4c2646600600660380046eb4c06800458dd6180b80098099baa00215333011300b00115333014301337540042930b0b18089baa0011630140013014002375a602400260240046eb4c040004c030dd50008b180080292999804180218049baa00113232323232323232323232323232323232323232323232323232323232325333029302c002132323232498c090050c08c064c088068c08407458dd6981500098150011bad30280013028002375c604c002604c0046eb8c090004c090008dd6981100098110011bad3020001302000232533301d301c0011533301a3014301b00114a22a666034602c603600229405858dd5180f000980f00119299980d980d0008a99980c1809180c8008a51153330183014301900114a02c2c6ea8c070004c070008c068004c068008dd6980c000980c0011bad301600130160023014001301400230120013012002375a60200026020004601c00260146ea800458dc3a40044a66600c6004600e6ea80044c8c8c8c94ccc034c04000852616375c601c002601c0046eb8c030004c020dd50008b1b8748000dd7000ab9a5573aaae7955cfaba05742ae89", + "hash": "50195a9e2a7143f1a723e119c96e36b1386046dcfddc20a2d920bb25" }, { - "title": "stable_pool/proxy_dao.stable_pool_dao", + "title": "stable_pools/t2t/pool_t2t_exact.validate_stable_pool_transition_t2t_exact", + "datum": { + "title": "input_datum", + "schema": { + "$ref": "#/definitions/splash~1stableswap~1types~1PoolDataT2T" + } + }, + "redeemer": { + "title": "redeemer", + "schema": { + "$ref": "#/definitions/splash~1stableswap~1types~1PoolRedeemer" + } + }, + "parameters": [ + { + "title": "dao_voting_witness", + "schema": { + "$ref": "#/definitions/ByteArray" + } + } + ], + "compiledCode": "590b3401000032323232323232232232323232322322533300c3232323232325333012300c30133754008264646464646464646464a6660386030603a6ea80044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0e8c0d8c0ecdd5000899191919191919299982099b8748010c108dd5002099191919191919191919191919191919191919191919191919299982d19baf04803d1533305a0071533305a0041533305a0031533305a002100114a029405280a5014a0a6660b260aa60b46ea810c54ccc164cc8c88c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc248054ccc24804cdc381a9bad30970102115333092013370e05803e2a6661240266e1c0a80744cdc781400d8a5014a0294040045282999848809998488098468099b810030044a09444c8c8c94ccc250054ccc25004cdc380119b833370400601201a266e1c008cdc199b8200300800c14a0200229414ccc24c04c23c040104c23c0400c52819b8133702907f7fffffffffffffff8080200099b81483fbfffffffffffffffc040104c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc29004c28004c29404dd50008992999852808028a9998528080208008a5014a0646464646464646464646464646464a664661680266e25200033702600266e08c024034040cdc1180380699b80300f01e300601c153330b4013371266e04c004cdc1004008002a4000266e25200033702600266e0800c0400085281b803305900f337009002240042940cdc1180280119b800093004337000209001980300099b8100633704900200419b8230020053370000c600201a6e08068dc102818008011b823370009c900399b82002008300400f3370400401c66e08cdc100080880798008091b82013375a615202614c026ea8004594ccc298041205300103d87a80001308c01330a70130a8010484bd7018450099b81375a614e0200e66e0ccdc11bad30a70100503c33700078905fcd0619b87375a614c0200a6eb4c29804008cdc499b823370290001bad30a50130a601001038337046eb4c29404008cdc099b814830268300e80e0c29404004c29004004c28c04004c28804004c28404008dd6984f80800984f808011bad309d01001309d01002375a6136020026136020046eb4c26404004c26404008dd6984b80800a99984880983080289984a809ba802e330950137500606612a026ea0024cc25404dd40051984a809ba8007330950137500106612a026ea0014cc25404dd40031984a809ba8002330950137500166612a026ea00312f5c026612a026ea00c0cc25404dd40171984a809ba800a330950137500126612a026ea0020cc25404dd40039984a809ba80063309501375000a6612a026ea0004cc25404dd40061984a809ba800b4bd7019b810160233370202c0466660720a403e03c6660700dc03c03a66e04008010cdc080100219b810060103370200c02066e0401806ccdc080300d99b810020043370200400866605e09000a00866605c08e00e00c66605a0c60060046660580c400a0086eb8c21404c21804008dd71842008009840009baa30830101f375c6104026106020046eb8c20404004c1f4dd518400080e9bad307f308001002375a60fc00260fc0046eb8c1f0004c1f0c1f0008dd6983d000983d0011bad3078001307830783078307830783078307830780013077307337540606eb8c1d4c1d8008dd7183a00098381baa307300a375a60e460e60046eb4c1c4004c1c4008dd71837800983798378011bad306d001306d002375a60d600260d660d660d600260d40046eb4c1a0004c1a0008dd698330009833000983280098320011bad30620013062305e37540b26002002444a6660b866e20005200014800054ccc170c16000452002153233305d30593370c00490020999802002180080199b83002480104c004ccc010010c00400ccdc19822801240086e08008dd6182f182d9baa04313375e06e03229404c8c8c94ccc170cc008dd59801982f1baa04f028100114a0660026eacc008c174dd502702c911919198008008021129998310008a5013253330603375e00860c260ca00429444cc00c00c004c194004c114cc180cdd2a4004660c06ea40052f5c097ae02305f3060306030603060306030600013375e6e9c080dd3981080e299982b99baf033305c014153330573375e0620242a6660ae66ebc0bc04054ccc15ccdc38168070a99982b99b8702b00c153330573375e0520142a6660aea6660ae048200c26660ae00c941288a99982ba99982b8130804099982b8042504a2266e3c08c0145280a5014a029405280a5014a02940c140ccc004068dd7182d8011bae305b305c0022223253330593053305a37540022900009bad305e305b375400264a6660b260a660b46ea80045300103d87a800013233001001375660be60b86ea8008894ccc178004530103d87a80001323232533305e3371e00e6eb8c17c00c4c11ccc188dd4000a5eb804cc014014008dd6982f80118310011830000991980080080211299982e8008a6103d87a80001323232533305d3371e00e6eb8c17800c4c118cc184dd3000a5eb804cc014014008dd5982f0011830801182f800982b1baa0303375e0640286eb8c15cc160c160c160008c084c148dd5182b000982b001180f98281baa3054001305400230520013052002375a60a000260a00046eb4c138004c138008c130004c130008c128004c128c128004c114dd5001181d800982318219baa00416304530460023044001304037546086008608460860046eacc104004c104004c0f0dd5181f981e1baa001163301f028024300101923002001300100122533303a00114bd7009981d981c181e00099801001181e8009bae3039303a303a303a00230033034375460700026070006600260646ea8c0d8008dc424000606a004606600260660046eb4c0c4004c0c4008dd69817800981780118168009816801181580098159815801181480098129baa02030273028002302600130223754604a0046eacc090c094004c080dd5181198120011811000980f1baa3021301e37540022c660020166eb4c080020c0040048894ccc07c0085300103d87a800013232533301e301a00313007330220024bd7009998028028009803001981180198108011b8048004dd2a4000603660380046eb4c068004c068004c054dd5005180b980a1baa004163758602c602e602e0046eb0c054004c044dd50011809980a001180900098071baa00114984d9594ccc028c018c02cdd500089919191919192999809980b00109924c64a666022601a00226464a66602c603200426493191980080080111299980c0008a4c2646600600660380046eb4c06800458dd6180b80098099baa00215333011300b00115333014301337540042930b0b18089baa0011630140013014002375a602400260240046eb4c040004c030dd50008b180080292999804180218049baa00113232323232323232323232323232323232323232323232323232323232325333029302c002132323232498c090050c08c064c088068c08407458dd6981500098150011bad30280013028002375c604c002604c0046eb8c090004c090008dd6981100098110011bad3020001302000232533301d301c0011533301a3014301b00114a22a666034602c603600229405858dd5180f000980f00119299980d980d0008a99980c1809180c8008a51153330183014301900114a02c2c6ea8c070004c070008c068004c068008dd6980c000980c0011bad301600130160023014001301400230120013012002375a60200026020004601c00260146ea800458dc3a40044a66600c6004600e6ea80044c8c8c8c94ccc034c04000852616375c601c002601c0046eb8c030004c020dd50008b1b8748000dd7000ab9a5573aaae7955cfaba05742ae89", + "hash": "a9abb6375b3228339db44fe3afe3297b69caa14fbf00f85c148a8739" + }, + { + "title": "stable_pools/t2t/proxy_dao_t2t.stable_pool_t2t_proxy_dao", "datum": { "title": "datum", "schema": { @@ -156,15 +181,15 @@ "$ref": "#/definitions/splash~1stableswap~1types~1DAOAction" } }, - "compiledCode": "590a1f01000032323232323232323222232323232533300a32323232533300e3370e9001180680089919191919191919191919191919191919191919299981119b8748000c0840044c8c8c8c8c8c8c8c8c94ccc0accdc3a400860540022646464a66605c66e1d2000302d001132323232323253330343370e90001819800899191919191919299981d99b8748000c0e80044c8c8c8c8c8c8c8c94ccc10ccdc3a400860840022646464a66608c66e1d20003045001132323232533304a3370e9000182480089919191919191919299982919b8748010c1440044c8c8c8c8c8c8c8c94ccc1694ccc1694ccc1694ccc168014401052808018a50100214a020022940c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc23c054ccc23c0400c400852808008a50533308e013370e0e0900009919299984800a9998480081688010a50100114a0a66611e02a66611e02a66611e02a66611e02a66611e02a66611e0266ebcdd38101ba700713375e6e9819cdd30278a5013375e0c009029404cdc38150088a5013370e04c01a29404cdd79ba7024374e01629404cdc78110048a50533308e01337129001007099b8900e48302e0085280a9998470099b87070480084c8c94ccc240040084004528299984780a99984780a99984780a99984780a99984780a9998478099baf374e0406e9c01c4cdd79ba6067374c09e29404cdd78300240a5013370e05402229404cdc38078140a5013371e01204429404cdd79ba700b374e04829414ccc23804cdc4a4004018266e2403120be9a0c14a02a66611c0266e1c1c120041533308e01533308e01533308e01533308e01533308e01533308e013375e6e9c07cdd3803099baf374c0cc6e98138528099baf05f04714a0266e1c0a4040528099b8700e02714a0266e1c030094528099baf374e0146e9c08c5280a9998470099b87070480184c8c8c8c8c8c8c8c8c8c94ccc260040044008528299984b80a99984b80a99984b80a99984b80a99984b8099baf06805013370e06403229404cdc380b8180a5013370e02a05c29404cdc78088150a5013375e6e9c04cdd38160a503375e6e9c008dd38009981d0068131981c8008011981c8010299981c0008351bac309601001309601001309501001308c010621533308e013370e0e090040a99984700a99984700a99984700a99984700a99984700a9998470099baf374e03e6e9c0184cdd79ba6066374c09c29404cdd782f8238a5013370e05202029404cdc38070138a5013370e01804a29404cdc78040108a501533308e013370e0e090050991929998480080108008a50533308f01533308f01533308f01533308f01533308f01533308f013375e6e9c080dd3803899baf374c0ce6e9813c528099baf06004814a0266e1c03c0a0528099b8700d02614a0266e3c024088528099baf374e0166e9c09052829998470099b89480080404cdc4808241413802294054ccc23804cdc3838240182a66611c02a66611c02a66611c02a66611c02a66611c02a66611c0266ebcdd380f9ba700613375e6e98198dd30270a5013370e05202029404cdc38070138a5013370e01804a29404cdc78040108a5013375e6e9c028dd38118a5014a066e1c05c008cdc380d80119981902580c00b1bad308f01001308f010023758611a02002611a020046eb8c22c04004c22c04008dd61844808009844808011bad308701001308701002375a610a02002610a020046eb4c20c04004c20c04004c20804004c20404004c20004004c1fc004c1f8004c1d40ccccc07413800c004dd7183d000983d0011bae30780013070011375a60ec00260ec0046eb0c1d0004c1d0008dd7183900098390011bac30700013070002375a60dc00260dc0046eb4c1b0004c1b0008dd69835000983500119b8748008c190dd51834000983400118330009833000983280098320009831800982d018111919980080080180111129998318010a5eb804c8c94ccc19400c52f5c02660cc6ea0cdc08011bad306700333300500500130680033067003375a60ca00444646600200200644a6660c2002297ae01330623750646466600e00a6eb8c194004dd718329833000982e8009831800998010011832000911191919299982f99b8748008004520001375a60c860ba00460ba00264a6660bc66e1d200200114c0103d87a8000132323300100100222533306400114c103d87a800013232323253330653371e014004266e95200033069375000297ae0133006006003375a60cc0066eb8c190008c1a0008c198004dd59831982e001182e00099198008008021129998308008a6103d87a800013232323253330623371e010004266e95200033066374c00297ae0133006006003375660c60066eb8c184008c194008c18c004cdd79ba601f374c01266ebc150010cdd780f80499baf046305a3053020304d001305800130500011630560013056002375660a800260a800460a4002609400260a000260900022c6605206a05a602e008609800260880022c6042608600e609200260820022c608e002608e0046eacc114004c114008c10c004c0ec004c104004c0e400458cc068098088dd5981f000981f001181e000981a1809181a000981d00098190008b1980981100c9800803119299981999b87480000044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc140c14c0084c8c8c8c8c8c926330220082375a0026604201646eb8004c128050cc07c0548dd68009980f00b11824800982380c8b1bad305100130510023758609e002609e0046eb8c134004c134008dd6182580098258011bad30490013049002375a608e002608e0046eb4c114004c114008cdc3a4004607e6ea8c10c004c10c008c104004c104008dd6181f800981f8011bac303d001303d002375a60760026076004607200260620042c606200244646600200200644a66606e00229309919801801981d8011801981c800981a00098160008b18049815803981880098148008b181780098178011bab302d001302d002302b0013023300130230022302a302b00130280013020001163300101000b3001001222533302500214c0103d87a80001323253330243370e0069000099ba548000cc0a00092f5c0266600a00a00266e0400d200230290033027002375a604600260460046eb4c084004c084008dd6980f800980f8011bad301d001301d002375a603600260260226eb0c064004c064004c060008dd6180b0009807002980a00098060008b18090009809001180800098040028a4c26cac64a66601466e1d20000011323232323232323232325333017301a002149858dd6980c000980c0011bad30160013016002375a602800260280046eb4c048004c048008dd6980800098040030b18040029800802919299980499b87480000044c8c94ccc038c0440084c926300500116300f001300700216300700123253330083370e9000000899191919299980798090010a4c2c6eb8c040004c040008dd7180700098030010b1803000918029baa001230033754002ae6955ceaab9e5573eae815d0aba201", - "hash": "b27e766af513d9b52fd327056502dea29bea55e4b27462586de31749" + "compiledCode": "59085a010000323232323232322323232322322533300932323253323300d3001300e3754004264646464646464646464646464646464a66603a6036603c6ea80044c8c8c8c8c8c94cc8cc090c004c094dd5001099192999813181218139baa001132323232533302a3028302b375400226464646464a66605e605a60606ea80044c8c8c8c8c94ccc0d0c044c0d4dd500089919299981b181a181b9baa001132323253330393037303a375400226464646464a66607c6036607e6ea80044c8c8c8c8c8c94ccc110cdd781b982498231baa01a153330440041533304400315333044002100114a029405280a5032323232323232323232323232323232323232323232323232323232533305f3370e66603807c01a01866603805a01a018200229414c8c8c8c8c8c8c8c8ccc198c1901384c8c94ccc1a007c54ccc1a000840045280a5053330670071533306700615333067005153330670081533306700415333067003100214a029405280a5014a029414ccc198c02003c4cdc4807a41817004294054c8ccc19cc16c13c4c94ccc1a14ccc1a0c02803c4cdc4807a417d34182940400452829998338038a9998338030a9998338028a9998338040a9998338020a99983380088010a5014a029405280a5014a02a6660ce608809e2a6660ce00e2a6660ce00c2a6660ce00a2a6660ce0102a6660ce0082a6660ce002200629405280a5014a029405280a99983399b8704f480184c8c8c8c8c8c8c8c8c8c94ccc1c54ccc1c404854ccc1c403854ccc1c402c54ccc1c403440305280a5014a0294054ccc1c400454ccc1c4cdc4a400002a266e25200001414a02940528299983819b873370266605a07c00e00c66605a09e00e00c66e040500844cdc38010008a503370202403e66e04ccc0ac0f0008004ccc0ac134008004dd7183918398011bae3071001306d375460e060e20086eb8c1bcc1c0008dd7183700098351baa306d001306d306d306937540862a6660ce66e1c13d20081323232533306a0231533306a002100114a029414ccc1a402454ccc1a402054ccc1a401c54ccc1a402854ccc1a400c54ccc1a401440105280a5014a029405280a505333068300a00113371200290504e008a503370602490100a99983399b8704f4802854ccc19c01c54ccc19c01854ccc19c01454ccc19c01054ccc19c00454ccc19c00c40085280a5014a029405280a5014a066e1c03c06ccdc79bae306a00b375c60d403066e1c02cdd6983480c19b87375a60d003e01c66ebcdd30209ba60303370e02200866e1c044010cdd781c8149b8948008dd6983118318011bad3061001306100130603060002375a60bc00260bc0046eb4c170004c170c170c170c170c170c170c170c170008dd6982d000982d182b1baa020375c60b060b20046eb8c15c004c14cdd5182b0061bad30553056002375a60a800260a800260a660a600260a40046eb4c140004c140008cdc42400060946ea8c138004c138008cdc42400060906ea8c130004c130004c12cc12cc12cc12cc12c004c128c118dd5010111192999823981d98241baa0011480004dd6982618249baa001325333047303b304837540022980103d87a8000132330010013756609a60946ea8008894ccc130004530103d87a80001323232533304c3371e00e6eb8c13400c4c0cccc140dd4000a5eb804cc014014008dd698268011828001182700099198008008021129998258008a6103d87a80001323232533304b3371e00e6eb8c13000c4c0c8cc13cdd3000a5eb804cc014014008dd598260011827801182680099baf374c02a6e98018cdd782000199baf014006303b0013043304037540022c608460860046eacc104004c104008c0fc004c0ecdd5181f181d9baa001163301d0280213010003303b303837540022c6030606e6ea8014c0e4c0d8dd50008b181c181c8011bab30370013037002303500130313754606860626ea800458cc04c07806cdd598191819801181880098169baa300e302d3754002605e60586ea800458cc038068050c00401094ccc0a0c098c0a4dd500089919191919191919191919191919191919191919191919191919191919192999824982600109919191924c608c028608a0326088034608603a2c6eb4c128004c128008dd6982400098240011bae30460013046002375c608800260880046eb4c108004c108008dd69820000982000119299981e981e0008a99981d1817181d8008a511533303a3038303b00114a02c2c6ea8c0f8004c0f8008c94ccc0ecc0e800454ccc0e0c0b0c0e40045288a99981c181b181c8008a501616375460780026078004607400260740046eb4c0e0004c0e0008dd6981b000981b001181a000981a001181900098190011bad30300013030002302e001302a37540022c605660506ea800458c020c09cdd5003181498131baa002370e90020b181398140011bab30260013026002302400130203754600260406ea8c08cc080dd50011181198120008b198008069bad302100b3001001222533302000214c103d87a800013232533301f301d00313006330230024bd70099980280280099b8000348004c09000cc088008dd2a40006eb4c074c078008dd6980e000980e0011bad301a001301a002375a6030002603000260266ea802cdd6180a980b180b0011bac3014001301037540086024601e6ea8008dc3a40042c60206022004601e00260166ea8004526136565333007300530083754002264646464646464646464a666028602e0042930b1bad30150013015002375a602600260260046eb4c044004c044008dd6980780098078011bad300d001300937540022c60020084a66600a6006600c6ea80044c8c94ccc028c0340084c926300400116300b001300737540022c4a6660086004600a6ea80044c8c8c8c94ccc02cc03800852616375c601800260180046eb8c028004c018dd50008b1b87480015cd2ab9d5573caae7d5d02ba15745", + "hash": "414c8896bd74bf7a061324fb503d3ef6e9c10805f42eae369b79e190" }, { - "title": "stable_pool/redeem.redeem", + "title": "stable_pools/t2t/redeem_t2t.stable_redeem_t2t", "datum": { "title": "datum", "schema": { - "$ref": "#/definitions/splash~1stableswap~1types~1RedeemData" + "$ref": "#/definitions/splash~1stableswap~1types~1RedeemDataT2T" } }, "redeemer": { @@ -173,15 +198,15 @@ "$ref": "#/definitions/splash~1stableswap~1types~1OrderAction" } }, - "compiledCode": "5905ed01000032323232323232323222232323232533300a32323232323232323232323232323232533301a3370e900000089919191919191919191919191919299981419b8748000c09c0044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0e0cdc3a4000606e00226464646464646464a66608066e1d2004303f0011323253330423370e9000182080089919191919191919191919191919191919191919191919191919299982f983100109919191919191919191919299983399b8748000c1980044c8c8c8c8c8c8c8c8c8c8c8c8c94ccc1d14ccc1d14ccc1d0018401052808010a50100114a0646464a6660ec66e1d200000113371e0bc6eb8c1ecc1d00084cdd79801983a181e183a026806183a000980098390051183c80099b8700104033300400500e00c32323300100100222533307600114a226464a6660eaa6660ea00429444ccc1d528a504a22660080080022940c1e8008cdc3a400460e86ea8c1e0004c8ccc0040040081048894ccc1d800852f5c026464a6660f0006297ae0133079333075337126eb4c1e800c00930103d87a80004c0103d8798000333005005001307b003307a003375a60f0004646600200208444a6660e8002297ae01330753750646466600c00e6eb8c1e0004dd7183c183c8009838000983b00099801001183b80099b8733300103103a03848008888c8c8c94ccc1cccdc3a40040022900009bad3078307100230710013253330723370e90010008a60103d87a8000132323300100100222533307800114c103d87a800013232323253330793371e014004266e9520003307d375000297ae0133006006003375a60f40066eb8c1e0008c1f0008c1e8004dd5983b98380011838000991980080080211299983a8008a6103d87a800013232323253330763371e010004266e9520003307a374c00297ae0133006006003375660ee0066eb8c1d4008c1e4008c1dc004dd59838800983880118378009833800983680098328008b198200210249bae306a001306a002375c60d000260c002e660b401046eb4004cc16402c8dd7000982c80a1982b80a91bad0013305601623058001305601916375a60c000260c00046eb0c178004c178008dd7182e000982e0011bac305a001305a002375a60b000260b00046eb4c158004c158008dd6982a000982a00119b8748008c138dd518290009829001182800098280011bac304e001304e0023758609800260980046eb4c128004c128008c120004c10000458c118004c0f800458c110004c110008dd598210009821000981c9800981c801118201820800981f000981b0008b1980880b00c1bae303b001303b002375c607200260620106eb4c0dc004c0dc008dd6181a800981a8011bac30330013033001303200230300013028027302e0013026001163300100600c3001001222533302b00214c103d87a800013232533302a3370e0069000099ba548000cc0b80092f5c0266600a00a00266e0400d2002302f003302d00237586052002605200260500046eb0c098004c078054dd6981200098120011bad30220013022002375a6040002603002c2646600200200c44a66603e00229404c8c94ccc078cdc78010030a511330040040013023002375c6042002603002a6eb8c074004c074004c05004cdd6180d000980d000980c800980c000980b800980b000980a800980a00098098009805000980800098040028a4c26cac64a66601466e1d2000001132323232323253330133016002149858dd6980a000980a0011bad30120013012002375a6020002601000c2a66601466e1d20020011533300d300800614985858c020014c94ccc024cdc3a4000002264646464646464646464a66602c60320042646464931980700291bad0013300d0062300f001300d00916375a602e002602e0046eb0c054004c054008dd6180980098098011bae30110013011002300f001300700616300700522323300100100322533300e00114984c8cc00c00cc048008c00cc0400048c94ccc020cdc3a4000002264646464a66601e60240042930b1bae30100013010002375c601c002600c0042c600c0024600a6ea80048c00cdd5000ab9a5573aaae7955cfaba05742ae89", - "hash": "c7391933846fad79fa5f52578f0442df2c1e71a0bc5ab25bf6cbc769" + "compiledCode": "5906b8010000323232323232322323232232322533300932533300a3008300b375400a26464646464646464646464a66602a6026602c6ea80044c8c8c8c94ccc064cdc3a400860346ea80044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0b4c0acc0b8dd5000899191919191919191919191919191919299981e981d981f1baa00113232323232323232323232323232533304b3049304c375400226464a66609a6096609c6ea80044c94ccc138c130c13cdd50008992999827982698281baa00113232533305100c1533305100b1533305100a15333051008100114a029405280a5053330503371e00a042266e3c00407c5281bae3054305137540022c60a660a06ea800458c148c13cdd50008b181b98271baa00e375c60a0609a6ea800458c13cc130dd5006299982499b893370400200c66e0803c0804cdc499b820010053370401e03e2940cdc0a41fdfffffffffffffffe0203a66e1ccc8c004004894ccc13000452000133700900119801001182780081c24008a66608c66e2404c00c4cdc48088010a50303f33301d02e00e00d375a608c0046eb4c1100054c8ccc10d4ccc10cc00408c4c004088528099bb0375066e0400c020dd40010a999821a99982198008100980080f8a501337606ea000cdd419b810020081337606ea000cdd40011b8f48810033301900201e01d33301800102001f37566088608a0046086002607e6ea8c108c0fcdd50008b1981481601799b8133301300248900488100375a6080608200e6660240020280266eacc0f8c0fcc0ecdd51812181d9baa303e303b375401a6eb8c0f4c0f8008dd7181e000981c1baa303b009375a607400260740046eb4c0e0004c0e0008dd7181b000981b0011bae30340013034001302f37540582c6603203a04266600602800a00866e04ccc00804c01c018dd69817981800619b81333001012009008375a605c01644464a666058604c605a6ea8004520001375a6062605c6ea8004c94ccc0b0c098c0b4dd50008a6103d87a80001323300100137566064605e6ea8008894ccc0c4004530103d87a8000132323253330313371e00e6eb8c0c800c4c080cc0d4dd4000a5eb804cc014014008dd69819001181a801181980099198008008021129998180008a6103d87a8000132323253330303371e00e6eb8c0c400c4c07ccc0d0dd3000a5eb804cc014014008dd59818801181a00118190009bae302c302d002375c6056002604e6ea8c0a8020dd7181498150011bae302800130243754604e00c6eb8c098c09c008dd7181280098109baa30240043024302430243024302430243024001302330233023001302200130213021301d3754004a666034603060366ea80044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0ecc0f80084c8c8c8c92630380143037019303601a303501d16375a607800260780046eb4c0e8004c0e8008dd7181c000981c0011bae30360013036002375a606800260680046eb4c0c8004c0c8008c94ccc0bcc0b800454ccc0b0c098c0b40045288a999816181518168008a50161637546060002606000464a66605a60580022a66605460486056002294454ccc0a8c0a0c0ac0045280b0b1baa302e001302e002302c001302c002375a605400260540046eb4c0a0004c0a0008c098004c098008c090004c090008dd6981100098110011810000980e1baa00116301e301b37540022c603a603c0046eacc070004c070c060dd51800980c1baa301b301837540044603660380022c6600200a6eb4c064c068020c0040048894ccc060008530103d87a80001323253330173015003130063301b0024bd70099980280280099b8000348004c07000cc068008dd2a40006eb0c054c058c058008dd6180a00098081baa005375a602400260240046eb4c040004c030dd50028999119198008008019129998088008a50132533300f3371e6eb8c050008010528899801801800980a0009bac300f30103010301030103010301030103010300c37540026eb8c03cc040c030dd5004980718059baa00114984d958c94ccc020c0180044c8c8c8c8c8c94ccc044c05000852616375a602400260240046eb4c040004c040008dd6980700098051baa0031533300830020011533300b300a37540062930b0b18041baa002370e90012999802180118029baa003132323232323232323232323253330133016002132498c03402c58dd6980a000980a0011bad30120013012002375a602000260200046eb8c038004c038008dd718060009806001180500098031baa0031625333004300230053754002264646464a666016601c0042930b1bae300c001300c002375c6014002600c6ea800458dc3a4000ae6955ceaab9e5573eae815d0aba21", + "hash": "401c6018cc6cba79f582706adccbc791297b8e07caf40a5d00f95459" }, { - "title": "stable_pool/redeem_uniform.redeem_uniform", + "title": "stable_pools/t2t2t/deposit_t2t2t.stable_deposit_t2t", "datum": { "title": "datum", "schema": { - "$ref": "#/definitions/splash~1stableswap~1types~1RedeemUniformData" + "$ref": "#/definitions/splash~1stableswap~1types~1DepositData" } }, "redeemer": { @@ -190,8 +215,67 @@ "$ref": "#/definitions/splash~1stableswap~1types~1OrderAction" } }, - "compiledCode": "59059801000032323232323232323222232323232533300a32323232323232323232323232323232533301a3370e900000089919191919191919191919191919299981419b8748000c09c0044c8c8c8c8c8c8c8c8c8c8c8c94ccc0d0cdc3a4000606600226464646464646464a66607866e1d2004303b00113232533303e3370e9000181e80089919191919191919191919191919191919191919191919191919299982d982f001099191919191919299982f99b8748000c1780044c8c8c8c8c8c8c8c8c8c8c94ccc1a94ccc1a8010400852808008a50323232533306c3370e9000000899b8f375c606c60d40d26eb8c1c4c1a80084cdd798019835181b183502180518350009800983418009834005118378009919198008008011129998370008a5113232533306d533306d00214a226660da9452825113300400400114a060e400466e1d2002306c375460e000264666002002004076444a6660dc004297ae013232533307000314bd7009983899983699b89375a60e4006004980103d87a80004c0103d879800033300500500130730033072003375a60e0004646600200204a44a6660d8002297ae013306d3750646466600c00e6eb8c1c0004dd7183818388009834000983700099801001183780099b8733300102d03603448008888c8c8c94ccc1accdc3a40040022900009bad30703069002306900132533306a3370e90010008a60103d87a8000132323300100100222533307000114c103d87a800013232323253330713371e014004266e95200033075375000297ae0133006006003375a60e40066eb8c1c0008c1d0008c1c8004dd598379834001183400099198008008021129998368008a6103d87a8000132323232533306e3371e010004266e95200033072374c00297ae0133006006003375660de0066eb8c1b4008c1c4008c1bc004dd5983480098348011833800982f8009832800982e8008b1981c01d0209982b00411bad0013305500b2375c00260aa028660a602a46eb4004cc1480588c150004c14806458dd6982e000982e0011bac305a001305a002375c60b000260b00046eb0c158004c158008dd6982a000982a0011bad30520013052002375a60a000260a000466e1d2002304a3754609c002609c004609800260980046eb0c128004c128008dd6182400098240011bad304600130460023044001303c001163042001303a00116304000130400023756607c002607c002606a6002606a00446078607a002607400260640022c6601a0240286eb8c0dc004c0dc008dd7181a80098168021bac30330013033001303200230300013028027302e0013026001163300100600c3001001222533302b00214c0103d87a800013232533302a3370e0069000099ba548000cc0b80092f5c0266600a00a00266e0400d2002302f003302d00237586052002605200260500046eb0c098004c078054dd6981200098120011bad30220013022002375a6040002603002c2646600200200c44a66603e00229404c8c94ccc078cdc78010030a511330040040013023002375c6042002603002a6eb8c074004c074004c05004cdd6180d000980d000980c800980c000980b800980b000980a800980a00098098009805000980800098040028a4c26cac64a66601466e1d2000001132323232323253330133016002149858dd6980a000980a0011bad30120013012002375a6020002601000c2a66601466e1d20020011533300d300800614985858c020014c94ccc024cdc3a40000022646464646464a666024602a00426464931980480111bad0013009005163758602600260260046eb8c044004c044008c03c004c01c01858c01c01488c8cc00400400c894ccc0380045261323300300330120023003301000123253330083370e9000000899191919299980798090010a4c2c6eb8c040004c040008dd7180700098030010b1803000918029baa001230033754002ae6955ceaab9e5573eae815d0aba201", - "hash": "3b1c18dfd76b86d23f4724f03e8d3f7ea0ff1f9c0324517207e58dc6" + "compiledCode": "590840010000323232323232322323232232322533300932533300a3008300b375400a264646464646464646464646464646464646464646464a666040603c60426ea80044c8c8c8c94ccc090cdc3a4008604a6ea80044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0f8c0f0c0fcdd5000899191919191919191919191919192999826182518269baa001132323232323232323232323232323232533305c305a305d375400226464a6660bc60b860be6ea80044c94ccc17cc174c180dd50008992999830182f18309baa00113232533306200b1533306200a1533306200915333062008100114a029405280a5053330613371e00a0a0266e3c0041385281bae3065306237540022c60c860c26ea800458c18cc180dd50008b181e982f9baa010375c60c260bc6ea800458c180c174dd50072999191982e19b893002375a60c201260020462a6660b866e24c00801cc0040884cdc4980100318008108a5037040186e08cdc0a41fdfffffffffffffffe0203c2940cdc3999180080091299982f0008a4000266e01200233002002306100103f48010cdc4821804982899980f81a80b80b1bad305b305c002375a60b400260b4002a6660a6a6660a6601c04c2601c04a29404cc15cdd419b8000303b330573750004660ae6ea00052f5c02a6660a6a6660a6601c0462601c04429404cc15cdd40019982b9ba833700004076660ae6ea00052f5c02a6660a6a6660a6601c0402601c03e29404cc15cdd40019982b9ba800233057375066e000040ed2f5c02660ae6ea000ccc15cdd40011982b9ba80014bd7019b8100833301a00401f01e3370201066603200604204066e04024ccc06000808c088ccc05c004064060dd59829982a001182900098271baa3051304e37540022c6605a06007c6eb4c13cc140008dd6982700098270011bad304c0015333046533304630010191300101814a02660946ea0cdc099b8100402e02f3304a3750006660946ea00092f5c02a66608ca66608c600202c2600202a29404cc128dd4002198251ba83370266e0400c0b80bccc128dd400125eb8054ccc1194ccc118c00404c4c0040485280998251ba80043304a3750006660946ea0cdc099b8100202e02f4bd700998251ba80043304a3750006660946ea00092f5c06e3d2210033300c00601101033300b00501301233300a004015014375c608c608e0046eb8c114004c104dd50181bab3043304430403754603c60806ea8c10cc100dd50008b1980f81181919980200d00300299b81333003019008007375a6080608202066e04ccc008060028024dd6981f80799b8133300101700c00b375a607c01e44464a666078606c607a6ea8004520001375a6082607c6ea8004c94ccc0f0c0d8c0f4dd50008a6103d87a80001323300100137566084607e6ea8008894ccc104004530103d87a8000132323253330413371e00e6eb8c10800c4c094cc114dd4000a5eb804cc014014008dd698210011822801182180099198008008021129998200008a6103d87a8000132323253330403371e00e6eb8c10400c4c090cc110dd3000a5eb804cc014014008dd59820801182200118210009bae303c303d002375c6076002606e6ea8c0e8030dd7181c981d0011bae303800130343754606e0146eb8c0d8c0dc008dd7181a80098189baa3034008375c606660680046eb8c0c8004c0b8dd51818803181880098181818181818181818181818180009817981798179817800981700098168009816181618141baa00253330253023302637540022646464646464646464646464646464646464646464646464646464646464646464646464a666098609e0042646464646493182500b982480f182400f982381018230118b1bad304d001304d002375a609600260960046eb4c124004c124008dd7182380098238011bae30450013045002375a608600260860046eb4c104004c104008c94ccc0f8c0f400454ccc0ecc0d4c0f00045288a99981d981c981e0008a5016163754607e002607e00464a66607860760022a66607260666074002294454ccc0e4c0dcc0e80045280b0b1baa303d001303d002303b001303b002375a607200260720046eb4c0dc004c0dc008dd6981a800981a8011819800981980118188009818801181780098178011bad302d001302d002302b001302737540022c6052604c6ea800458c0a0c0a4008dd59813800981398119baa300130233754604c60466ea80088c098c09c00458cc004014dd698121812809980080091129998118010a6103d87a8000132325333022302000313006330260024bd70099980280280099b8000348004c09c00cc094008dd2a40006eb0c080c084c084008dd6180f800980d9baa010375a603a603c0046eb4c070004c070008dd6980d000980d0011bae30180013018002375c602c002602c004602800260206ea8034dd6980900098090011bad3010001300c375400a26644646600200200644a66602200229404c94ccc03ccdc79bae301400200414a226600600600260280026eb0c03cc040c040c040c040c040c040c040c040c030dd50009bae300f3010300c3754012601c60166ea8004526136563253330083006001132323232323253330113014002149858dd6980900098090011bad30100013010002375a601c00260146ea800c54ccc020c00800454ccc02cc028dd50018a4c2c2c60106ea8008dc3a4004a6660086004600a6ea800c4c8c8c8c8c8c8c8c8c8c8c8c94ccc04cc0580084c926300d00b16375a602800260280046eb4c048004c048008dd6980800098080011bae300e001300e002375c601800260180046014002600c6ea800c5894ccc010c008c014dd5000899191919299980598070010a4c2c6eb8c030004c030008dd7180500098031baa00116370e90002b9a5573aaae7955cfaba05742ae881", + "hash": "0e3d912ab68a071309fb3156a7d83bfeddf1e0297f2da23eda9a719c" + }, + { + "title": "stable_pools/t2t2t/pool_t2t2t.validate_stable_pool_transition_t2t2t", + "datum": { + "title": "input_datum", + "schema": { + "$ref": "#/definitions/splash~1stableswap~1types~1PoolDataT2T2T" + } + }, + "redeemer": { + "title": "redeemer", + "schema": { + "$ref": "#/definitions/splash~1stableswap~1types~1PoolRedeemer" + } + }, + "parameters": [ + { + "title": "dao_voting_witness", + "schema": { + "$ref": "#/definitions/ByteArray" + } + } + ], + "compiledCode": "590edd01000032323232323232232232323232322322533300c3232323232325333012300c30133754008264646464646464646464a6660386030603a6ea80044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0f8c0e8c0fcdd5000899191919191919299982299b8748010c118dd500209919191919191919191919191919191919191919191919191919191919299983119baf05004515333062007153330620041533306200315333062002100114a029405280a5014a0a6660c260ba60c46ea812c54ccc184cc8c88c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc2ac054ccc2ac04cdc38231bad30b00102d153330ab013370e0740562a6661560266e1c0e00a44cdc781b0138a5014a029404004528299199855809998558098538099b810050064a09444c8c94ccc2b4054cc8c8cc2bc04cdc4980100998008068a9998578099b893002012300100c133712600402260020162940dc10019b823370266e0520feffffffffffffffff0100700214a0200229414ccc2b004c00801454ccc2b004c0080104c00800c5280a5033702907f7fffffffffffffff8080309919191919191919191919191919191919191919191919191919192999863009861009863809baa00113253330c701005153330c701004100114a02940c8c8c8c8c8c8c8c8c94ccc33c04c094cdc099b800073370466e08020010024cdc119b8206a0043370066e00c018074cdc101080d99b8201f01913371266e04cdc000399b820020090014800052819b82337040d200466e00cdc0180280b19b8202000a3370403c02666e08018004cdc119b823370400402801002266e08cdc119b820010190170153370460020380346e08074cc198008cdc02400c900119b80062480d4dd69865809864009baa0011653330c80106214c0103d87a8000130ae01330c90130ca010624bd7018560099b81375a61920201666e0ccdc11bad30c901007053337000a6905fcd0629998618099b87375a61900200e6eb4c320040084c2fc0400c52819b893370466e052000375a618e0261900200209e66e08dd698638080219b813370290604d060288279863808011bad30c50100130c50100130c40100130c30100130c201002375a618002002618002002617e020046eb4c2f404004c2f404008dd6985d80800985d808011bad30b90100130b901002375a616e02002616e020046eb4c2d404004c2d404008dd69859808009859808011bad30b10100153330ab0153330ab013077011153330ab0133710024900009853808080a5014a026615e026ea00fccc2bc04dd402099857809ba803d330af01375001c6615e026ea003ccc2bc04dd400699857809ba800b330af0137500186615e026ea0028cc2bc04dd400419857809ba8009330af0137500086615e026ea0008cc2bc04dd400899857809ba80124bd700a99985580a99985580983b8090a9998558099b88011480004c29c040405280a501330af0137500826615e026ea00fccc2bc04dd401e99857809ba800f330af01375001c6615e026ea0034cc2bc04dd400619857809ba800b330af0137500146615e026ea0024cc2bc04dd400419857809ba8003330af0137500046615e026ea0048cc2bc04dd4008a5eb8054ccc2ac054ccc2ac04c1dc04054ccc2ac04cdc4009240002614e020222940528099857809ba803d330af0137500826615e026ea00fccc2bc04dd400699857809ba800f330af01375001c6615e026ea0028cc2bc04dd400619857809ba800b330af01375000e6615e026ea0024cc2bc04dd400219857809ba8003330af0137500206615e026ea00492f5c02a66615602a6661560260ee0242a6661560266e200412000130a70101114a029404cc2bc04dd402099857809ba803d330af01375007e6615e026ea003ccc2bc04dd400699857809ba800e330af0137500186615e026ea0028cc2bc04dd400599857809ba8009330af01375000e6615e026ea0008cc2bc04dd400199857809ba8012330af01375002097ae0153330ab0153330ab013077011153330ab0133710020900009853808090a5014a026615e026ea00fccc2bc04dd401e99857809ba8041330af01375001c6615e026ea0034cc2bc04dd400799857809ba800b330af0137500146615e026ea0030cc2bc04dd400419857809ba8007330af0137500046615e026ea0010cc2bc04dd400899857809ba80104bd70099857809ba803d330af01375007e6615e026ea0104cc2bc04dd400699857809ba800e330af01375001e6615e026ea0028cc2bc04dd400599857809ba800c330af01375000e6615e026ea0020cc2bc04dd400199857809ba8004330af0137500206615e026ea00452f5c06e2520003370204005e66e040800bccdc08108181998248330150149998240430081481419b810030063370200600c66e0400c018cdc080480c19b810090183370201203266e04024090cdc080481219b810090253370200600c66e0400c018cdc080180319981d82c00380319981d02b80480419981c82b00580519981c03b00200199981b83a80300299981b03a0040039bae309701309801002375c612c020026124026ea8c254040a0dd7184a00984a808011bae309301001308f01375461240204c6eb8c24404c24804008dd71848008009846009baa308f01024375a611c02611e020046eb4c23404004c23404008dd69845808009845808011bae308901001308901308901002375a610e02002610e020046eb4c21404004c21404c21404c21404c21404c21404c21404c21404c21404c21404c21404004c21004c20004dd501c9bae308201308301002375c61020200260fa6ea8c20004030dd6983f9840008011bad307e001307e002375a60f800260f80046eb8c1e8004c1e8c1e8008dd6983c000983c0011bad30760013076307630760013075002375a60e600260e60046eb4c1c4004c1c4008dd6983780098378009837000983680098360011bad306a001306a306637540c26002002444a6660c866e20005200014800054ccc190c18000452002153233306530613370c00490020999802002180080199b83002480104c004ccc010010c00400ccdc19826801240086e08008dd6183318319baa04b13375e07e03a29404c8c8c94ccc190cc008dd5980198331baa05702c100114a0660026eacc008c194dd502b030911919198008008021129998350008a5013253330683375e00860d260da00429444cc00c00c004c1b4004c134cc1a0cdd2a4004660d06ea40052f5c097ae0230673068306830683068306830680013375e6e9c090dd39812810299982f99baf03b30640181533305f3375e07202c2a6660be66ebc0dc05054ccc17ccdd781a8090a99982f99b870330101533305f3370e06201c2a6660be66e1c0bc03054ccc17ccdd78168050a99982fa99982f8140803099982f8032504a22a6660bea6660be054201026660be01094128899b8f02700514a029405280a5014a029405280a5014a02940c160ccc004078dd718318011bae30633064002222325333061305b306237540022900009bad30663063375400264a6660c260b660c46ea8004530103d87a800013233001001375660ce60c86ea8008894ccc198004530103d87a8000132323253330663371e00e6eb8c19c00c4c13ccc1a8dd4000a5eb804cc014014008dd698338011835001183400099198008008021129998328008a6103d87a8000132323253330653371e00e6eb8c19800c4c138cc1a4dd3000a5eb804cc014014008dd5983300118348011833800982f1baa0383375e0740306eb8c17cc180c180c180008c094c168dd5182f000982f0011811982c1baa305c001305c002305a001305a002375a60b000260b00046eb4c158004c158008dd6982a000982a001182900098290011828000982800118270009827182700098249baa002303f001304a304737540082c60926094004609000260886ea8c11c010c118c11c008dd59822800982280098201baa3043304037540022c66046058050600203a46004002600200244a66607c002297ae013303f303c3040001330020023041001375c607a607c607c607c004600660706ea8c0f0004c0f000cc004c0d8dd5181d0011b8848000c0e4008c0dc004c0dc008dd6981a800981a8011bad30330013033002375a60620026062004605e002605e004605a002605a0046056002605660560046052002604a6ea8080c09cc0a0008c098004c088dd518128011bab3024302500130203754604660480046044002603c6ea8c084c078dd50008b198008059bad30200083001001222533301f00214c103d87a800013232533301e301a00313007330220024bd7009998028028009803001981180198108011b8048004dd2a4000603660380046eb4c068004c068004c054dd5005180b980a1baa004163758602c602e602e0046eb0c054004c044dd50011809980a001180900098071baa00114984d9594ccc028c018c02cdd500089919191919192999809980b00109924c64a666022601a00226464a66602c603200426493191980080080111299980c0008a4c2646600600660380046eb4c06800458dd6180b80098099baa00215333011300b00115333014301337540042930b0b18089baa0011630140013014002375a602400260240046eb4c040004c030dd50008b180080292999804180218049baa0011323232323232323232323232323232323232323232323232323232323232323232323232533302f303200213232323232498c0ac05cc0a8078c0a407cc0a0080c09c08c58dd6981800098180011bad302e001302e002375a605800260580046eb8c0a8004c0a8008dd7181400098140011bad30260013026002375a6048002604800464a66604260400022a66603c6030603e002294454ccc078c068c07c0045280b0b1baa3022001302200232533301f301e0011533301c3016301d00114a22a6660386030603a00229405858dd518100009810001180f000980f0011bad301c001301c002375a603400260340046eb4c060004c060008c058004c058008c050004c050008c048004c048008dd698080009808001180700098051baa00116370e900112999803180118039baa001132323232533300d3010002149858dd7180700098070011bae300c001300837540022c6e1d2000375c002ae6955ceaab9e5573eae815d0aba201", + "hash": "a17231d34218eecf38604d56533ed52c4eabcf6cbfe9d68a838b6561" + }, + { + "title": "stable_pools/t2t2t/proxy_dao_t2t2t.stable_pool_t2t2t_proxy_dao", + "datum": { + "title": "datum", + "schema": { + "$ref": "#/definitions/splash~1stableswap~1types~1DAOData" + } + }, + "redeemer": { + "title": "action", + "schema": { + "$ref": "#/definitions/splash~1stableswap~1types~1DAOAction" + } + }, + "compiledCode": "590911010000323232323232322323232322322533300932323253323300d3001300e3754004264646464646464646464646464646464a66603a6036603c6ea80044c8c8c8c8c8c94cc8cc090c004c094dd5001099192999813181218139baa001132323232533302a3028302b375400226464646464a66605e605a60606ea80044c8c8c8c8c94ccc0d0c044c0d4dd500089919299981b181a181b9baa001132323253330393037303a375400226464646464a66607c6036607e6ea80044c8c8c8c8c8c94ccc110cdd781b982498231baa01a153330440041533304400315333044002100114a029405280a50323232323232323232323232323232323232323232323232323232323232323253330633370e66604008401e01c66604006201e01c200229414c8c8c8c8c8c8c8c8c8ccc1acc1a414c4c8c94ccc1b409054ccc1b400840045280a50533306c0081533306c0071533306c0061533306c0051533306c0091533306c0041533306c003100214a029405280a5014a0294052829998359804809099b8901248302e0085280a99199836183002a0992999836a9998369805809099b89012482fa683052808008a50533306c0081533306c0071533306c0061533306c0051533306c0091533306c0041533306c001100214a029405280a5014a029405280a999836182482a0a9998360040a9998360038a9998360030a9998360028a9998360048a9998360020a99983600088018a5014a029405280a5014a0294054ccc1b0cdc382a2400c264646464646464646464646464646464a6660f8a6660f80322a6660f80282a6660f80222a6660f8026202429405280a5014a02a6660f80022a664660fa600203e2a6660fa600203a260020382940dc4a400029405280a50533307b3370e66e04ccc0e012403002cccc0e016803002ccdc080e8160a99983d99b8700400213370e006002294052819b810190283370203205066e04ccc0d411800c008ccc0d415c00c008cdc099981a02280280219981a02b0028021bae307b307c002375c60f400260ec6ea8c1e4c1e801cdd7183c183c8011bae30770013073375460ec0086eb8c1d4c1d8008dd7183a00098381baa3073002307300130723072306e37540902a6660d866e1c15120081323232533306f0281533306f002100114a029414ccc1b802854ccc1b802454ccc1b802054ccc1b801c54ccc1b802c54ccc1b800c54ccc1b801440105280a5014a029405280a5014a0a6660da6016002266e2400520a09c0114a066e0c05520b20b1533306c3370e0a890050a9998360040a9998360038a9998360030a9998360028a9998360020a9998360008a99983600188010a5014a029405280a5014a0294052819b870120203371e6eb8c1bc038dd7183780e99b8700e375a60dc03a66e1cdd6983681200899baf374c08c6e980d4cdc380a00299b870140053370e02a00c66ebc0f40b4dc4a40046eb4c198c19c008dd6983280098328011bad3063001306300130623062002375a60c000260c00046eb4c178004c178c178c178c178c178c178c178c178c178c178008dd6982e000982e182c1baa022375c60b460b60046eb8c164004c154dd5182c0071bad30573058002375a60ac00260ac0046eb4c150004c150004c14cc14c004c148008dd69828000982800119b8848000c128dd51827000982700119b8848000c120dd5182600098260009825982598259825982598259825800982518231baa020222325333047303b304837540022900009bad304c3049375400264a66608e607660906ea80045300103d87a8000132330010013756609a60946ea8008894ccc130004530103d87a80001323232533304c3371e00e6eb8c13400c4c0cccc140dd4000a5eb804cc014014008dd698268011828001182700099198008008021129998258008a6103d87a80001323232533304b3371e00e6eb8c13000c4c0c8cc13cdd3000a5eb804cc014014008dd598260011827801182680099baf374c02a6e98018cdd782000199baf014006303b0013043304037540022c608460860046eacc104004c104008c0fc004c0ecdd5181f181d9baa001163301d0280213010003303b303837540022c6030606e6ea8014c0e4c0d8dd50008b181c181c8011bab30370013037002303500130313754606860626ea800458cc04c07806cdd598191819801181880098169baa300e302d3754002605e60586ea800458cc038068050c00401094ccc0a0c098c0a4dd50008991919191919191919191919191919191919191919191919191919191919191919191919299982798290010991919191924c609a02e609803c609603e609404060920462c6eb4c140004c140008dd6982700098270011bad304c001304c002375c609400260940046eb8c120004c120008dd6982300098230011bad3044001304400232533304130400011533303e3032303f00114a22a66607c6078607e00229405858dd51821000982100119299981f981f0008a99981e1818181e8008a511533303c303a303d00114a02c2c6ea8c100004c100008c0f8004c0f8008dd6981e000981e0011bad303a001303a002375a60700026070004606c002606c00460680026068004606400260640046eb4c0c0004c0c0008c0b8004c0a8dd50008b181598141baa0011630083027375400c6052604c6ea8008dc3a40082c604e60500046eacc098004c098008c090004c080dd5180098101baa3023302037540044604660480022c6600201a6eb4c08402cc0040048894ccc0800085300103d87a800013232533301f301d00313006330230024bd70099980280280099b8000348004c09000cc088008dd2a40006eb4c074c078008dd6980e000980e0011bad301a001301a002375a6030002603000260266ea802cdd6180a980b180b0011bac3014001301037540086024601e6ea8008dc3a40042c60206022004601e00260166ea8004526136565333007300530083754002264646464646464646464a666028602e0042930b1bad30150013015002375a602600260260046eb4c044004c044008dd6980780098078011bad300d001300937540022c60020084a66600a6006600c6ea80044c8c94ccc028c0340084c926300400116300b001300737540022c4a6660086004600a6ea80044c8c8c8c94ccc02cc03800852616375c601800260180046eb8c028004c018dd50008b1b87480015cd2ab9d5573caae7d5d02ba15745", + "hash": "19b6c86c3a666faf6553cd836027c587e6630c14125a89edce110b47" + }, + { + "title": "stable_pools/t2t2t/redeem_t2t2t.stable_redeem_t2t2t", + "datum": { + "title": "datum", + "schema": { + "$ref": "#/definitions/splash~1stableswap~1types~1RedeemDataT2T2T" + } + }, + "redeemer": { + "title": "action", + "schema": { + "$ref": "#/definitions/splash~1stableswap~1types~1OrderAction" + } + }, + "compiledCode": "59079e010000323232323232322323232232322533300932533300a3008300b375400a26464646464646464646464a66602a6026602c6ea80044c8c8c8c94ccc064cdc3a400860346ea80044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0ccc0c4c0d0dd500089919191919191919191919191919191919192999822982198231baa001132323232323232323232323232323232533305530533056375400226464a6660ae60aa60b06ea80044c94ccc160c158c164dd5000899299982c982b982d1baa00113232533305b00b1533305b00a1533305b0091533305b008100114a029405280a50533305a3371e00a04a266e3c00408c5281bae305e305b37540022c60ba60b46ea800458c170c164dd50008b1820982c1baa010375c60b460ae6ea800458c164c158dd50072999191982a99b89300200930010271533305533712600400e600204c266e24c008018c0040945281b82012370466e0520feffffffffffffffff0102214a066e1ccc8c004004894ccc15c00452000133700900119801001182d000821a4008a6660a266e2406001454ccc144cdc480b001899b8901400214a02940c128ccc08c0e4044040dd6982a182a8011bad30530013053002375a60a2002a64666098a66609860020542600205229404cc140dd419b81004009330503750006660a06ea00092f5c02a666098a666098600204e2600204c29404cc140dd4002198281ba833702006012660a06ea00092f5c02a666098a66609860020482600204629404cc140dd4002198281ba800333050375066e040080252f5c02660a06ea0010cc140dd4001998281ba80024bd701b8f48810033301d00302202133301c00202402333301b00102602537566098609a0046096002608e6ea8c128c11cdd50008b1981881a01b99b81333016002488100488100375a6090609200e66602a00202e02c6eacc118c11cc10cdd5181618219baa30463043375401e6eb8c114c118008dd7182200098201baa304300b375a608400260840046eb4c100004c100008dd6981f000981f0011bae303c001303c002375c60740026074002606a6ea80c858cc07c08c09cccc010068018014cdc099980180c8040039bad30353036010337026660040300140126eb4c0d003ccdc099980080b8060059bad303300f222325333031302b303237540022900009bad30363033375400264a666062605660646ea80045300103d87a8000132330010013756606e60686ea8008894ccc0d8004530103d87a8000132323253330363371e00e6eb8c0dc00c4c094cc0e8dd4000a5eb804cc014014008dd6981b801181d001181c000991980080080211299981a8008a6103d87a8000132323253330353371e00e6eb8c0d800c4c090cc0e4dd3000a5eb804cc014014008dd5981b001181c801181b8009bae30313032002375c606000260586ea8c0bc030dd7181718178011bae302d0013029375460580146eb8c0acc0b0008dd7181500098131baa3029008375c605060520046eb8c09c004c08cdd518130031813000981298129812981298129812981280098121812181218120009811800981100098109810980e9baa002533301a3018301b37540022646464646464646464646464646464646464646464646464646464646464646464646464a66608260880042646464646493181f80b981f00f181e80f981e010181d8118b1bad30420013042002375a608000260800046eb4c0f8004c0f8008dd7181e000981e0011bae303a001303a002375a607000260700046eb4c0d8004c0d8008c94ccc0ccc0c800454ccc0c0c0a8c0c40045288a999818181718188008a50161637546068002606800464a66606260600022a66605c6050605e002294454ccc0b8c0b0c0bc0045280b0b1baa3032001303200230300013030002375a605c002605c0046eb4c0b0004c0b0008dd6981500098150011814000981400118130009813001181200098120011bad302200130220023020001301c37540022c603c60366ea800458c074c078008dd5980e000980e180c1baa300130183754603660306ea80088c06cc07000458cc004014dd6980c980d0041800800911299980c0010a6103d87a80001323253330173015003130063301b0024bd70099980280280099b8000348004c07000cc068008dd2a40006eb0c054c058c058008dd6180a00098081baa005375a602400260240046eb4c040004c030dd50028999119198008008019129998088008a50132533300f3371e6eb8c050008010528899801801800980a0009bac300f30103010301030103010301030103010300c37540026eb8c03cc040c030dd5004980718059baa00114984d958c94ccc020c0180044c8c8c8c8c8c94ccc044c05000852616375a602400260240046eb4c040004c040008dd6980700098051baa0031533300830020011533300b300a37540062930b0b18041baa002370e90012999802180118029baa0031323232323232323232323232323253330153018002132498c03c03458dd6980b000980b0011bad30140013014002375a602400260240046eb4c040004c040008dd7180700098070011bae300c001300c002300a001300637540062c4a6660086004600a6ea80044c8c8c8c94ccc02cc03800852616375c601800260180046eb8c028004c018dd50008b1b87480015cd2ab9d5573caae7d5d02ba157441", + "hash": "c4edad4f345336b9b7d1ffad9b471023363f71846beeb71e5215ccdd" } ], "definitions": { @@ -234,12 +318,6 @@ "$ref": "#/definitions/Int" } }, - "List$splash/plutus/Asset": { - "dataType": "list", - "items": { - "$ref": "#/definitions/splash~1plutus~1Asset" - } - }, "Option$aiken/transaction/credential/Referenced$aiken/transaction/credential/Credential": { "title": "Optional", "anyOf": [ @@ -655,12 +733,24 @@ "$ref": "#/definitions/splash~1plutus~1Asset" }, { - "title": "redeemer", + "title": "redeemer_pk", + "$ref": "#/definitions/ByteArray" + }, + { + "title": "redeemer_sc", "$ref": "#/definitions/ByteArray" }, { "title": "min_expected_lp_amount", "$ref": "#/definitions/Int" + }, + { + "title": "ex_fee", + "$ref": "#/definitions/Int" + }, + { + "title": "min_utxo", + "$ref": "#/definitions/Int" } ] } @@ -707,12 +797,8 @@ "index": 0, "fields": [ { - "title": "option_int0", - "$ref": "#/definitions/Int" - }, - { - "title": "option_int1", - "$ref": "#/definitions/Int" + "title": "context_values_list", + "$ref": "#/definitions/List$Int" } ] }, @@ -724,12 +810,12 @@ } ] }, - "splash/stableswap/types/PoolData": { - "title": "PoolData", - "description": "Pool data.", + "splash/stableswap/types/PoolDataT2T": { + "title": "PoolDataT2T", + "description": "Pool data T2T.", "anyOf": [ { - "title": "PoolData", + "title": "PoolDataT2T", "dataType": "constructor", "index": 0, "fields": [ @@ -738,29 +824,118 @@ "$ref": "#/definitions/splash~1plutus~1Asset" }, { - "title": "n", + "title": "an2n", "$ref": "#/definitions/Int" }, { - "title": "tradable_assets", - "$ref": "#/definitions/List$splash~1plutus~1Asset" + "title": "asset_x", + "$ref": "#/definitions/splash~1plutus~1Asset" }, { - "title": "tradable_tokens_multipliers", - "$ref": "#/definitions/List$Int" + "title": "asset_y", + "$ref": "#/definitions/splash~1plutus~1Asset" + }, + { + "title": "multiplier_x", + "$ref": "#/definitions/Int" + }, + { + "title": "multiplier_y", + "$ref": "#/definitions/Int" }, { "title": "lp_token", "$ref": "#/definitions/splash~1plutus~1Asset" }, + { + "title": "ampl_coeff_is_editable", + "$ref": "#/definitions/Bool" + }, { "title": "lp_fee_is_editable", "$ref": "#/definitions/Bool" }, { - "title": "ampl_coeff", + "title": "lp_fee_num", "$ref": "#/definitions/Int" }, + { + "title": "protocol_fee_num", + "$ref": "#/definitions/Int" + }, + { + "title": "dao_stabe_proxy_witness", + "$ref": "#/definitions/ByteArray" + }, + { + "title": "treasury_address", + "$ref": "#/definitions/ByteArray" + }, + { + "title": "protocol_fees_x", + "$ref": "#/definitions/Int" + }, + { + "title": "protocol_fees_y", + "$ref": "#/definitions/Int" + } + ] + } + ] + }, + "splash/stableswap/types/PoolDataT2T2T": { + "title": "PoolDataT2T2T", + "description": "Pool data T2T2T.", + "anyOf": [ + { + "title": "PoolDataT2T2T", + "dataType": "constructor", + "index": 0, + "fields": [ + { + "title": "pool_nft", + "$ref": "#/definitions/splash~1plutus~1Asset" + }, + { + "title": "an2n", + "$ref": "#/definitions/Int" + }, + { + "title": "asset_x", + "$ref": "#/definitions/splash~1plutus~1Asset" + }, + { + "title": "asset_y", + "$ref": "#/definitions/splash~1plutus~1Asset" + }, + { + "title": "asset_z", + "$ref": "#/definitions/splash~1plutus~1Asset" + }, + { + "title": "multiplier_x", + "$ref": "#/definitions/Int" + }, + { + "title": "multiplier_y", + "$ref": "#/definitions/Int" + }, + { + "title": "multiplier_z", + "$ref": "#/definitions/Int" + }, + { + "title": "lp_token", + "$ref": "#/definitions/splash~1plutus~1Asset" + }, + { + "title": "ampl_coeff_is_editable", + "$ref": "#/definitions/Bool" + }, + { + "title": "lp_fee_is_editable", + "$ref": "#/definitions/Bool" + }, { "title": "lp_fee_num", "$ref": "#/definitions/Int" @@ -771,18 +946,22 @@ }, { "title": "dao_stabe_proxy_witness", - "$ref": "#/definitions/List$ByteArray" + "$ref": "#/definitions/ByteArray" }, { "title": "treasury_address", "$ref": "#/definitions/ByteArray" }, { - "title": "protocol_fees", - "$ref": "#/definitions/List$Int" + "title": "protocol_fees_x", + "$ref": "#/definitions/Int" + }, + { + "title": "protocol_fees_y", + "$ref": "#/definitions/Int" }, { - "title": "inv", + "title": "protocol_fees_z", "$ref": "#/definitions/Int" } ] @@ -813,11 +992,11 @@ } ] }, - "splash/stableswap/types/RedeemData": { - "title": "RedeemData", + "splash/stableswap/types/RedeemDataT2T": { + "title": "RedeemDataT2T", "anyOf": [ { - "title": "RedeemData", + "title": "RedeemDataT2T", "dataType": "constructor", "index": 0, "fields": [ @@ -826,30 +1005,34 @@ "$ref": "#/definitions/splash~1plutus~1Asset" }, { - "title": "redeemer", + "title": "redeemer_pk", "$ref": "#/definitions/ByteArray" }, { - "title": "expected_assets", - "$ref": "#/definitions/List$splash~1plutus~1Asset" + "title": "redeemer_sc", + "$ref": "#/definitions/ByteArray" }, { - "title": "min_expected_received_assets_balances", - "$ref": "#/definitions/List$Int" + "title": "min_expected_x", + "$ref": "#/definitions/Int" }, { - "title": "min_expected_lp_change", + "title": "min_expected_y", + "$ref": "#/definitions/Int" + }, + { + "title": "ex_fee", "$ref": "#/definitions/Int" } ] } ] }, - "splash/stableswap/types/RedeemUniformData": { - "title": "RedeemUniformData", + "splash/stableswap/types/RedeemDataT2T2T": { + "title": "RedeemDataT2T2T", "anyOf": [ { - "title": "RedeemUniformData", + "title": "RedeemDataT2T2T", "dataType": "constructor", "index": 0, "fields": [ @@ -858,12 +1041,28 @@ "$ref": "#/definitions/splash~1plutus~1Asset" }, { - "title": "redeemer", + "title": "redeemer_pk", "$ref": "#/definitions/ByteArray" }, { - "title": "min_expected_received_assets_balances", - "$ref": "#/definitions/List$Int" + "title": "redeemer_sc", + "$ref": "#/definitions/ByteArray" + }, + { + "title": "min_expected_x", + "$ref": "#/definitions/Int" + }, + { + "title": "min_expected_y", + "$ref": "#/definitions/Int" + }, + { + "title": "min_expected_z", + "$ref": "#/definitions/Int" + }, + { + "title": "ex_fee", + "$ref": "#/definitions/Int" } ] } diff --git a/validators/stable_pools/t2t/pool_t2t_exact.ak b/validators/stable_pools/t2t/pool_t2t_exact.ak index b22114c..180bf27 100644 --- a/validators/stable_pools/t2t/pool_t2t_exact.ak +++ b/validators/stable_pools/t2t/pool_t2t_exact.ak @@ -791,7 +791,7 @@ fn uniform_reserves_valid_lq_math_template( protocol_fee_num_before: Int, deposit: Bool, ) -> Bool { - let default_token_value = 1_000_000_000_000_000 + let default_token_value = 1_000_000_000 let default_decimal = 1 let tradable_assets =