tx · 8DUfDAXHsDpQgeqn47B6cho1xxE5EqwqPfmWG4YVqxAu

3PJqzSu5ShM2qzkSkxDr2oc47TBH8zfBaUq:  -0.00600000 Waves

2023.07.25 16:07 [3747074] smart account 3PJqzSu5ShM2qzkSkxDr2oc47TBH8zfBaUq > SELF 0.00000000 Waves

{
    "type": 13,
    "id": "8DUfDAXHsDpQgeqn47B6cho1xxE5EqwqPfmWG4YVqxAu",
    "fee": 600000,
    "feeAssetId": null,
    "timestamp": 1690290487629,
    "version": 1,
    "sender": "3PJqzSu5ShM2qzkSkxDr2oc47TBH8zfBaUq",
    "senderPublicKey": "3JbL1AeoE8AP9xDHYyrbLCFxXtzyx5EPexG4H3CMdBMS",
    "proofs": [
        "3WuPbWaDkRUo4i8TB5VwwhLJ1kF43KRhaJuPrm55YamsZ5ydKttt3jq7rAy3HFtf6kpEdysqBDGjVZvxnHiJvewW"
    ],
    "script": "base64:BgIhCAISBQoDCAEEEgQKAgEEEgQKAgEEEgoKCAgICAgICAgIGAASY29uZmlnQWRkcmVzc1N0b3JlAg1jb25maWdBZGRyZXNzAA1jb25maWdBZGRyZXNzCQETdmFsdWVPckVycm9yTWVzc2FnZQIJAKYIAQkBE3ZhbHVlT3JFcnJvck1lc3NhZ2UCCQCdCAIFBHRoaXMFEmNvbmZpZ0FkZHJlc3NTdG9yZQIZcmVzZXJ2ZTogbm8gY29uZmlnQWRkcmVzcwIWaW52YWxpZCBjb25maWcgYWRkcmVzcwAGSEVJR0hUBQZoZWlnaHQBCW9wQWxsb3dlZAICb3AHcmVzZXJ2ZQQHJG1hdGNoMAkA/AcEBQ1jb25maWdBZGRyZXNzAglvcEFsbG93ZWQJAMwIAgUHcmVzZXJ2ZQkAzAgCBQJvcAUDbmlsBQNuaWwDCQABAgUHJG1hdGNoMAIHQm9vbGVhbgQBYgUHJG1hdGNoMAMFAWIGCQACAQILbm90IGFsbG93ZWQJAAIBAiFvcEFsbG93ZWQ6IHVuZXhwZWN0ZWQgcmVzdWx0IHR5cGUBEHdyaXRlQ29uc3RTdHJpbmcCA2tleQV2YWx1ZQMJAQEhAQkBCWlzRGVmaW5lZAEJAJ0IAgUEdGhpcwUDa2V5CQELU3RyaW5nRW50cnkCBQNrZXkFBXZhbHVlCQACAQkArAICAhVhbHJlYWR5IGluaXRpYWxpemVkOiAFA2tleQEKZ2V0QWRkcmVzcwIDYWRyA2tleQkBE3ZhbHVlT3JFcnJvck1lc3NhZ2UCCQCmCAEJARN2YWx1ZU9yRXJyb3JNZXNzYWdlAgkAnQgCBQNhZHICA2tleQkArAICBQNrZXkCCiBub3QgZm91bmQJAKwCAgUDa2V5AhAgaW52YWxpZCBhZGRyZXNzAQhnZXRBc3NldAIDYWRyA2tleQkA2QQBCQETdmFsdWVPckVycm9yTWVzc2FnZQIJAJ0IAgUDYWRyBQNrZXkJAKwCAgUDa2V5Agogbm90IGZvdW5kAAdsMlN0b3JlAgJMMgAIeHRuU3RvcmUCA1hUTgAPbDJDb250cmFjdFN0b3JlAgtMMl9jb250cmFjdAANbDJTdGFrZXJTdG9yZQISTDJfc3Rha2VyX2NvbnRyYWN0AA12ZXN0bkFsbFN0b3JlAgl2ZXN0bl9hbGwAD3Zlc3RuV2hhbGVTdG9yZQIFdmVzdG4ACm1haW40U3RvcmUCBW1haW40AAJsMgkBCGdldEFzc2V0AgUEdGhpcwUHbDJTdG9yZQADeHRuCQEIZ2V0QXNzZXQCBQR0aGlzBQh4dG5TdG9yZQAKbDJDb250cmFjdAkBEUBleHRyTmF0aXZlKDEwNjIpAQkBEUBleHRyTmF0aXZlKDEwNTgpAQUPbDJDb250cmFjdFN0b3JlAAhsMnN0YWtlcgkBEUBleHRyTmF0aXZlKDEwNjIpAQkBEUBleHRyTmF0aXZlKDEwNTgpAQUNbDJTdGFrZXJTdG9yZQAFbWFpbjQJARFAZXh0ck5hdGl2ZSgxMDYyKQEJARFAZXh0ck5hdGl2ZSgxMDU4KQEFCm1haW40U3RvcmUACXByb3RlY3RlZAkBCmdldEFkZHJlc3MCBQ1jb25maWdBZGRyZXNzAhFwcm90ZWN0ZWRfcmVzZXJ2ZQARY29sbGF0ZXJhbEFkZHJlc3MJAQpnZXRBZGRyZXNzAgUEdGhpcwISY29sbGF0ZXJhbF9hZGRyZXNzAAh2ZXN0bkFsbAkBCmdldEFkZHJlc3MCBQR0aGlzBQ12ZXN0bkFsbFN0b3JlAAp2ZXN0bldoYWxlCQEKZ2V0QWRkcmVzcwIFBHRoaXMFD3Zlc3RuV2hhbGVTdG9yZQEWY29udmVydFh0blRvTDJJbnRlcm5hbAMHYWRkcmVzcwNhbXQFc3Rha2UEAWMJAPwHBAUKbDJDb250cmFjdAIOY29udmVydFh0blRvTDIFA25pbAkAzAgCCQEPQXR0YWNoZWRQYXltZW50AgUDeHRuBQNhbXQFA25pbAMJAAACBQFjBQFjAwUFc3Rha2UEAXMJAPwHBAUIbDJzdGFrZXICCHN0YWtlRm9yCQDMCAIJAKUIAQUHYWRkcmVzcwUDbmlsCQDMCAIJAQ9BdHRhY2hlZFBheW1lbnQCBQJsMgUDYW10BQNuaWwDCQAAAgUBcwUBcwUDbmlsCQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuCQDMCAIJAQ5TY3JpcHRUcmFuc2ZlcgMFB2FkZHJlc3MFA2FtdAUCbDIFA25pbAkAAgECJFN0cmljdCB2YWx1ZSBpcyBub3QgZXF1YWwgdG8gaXRzZWxmLgQBaQEMd2l0aGRyYXdUb0wyAwdyZXNlcnZlBmFtb3VudAVzdGFrZQQGY2hlY2tzCQEJb3BBbGxvd2VkAgIMd2l0aGRyYXdUb0wyBQdyZXNlcnZlAwkAAAIFBmNoZWNrcwUGY2hlY2tzBAZ2ZXNpbmcJAPwHBAUFbWFpbjQCDHN0YXJ0VmVzdGluZwkAzAgCBQdyZXNlcnZlCQDMCAIFBmFtb3VudAUDbmlsBQNuaWwDCQAAAgUGdmVzaW5nBQZ2ZXNpbmcEAndkCQD8BwQFCHZlc3RuQWxsAhpwYXJ0aWFsV2l0aGRyYXdWZXN0ZWRGb3JUbwkAzAgCCQClCAEIBQFpBmNhbGxlcgkAzAgCCQClCAEFBHRoaXMJAMwIAgUGYW1vdW50BQNuaWwFA25pbAMJAAACBQJ3ZAUCd2QJARZjb252ZXJ0WHRuVG9MMkludGVybmFsAwgFAWkGY2FsbGVyBQZhbW91bnQFBXN0YWtlCQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuCQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuCQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuAWkBGXdpdGhkcmF3VmVzdGVkUmVndWxhclRvTDICA2FtdAVzdGFrZQQGY2hlY2tzCQEJb3BBbGxvd2VkAgIMd2l0aGRyYXdUb0wyAg52ZXN0ZWRfcmVndWxhcgMJAAACBQZjaGVja3MFBmNoZWNrcwQCd2QJAPwHBAUIdmVzdG5BbGwCGnBhcnRpYWxXaXRoZHJhd1Zlc3RlZEZvclRvCQDMCAIJAKUIAQgFAWkGY2FsbGVyCQDMCAIJAKUIAQUEdGhpcwkAzAgCBQNhbXQFA25pbAUDbmlsAwkAAAIFAndkBQJ3ZAQLdmVzdGluZ1RvTDIAhugFBARiYXNlAKCNBgQHdXNkbkFtdAkAawMFA2FtdAULdmVzdGluZ1RvTDIFBGJhc2UECGxlZnRvdmVyCQBlAgUDYW10BQd1c2RuQW10CQDOCAIJARZjb252ZXJ0WHRuVG9MMkludGVybmFsAwgFAWkGY2FsbGVyBQd1c2RuQW10BQVzdGFrZQkAzAgCCQEEQnVybgIFA3h0bgUIbGVmdG92ZXIFA25pbAkAAgECJFN0cmljdCB2YWx1ZSBpcyBub3QgZXF1YWwgdG8gaXRzZWxmLgkAAgECJFN0cmljdCB2YWx1ZSBpcyBub3QgZXF1YWwgdG8gaXRzZWxmLgFpARd3aXRoZHJhd1Zlc3RlZFdoYWxlVG9MMgIDYW10BXN0YWtlBAZjaGVja3MJAQlvcEFsbG93ZWQCAgx3aXRoZHJhd1RvTDICDHZlc3RlZF93aGFsZQMJAAACBQZjaGVja3MFBmNoZWNrcwQCd2QJAPwHBAUKdmVzdG5XaGFsZQIacGFydGlhbFdpdGhkcmF3VmVzdGVkRm9yVG8JAMwIAgkApQgBCAUBaQZjYWxsZXIJAMwIAgkApQgBBQR0aGlzCQDMCAIFA2FtdAUDbmlsBQNuaWwDCQAAAgUCd2QFAndkCQEWY29udmVydFh0blRvTDJJbnRlcm5hbAMIBQFpBmNhbGxlcgUDYW10BQVzdGFrZQkAAgECJFN0cmljdCB2YWx1ZSBpcyBub3QgZXF1YWwgdG8gaXRzZWxmLgkAAgECJFN0cmljdCB2YWx1ZSBpcyBub3QgZXF1YWwgdG8gaXRzZWxmLgFpAQppbml0aWFsaXplCA1jb25maWdBZGRyZXNzAmwyA3h0bglsMkNvdHJhY3QIbDJTdGFrZXIIdmVzdG5BbGwKdmVzdG5XaGFsZQVtYWluNAkAzAgCCQEQd3JpdGVDb25zdFN0cmluZwIFEmNvbmZpZ0FkZHJlc3NTdG9yZQUNY29uZmlnQWRkcmVzcwkAzAgCCQEQd3JpdGVDb25zdFN0cmluZwIFB2wyU3RvcmUFAmwyCQDMCAIJARB3cml0ZUNvbnN0U3RyaW5nAgUIeHRuU3RvcmUFA3h0bgkAzAgCCQEQd3JpdGVDb25zdFN0cmluZwIFD2wyQ29udHJhY3RTdG9yZQUJbDJDb3RyYWN0CQDMCAIJARB3cml0ZUNvbnN0U3RyaW5nAgUNbDJTdGFrZXJTdG9yZQUIbDJTdGFrZXIJAMwIAgkBEHdyaXRlQ29uc3RTdHJpbmcCBQ12ZXN0bkFsbFN0b3JlBQh2ZXN0bkFsbAkAzAgCCQEQd3JpdGVDb25zdFN0cmluZwIFD3Zlc3RuV2hhbGVTdG9yZQUKdmVzdG5XaGFsZQkAzAgCCQEQd3JpdGVDb25zdFN0cmluZwIFCm1haW40U3RvcmUFBW1haW40BQNuaWwBAnR4AQZ2ZXJpZnkABARCQVNFAOgHBAtxdW9ydW1SYXRpbwkBE3ZhbHVlT3JFcnJvck1lc3NhZ2UCCQCaCAIFDWNvbmZpZ0FkZHJlc3MCFXByb3Bvc2FsX3F1b3J1bV9yYXRpbwIicHJvcG9zYWxRdW9ydW1SYXRpbyBpcyBub3QgZGVmaW5lZAQLcGFzc2VkUmF0aW8JARN2YWx1ZU9yRXJyb3JNZXNzYWdlAgkAmggCBQ1jb25maWdBZGRyZXNzAhVwcm9wb3NhbF9wYXNzZWRfcmF0aW8CJXByb3Bvc2FsVGhyZXNob2xkUmF0aW8gaXMgbm90IGRlZmluZWQEDmdWaXJlc0NvbnRyYWN0CQETdmFsdWVPckVycm9yTWVzc2FnZQIJAKYIAQkBE3ZhbHVlT3JFcnJvck1lc3NhZ2UCCQCdCAIFDWNvbmZpZ0FkZHJlc3MCEmRpdmlkZW5kc19jb250cmFjdAIVbm8gZGl2aWRlbmRzX2NvbnRyYWN0AhppbnZhbGlkIGRpdmlkZW5kc19jb250cmFjdAQOdm90aW5nQ29udHJhY3QJARN2YWx1ZU9yRXJyb3JNZXNzYWdlAgkApggBCQETdmFsdWVPckVycm9yTWVzc2FnZQIJAJ0IAgUNY29uZmlnQWRkcmVzcwIPdm90aW5nX2NvbnRyYWN0AhJubyB2b3RpbmdfY29udHJhY3QCF2ludmFsaWQgdm90aW5nX2NvbnRyYWN0BAJpZAkA2AQBCAUCdHgCaWQECHZvdGVzWWVzCQELdmFsdWVPckVsc2UCCQCaCAIFDnZvdGluZ0NvbnRyYWN0CQCsAgICDXByb3Bvc2FsX3llc18FAmlkAAAEB3ZvdGVzTm8JAQt2YWx1ZU9yRWxzZQIJAJoIAgUOdm90aW5nQ29udHJhY3QJAKwCAgIMcHJvcG9zYWxfbm9fBQJpZAAABA5wcm9wb3NhbEhlaWdodAkBE3ZhbHVlT3JFcnJvck1lc3NhZ2UCCQCaCAIFDnZvdGluZ0NvbnRyYWN0CQCsAgICEHByb3Bvc2FsX2hlaWdodF8FAmlkAhdwcm9wb3NhbCBub3QgcmVnaXN0ZXJlZAQKYXBwbHlTdGFydAkBC3ZhbHVlT3JFbHNlAgkAmggCBQ52b3RpbmdDb250cmFjdAkArAICAhRwcm9wb3NhbF9hcHBseXN0YXJ0XwUCaWQAAAQIYXBwbHlFbmQJAQt2YWx1ZU9yRWxzZQIJAJoIAgUOdm90aW5nQ29udHJhY3QJAKwCAgIScHJvcG9zYWxfYXBwbHllbmRfBQJpZAAABAt0b3RhbEdWaXJlcwkBC3ZhbHVlT3JFbHNlAgkAmggCBQ52b3RpbmdDb250cmFjdAkArAICAhBwcm9wb3NhbF9ndmlyZXNfBQJpZAAABAdlbmFibGVkCQELdmFsdWVPckVsc2UCCQCbCAIFDWNvbmZpZ0FkZHJlc3MCHW9wX2dvdmVybmFuY2VfYXBwbHlfdHhfcGF1c2VkBwQHdm90ZVllcwUIdm90ZXNZZXMEBnZvdGVObwUHdm90ZXNObwQKdG90YWxWb3RlcwkAZAIFB3ZvdGVZZXMFBnZvdGVObwQJaGFzUXVvcnVtCQBnAgkAaQIJAGgCBQp0b3RhbFZvdGVzBQRCQVNFBQt0b3RhbEdWaXJlcwULcXVvcnVtUmF0aW8ECWhhc1Bhc3NlZAkAZwIJAGkCCQBoAgUHdm90ZVllcwUEQkFTRQUKdG90YWxWb3RlcwULcGFzc2VkUmF0aW8ECHRvb0Vhcmx5CQBnAgUKYXBwbHlTdGFydAUGSEVJR0hUBAd0b29MYXRlCQBnAgUGSEVJR0hUBQhhcHBseUVuZAQJdGltZURlYnVnCQCsAgIJAKwCAgkArAICCQCsAgIJAKwCAgkArAICCQCsAgICEXByb3Bvc2FsSGVpZ2h0ID0gCQCkAwEFDnByb3Bvc2FsSGVpZ2h0Ag8sIGFwcGx5U3RhcnQgPSAJAKQDAQUKYXBwbHlTdGFydAINLCBhcHBseUVuZCA9IAkApAMBBQhhcHBseUVuZAILLCBIRUlHSFQgPSAJAKQDAQUGSEVJR0hUBAhieVZvdGluZwMJAQEhAQUHZW5hYmxlZAkAAgECK3R4IGFwcGxpY2F0aW9uIHRocm93IGdvdmVybmFuY2Ugbm90IGVuYWJsZWQDBQh0b29FYXJseQkAAgEJAKwCAgIucHJvcG9zYWwgY2FuJ3QgYmUgZXhlY3V0ZWQgYXMgaXQncyB0b28gZWFybHk6IAUJdGltZURlYnVnAwUHdG9vTGF0ZQkAAgEJAKwCAgIscHJvcG9zYWwgY2FuJ3QgYmUgZXhlY3V0ZWQgYXMgaXQncyB0b28gbGF0ZToFCXRpbWVEZWJ1ZwMJAQEhAQUJaGFzUXVvcnVtCQACAQkArAICCQCsAgIJAKwCAgkArAICCQCsAgIJAKwCAgILbm8gcXVvcnVtOiACDHRvdGFsVm90ZXM6IAkApAMBBQp0b3RhbFZvdGVzAg8sIHRvdGFsR1ZpcmVzOiAJAKQDAQULdG90YWxHVmlyZXMCDywgcXVvcnVtUmF0aW86IAkApAMBBQtxdW9ydW1SYXRpbwMJAQEhAQUJaGFzUGFzc2VkCQACAQkArAICCQCsAgIJAKwCAgkArAICCQCsAgIJAKwCAgIXbm8gdGhyZXNob2xkIGFjaGlldmVkOiACCXZvdGVZZXM6IAkApAMBBQd2b3RlWWVzAgosIHZvdGVObzogCQCkAwEFBnZvdGVObwIPLCBwYXNzZWRSYXRpbzogCQCkAwEFC3Bhc3NlZFJhdGlvBgMJAPQDAwgFAnR4CWJvZHlCeXRlcwkAkQMCCAUCdHgGcHJvb2ZzAAAIBQJ0eA9zZW5kZXJQdWJsaWNLZXkGBQhieVZvdGluZ0lvazc=",
    "chainId": 87,
    "height": 3747074,
    "applicationStatus": "succeeded",
    "spentComplexity": 0
}

View: original | compacted
Prev: none
Next: DaeUt7p9nNk8mbtqfmdCLdWV6DgxeJYeLqD6pqHKe2fg

Full: 

OldNewDifferences
1-# no script
1+{-# STDLIB_VERSION 6 #-}
2+{-# SCRIPT_TYPE ACCOUNT #-}
3+{-# CONTENT_TYPE DAPP #-}
4+let configAddressStore = "configAddress"
5+
6+let configAddress = valueOrErrorMessage(addressFromString(valueOrErrorMessage(getString(this, configAddressStore), "reserve: no configAddress")), "invalid config address")
7+
8+let HEIGHT = height
9+
10+func opAllowed (op,reserve) = match invoke(configAddress, "opAllowed", [reserve, op], nil) {
11+    case b: Boolean => 
12+        if (b)
13+            then true
14+            else throw("not allowed")
15+    case _ => 
16+        throw("opAllowed: unexpected result type")
17+}
18+
19+
20+func writeConstString (key,value) = if (!(isDefined(getString(this, key))))
21+    then StringEntry(key, value)
22+    else throw(("already initialized: " + key))
23+
24+
25+func getAddress (adr,key) = valueOrErrorMessage(addressFromString(valueOrErrorMessage(getString(adr, "key"), (key + " not found"))), (key + " invalid address"))
26+
27+
28+func getAsset (adr,key) = fromBase58String(valueOrErrorMessage(getString(adr, key), (key + " not found")))
29+
30+
31+let l2Store = "L2"
32+
33+let xtnStore = "XTN"
34+
35+let l2ContractStore = "L2_contract"
36+
37+let l2StakerStore = "L2_staker_contract"
38+
39+let vestnAllStore = "vestn_all"
40+
41+let vestnWhaleStore = "vestn"
42+
43+let main4Store = "main4"
44+
45+let l2 = getAsset(this, l2Store)
46+
47+let xtn = getAsset(this, xtnStore)
48+
49+let l2Contract = addressFromStringValue(getStringValue(l2ContractStore))
50+
51+let l2staker = addressFromStringValue(getStringValue(l2StakerStore))
52+
53+let main4 = addressFromStringValue(getStringValue(main4Store))
54+
55+let protected = getAddress(configAddress, "protected_reserve")
56+
57+let collateralAddress = getAddress(this, "collateral_address")
58+
59+let vestnAll = getAddress(this, vestnAllStore)
60+
61+let vestnWhale = getAddress(this, vestnWhaleStore)
62+
63+func convertXtnToL2Internal (address,amt,stake) = {
64+    let c = invoke(l2Contract, "convertXtnToL2", nil, [AttachedPayment(xtn, amt)])
65+    if ((c == c))
66+        then if (stake)
67+            then {
68+                let s = invoke(l2staker, "stakeFor", [toString(address)], [AttachedPayment(l2, amt)])
69+                if ((s == s))
70+                    then nil
71+                    else throw("Strict value is not equal to itself.")
72+                }
73+            else [ScriptTransfer(address, amt, l2)]
74+        else throw("Strict value is not equal to itself.")
75+    }
76+
77+
78+@Callable(i)
79+func withdrawToL2 (reserve,amount,stake) = {
80+    let checks = opAllowed("withdrawToL2", reserve)
81+    if ((checks == checks))
82+        then {
83+            let vesing = invoke(main4, "startVesting", [reserve, amount], nil)
84+            if ((vesing == vesing))
85+                then {
86+                    let wd = invoke(vestnAll, "partialWithdrawVestedForTo", [toString(i.caller), toString(this), amount], nil)
87+                    if ((wd == wd))
88+                        then convertXtnToL2Internal(i.caller, amount, stake)
89+                        else throw("Strict value is not equal to itself.")
90+                    }
91+                else throw("Strict value is not equal to itself.")
92+            }
93+        else throw("Strict value is not equal to itself.")
94+    }
95+
96+
97+
98+@Callable(i)
99+func withdrawVestedRegularToL2 (amt,stake) = {
100+    let checks = opAllowed("withdrawToL2", "vested_regular")
101+    if ((checks == checks))
102+        then {
103+            let wd = invoke(vestnAll, "partialWithdrawVestedForTo", [toString(i.caller), toString(this), amt], nil)
104+            if ((wd == wd))
105+                then {
106+                    let vestingToL2 = 95238
107+                    let base = 100000
108+                    let usdnAmt = fraction(amt, vestingToL2, base)
109+                    let leftover = (amt - usdnAmt)
110+                    (convertXtnToL2Internal(i.caller, usdnAmt, stake) ++ [Burn(xtn, leftover)])
111+                    }
112+                else throw("Strict value is not equal to itself.")
113+            }
114+        else throw("Strict value is not equal to itself.")
115+    }
116+
117+
118+
119+@Callable(i)
120+func withdrawVestedWhaleToL2 (amt,stake) = {
121+    let checks = opAllowed("withdrawToL2", "vested_whale")
122+    if ((checks == checks))
123+        then {
124+            let wd = invoke(vestnWhale, "partialWithdrawVestedForTo", [toString(i.caller), toString(this), amt], nil)
125+            if ((wd == wd))
126+                then convertXtnToL2Internal(i.caller, amt, stake)
127+                else throw("Strict value is not equal to itself.")
128+            }
129+        else throw("Strict value is not equal to itself.")
130+    }
131+
132+
133+
134+@Callable(i)
135+func initialize (configAddress,l2,xtn,l2Cotract,l2Staker,vestnAll,vestnWhale,main4) = [writeConstString(configAddressStore, configAddress), writeConstString(l2Store, l2), writeConstString(xtnStore, xtn), writeConstString(l2ContractStore, l2Cotract), writeConstString(l2StakerStore, l2Staker), writeConstString(vestnAllStore, vestnAll), writeConstString(vestnWhaleStore, vestnWhale), writeConstString(main4Store, main4)]
136+
137+
138+@Verifier(tx)
139+func verify () = {
140+    let BASE = 1000
141+    let quorumRatio = valueOrErrorMessage(getInteger(configAddress, "proposal_quorum_ratio"), "proposalQuorumRatio is not defined")
142+    let passedRatio = valueOrErrorMessage(getInteger(configAddress, "proposal_passed_ratio"), "proposalThresholdRatio is not defined")
143+    let gViresContract = valueOrErrorMessage(addressFromString(valueOrErrorMessage(getString(configAddress, "dividends_contract"), "no dividends_contract")), "invalid dividends_contract")
144+    let votingContract = valueOrErrorMessage(addressFromString(valueOrErrorMessage(getString(configAddress, "voting_contract"), "no voting_contract")), "invalid voting_contract")
145+    let id = toBase58String(tx.id)
146+    let votesYes = valueOrElse(getInteger(votingContract, ("proposal_yes_" + id)), 0)
147+    let votesNo = valueOrElse(getInteger(votingContract, ("proposal_no_" + id)), 0)
148+    let proposalHeight = valueOrErrorMessage(getInteger(votingContract, ("proposal_height_" + id)), "proposal not registered")
149+    let applyStart = valueOrElse(getInteger(votingContract, ("proposal_applystart_" + id)), 0)
150+    let applyEnd = valueOrElse(getInteger(votingContract, ("proposal_applyend_" + id)), 0)
151+    let totalGVires = valueOrElse(getInteger(votingContract, ("proposal_gvires_" + id)), 0)
152+    let enabled = valueOrElse(getBoolean(configAddress, "op_governance_apply_tx_paused"), false)
153+    let voteYes = votesYes
154+    let voteNo = votesNo
155+    let totalVotes = (voteYes + voteNo)
156+    let hasQuorum = (((totalVotes * BASE) / totalGVires) >= quorumRatio)
157+    let hasPassed = (((voteYes * BASE) / totalVotes) >= passedRatio)
158+    let tooEarly = (applyStart >= HEIGHT)
159+    let tooLate = (HEIGHT >= applyEnd)
160+    let timeDebug = ((((((("proposalHeight = " + toString(proposalHeight)) + ", applyStart = ") + toString(applyStart)) + ", applyEnd = ") + toString(applyEnd)) + ", HEIGHT = ") + toString(HEIGHT))
161+    let byVoting = if (!(enabled))
162+        then throw("tx application throw governance not enabled")
163+        else if (tooEarly)
164+            then throw(("proposal can't be executed as it's too early: " + timeDebug))
165+            else if (tooLate)
166+                then throw(("proposal can't be executed as it's too late:" + timeDebug))
167+                else if (!(hasQuorum))
168+                    then throw((((((("no quorum: " + "totalVotes: ") + toString(totalVotes)) + ", totalGVires: ") + toString(totalGVires)) + ", quorumRatio: ") + toString(quorumRatio)))
169+                    else if (!(hasPassed))
170+                        then throw((((((("no threshold achieved: " + "voteYes: ") + toString(voteYes)) + ", voteNo: ") + toString(voteNo)) + ", passedRatio: ") + toString(passedRatio)))
171+                        else true
172+    if (sigVerify(tx.bodyBytes, tx.proofs[0], tx.senderPublicKey))
173+        then true
174+        else byVoting
175+    }
176+
github/deemru/w8io/3ef1775 
28.15 ms ◑