w8 · tx · 8pX···MJe

tx · 8pXcuY2GYuSRsU9gNUNXJDLtWZxPdPXS4n26cmhdGMJe

3PJ6iR5X1PT2rZcNmbqByKuh7k8mtj5wVGw:  -0.01300000 Waves

2023.01.25 13:25 [3485882] smart account 3PJ6iR5X1PT2rZcNmbqByKuh7k8mtj5wVGw > SELF 0.00000000 Waves

{
    "type": 13,
    "id": "8pXcuY2GYuSRsU9gNUNXJDLtWZxPdPXS4n26cmhdGMJe",
    "fee": 1300000,
    "feeAssetId": null,
    "timestamp": 1674642338396,
    "version": 1,
    "sender": "3PJ6iR5X1PT2rZcNmbqByKuh7k8mtj5wVGw",
    "senderPublicKey": "6pk8htkepkqL8WkHrnvRr2tu1r3NC7hfLTJEtiQDbiKF",
    "proofs": [
        "3bhgoXo75bERa8W1fHhRL2xESsA1QJ8NoA9AsdwYcP9MnTtouTeiCVdEVzG1kE1FHPrE4SKkRfxbbk3a24qJNLKk"
    ],
    "script": "base64:BgIjCAISAwoBCBIGCgQICAgBEgYKBAgICAESBAoCCAgSBAoCCAgjAAtmYWN0b3JzQmFzZQDoBwEDZkNpAwV2YWx1ZQludW1lcmF0b3ILZGVub21pbmF0b3IEBGNhbmQJAGsDBQV2YWx1ZQUJbnVtZXJhdG9yBQtkZW5vbWluYXRvcgQBRACz5pOoCwQFZXhhY3QJAAACCQBqAgkAaAIJAGoCBQRjYW5kBQFECQBqAgULZGVub21pbmF0b3IFAUQFAUQJAGoCCQBoAgkAagIFBXZhbHVlBQFECQBqAgUJbnVtZXJhdG9yBQFEBQFEAwUFZXhhY3QFBGNhbmQJAGQCBQRjYW5kAAEBEHdyaXRlQ29uc3RTdHJpbmcCA2tleQV2YWx1ZQMJAQEhAQkBCWlzRGVmaW5lZAEJAJ0IAgUEdGhpcwUDa2V5CQELU3RyaW5nRW50cnkCBQNrZXkFBXZhbHVlCQACAQkArAICAhVhbHJlYWR5IGluaXRpYWxpemVkOiAFA2tleQEFYXNJbnQBBXZhbHVlBAckbWF0Y2gwBQV2YWx1ZQMJAAECBQckbWF0Y2gwAgNJbnQEA2ludAUHJG1hdGNoMAUDaW50CQACAQIEbTI6MQEGYXNJbnQzAQV2YWx1ZQQHJG1hdGNoMAUFdmFsdWUDCQABAgUHJG1hdGNoMAIPKEludCwgSW50LCBJbnQpBAF4BQckbWF0Y2gwBQF4BAF0BQckbWF0Y2gwCQACAQIBMgERYXNVc2VyQmFsYW5jZURhdGEBBXZhbHVlBAckbWF0Y2gwBQV2YWx1ZQMJAAECBQckbWF0Y2gwAiIoSW50LCBJbnQsIEludCwgSW50LCBJbnQsIEJvb2xlYW4pBAF4BQckbWF0Y2gwBQF4BAF0BQckbWF0Y2gwCQACAQIBMwALY29uZmlnU3RvcmUCBmNvbmZpZwANcmVzZXJ2ZXNTdG9yZQIIcmVzZXJ2ZXMABWFUSWRTAghhVG9rZW5JZAAEYUlkUwIHYXNzZXRJZAANY29uZmlnQWRkcmVzcwkBEUBleHRyTmF0aXZlKDEwNjIpAQkBEUBleHRyTmF0aXZlKDEwNTMpAgUEdGhpcwULY29uZmlnU3RvcmUAC3Jlc2VydmVzU3RyCQETdmFsdWVPckVycm9yTWVzc2FnZQIJAJ0IAgUNY29uZmlnQWRkcmVzcwIQcHJpbWFyeV9yZXNlcnZlcwIWbm8gcmVzZXJ2ZXMgcmVnaXN0ZXJlZAAIcmVzZXJ2ZXMJALwJAgULcmVzZXJ2ZXNTdHICAXwAA21WRAQHJG1hdGNoMAkAnQgCBQ1jb25maWdBZGRyZXNzAhF2aXJlc19kaXN0cmlidXRvcgMJAAECBQckbWF0Y2gwAgZTdHJpbmcEAWQFByRtYXRjaDAJARFAZXh0ck5hdGl2ZSgxMDYyKQEFAWQFBHVuaXQBEGFzc2V0SWRPZlJlc2VydmUBA3JzcgkBE3ZhbHVlT3JFcnJvck1lc3NhZ2UCCQCdCAIFA3JzcgUEYUlkUwIVbm8gYXNzZXRJZCBpbiByZXNlcnZlARBjb2xsYXRlcmFsRmFjdG9yAQNyc3IJARN2YWx1ZU9yRXJyb3JNZXNzYWdlAgkAmggCBQ1jb25maWdBZGRyZXNzCQCsAgIJARBhc3NldElkT2ZSZXNlcnZlAQUDcnNyAhFfQ29sbGF0ZXJhbEZhY3RvcgIEbm8gMQEUbGlxdWlkYXRpb25UaHJlc2hvbGQBA3JzcgkBE3ZhbHVlT3JFcnJvck1lc3NhZ2UCCQCaCAIFDWNvbmZpZ0FkZHJlc3MJAKwCAgkBEGFzc2V0SWRPZlJlc2VydmUBBQNyc3ICFV9MaXF1aWRhdGlvblRocmVzaG9sZAIEbm8gMgESbGlxdWlkYXRpb25QZW5hbHR5AQdhc3NldElkCQETdmFsdWVPckVycm9yTWVzc2FnZQIJAJoIAgUNY29uZmlnQWRkcmVzcwkArAICBQdhc3NldElkAhNfTGlxdWlkYXRpb25QZW5hbHR5AgRubyAzABZhY2NvdW50SGVhbHRoVGhyZXNob2xkCQETdmFsdWVPckVycm9yTWVzc2FnZQIJAJoIAgUNY29uZmlnQWRkcmVzcwIYYWNjb3VudF9oZWFsdGhfdGhyZXNob2xkAgRubyA0ABRhY2NvdW50SGVhbHRoT3ZlcmxhcAkBE3ZhbHVlT3JFcnJvck1lc3NhZ2UCCQCaCAIFDWNvbmZpZ0FkZHJlc3MCFmFjY291bnRfaGVhbHRoX292ZXJsYXACBG5vIDUAD2NvbGxhcHNlUGVuYWx0eQkBE3ZhbHVlT3JFcnJvck1lc3NhZ2UCCQCaCAIFDWNvbmZpZ0FkZHJlc3MCEGNvbGxhcHNlX3BlbmFsdHkCBG5vIDYAC2xpcXVpZGF0b3JzCQELdmFsdWVPckVsc2UCCQCdCAIFDWNvbmZpZ0FkZHJlc3MCC2xpcXVpZGF0b3JzAgABA3ZsUgEBcgMJAQhjb250YWlucwIFC3Jlc2VydmVzU3RyBQFyCQETdmFsdWVPckVycm9yTWVzc2FnZQIJAKYIAQUBcgINbWFpbjogYmFkIHJzcgkAAgEJAKwCAgIMdW5rbm93biByc3I6BQFyAQt1c2VyQmFsYW5jZQIDcnNyBHVzZXIJARFhc1VzZXJCYWxhbmNlRGF0YQEJAPwHBAUDcnNyAgt1c2VyQmFsYW5jZQkAzAgCBQR1c2VyBQNuaWwFA25pbAAObWF5YmVQcm90ZWN0ZWQEByRtYXRjaDAJAJ0IAgUNY29uZmlnQWRkcmVzcwIRcHJvdGVjdGVkX3Jlc2VydmUDCQABAgUHJG1hdGNoMAIGU3RyaW5nBANwZHMFByRtYXRjaDAJARN2YWx1ZU9yRXJyb3JNZXNzYWdlAgkApggBBQNwZHMCDWJhZCBwcm90ZWN0ZWQFBHVuaXQBCXVzZXJQb3dlcgEEdXNlcgQQcHJvdGVjdGVkRGVwb3NpdAQHJG1hdGNoMAUObWF5YmVQcm90ZWN0ZWQDCQABAgUHJG1hdGNoMAIHQWRkcmVzcwQCcGEFByRtYXRjaDAJAQVhc0ludAEJAPwHBAUCcGECC2JvcnJvd1Bvd2VyCQDMCAIFBHVzZXIFA25pbAUDbmlsAAAKAQRmb2xkAgZ0b3RhbHMBcgQLJHQwMjkzODI5ODQFBnRvdGFscwQGdG90YWxECAULJHQwMjkzODI5ODQCXzEEBnRvdGFsQggFCyR0MDI5MzgyOTg0Al8yBA9udW1iZXJPZkJvcnJvd3MIBQskdDAyOTM4Mjk4NAJfMwQDcnNyCQETdmFsdWVPckVycm9yTWVzc2FnZQIJAKYIAQUBcgIPcnNyIGJhZCBhZGRyZXNzBAJjZgkBEGNvbGxhdGVyYWxGYWN0b3IBBQNyc3IEAmx0CQEUbGlxdWlkYXRpb25UaHJlc2hvbGQBBQNyc3IECyR0MDMxMzgzMjIyCQELdXNlckJhbGFuY2UCBQNyc3IFBHVzZXIEBXRva2VuCAULJHQwMzEzODMyMjICXzEEBWFzc2V0CAULJHQwMzEzODMyMjICXzIECmRlcG9zaXRVc2QIBQskdDAzMTM4MzIyMgJfMwQEZGVidAgFCyR0MDMxMzgzMjIyAl80BAdkZWJ0VXNkCAULJHQwMzEzODMyMjICXzUEDGFzQ29sbGF0ZXJhbAgFCyR0MDMxMzgzMjIyAl82BAx0b3RhbEJvcnJvd3MJAGQCBQ9udW1iZXJPZkJvcnJvd3MDCQBmAgUEZGVidAAAAAEAAAQTZWZmZWN0aXZlRGVwb3NpdFVzZAMFDGFzQ29sbGF0ZXJhbAUKZGVwb3NpdFVzZAAABApvdmVybGFwVXNkCQCXAwEJAMwIAgUHZGVidFVzZAkAzAgCBRNlZmZlY3RpdmVEZXBvc2l0VXNkBQNuaWwEDW92ZXJsYXBDaGFyZ2UJAQNmQ2kDBQpvdmVybGFwVXNkBRRhY2NvdW50SGVhbHRoT3ZlcmxhcAULZmFjdG9yc0Jhc2UDCQBmAgUHZGVidFVzZAUTZWZmZWN0aXZlRGVwb3NpdFVzZAkAlQoDBQZ0b3RhbEQJAGQCCQBkAgUGdG90YWxCCQBrAwkAZQIFB2RlYnRVc2QFE2VmZmVjdGl2ZURlcG9zaXRVc2QFC2ZhY3RvcnNCYXNlBQJsdAUNb3ZlcmxhcENoYXJnZQUMdG90YWxCb3Jyb3dzCQCVCgMJAGQCBQZ0b3RhbEQJAGsDCQBlAgUTZWZmZWN0aXZlRGVwb3NpdFVzZAUHZGVidFVzZAUCY2YFC2ZhY3RvcnNCYXNlCQBkAgUGdG90YWxCBQ1vdmVybGFwQ2hhcmdlBQx0b3RhbEJvcnJvd3MEAXIKAAIkbAUIcmVzZXJ2ZXMKAAIkcwkAkAMBBQIkbAoABSRhY2MwCQCVCgMFEHByb3RlY3RlZERlcG9zaXQAAAAACgEFJGYwXzECAiRhAiRpAwkAZwIFAiRpBQIkcwUCJGEJAQRmb2xkAgUCJGEJAJEDAgUCJGwFAiRpCgEFJGYwXzICAiRhAiRpAwkAZwIFAiRpBQIkcwUCJGEJAAIBAhRMaXN0IHNpemUgZXhjZWVkcyAyMAkBBSRmMF8yAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgUFJGFjYzAAAAABAAIAAwAEAAUABgAHAAgACQAKAAsADAANAA4ADwAQABEAEgATABQDAwkAZgIFEHByb3RlY3RlZERlcG9zaXQAAAkAZgIIBQFyAl8zAAQHCQACAQIeY2FuJ3QgaGF2ZSBtb3JlIHRoYW4gNCBib3Jyb3dzBQFyAQ1nZXRVc2VySGVhbHRoAQdhY2NvdW50BAskdDAzOTc3NDAyOAkBBmFzSW50MwEJAQl1c2VyUG93ZXIBBQdhY2NvdW50BAJicAgFCyR0MDM5Nzc0MDI4Al8xBANicHUIBQskdDAzOTc3NDAyOAJfMgQGaWdub3JlCAULJHQwMzk3NzQwMjgCXzMJAKwCAgkArAICCQCsAgICA2JwOgkApAMBBQJicAIGLCBicHU6CQCkAwEFA2JwdQENdmFsaWRhdGVBZnRlcgIEdXNlcgJvcAQLJHQwNDEzOTQxNzAJAQl1c2VyUG93ZXIBBQR1c2VyBAJicAgFCyR0MDQxMzk0MTcwAl8xBANicHUIBQskdDA0MTM5NDE3MAJfMgQJYWNjSGVhbHRoCQBpAgkAaAIJAGUCBQJicAUDYnB1BQtmYWN0b3JzQmFzZQUCYnADAwkAAAIFAmJwAAAJAAACBQNicHUAAAcFA25pbAMDCQAAAgUCYnAAAAkAZgIFA2JwdQAABwkAAgEJAKwCAgkArAICBQJvcAIsOiBicmVhY2hpbmcgbGlxdWlkYXRpb24gdGhyZXNob2xkKGJwPTAsIGJwdT0JAKQDAQUDYnB1AwkAZgIFFmFjY291bnRIZWFsdGhUaHJlc2hvbGQFCWFjY0hlYWx0aAkAAgEJAKwCAgkArAICCQCsAgIJAKwCAgkArAICCQCsAgIJAKwCAgUCb3ACJTogYnJlYWNoaW5nIGxpcXVpZGF0aW9uIHRocmVzaG9sZChicD0JAKQDAQUCYnACBiwgYnB1PQkApAMBBQNicHUCCSwgaGVhbHRoPQkApAMBBQlhY2NIZWFsdGgCASkFA25pbAEMdXBkYXRlU3RyZWFtBQNyc3IGYWN0aW9uBHVzZXIKdXNlckNoYW5nZQxzdHJlYW1DaGFuZ2UEByRtYXRjaDAFA21WRAMJAAECBQckbWF0Y2gwAgdBZGRyZXNzBAFhBQckbWF0Y2gwCQD8BwQFAWECCG9uQWN0aW9uCQDMCAIFA3JzcgkAzAgCBQZhY3Rpb24JAMwIAgUEdXNlcgkAzAgCBQp1c2VyQ2hhbmdlCQDMCAIFDHN0cmVhbUNoYW5nZQUDbmlsBQNuaWwFBHVuaXQBCm1vdmVTdHJlYW0FA3JzcgZhY3Rpb24EZnJvbQZzdHJpbmcDYW10BAckbWF0Y2gwBQNtVkQDCQABAgUHJG1hdGNoMAIHQWRkcmVzcwQBYQUHJG1hdGNoMAkA/AcEBQFhAgRtb3ZlCQDMCAIFA3JzcgkAzAgCBQZhY3Rpb24JAMwIAgUEZnJvbQkAzAgCBQZzdHJpbmcJAMwIAgUDYW10BQNuaWwFA25pbAUEdW5pdAELc3luY1Jld2FyZHMBA3JzcgQHJG1hdGNoMAUDbVZEAwkAAQIFByRtYXRjaDACB0FkZHJlc3MEAWEFByRtYXRjaDAJAPwHBAUBYQIKc3luY0hlaWdodAkAzAgCBQNyc3IFA25pbAUDbmlsBQR1bml0AQtwdXJlQXNzZXRJZAEHYXNzZXRJZAQBaQkAkQMCCQC1CQIFB2Fzc2V0SWQCAV8AAAMJAAACBQFpAgVXQVZFUwUEdW5pdAkA2QQBBQFpAQ5tb3ZlQ29sbGF0ZXJhbAQEYWRkcghhc3NldFN0cgNyc3IKcmVzZXJ2ZVN0cgQQcHJvdGVjdGVkUmVzZXJ2ZQkBE3ZhbHVlT3JFcnJvck1lc3NhZ2UCBQ5tYXliZVByb3RlY3RlZAIQbm8gcHJvdGVjdGVkIHJzcgQDYW10CQEFYXNJbnQBCQD8BwQFEHByb3RlY3RlZFJlc2VydmUCDndpdGhkcmF3VG9NYWluCQDMCAIFBGFkZHIJAMwIAgUIYXNzZXRTdHIFA25pbAUDbmlsAwkAAAIFA2FtdAUDYW10BAdhc3NldElkAwkAAAIFCGFzc2V0U3RyAgVXQVZFUwUEdW5pdAkA2QQBBQhhc3NldFN0cgQDZGVwCQD8BwQFA3JzcgIKZGVwb3NpdEZvcgkAzAgCBQRhZGRyCQDMCAIGBQNuaWwJAMwIAgkBD0F0dGFjaGVkUGF5bWVudAIJAQtwdXJlQXNzZXRJZAEFCGFzc2V0U3RyBQNhbXQFA25pbAMJAAACBQNkZXAFA2RlcAQEcHJvcAkBDHVwZGF0ZVN0cmVhbQUFCnJlc2VydmVTdHICB2RlcG9zaXQFBGFkZHIFA2FtdAUDYW10AwkAAAIFBHByb3AFBHByb3AFBHVuaXQJAAIBAiRTdHJpY3QgdmFsdWUgaXMgbm90IGVxdWFsIHRvIGl0c2VsZi4JAAIBAiRTdHJpY3QgdmFsdWUgaXMgbm90IGVxdWFsIHRvIGl0c2VsZi4JAAIBAiRTdHJpY3QgdmFsdWUgaXMgbm90IGVxdWFsIHRvIGl0c2VsZi4BFHRyYW5zZmVyRGVidEludGVybmFsBgpsaXF1aWRhdG9yDWJvcnJvd1Jlc2VydmURY29sbGF0ZXJhbFJlc2VydmUIYm9ycm93ZXITbGlxdWlkYXRlRGVidEFtb3VudA1mcm9tUHJvdGVjdGVkBANzaDEJAQtzeW5jUmV3YXJkcwEFDWJvcnJvd1Jlc2VydmUDCQAAAgUDc2gxBQNzaDEEA3NoMgkBC3N5bmNSZXdhcmRzAQURY29sbGF0ZXJhbFJlc2VydmUDCQAAAgUDc2gyBQNzaDIDCQBnAgAABRNsaXF1aWRhdGVEZWJ0QW1vdW50CQACAQITbm9uLXBvc2l0aXZlIGFtb3VudAMJAAACBRFjb2xsYXRlcmFsUmVzZXJ2ZQUNYm9ycm93UmVzZXJ2ZQkAAgECB2NyID0gYnIDCQAAAgUKbGlxdWlkYXRvcgUIYm9ycm93ZXIJAAIBAgRzZWxmBAskdDA2NDUwNjQ4NQkBCXVzZXJQb3dlcgEFCGJvcnJvd2VyBAJicAgFCyR0MDY0NTA2NDg1Al8xBANicHUIBQskdDA2NDUwNjQ4NQJfMgMJAGYCBQJicAUDYnB1CQACAQkArAICAhEgaGVhbHRoeSB1c2VyOiB1PQUIYm9ycm93ZXIEAmJyCQEDdmxSAQUNYm9ycm93UmVzZXJ2ZQQCY3IJAQN2bFIBBRFjb2xsYXRlcmFsUmVzZXJ2ZQQLYm9ycm93QXNzZXQJARN2YWx1ZU9yRXJyb3JNZXNzYWdlAgkAnQgCBQJicgUEYUlkUwIQbm8gYXNzZXRJZCBpbiBicgQPY29sbGF0ZXJhbEFzc2V0CQETdmFsdWVPckVycm9yTWVzc2FnZQIJAJ0IAgUCY3IFBGFJZFMCEG5vIGFzc2V0SWQgaW4gY3IEDGlzQ29sbGF0ZXJhbAkBC3ZhbHVlT3JFbHNlAgkAmwgCBQJjcgkArAICBQhib3Jyb3dlcgIQX3VzZUFzQ29sbGF0ZXJhbAcDCQAAAgUMaXNDb2xsYXRlcmFsBQxpc0NvbGxhdGVyYWwDAwkBASEBBQ1mcm9tUHJvdGVjdGVkCQEBIQEFDGlzQ29sbGF0ZXJhbAcJAAIBAh5kZXBvc2l0IG5vdCB1c2VkIGFzIGNvbGxhdGVyYWwECyR0MDY5NTU3MDQ1CQELdXNlckJhbGFuY2UCBQJicgUIYm9ycm93ZXIDCQAAAgULJHQwNjk1NTcwNDUFCyR0MDY5NTU3MDQ1BAt1c2VyRGVidFVzZAgFCyR0MDY5NTU3MDQ1Al81BAh1c2VyRGVidAgFCyR0MDY5NTU3MDQ1Al80BAx1c2VyQXNzZXRVc2QIBQskdDA2OTU1NzA0NQJfMwQJdXNlckFzc2V0CAULJHQwNjk1NTcwNDUCXzIEBmlnbm9yZQgFCyR0MDY5NTU3MDQ1Al8xAwkAZwIFCXVzZXJBc3NldAUIdXNlckRlYnQJAAIBAg5wb3NpdGl2ZSBzYWxkbwMJAGcCAAAFE2xpcXVpZGF0ZURlYnRBbW91bnQJAAIBAgU8PSAwPgQGZmFjdG9yCQELdmFsdWVPckVsc2UCCQCaCAIFDWNvbmZpZ0FkZHJlc3MJAKwCAgUPY29sbGF0ZXJhbEFzc2V0AhpfTGlxdWlkYXRpb25GcmFjdGlvbkZhY3RvcgACAwkAZgIJAGgCBRNsaXF1aWRhdGVEZWJ0QW1vdW50BQZmYWN0b3IJAGUCBQh1c2VyRGVidAUJdXNlckFzc2V0CQACAQkArAICCQCsAgIJAKwCAgIibW9yZSB0aGFuIDEvZmFjdG9yIG9mIHNhbGRvOiBkZWJ0PQkApAMBBQh1c2VyRGVidAIYLCBsaXF1aWRhdGVEZWJ0QW1vdW50ID0gCQCkAwEFE2xpcXVpZGF0ZURlYnRBbW91bnQEDWNvbGxhdGVyYWxVc2QJAGsDBRNsaXF1aWRhdGVEZWJ0QW1vdW50BQt1c2VyRGVidFVzZAUIdXNlckRlYnQEDXBlbmFsdGl6ZWRVc2QJAGsDBQ1jb2xsYXRlcmFsVXNkCQBkAgULZmFjdG9yc0Jhc2UJARJsaXF1aWRhdGlvblBlbmFsdHkBBQtib3Jyb3dBc3NldAULZmFjdG9yc0Jhc2UEAm1jAwUNZnJvbVByb3RlY3RlZAkBDm1vdmVDb2xsYXRlcmFsBAUIYm9ycm93ZXIFD2NvbGxhdGVyYWxBc3NldAUCY3IFEWNvbGxhdGVyYWxSZXNlcnZlBQR1bml0AwkAAAIFAm1jBQJtYwQVdHJhbnNmZXJyZWRDb2xsYXRlcmFsCQEFYXNJbnQBCQD8BwQFAmNyAhJ0cmFuc2ZlckFUb2tlbnNGb3IJAMwIAgUIYm9ycm93ZXIJAMwIAgUKbGlxdWlkYXRvcgkAzAgCBQ1wZW5hbHRpemVkVXNkBQNuaWwFA25pbAMJAAACBRV0cmFuc2ZlcnJlZENvbGxhdGVyYWwFFXRyYW5zZmVycmVkQ29sbGF0ZXJhbAQEcFJ3MQkBCm1vdmVTdHJlYW0FBRFjb2xsYXRlcmFsUmVzZXJ2ZQIHZGVwb3NpdAUIYm9ycm93ZXIFCmxpcXVpZGF0b3IFFXRyYW5zZmVycmVkQ29sbGF0ZXJhbAMJAAACBQRwUncxBQRwUncxBA90cmFuc2ZlcnJlZERlYnQJAQVhc0ludAEJAPwHBAUCYnICD3RyYW5zZmVyRGVidEZvcgkAzAgCBQhib3Jyb3dlcgkAzAgCBQpsaXF1aWRhdG9yCQDMCAIFE2xpcXVpZGF0ZURlYnRBbW91bnQFA25pbAUDbmlsAwkAAAIFD3RyYW5zZmVycmVkRGVidAUPdHJhbnNmZXJyZWREZWJ0BARwUncyCQEKbW92ZVN0cmVhbQUFDWJvcnJvd1Jlc2VydmUCBmJvcnJvdwUIYm9ycm93ZXIFCmxpcXVpZGF0b3IFD3RyYW5zZmVycmVkRGVidAMJAAACBQRwUncyBQRwUncyBBVsaXF1aWRhdG9ySGVhbHRoQ2hlY2sDCQEIY29udGFpbnMCBQtsaXF1aWRhdG9ycwUKbGlxdWlkYXRvcgUDbmlsCQENdmFsaWRhdGVBZnRlcgIFCmxpcXVpZGF0b3ICEXRyYW5zZmVycmluZyBkZWJ0AwkAAAIFFWxpcXVpZGF0b3JIZWFsdGhDaGVjawUVbGlxdWlkYXRvckhlYWx0aENoZWNrCQCUCgIFFWxpcXVpZGF0b3JIZWFsdGhDaGVjawUVdHJhbnNmZXJyZWRDb2xsYXRlcmFsCQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuCQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuCQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuCQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuCQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuCQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuCQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuCQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuCQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuCQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuARVmb3JjZUNvbGxhcHNlSW50ZXJuYWwECmxpcXVpZGF0b3IDcnNyCGJvcnJvd2VyDWZyb21Qcm90ZWN0ZWQEDnJlc2VydmVBZGRyZXNzCQEDdmxSAQUDcnNyAwkAAAIFDnJlc2VydmVBZGRyZXNzBQ5yZXNlcnZlQWRkcmVzcwQCc2gJAQtzeW5jUmV3YXJkcwEFA3JzcgMJAAACBQJzaAUCc2gDCQAAAgUKbGlxdWlkYXRvcgUIYm9ycm93ZXIJAAIBAiRjYW4ndCBjb2xsYXBzZSBzZWxmIGluIHRoaXMgZnVuY3Rpb24ECyR0MDg2OTM4NzI4CQEJdXNlclBvd2VyAQUIYm9ycm93ZXIEAmJwCAULJHQwODY5Mzg3MjgCXzEEA2JwdQgFCyR0MDg2OTM4NzI4Al8yAwkAZgIFAmJwBQNicHUJAAIBCQCsAgICImNhbid0IGZvcmNlIGNvbGxhcHNlIGhlYWx0aHkgdXNlciAFCGJvcnJvd2VyBAVhc3NldAkBE3ZhbHVlT3JFcnJvck1lc3NhZ2UCCQCdCAIFDnJlc2VydmVBZGRyZXNzBQRhSWRTCQCsAgICGG5vIGFzc2V0SWQgZmllbGQgaW4gcnNyIAUDcnNyBAJtYwMFDWZyb21Qcm90ZWN0ZWQJAQ5tb3ZlQ29sbGF0ZXJhbAQFCGJvcnJvd2VyBQVhc3NldAUOcmVzZXJ2ZUFkZHJlc3MFA3JzcgUEdW5pdAMJAAACBQJtYwUCbWMECyR0MDkwMzA5MTM4CQELdXNlckJhbGFuY2UCBQ5yZXNlcnZlQWRkcmVzcwUIYm9ycm93ZXIDCQAAAgULJHQwOTAzMDkxMzgFCyR0MDkwMzA5MTM4BAt1c2VyRGVidFVzZAgFCyR0MDkwMzA5MTM4Al81BAh1c2VyRGVidAgFCyR0MDkwMzA5MTM4Al80BAx1c2VyQXNzZXRVc2QIBQskdDA5MDMwOTEzOAJfMwQPYm9ycm93ZXJEZXBvc2l0CAULJHQwOTAzMDkxMzgCXzIEBmlnbm9yZQgFCyR0MDkwMzA5MTM4Al8xBA1wZW5hbHRpemVkVXNkCQBrAwkAlwMBCQDMCAIFDHVzZXJBc3NldFVzZAkAzAgCBQt1c2VyRGVidFVzZAUDbmlsBQ9jb2xsYXBzZVBlbmFsdHkFC2ZhY3RvcnNCYXNlBBF0cmFuc2ZlcnJlZEFzc2V0cwkBBWFzSW50AQkA/AcEBQ5yZXNlcnZlQWRkcmVzcwISdHJhbnNmZXJBVG9rZW5zRm9yCQDMCAIFCGJvcnJvd2VyCQDMCAIFCmxpcXVpZGF0b3IJAMwIAgUNcGVuYWx0aXplZFVzZAUDbmlsBQNuaWwDCQAAAgURdHJhbnNmZXJyZWRBc3NldHMFEXRyYW5zZmVycmVkQXNzZXRzBARwUncxCQEKbW92ZVN0cmVhbQUFA3JzcgIHZGVwb3NpdAUIYm9ycm93ZXIFCmxpcXVpZGF0b3IFEXRyYW5zZmVycmVkQXNzZXRzAwkAAAIFBHBSdzEFBHBSdzEECWNvbGxhcHNlZAkBBWFzSW50AQkA/AcEBQ5yZXNlcnZlQWRkcmVzcwILY29sbGFwc2VGb3IJAMwIAgUIYm9ycm93ZXIFA25pbAUDbmlsAwkAAAIFCWNvbGxhcHNlZAUJY29sbGFwc2VkBARwUncyCQEMdXBkYXRlU3RyZWFtBQUDcnNyAgZib3Jyb3cFCGJvcnJvd2VyCQEBLQEFCWNvbGxhcHNlZAkBAS0BBQljb2xsYXBzZWQDCQAAAgUEcFJ3MgUEcFJ3MgQEcFJ3MwkBDHVwZGF0ZVN0cmVhbQUFA3JzcgIHZGVwb3NpdAUIYm9ycm93ZXIJAQEtAQUJY29sbGFwc2VkCQEBLQEFCWNvbGxhcHNlZAMJAAACBQRwUnczBQRwUnczBQNuaWwJAAIBAiRTdHJpY3QgdmFsdWUgaXMgbm90IGVxdWFsIHRvIGl0c2VsZi4JAAIBAiRTdHJpY3QgdmFsdWUgaXMgbm90IGVxdWFsIHRvIGl0c2VsZi4JAAIBAiRTdHJpY3QgdmFsdWUgaXMgbm90IGVxdWFsIHRvIGl0c2VsZi4JAAIBAiRTdHJpY3QgdmFsdWUgaXMgbm90IGVxdWFsIHRvIGl0c2VsZi4JAAIBAiRTdHJpY3QgdmFsdWUgaXMgbm90IGVxdWFsIHRvIGl0c2VsZi4JAAIBAiRTdHJpY3QgdmFsdWUgaXMgbm90IGVxdWFsIHRvIGl0c2VsZi4JAAIBAiRTdHJpY3QgdmFsdWUgaXMgbm90IGVxdWFsIHRvIGl0c2VsZi4JAAIBAiRTdHJpY3QgdmFsdWUgaXMgbm90IGVxdWFsIHRvIGl0c2VsZi4JAAIBAiRTdHJpY3QgdmFsdWUgaXMgbm90IGVxdWFsIHRvIGl0c2VsZi4FAWkBCmluaXRpYWxpemUBAmNhCQDMCAIJARB3cml0ZUNvbnN0U3RyaW5nAgULY29uZmlnU3RvcmUFAmNhBQNuaWwBaQEMdHJhbnNmZXJEZWJ0BAJicgJjcgFiAmxhCQEUdHJhbnNmZXJEZWJ0SW50ZXJuYWwGCQClCAEIBQFpBmNhbGxlcgUCYnIFAmNyBQFiBQJsYQcBaQENdHJhbnNmZXJEZWJ0MgQCYnICY3IBYgJsYQkBFHRyYW5zZmVyRGVidEludGVybmFsBgkApQgBCAUBaQZjYWxsZXIFAmJyBQJjcgUBYgUCbGEGAWkBDWZvcmNlQ29sbGFwc2UCAXIBYgkBFWZvcmNlQ29sbGFwc2VJbnRlcm5hbAQJAKUIAQgFAWkGY2FsbGVyBQFyBQFiBwFpAQ5mb3JjZUNvbGxhcHNlMgIBcgFiCQEVZm9yY2VDb2xsYXBzZUludGVybmFsBAkApQgBCAUBaQZjYWxsZXIFAXIFAWIGAQJ0eAEGdmVyaWZ5AAQSbWF5YmVPcmFjbGVBZGRyZXNzBAckbWF0Y2gwCQCdCAIFDWNvbmZpZ0FkZHJlc3MCDm9yYWNsZV9hZGRyZXNzAwkAAQIFByRtYXRjaDACBlN0cmluZwQBcwUHJG1hdGNoMAkApggBBQFzBQR1bml0BAZIRUlHSFQFBmhlaWdodAQEQkFTRQDoBwQLcXVvcnVtUmF0aW8JARN2YWx1ZU9yRXJyb3JNZXNzYWdlAgkAmggCBQ1jb25maWdBZGRyZXNzAhVwcm9wb3NhbF9xdW9ydW1fcmF0aW8CInByb3Bvc2FsUXVvcnVtUmF0aW8gaXMgbm90IGRlZmluZWQEC3Bhc3NlZFJhdGlvCQETdmFsdWVPckVycm9yTWVzc2FnZQIJAJoIAgUNY29uZmlnQWRkcmVzcwIVcHJvcG9zYWxfcGFzc2VkX3JhdGlvAiVwcm9wb3NhbFRocmVzaG9sZFJhdGlvIGlzIG5vdCBkZWZpbmVkBA5nVmlyZXNDb250cmFjdAkBE3ZhbHVlT3JFcnJvck1lc3NhZ2UCCQCmCAEJARN2YWx1ZU9yRXJyb3JNZXNzYWdlAgkAnQgCBQ1jb25maWdBZGRyZXNzAhJkaXZpZGVuZHNfY29udHJhY3QCFW5vIGRpdmlkZW5kc19jb250cmFjdAIaaW52YWxpZCBkaXZpZGVuZHNfY29udHJhY3QEDnZvdGluZ0NvbnRyYWN0CQETdmFsdWVPckVycm9yTWVzc2FnZQIJAKYIAQkBE3ZhbHVlT3JFcnJvck1lc3NhZ2UCCQCdCAIFDWNvbmZpZ0FkZHJlc3MCD3ZvdGluZ19jb250cmFjdAISbm8gdm90aW5nX2NvbnRyYWN0AhdpbnZhbGlkIHZvdGluZ19jb250cmFjdAQCaWQJANgEAQgFAnR4AmlkBAh2b3Rlc1llcwkBC3ZhbHVlT3JFbHNlAgkAmggCBQ52b3RpbmdDb250cmFjdAkArAICAg1wcm9wb3NhbF95ZXNfBQJpZAAABAd2b3Rlc05vCQELdmFsdWVPckVsc2UCCQCaCAIFDnZvdGluZ0NvbnRyYWN0CQCsAgICDHByb3Bvc2FsX25vXwUCaWQAAAQOcHJvcG9zYWxIZWlnaHQJARN2YWx1ZU9yRXJyb3JNZXNzYWdlAgkAmggCBQ52b3RpbmdDb250cmFjdAkArAICAhBwcm9wb3NhbF9oZWlnaHRfBQJpZAIXcHJvcG9zYWwgbm90IHJlZ2lzdGVyZWQECmFwcGx5U3RhcnQJAQt2YWx1ZU9yRWxzZQIJAJoIAgUOdm90aW5nQ29udHJhY3QJAKwCAgIUcHJvcG9zYWxfYXBwbHlzdGFydF8FAmlkAAAECGFwcGx5RW5kCQELdmFsdWVPckVsc2UCCQCaCAIFDnZvdGluZ0NvbnRyYWN0CQCsAgICEnByb3Bvc2FsX2FwcGx5ZW5kXwUCaWQAAAQLdG90YWxHVmlyZXMJAQt2YWx1ZU9yRWxzZQIJAJoIAgUOdm90aW5nQ29udHJhY3QJAKwCAgIQcHJvcG9zYWxfZ3ZpcmVzXwUCaWQAAAQHZW5hYmxlZAkBC3ZhbHVlT3JFbHNlAgkAmwgCBQ1jb25maWdBZGRyZXNzAh1vcF9nb3Zlcm5hbmNlX2FwcGx5X3R4X3BhdXNlZAcEB3ZvdGVZZXMFCHZvdGVzWWVzBAZ2b3RlTm8FB3ZvdGVzTm8ECnRvdGFsVm90ZXMJAGQCBQd2b3RlWWVzBQZ2b3RlTm8ECWhhc1F1b3J1bQkAZwIJAGkCCQBoAgUKdG90YWxWb3RlcwUEQkFTRQULdG90YWxHVmlyZXMFC3F1b3J1bVJhdGlvBAloYXNQYXNzZWQJAGcCCQBpAgkAaAIFB3ZvdGVZZXMFBEJBU0UFCnRvdGFsVm90ZXMFC3Bhc3NlZFJhdGlvBAh0b29FYXJseQkAZwIFCmFwcGx5U3RhcnQFBkhFSUdIVAQHdG9vTGF0ZQkAZwIFBkhFSUdIVAUIYXBwbHlFbmQECXRpbWVEZWJ1ZwkArAICCQCsAgIJAKwCAgkArAICCQCsAgIJAKwCAgkArAICAhFwcm9wb3NhbEhlaWdodCA9IAkApAMBBQ5wcm9wb3NhbEhlaWdodAIPLCBhcHBseVN0YXJ0ID0gCQCkAwEFCmFwcGx5U3RhcnQCDSwgYXBwbHlFbmQgPSAJAKQDAQUIYXBwbHlFbmQCCywgSEVJR0hUID0gCQCkAwEFBkhFSUdIVAQIYnlWb3RpbmcDCQEBIQEFB2VuYWJsZWQJAAIBAit0eCBhcHBsaWNhdGlvbiB0aHJvdyBnb3Zlcm5hbmNlIG5vdCBlbmFibGVkAwUIdG9vRWFybHkJAAIBCQCsAgICLnByb3Bvc2FsIGNhbid0IGJlIGV4ZWN1dGVkIGFzIGl0J3MgdG9vIGVhcmx5OiAFCXRpbWVEZWJ1ZwMFB3Rvb0xhdGUJAAIBCQCsAgICLHByb3Bvc2FsIGNhbid0IGJlIGV4ZWN1dGVkIGFzIGl0J3MgdG9vIGxhdGU6BQl0aW1lRGVidWcDCQEBIQEFCWhhc1F1b3J1bQkAAgEJAKwCAgkArAICCQCsAgIJAKwCAgkArAICCQCsAgICC25vIHF1b3J1bTogAgx0b3RhbFZvdGVzOiAJAKQDAQUKdG90YWxWb3RlcwIPLCB0b3RhbEdWaXJlczogCQCkAwEFC3RvdGFsR1ZpcmVzAg8sIHF1b3J1bVJhdGlvOiAJAKQDAQULcXVvcnVtUmF0aW8DCQEBIQEFCWhhc1Bhc3NlZAkAAgEJAKwCAgkArAICCQCsAgIJAKwCAgkArAICCQCsAgICF25vIHRocmVzaG9sZCBhY2hpZXZlZDogAgl2b3RlWWVzOiAJAKQDAQUHdm90ZVllcwIKLCB2b3RlTm86IAkApAMBBQZ2b3RlTm8CDywgcGFzc2VkUmF0aW86IAkApAMBBQtwYXNzZWRSYXRpbwYDCQD0AwMIBQJ0eAlib2R5Qnl0ZXMJAJEDAggFAnR4BnByb29mcwAACAUCdHgPc2VuZGVyUHVibGljS2V5BgUIYnlWb3RpbmeUMAjV",
    "chainId": 87,
    "height": 3485882,
    "applicationStatus": "succeeded",
    "spentComplexity": 0
}

View: original | compacted
Prev: E7Li1cyWJz9563habY8cE5sB73nenFPp7JXsgpNczc9L
Next: 6WJEpXwRfMohXb2qKQdw6sTokVU2pbYjYzLYiWx1vTBV

Diff: 
Old New Differences
423 423  func forceCollapse2 (r,b) = forceCollapseInternal(toString(i.caller), r, b, true)
424 424  
425 425  
426 + @Verifier(tx)
427 + func verify () = {
428 +     let maybeOracleAddress =     match getString(configAddress, "oracle_address") {
429 +         case s: String => 
430 +             addressFromString(s)
431 +         case _ => 
432 +             unit
433 +     }
434 +     let HEIGHT = height
435 +     let BASE = 1000
436 +     let quorumRatio = valueOrErrorMessage(getInteger(configAddress, "proposal_quorum_ratio"), "proposalQuorumRatio is not defined")
437 +     let passedRatio = valueOrErrorMessage(getInteger(configAddress, "proposal_passed_ratio"), "proposalThresholdRatio is not defined")
438 +     let gViresContract = valueOrErrorMessage(addressFromString(valueOrErrorMessage(getString(configAddress, "dividends_contract"), "no dividends_contract")), "invalid dividends_contract")
439 +     let votingContract = valueOrErrorMessage(addressFromString(valueOrErrorMessage(getString(configAddress, "voting_contract"), "no voting_contract")), "invalid voting_contract")
440 +     let id = toBase58String(tx.id)
441 +     let votesYes = valueOrElse(getInteger(votingContract, ("proposal_yes_" + id)), 0)
442 +     let votesNo = valueOrElse(getInteger(votingContract, ("proposal_no_" + id)), 0)
443 +     let proposalHeight = valueOrErrorMessage(getInteger(votingContract, ("proposal_height_" + id)), "proposal not registered")
444 +     let applyStart = valueOrElse(getInteger(votingContract, ("proposal_applystart_" + id)), 0)
445 +     let applyEnd = valueOrElse(getInteger(votingContract, ("proposal_applyend_" + id)), 0)
446 +     let totalGVires = valueOrElse(getInteger(votingContract, ("proposal_gvires_" + id)), 0)
447 +     let enabled = valueOrElse(getBoolean(configAddress, "op_governance_apply_tx_paused"), false)
448 +     let voteYes = votesYes
449 +     let voteNo = votesNo
450 +     let totalVotes = (voteYes + voteNo)
451 +     let hasQuorum = (((totalVotes * BASE) / totalGVires) >= quorumRatio)
452 +     let hasPassed = (((voteYes * BASE) / totalVotes) >= passedRatio)
453 +     let tooEarly = (applyStart >= HEIGHT)
454 +     let tooLate = (HEIGHT >= applyEnd)
455 +     let timeDebug = ((((((("proposalHeight = " + toString(proposalHeight)) + ", applyStart = ") + toString(applyStart)) + ", applyEnd = ") + toString(applyEnd)) + ", HEIGHT = ") + toString(HEIGHT))
456 +     let byVoting = if (!(enabled))
457 +         then throw("tx application throw governance not enabled")
458 +         else if (tooEarly)
459 +             then throw(("proposal can't be executed as it's too early: " + timeDebug))
460 +             else if (tooLate)
461 +                 then throw(("proposal can't be executed as it's too late:" + timeDebug))
462 +                 else if (!(hasQuorum))
463 +                     then throw((((((("no quorum: " + "totalVotes: ") + toString(totalVotes)) + ", totalGVires: ") + toString(totalGVires)) + ", quorumRatio: ") + toString(quorumRatio)))
464 +                     else if (!(hasPassed))
465 +                         then throw((((((("no threshold achieved: " + "voteYes: ") + toString(voteYes)) + ", voteNo: ") + toString(voteNo)) + ", passedRatio: ") + toString(passedRatio)))
466 +                         else true
467 +     if (sigVerify(tx.bodyBytes, tx.proofs[0], tx.senderPublicKey))
468 +         then true
469 +         else byVoting
470 +     }
471 + 
Full: 
Old New Differences
1 1  {-# STDLIB_VERSION 6 #-}
2 2  {-# SCRIPT_TYPE ACCOUNT #-}
3 3  {-# CONTENT_TYPE DAPP #-}
4 4  let factorsBase = 1000
5 5  
6 6  func fCi (value,numerator,denominator) = {
7 7      let cand = fraction(value, numerator, denominator)
8 8      let D = 3037000499
9 9      let exact = ((((cand % D) * (denominator % D)) % D) == (((value % D) * (numerator % D)) % D))
10 10      if (exact)
11 11          then cand
12 12          else (cand + 1)
13 13      }
14 14  
15 15  
16 16  func writeConstString (key,value) = if (!(isDefined(getString(this, key))))
17 17      then StringEntry(key, value)
18 18      else throw(("already initialized: " + key))
19 19  
20 20  
21 21  func asInt (value) = match value {
22 22      case int: Int => 
23 23          int
24 24      case _ => 
25 25          throw("m2:1")
26 26  }
27 27  
28 28  
29 29  func asInt3 (value) = match value {
30 30      case x: (Int, Int, Int) => 
31 31          x
32 32      case t => 
33 33          throw("2")
34 34  }
35 35  
36 36  
37 37  func asUserBalanceData (value) = match value {
38 38      case x: (Int, Int, Int, Int, Int, Boolean) => 
39 39          x
40 40      case t => 
41 41          throw("3")
42 42  }
43 43  
44 44  
45 45  let configStore = "config"
46 46  
47 47  let reservesStore = "reserves"
48 48  
49 49  let aTIdS = "aTokenId"
50 50  
51 51  let aIdS = "assetId"
52 52  
53 53  let configAddress = addressFromStringValue(getStringValue(this, configStore))
54 54  
55 55  let reservesStr = valueOrErrorMessage(getString(configAddress, "primary_reserves"), "no reserves registered")
56 56  
57 57  let reserves = split_4C(reservesStr, "|")
58 58  
59 59  let mVD = match getString(configAddress, "vires_distributor") {
60 60      case d: String => 
61 61          addressFromStringValue(d)
62 62      case _ => 
63 63          unit
64 64  }
65 65  
66 66  func assetIdOfReserve (rsr) = valueOrErrorMessage(getString(rsr, aIdS), "no assetId in reserve")
67 67  
68 68  
69 69  func collateralFactor (rsr) = valueOrErrorMessage(getInteger(configAddress, (assetIdOfReserve(rsr) + "_CollateralFactor")), "no 1")
70 70  
71 71  
72 72  func liquidationThreshold (rsr) = valueOrErrorMessage(getInteger(configAddress, (assetIdOfReserve(rsr) + "_LiquidationThreshold")), "no 2")
73 73  
74 74  
75 75  func liquidationPenalty (assetId) = valueOrErrorMessage(getInteger(configAddress, (assetId + "_LiquidationPenalty")), "no 3")
76 76  
77 77  
78 78  let accountHealthThreshold = valueOrErrorMessage(getInteger(configAddress, "account_health_threshold"), "no 4")
79 79  
80 80  let accountHealthOverlap = valueOrErrorMessage(getInteger(configAddress, "account_health_overlap"), "no 5")
81 81  
82 82  let collapsePenalty = valueOrErrorMessage(getInteger(configAddress, "collapse_penalty"), "no 6")
83 83  
84 84  let liquidators = valueOrElse(getString(configAddress, "liquidators"), "")
85 85  
86 86  func vlR (r) = if (contains(reservesStr, r))
87 87      then valueOrErrorMessage(addressFromString(r), "main: bad rsr")
88 88      else throw(("unknown rsr:" + r))
89 89  
90 90  
91 91  func userBalance (rsr,user) = asUserBalanceData(invoke(rsr, "userBalance", [user], nil))
92 92  
93 93  
94 94  let maybeProtected = match getString(configAddress, "protected_reserve") {
95 95      case pds: String => 
96 96          valueOrErrorMessage(addressFromString(pds), "bad protected")
97 97      case _ => 
98 98          unit
99 99  }
100 100  
101 101  func userPower (user) = {
102 102      let protectedDeposit =     match maybeProtected {
103 103          case pa: Address => 
104 104              asInt(invoke(pa, "borrowPower", [user], nil))
105 105          case _ => 
106 106              0
107 107      }
108 108      func fold (totals,r) =     {
109 109          let $t029382984 = totals
110 110          let totalD = $t029382984._1
111 111          let totalB = $t029382984._2
112 112          let numberOfBorrows = $t029382984._3
113 113          let rsr = valueOrErrorMessage(addressFromString(r), "rsr bad address")
114 114          let cf = collateralFactor(rsr)
115 115          let lt = liquidationThreshold(rsr)
116 116          let $t031383222 = userBalance(rsr, user)
117 117          let token = $t031383222._1
118 118          let asset = $t031383222._2
119 119          let depositUsd = $t031383222._3
120 120          let debt = $t031383222._4
121 121          let debtUsd = $t031383222._5
122 122          let asCollateral = $t031383222._6
123 123          let totalBorrows = (numberOfBorrows + (if ((debt > 0))
124 124              then 1
125 125              else 0))
126 126          let effectiveDepositUsd = if (asCollateral)
127 127              then depositUsd
128 128              else 0
129 129          let overlapUsd = min([debtUsd, effectiveDepositUsd])
130 130          let overlapCharge = fCi(overlapUsd, accountHealthOverlap, factorsBase)
131 131          if ((debtUsd > effectiveDepositUsd))
132 132              then $Tuple3(totalD, ((totalB + fraction((debtUsd - effectiveDepositUsd), factorsBase, lt)) + overlapCharge), totalBorrows)
133 133              else $Tuple3((totalD + fraction((effectiveDepositUsd - debtUsd), cf, factorsBase)), (totalB + overlapCharge), totalBorrows)
134 134          }
135 135  
136 136      let r = {
137 137          let $l = reserves
138 138          let $s = size($l)
139 139          let $acc0 = $Tuple3(protectedDeposit, 0, 0)
140 140          func $f0_1 ($a,$i) =         if (($i >= $s))
141 141              then $a
142 142              else fold($a, $l[$i])
143 143  
144 144          func $f0_2 ($a,$i) =         if (($i >= $s))
145 145              then $a
146 146              else throw("List size exceeds 20")
147 147  
148 148          $f0_2($f0_1($f0_1($f0_1($f0_1($f0_1($f0_1($f0_1($f0_1($f0_1($f0_1($f0_1($f0_1($f0_1($f0_1($f0_1($f0_1($f0_1($f0_1($f0_1($f0_1($acc0, 0), 1), 2), 3), 4), 5), 6), 7), 8), 9), 10), 11), 12), 13), 14), 15), 16), 17), 18), 19), 20)
149 149          }
150 150      if (if ((protectedDeposit > 0))
151 151          then (r._3 > 4)
152 152          else false)
153 153          then throw("can't have more than 4 borrows")
154 154          else r
155 155      }
156 156  
157 157  
158 158  func getUserHealth (account) = {
159 159      let $t039774028 = asInt3(userPower(account))
160 160      let bp = $t039774028._1
161 161      let bpu = $t039774028._2
162 162      let ignore = $t039774028._3
163 163      ((("bp:" + toString(bp)) + ", bpu:") + toString(bpu))
164 164      }
165 165  
166 166  
167 167  func validateAfter (user,op) = {
168 168      let $t041394170 = userPower(user)
169 169      let bp = $t041394170._1
170 170      let bpu = $t041394170._2
171 171      let accHealth = (((bp - bpu) * factorsBase) / bp)
172 172      if (if ((bp == 0))
173 173          then (bpu == 0)
174 174          else false)
175 175          then nil
176 176          else if (if ((bp == 0))
177 177              then (bpu > 0)
178 178              else false)
179 179              then throw(((op + ": breaching liquidation threshold(bp=0, bpu=") + toString(bpu)))
180 180              else if ((accountHealthThreshold > accHealth))
181 181                  then throw((((((((op + ": breaching liquidation threshold(bp=") + toString(bp)) + ", bpu=") + toString(bpu)) + ", health=") + toString(accHealth)) + ")"))
182 182                  else nil
183 183      }
184 184  
185 185  
186 186  func updateStream (rsr,action,user,userChange,streamChange) = match mVD {
187 187      case a: Address => 
188 188          invoke(a, "onAction", [rsr, action, user, userChange, streamChange], nil)
189 189      case _ => 
190 190          unit
191 191  }
192 192  
193 193  
194 194  func moveStream (rsr,action,from,string,amt) = match mVD {
195 195      case a: Address => 
196 196          invoke(a, "move", [rsr, action, from, string, amt], nil)
197 197      case _ => 
198 198          unit
199 199  }
200 200  
201 201  
202 202  func syncRewards (rsr) = match mVD {
203 203      case a: Address => 
204 204          invoke(a, "syncHeight", [rsr], nil)
205 205      case _ => 
206 206          unit
207 207  }
208 208  
209 209  
210 210  func pureAssetId (assetId) = {
211 211      let i = split(assetId, "_")[0]
212 212      if ((i == "WAVES"))
213 213          then unit
214 214          else fromBase58String(i)
215 215      }
216 216  
217 217  
218 218  func moveCollateral (addr,assetStr,rsr,reserveStr) = {
219 219      let protectedReserve = valueOrErrorMessage(maybeProtected, "no protected rsr")
220 220      let amt = asInt(invoke(protectedReserve, "withdrawToMain", [addr, assetStr], nil))
221 221      if ((amt == amt))
222 222          then {
223 223              let assetId = if ((assetStr == "WAVES"))
224 224                  then unit
225 225                  else fromBase58String(assetStr)
226 226              let dep = invoke(rsr, "depositFor", [addr, true], [AttachedPayment(pureAssetId(assetStr), amt)])
227 227              if ((dep == dep))
228 228                  then {
229 229                      let prop = updateStream(reserveStr, "deposit", addr, amt, amt)
230 230                      if ((prop == prop))
231 231                          then unit
232 232                          else throw("Strict value is not equal to itself.")
233 233                      }
234 234                  else throw("Strict value is not equal to itself.")
235 235              }
236 236          else throw("Strict value is not equal to itself.")
237 237      }
238 238  
239 239  
240 240  func transferDebtInternal (liquidator,borrowReserve,collateralReserve,borrower,liquidateDebtAmount,fromProtected) = {
241 241      let sh1 = syncRewards(borrowReserve)
242 242      if ((sh1 == sh1))
243 243          then {
244 244              let sh2 = syncRewards(collateralReserve)
245 245              if ((sh2 == sh2))
246 246                  then if ((0 >= liquidateDebtAmount))
247 247                      then throw("non-positive amount")
248 248                      else if ((collateralReserve == borrowReserve))
249 249                          then throw("cr = br")
250 250                          else if ((liquidator == borrower))
251 251                              then throw("self")
252 252                              else {
253 253                                  let $t064506485 = userPower(borrower)
254 254                                  let bp = $t064506485._1
255 255                                  let bpu = $t064506485._2
256 256                                  if ((bp > bpu))
257 257                                      then throw((" healthy user: u=" + borrower))
258 258                                      else {
259 259                                          let br = vlR(borrowReserve)
260 260                                          let cr = vlR(collateralReserve)
261 261                                          let borrowAsset = valueOrErrorMessage(getString(br, aIdS), "no assetId in br")
262 262                                          let collateralAsset = valueOrErrorMessage(getString(cr, aIdS), "no assetId in cr")
263 263                                          let isCollateral = valueOrElse(getBoolean(cr, (borrower + "_useAsCollateral")), false)
264 264                                          if ((isCollateral == isCollateral))
265 265                                              then if (if (!(fromProtected))
266 266                                                  then !(isCollateral)
267 267                                                  else false)
268 268                                                  then throw("deposit not used as collateral")
269 269                                                  else {
270 270                                                      let $t069557045 = userBalance(br, borrower)
271 271                                                      if (($t069557045 == $t069557045))
272 272                                                          then {
273 273                                                              let userDebtUsd = $t069557045._5
274 274                                                              let userDebt = $t069557045._4
275 275                                                              let userAssetUsd = $t069557045._3
276 276                                                              let userAsset = $t069557045._2
277 277                                                              let ignore = $t069557045._1
278 278                                                              if ((userAsset >= userDebt))
279 279                                                                  then throw("positive saldo")
280 280                                                                  else if ((0 >= liquidateDebtAmount))
281 281                                                                      then throw("<= 0>")
282 282                                                                      else {
283 283                                                                          let factor = valueOrElse(getInteger(configAddress, (collateralAsset + "_LiquidationFractionFactor")), 2)
284 284                                                                          if (((liquidateDebtAmount * factor) > (userDebt - userAsset)))
285 285                                                                              then throw(((("more than 1/factor of saldo: debt=" + toString(userDebt)) + ", liquidateDebtAmount = ") + toString(liquidateDebtAmount)))
286 286                                                                              else {
287 287                                                                                  let collateralUsd = fraction(liquidateDebtAmount, userDebtUsd, userDebt)
288 288                                                                                  let penaltizedUsd = fraction(collateralUsd, (factorsBase + liquidationPenalty(borrowAsset)), factorsBase)
289 289                                                                                  let mc = if (fromProtected)
290 290                                                                                      then moveCollateral(borrower, collateralAsset, cr, collateralReserve)
291 291                                                                                      else unit
292 292                                                                                  if ((mc == mc))
293 293                                                                                      then {
294 294                                                                                          let transferredCollateral = asInt(invoke(cr, "transferATokensFor", [borrower, liquidator, penaltizedUsd], nil))
295 295                                                                                          if ((transferredCollateral == transferredCollateral))
296 296                                                                                              then {
297 297                                                                                                  let pRw1 = moveStream(collateralReserve, "deposit", borrower, liquidator, transferredCollateral)
298 298                                                                                                  if ((pRw1 == pRw1))
299 299                                                                                                      then {
300 300                                                                                                          let transferredDebt = asInt(invoke(br, "transferDebtFor", [borrower, liquidator, liquidateDebtAmount], nil))
301 301                                                                                                          if ((transferredDebt == transferredDebt))
302 302                                                                                                              then {
303 303                                                                                                                  let pRw2 = moveStream(borrowReserve, "borrow", borrower, liquidator, transferredDebt)
304 304                                                                                                                  if ((pRw2 == pRw2))
305 305                                                                                                                      then {
306 306                                                                                                                          let liquidatorHealthCheck = if (contains(liquidators, liquidator))
307 307                                                                                                                              then nil
308 308                                                                                                                              else validateAfter(liquidator, "transferring debt")
309 309                                                                                                                          if ((liquidatorHealthCheck == liquidatorHealthCheck))
310 310                                                                                                                              then $Tuple2(liquidatorHealthCheck, transferredCollateral)
311 311                                                                                                                              else throw("Strict value is not equal to itself.")
312 312                                                                                                                          }
313 313                                                                                                                      else throw("Strict value is not equal to itself.")
314 314                                                                                                                  }
315 315                                                                                                              else throw("Strict value is not equal to itself.")
316 316                                                                                                          }
317 317                                                                                                      else throw("Strict value is not equal to itself.")
318 318                                                                                                  }
319 319                                                                                              else throw("Strict value is not equal to itself.")
320 320                                                                                          }
321 321                                                                                      else throw("Strict value is not equal to itself.")
322 322                                                                                  }
323 323                                                                          }
324 324                                                              }
325 325                                                          else throw("Strict value is not equal to itself.")
326 326                                                      }
327 327                                              else throw("Strict value is not equal to itself.")
328 328                                          }
329 329                                  }
330 330                  else throw("Strict value is not equal to itself.")
331 331              }
332 332          else throw("Strict value is not equal to itself.")
333 333      }
334 334  
335 335  
336 336  func forceCollapseInternal (liquidator,rsr,borrower,fromProtected) = {
337 337      let reserveAddress = vlR(rsr)
338 338      if ((reserveAddress == reserveAddress))
339 339          then {
340 340              let sh = syncRewards(rsr)
341 341              if ((sh == sh))
342 342                  then if ((liquidator == borrower))
343 343                      then throw("can't collapse self in this function")
344 344                      else {
345 345                          let $t086938728 = userPower(borrower)
346 346                          let bp = $t086938728._1
347 347                          let bpu = $t086938728._2
348 348                          if ((bp > bpu))
349 349                              then throw(("can't force collapse healthy user " + borrower))
350 350                              else {
351 351                                  let asset = valueOrErrorMessage(getString(reserveAddress, aIdS), ("no assetId field in rsr " + rsr))
352 352                                  let mc = if (fromProtected)
353 353                                      then moveCollateral(borrower, asset, reserveAddress, rsr)
354 354                                      else unit
355 355                                  if ((mc == mc))
356 356                                      then {
357 357                                          let $t090309138 = userBalance(reserveAddress, borrower)
358 358                                          if (($t090309138 == $t090309138))
359 359                                              then {
360 360                                                  let userDebtUsd = $t090309138._5
361 361                                                  let userDebt = $t090309138._4
362 362                                                  let userAssetUsd = $t090309138._3
363 363                                                  let borrowerDeposit = $t090309138._2
364 364                                                  let ignore = $t090309138._1
365 365                                                  let penaltizedUsd = fraction(min([userAssetUsd, userDebtUsd]), collapsePenalty, factorsBase)
366 366                                                  let transferredAssets = asInt(invoke(reserveAddress, "transferATokensFor", [borrower, liquidator, penaltizedUsd], nil))
367 367                                                  if ((transferredAssets == transferredAssets))
368 368                                                      then {
369 369                                                          let pRw1 = moveStream(rsr, "deposit", borrower, liquidator, transferredAssets)
370 370                                                          if ((pRw1 == pRw1))
371 371                                                              then {
372 372                                                                  let collapsed = asInt(invoke(reserveAddress, "collapseFor", [borrower], nil))
373 373                                                                  if ((collapsed == collapsed))
374 374                                                                      then {
375 375                                                                          let pRw2 = updateStream(rsr, "borrow", borrower, -(collapsed), -(collapsed))
376 376                                                                          if ((pRw2 == pRw2))
377 377                                                                              then {
378 378                                                                                  let pRw3 = updateStream(rsr, "deposit", borrower, -(collapsed), -(collapsed))
379 379                                                                                  if ((pRw3 == pRw3))
380 380                                                                                      then nil
381 381                                                                                      else throw("Strict value is not equal to itself.")
382 382                                                                                  }
383 383                                                                              else throw("Strict value is not equal to itself.")
384 384                                                                          }
385 385                                                                      else throw("Strict value is not equal to itself.")
386 386                                                                  }
387 387                                                              else throw("Strict value is not equal to itself.")
388 388                                                          }
389 389                                                      else throw("Strict value is not equal to itself.")
390 390                                                  }
391 391                                              else throw("Strict value is not equal to itself.")
392 392                                          }
393 393                                      else throw("Strict value is not equal to itself.")
394 394                                  }
395 395                          }
396 396                  else throw("Strict value is not equal to itself.")
397 397              }
398 398          else throw("Strict value is not equal to itself.")
399 399      }
400 400  
401 401  
402 402  @Callable(i)
403 403  func initialize (ca) = [writeConstString(configStore, ca)]
404 404  
405 405  
406 406  
407 407  @Callable(i)
408 408  func transferDebt (br,cr,b,la) = transferDebtInternal(toString(i.caller), br, cr, b, la, false)
409 409  
410 410  
411 411  
412 412  @Callable(i)
413 413  func transferDebt2 (br,cr,b,la) = transferDebtInternal(toString(i.caller), br, cr, b, la, true)
414 414  
415 415  
416 416  
417 417  @Callable(i)
418 418  func forceCollapse (r,b) = forceCollapseInternal(toString(i.caller), r, b, false)
419 419  
420 420  
421 421  
422 422  @Callable(i)
423 423  func forceCollapse2 (r,b) = forceCollapseInternal(toString(i.caller), r, b, true)
424 424  
425 425  
426 + @Verifier(tx)
427 + func verify () = {
428 +     let maybeOracleAddress =     match getString(configAddress, "oracle_address") {
429 +         case s: String => 
430 +             addressFromString(s)
431 +         case _ => 
432 +             unit
433 +     }
434 +     let HEIGHT = height
435 +     let BASE = 1000
436 +     let quorumRatio = valueOrErrorMessage(getInteger(configAddress, "proposal_quorum_ratio"), "proposalQuorumRatio is not defined")
437 +     let passedRatio = valueOrErrorMessage(getInteger(configAddress, "proposal_passed_ratio"), "proposalThresholdRatio is not defined")
438 +     let gViresContract = valueOrErrorMessage(addressFromString(valueOrErrorMessage(getString(configAddress, "dividends_contract"), "no dividends_contract")), "invalid dividends_contract")
439 +     let votingContract = valueOrErrorMessage(addressFromString(valueOrErrorMessage(getString(configAddress, "voting_contract"), "no voting_contract")), "invalid voting_contract")
440 +     let id = toBase58String(tx.id)
441 +     let votesYes = valueOrElse(getInteger(votingContract, ("proposal_yes_" + id)), 0)
442 +     let votesNo = valueOrElse(getInteger(votingContract, ("proposal_no_" + id)), 0)
443 +     let proposalHeight = valueOrErrorMessage(getInteger(votingContract, ("proposal_height_" + id)), "proposal not registered")
444 +     let applyStart = valueOrElse(getInteger(votingContract, ("proposal_applystart_" + id)), 0)
445 +     let applyEnd = valueOrElse(getInteger(votingContract, ("proposal_applyend_" + id)), 0)
446 +     let totalGVires = valueOrElse(getInteger(votingContract, ("proposal_gvires_" + id)), 0)
447 +     let enabled = valueOrElse(getBoolean(configAddress, "op_governance_apply_tx_paused"), false)
448 +     let voteYes = votesYes
449 +     let voteNo = votesNo
450 +     let totalVotes = (voteYes + voteNo)
451 +     let hasQuorum = (((totalVotes * BASE) / totalGVires) >= quorumRatio)
452 +     let hasPassed = (((voteYes * BASE) / totalVotes) >= passedRatio)
453 +     let tooEarly = (applyStart >= HEIGHT)
454 +     let tooLate = (HEIGHT >= applyEnd)
455 +     let timeDebug = ((((((("proposalHeight = " + toString(proposalHeight)) + ", applyStart = ") + toString(applyStart)) + ", applyEnd = ") + toString(applyEnd)) + ", HEIGHT = ") + toString(HEIGHT))
456 +     let byVoting = if (!(enabled))
457 +         then throw("tx application throw governance not enabled")
458 +         else if (tooEarly)
459 +             then throw(("proposal can't be executed as it's too early: " + timeDebug))
460 +             else if (tooLate)
461 +                 then throw(("proposal can't be executed as it's too late:" + timeDebug))
462 +                 else if (!(hasQuorum))
463 +                     then throw((((((("no quorum: " + "totalVotes: ") + toString(totalVotes)) + ", totalGVires: ") + toString(totalGVires)) + ", quorumRatio: ") + toString(quorumRatio)))
464 +                     else if (!(hasPassed))
465 +                         then throw((((((("no threshold achieved: " + "voteYes: ") + toString(voteYes)) + ", voteNo: ") + toString(voteNo)) + ", passedRatio: ") + toString(passedRatio)))
466 +                         else true
467 +     if (sigVerify(tx.bodyBytes, tx.proofs[0], tx.senderPublicKey))
468 +         then true
469 +         else byVoting
470 +     }
471 +

Old	New		Differences
423	423		func forceCollapse2 (r,b) = forceCollapseInternal(toString(i.caller), r, b, true)
424	424
425	425
	426	+	@Verifier(tx)
	427	+	func verify () = {
	428	+	let maybeOracleAddress = match getString(configAddress, "oracle_address") {
	429	+	case s: String =>
	430	+	addressFromString(s)
	431	+	case _ =>
	432	+	unit
	433	+	}
	434	+	let HEIGHT = height
	435	+	let BASE = 1000
	436	+	let quorumRatio = valueOrErrorMessage(getInteger(configAddress, "proposal_quorum_ratio"), "proposalQuorumRatio is not defined")
	437	+	let passedRatio = valueOrErrorMessage(getInteger(configAddress, "proposal_passed_ratio"), "proposalThresholdRatio is not defined")
	438	+	let gViresContract = valueOrErrorMessage(addressFromString(valueOrErrorMessage(getString(configAddress, "dividends_contract"), "no dividends_contract")), "invalid dividends_contract")
	439	+	let votingContract = valueOrErrorMessage(addressFromString(valueOrErrorMessage(getString(configAddress, "voting_contract"), "no voting_contract")), "invalid voting_contract")
	440	+	let id = toBase58String(tx.id)
	441	+	let votesYes = valueOrElse(getInteger(votingContract, ("proposal_yes_" + id)), 0)
	442	+	let votesNo = valueOrElse(getInteger(votingContract, ("proposal_no_" + id)), 0)
	443	+	let proposalHeight = valueOrErrorMessage(getInteger(votingContract, ("proposal_height_" + id)), "proposal not registered")
	444	+	let applyStart = valueOrElse(getInteger(votingContract, ("proposal_applystart_" + id)), 0)
	445	+	let applyEnd = valueOrElse(getInteger(votingContract, ("proposal_applyend_" + id)), 0)
	446	+	let totalGVires = valueOrElse(getInteger(votingContract, ("proposal_gvires_" + id)), 0)
	447	+	let enabled = valueOrElse(getBoolean(configAddress, "op_governance_apply_tx_paused"), false)
	448	+	let voteYes = votesYes
	449	+	let voteNo = votesNo
	450	+	let totalVotes = (voteYes + voteNo)
	451	+	let hasQuorum = (((totalVotes * BASE) / totalGVires) >= quorumRatio)
	452	+	let hasPassed = (((voteYes * BASE) / totalVotes) >= passedRatio)
	453	+	let tooEarly = (applyStart >= HEIGHT)
	454	+	let tooLate = (HEIGHT >= applyEnd)
	455	+	let timeDebug = ((((((("proposalHeight = " + toString(proposalHeight)) + ", applyStart = ") + toString(applyStart)) + ", applyEnd = ") + toString(applyEnd)) + ", HEIGHT = ") + toString(HEIGHT))
	456	+	let byVoting = if (!(enabled))
	457	+	then throw("tx application throw governance not enabled")
	458	+	else if (tooEarly)
	459	+	then throw(("proposal can't be executed as it's too early: " + timeDebug))
	460	+	else if (tooLate)
	461	+	then throw(("proposal can't be executed as it's too late:" + timeDebug))
	462	+	else if (!(hasQuorum))
	463	+	then throw((((((("no quorum: " + "totalVotes: ") + toString(totalVotes)) + ", totalGVires: ") + toString(totalGVires)) + ", quorumRatio: ") + toString(quorumRatio)))
	464	+	else if (!(hasPassed))
	465	+	then throw((((((("no threshold achieved: " + "voteYes: ") + toString(voteYes)) + ", voteNo: ") + toString(voteNo)) + ", passedRatio: ") + toString(passedRatio)))
	466	+	else true
	467	+	if (sigVerify(tx.bodyBytes, tx.proofs[0], tx.senderPublicKey))
	468	+	then true
	469	+	else byVoting
	470	+	}
	471	+

Old	New		Differences
1	1		{-# STDLIB_VERSION 6 #-}
2	2		{-# SCRIPT_TYPE ACCOUNT #-}
3	3		{-# CONTENT_TYPE DAPP #-}
4	4		let factorsBase = 1000
5	5
6	6		func fCi (value,numerator,denominator) = {
7	7		let cand = fraction(value, numerator, denominator)
8	8		let D = 3037000499
9	9		let exact = ((((cand % D) * (denominator % D)) % D) == (((value % D) * (numerator % D)) % D))
10	10		if (exact)
11	11		then cand
12	12		else (cand + 1)
13	13		}
14	14
15	15
16	16		func writeConstString (key,value) = if (!(isDefined(getString(this, key))))
17	17		then StringEntry(key, value)
18	18		else throw(("already initialized: " + key))
19	19
20	20
21	21		func asInt (value) = match value {
22	22		case int: Int =>
23	23		int
24	24		case _ =>
25	25		throw("m2:1")
26	26		}
27	27
28	28
29	29		func asInt3 (value) = match value {
30	30		case x: (Int, Int, Int) =>
31	31		x
32	32		case t =>
33	33		throw("2")
34	34		}
35	35
36	36
37	37		func asUserBalanceData (value) = match value {
38	38		case x: (Int, Int, Int, Int, Int, Boolean) =>
39	39		x
40	40		case t =>
41	41		throw("3")
42	42		}
43	43
44	44
45	45		let configStore = "config"
46	46
47	47		let reservesStore = "reserves"
48	48
49	49		let aTIdS = "aTokenId"
50	50
51	51		let aIdS = "assetId"
52	52
53	53		let configAddress = addressFromStringValue(getStringValue(this, configStore))
54	54
55	55		let reservesStr = valueOrErrorMessage(getString(configAddress, "primary_reserves"), "no reserves registered")
56	56
57	57		let reserves = split_4C(reservesStr, "\|")
58	58
59	59		let mVD = match getString(configAddress, "vires_distributor") {
60	60		case d: String =>
61	61		addressFromStringValue(d)
62	62		case _ =>
63	63		unit
64	64		}
65	65
66	66		func assetIdOfReserve (rsr) = valueOrErrorMessage(getString(rsr, aIdS), "no assetId in reserve")
67	67
68	68
69	69		func collateralFactor (rsr) = valueOrErrorMessage(getInteger(configAddress, (assetIdOfReserve(rsr) + "_CollateralFactor")), "no 1")
70	70
71	71
72	72		func liquidationThreshold (rsr) = valueOrErrorMessage(getInteger(configAddress, (assetIdOfReserve(rsr) + "_LiquidationThreshold")), "no 2")
73	73
74	74
75	75		func liquidationPenalty (assetId) = valueOrErrorMessage(getInteger(configAddress, (assetId + "_LiquidationPenalty")), "no 3")
76	76
77	77
78	78		let accountHealthThreshold = valueOrErrorMessage(getInteger(configAddress, "account_health_threshold"), "no 4")
79	79
80	80		let accountHealthOverlap = valueOrErrorMessage(getInteger(configAddress, "account_health_overlap"), "no 5")
81	81
82	82		let collapsePenalty = valueOrErrorMessage(getInteger(configAddress, "collapse_penalty"), "no 6")
83	83
84	84		let liquidators = valueOrElse(getString(configAddress, "liquidators"), "")
85	85
86	86		func vlR (r) = if (contains(reservesStr, r))
87	87		then valueOrErrorMessage(addressFromString(r), "main: bad rsr")
88	88		else throw(("unknown rsr:" + r))
89	89
90	90
91	91		func userBalance (rsr,user) = asUserBalanceData(invoke(rsr, "userBalance", [user], nil))
92	92
93	93
94	94		let maybeProtected = match getString(configAddress, "protected_reserve") {
95	95		case pds: String =>
96	96		valueOrErrorMessage(addressFromString(pds), "bad protected")
97	97		case _ =>
98	98		unit
99	99		}
100	100
101	101		func userPower (user) = {
102	102		let protectedDeposit = match maybeProtected {
103	103		case pa: Address =>
104	104		asInt(invoke(pa, "borrowPower", [user], nil))
105	105		case _ =>
106	106		0
107	107		}
108	108		func fold (totals,r) = {
109	109		let $t029382984 = totals
110	110		let totalD = $t029382984._1
111	111		let totalB = $t029382984._2
112	112		let numberOfBorrows = $t029382984._3
113	113		let rsr = valueOrErrorMessage(addressFromString(r), "rsr bad address")
114	114		let cf = collateralFactor(rsr)
115	115		let lt = liquidationThreshold(rsr)
116	116		let $t031383222 = userBalance(rsr, user)
117	117		let token = $t031383222._1
118	118		let asset = $t031383222._2
119	119		let depositUsd = $t031383222._3
120	120		let debt = $t031383222._4
121	121		let debtUsd = $t031383222._5
122	122		let asCollateral = $t031383222._6
123	123		let totalBorrows = (numberOfBorrows + (if ((debt > 0))
124	124		then 1
125	125		else 0))
126	126		let effectiveDepositUsd = if (asCollateral)
127	127		then depositUsd
128	128		else 0
129	129		let overlapUsd = min([debtUsd, effectiveDepositUsd])
130	130		let overlapCharge = fCi(overlapUsd, accountHealthOverlap, factorsBase)
131	131		if ((debtUsd > effectiveDepositUsd))
132	132		then $Tuple3(totalD, ((totalB + fraction((debtUsd - effectiveDepositUsd), factorsBase, lt)) + overlapCharge), totalBorrows)
133	133		else $Tuple3((totalD + fraction((effectiveDepositUsd - debtUsd), cf, factorsBase)), (totalB + overlapCharge), totalBorrows)
134	134		}
135	135
136	136		let r = {
137	137		let $l = reserves
138	138		let $s = size($l)
139	139		let $acc0 = $Tuple3(protectedDeposit, 0, 0)
140	140		func $f0_1 ($a,$i) = if (($i >= $s))
141	141		then $a
142	142		else fold($a, $l[$i])
143	143
144	144		func $f0_2 ($a,$i) = if (($i >= $s))
145	145		then $a
146	146		else throw("List size exceeds 20")
147	147
148	148		$f0_2($f0_1($f0_1($f0_1($f0_1($f0_1($f0_1($f0_1($f0_1($f0_1($f0_1($f0_1($f0_1($f0_1($f0_1($f0_1($f0_1($f0_1($f0_1($f0_1($f0_1($acc0, 0), 1), 2), 3), 4), 5), 6), 7), 8), 9), 10), 11), 12), 13), 14), 15), 16), 17), 18), 19), 20)
149	149		}
150	150		if (if ((protectedDeposit > 0))
151	151		then (r._3 > 4)
152	152		else false)
153	153		then throw("can't have more than 4 borrows")
154	154		else r
155	155		}
156	156
157	157
158	158		func getUserHealth (account) = {
159	159		let $t039774028 = asInt3(userPower(account))
160	160		let bp = $t039774028._1
161	161		let bpu = $t039774028._2
162	162		let ignore = $t039774028._3
163	163		((("bp:" + toString(bp)) + ", bpu:") + toString(bpu))
164	164		}
165	165
166	166
167	167		func validateAfter (user,op) = {
168	168		let $t041394170 = userPower(user)
169	169		let bp = $t041394170._1
170	170		let bpu = $t041394170._2
171	171		let accHealth = (((bp - bpu) * factorsBase) / bp)
172	172		if (if ((bp == 0))
173	173		then (bpu == 0)
174	174		else false)
175	175		then nil
176	176		else if (if ((bp == 0))
177	177		then (bpu > 0)
178	178		else false)
179	179		then throw(((op + ": breaching liquidation threshold(bp=0, bpu=") + toString(bpu)))
180	180		else if ((accountHealthThreshold > accHealth))
181	181		then throw((((((((op + ": breaching liquidation threshold(bp=") + toString(bp)) + ", bpu=") + toString(bpu)) + ", health=") + toString(accHealth)) + ")"))
182	182		else nil
183	183		}
184	184
185	185
186	186		func updateStream (rsr,action,user,userChange,streamChange) = match mVD {
187	187		case a: Address =>
188	188		invoke(a, "onAction", [rsr, action, user, userChange, streamChange], nil)
189	189		case _ =>
190	190		unit
191	191		}
192	192
193	193
194	194		func moveStream (rsr,action,from,string,amt) = match mVD {
195	195		case a: Address =>
196	196		invoke(a, "move", [rsr, action, from, string, amt], nil)
197	197		case _ =>
198	198		unit
199	199		}
200	200
201	201
202	202		func syncRewards (rsr) = match mVD {
203	203		case a: Address =>
204	204		invoke(a, "syncHeight", [rsr], nil)
205	205		case _ =>
206	206		unit
207	207		}
208	208
209	209
210	210		func pureAssetId (assetId) = {
211	211		let i = split(assetId, "_")[0]
212	212		if ((i == "WAVES"))
213	213		then unit
214	214		else fromBase58String(i)
215	215		}
216	216
217	217
218	218		func moveCollateral (addr,assetStr,rsr,reserveStr) = {
219	219		let protectedReserve = valueOrErrorMessage(maybeProtected, "no protected rsr")
220	220		let amt = asInt(invoke(protectedReserve, "withdrawToMain", [addr, assetStr], nil))
221	221		if ((amt == amt))
222	222		then {
223	223		let assetId = if ((assetStr == "WAVES"))
224	224		then unit
225	225		else fromBase58String(assetStr)
226	226		let dep = invoke(rsr, "depositFor", [addr, true], [AttachedPayment(pureAssetId(assetStr), amt)])
227	227		if ((dep == dep))
228	228		then {
229	229		let prop = updateStream(reserveStr, "deposit", addr, amt, amt)
230	230		if ((prop == prop))
231	231		then unit
232	232		else throw("Strict value is not equal to itself.")
233	233		}
234	234		else throw("Strict value is not equal to itself.")
235	235		}
236	236		else throw("Strict value is not equal to itself.")
237	237		}
238	238
239	239
240	240		func transferDebtInternal (liquidator,borrowReserve,collateralReserve,borrower,liquidateDebtAmount,fromProtected) = {
241	241		let sh1 = syncRewards(borrowReserve)
242	242		if ((sh1 == sh1))
243	243		then {
244	244		let sh2 = syncRewards(collateralReserve)
245	245		if ((sh2 == sh2))
246	246		then if ((0 >= liquidateDebtAmount))
247	247		then throw("non-positive amount")
248	248		else if ((collateralReserve == borrowReserve))
249	249		then throw("cr = br")
250	250		else if ((liquidator == borrower))
251	251		then throw("self")
252	252		else {
253	253		let $t064506485 = userPower(borrower)
254	254		let bp = $t064506485._1
255	255		let bpu = $t064506485._2
256	256		if ((bp > bpu))
257	257		then throw((" healthy user: u=" + borrower))
258	258		else {
259	259		let br = vlR(borrowReserve)
260	260		let cr = vlR(collateralReserve)
261	261		let borrowAsset = valueOrErrorMessage(getString(br, aIdS), "no assetId in br")
262	262		let collateralAsset = valueOrErrorMessage(getString(cr, aIdS), "no assetId in cr")
263	263		let isCollateral = valueOrElse(getBoolean(cr, (borrower + "_useAsCollateral")), false)
264	264		if ((isCollateral == isCollateral))
265	265		then if (if (!(fromProtected))
266	266		then !(isCollateral)
267	267		else false)
268	268		then throw("deposit not used as collateral")
269	269		else {
270	270		let $t069557045 = userBalance(br, borrower)
271	271		if (($t069557045 == $t069557045))
272	272		then {
273	273		let userDebtUsd = $t069557045._5
274	274		let userDebt = $t069557045._4
275	275		let userAssetUsd = $t069557045._3
276	276		let userAsset = $t069557045._2
277	277		let ignore = $t069557045._1
278	278		if ((userAsset >= userDebt))
279	279		then throw("positive saldo")
280	280		else if ((0 >= liquidateDebtAmount))
281	281		then throw("<= 0>")
282	282		else {
283	283		let factor = valueOrElse(getInteger(configAddress, (collateralAsset + "_LiquidationFractionFactor")), 2)
284	284		if (((liquidateDebtAmount * factor) > (userDebt - userAsset)))
285	285		then throw(((("more than 1/factor of saldo: debt=" + toString(userDebt)) + ", liquidateDebtAmount = ") + toString(liquidateDebtAmount)))
286	286		else {
287	287		let collateralUsd = fraction(liquidateDebtAmount, userDebtUsd, userDebt)
288	288		let penaltizedUsd = fraction(collateralUsd, (factorsBase + liquidationPenalty(borrowAsset)), factorsBase)
289	289		let mc = if (fromProtected)
290	290		then moveCollateral(borrower, collateralAsset, cr, collateralReserve)
291	291		else unit
292	292		if ((mc == mc))
293	293		then {
294	294		let transferredCollateral = asInt(invoke(cr, "transferATokensFor", [borrower, liquidator, penaltizedUsd], nil))
295	295		if ((transferredCollateral == transferredCollateral))
296	296		then {
297	297		let pRw1 = moveStream(collateralReserve, "deposit", borrower, liquidator, transferredCollateral)
298	298		if ((pRw1 == pRw1))
299	299		then {
300	300		let transferredDebt = asInt(invoke(br, "transferDebtFor", [borrower, liquidator, liquidateDebtAmount], nil))
301	301		if ((transferredDebt == transferredDebt))
302	302		then {
303	303		let pRw2 = moveStream(borrowReserve, "borrow", borrower, liquidator, transferredDebt)
304	304		if ((pRw2 == pRw2))
305	305		then {
306	306		let liquidatorHealthCheck = if (contains(liquidators, liquidator))
307	307		then nil
308	308		else validateAfter(liquidator, "transferring debt")
309	309		if ((liquidatorHealthCheck == liquidatorHealthCheck))
310	310		then $Tuple2(liquidatorHealthCheck, transferredCollateral)
311	311		else throw("Strict value is not equal to itself.")
312	312		}
313	313		else throw("Strict value is not equal to itself.")
314	314		}
315	315		else throw("Strict value is not equal to itself.")
316	316		}
317	317		else throw("Strict value is not equal to itself.")
318	318		}
319	319		else throw("Strict value is not equal to itself.")
320	320		}
321	321		else throw("Strict value is not equal to itself.")
322	322		}
323	323		}
324	324		}
325	325		else throw("Strict value is not equal to itself.")
326	326		}
327	327		else throw("Strict value is not equal to itself.")
328	328		}
329	329		}
330	330		else throw("Strict value is not equal to itself.")
331	331		}
332	332		else throw("Strict value is not equal to itself.")
333	333		}
334	334
335	335
336	336		func forceCollapseInternal (liquidator,rsr,borrower,fromProtected) = {
337	337		let reserveAddress = vlR(rsr)
338	338		if ((reserveAddress == reserveAddress))
339	339		then {
340	340		let sh = syncRewards(rsr)
341	341		if ((sh == sh))
342	342		then if ((liquidator == borrower))
343	343		then throw("can't collapse self in this function")
344	344		else {
345	345		let $t086938728 = userPower(borrower)
346	346		let bp = $t086938728._1
347	347		let bpu = $t086938728._2
348	348		if ((bp > bpu))
349	349		then throw(("can't force collapse healthy user " + borrower))
350	350		else {
351	351		let asset = valueOrErrorMessage(getString(reserveAddress, aIdS), ("no assetId field in rsr " + rsr))
352	352		let mc = if (fromProtected)
353	353		then moveCollateral(borrower, asset, reserveAddress, rsr)
354	354		else unit
355	355		if ((mc == mc))
356	356		then {
357	357		let $t090309138 = userBalance(reserveAddress, borrower)
358	358		if (($t090309138 == $t090309138))
359	359		then {
360	360		let userDebtUsd = $t090309138._5
361	361		let userDebt = $t090309138._4
362	362		let userAssetUsd = $t090309138._3
363	363		let borrowerDeposit = $t090309138._2
364	364		let ignore = $t090309138._1
365	365		let penaltizedUsd = fraction(min([userAssetUsd, userDebtUsd]), collapsePenalty, factorsBase)
366	366		let transferredAssets = asInt(invoke(reserveAddress, "transferATokensFor", [borrower, liquidator, penaltizedUsd], nil))
367	367		if ((transferredAssets == transferredAssets))
368	368		then {
369	369		let pRw1 = moveStream(rsr, "deposit", borrower, liquidator, transferredAssets)
370	370		if ((pRw1 == pRw1))
371	371		then {
372	372		let collapsed = asInt(invoke(reserveAddress, "collapseFor", [borrower], nil))
373	373		if ((collapsed == collapsed))
374	374		then {
375	375		let pRw2 = updateStream(rsr, "borrow", borrower, -(collapsed), -(collapsed))
376	376		if ((pRw2 == pRw2))
377	377		then {
378	378		let pRw3 = updateStream(rsr, "deposit", borrower, -(collapsed), -(collapsed))
379	379		if ((pRw3 == pRw3))
380	380		then nil
381	381		else throw("Strict value is not equal to itself.")
382	382		}
383	383		else throw("Strict value is not equal to itself.")
384	384		}
385	385		else throw("Strict value is not equal to itself.")
386	386		}
387	387		else throw("Strict value is not equal to itself.")
388	388		}
389	389		else throw("Strict value is not equal to itself.")
390	390		}
391	391		else throw("Strict value is not equal to itself.")
392	392		}
393	393		else throw("Strict value is not equal to itself.")
394	394		}
395	395		}
396	396		else throw("Strict value is not equal to itself.")
397	397		}
398	398		else throw("Strict value is not equal to itself.")
399	399		}
400	400
401	401
402	402		@Callable(i)
403	403		func initialize (ca) = [writeConstString(configStore, ca)]
404	404
405	405
406	406
407	407		@Callable(i)
408	408		func transferDebt (br,cr,b,la) = transferDebtInternal(toString(i.caller), br, cr, b, la, false)
409	409
410	410
411	411
412	412		@Callable(i)
413	413		func transferDebt2 (br,cr,b,la) = transferDebtInternal(toString(i.caller), br, cr, b, la, true)
414	414
415	415
416	416
417	417		@Callable(i)
418	418		func forceCollapse (r,b) = forceCollapseInternal(toString(i.caller), r, b, false)
419	419
420	420
421	421
422	422		@Callable(i)
423	423		func forceCollapse2 (r,b) = forceCollapseInternal(toString(i.caller), r, b, true)
424	424
425	425
	426	+	@Verifier(tx)
	427	+	func verify () = {
	428	+	let maybeOracleAddress = match getString(configAddress, "oracle_address") {
	429	+	case s: String =>
	430	+	addressFromString(s)
	431	+	case _ =>
	432	+	unit
	433	+	}
	434	+	let HEIGHT = height
	435	+	let BASE = 1000
	436	+	let quorumRatio = valueOrErrorMessage(getInteger(configAddress, "proposal_quorum_ratio"), "proposalQuorumRatio is not defined")
	437	+	let passedRatio = valueOrErrorMessage(getInteger(configAddress, "proposal_passed_ratio"), "proposalThresholdRatio is not defined")
	438	+	let gViresContract = valueOrErrorMessage(addressFromString(valueOrErrorMessage(getString(configAddress, "dividends_contract"), "no dividends_contract")), "invalid dividends_contract")
	439	+	let votingContract = valueOrErrorMessage(addressFromString(valueOrErrorMessage(getString(configAddress, "voting_contract"), "no voting_contract")), "invalid voting_contract")
	440	+	let id = toBase58String(tx.id)
	441	+	let votesYes = valueOrElse(getInteger(votingContract, ("proposal_yes_" + id)), 0)
	442	+	let votesNo = valueOrElse(getInteger(votingContract, ("proposal_no_" + id)), 0)
	443	+	let proposalHeight = valueOrErrorMessage(getInteger(votingContract, ("proposal_height_" + id)), "proposal not registered")
	444	+	let applyStart = valueOrElse(getInteger(votingContract, ("proposal_applystart_" + id)), 0)
	445	+	let applyEnd = valueOrElse(getInteger(votingContract, ("proposal_applyend_" + id)), 0)
	446	+	let totalGVires = valueOrElse(getInteger(votingContract, ("proposal_gvires_" + id)), 0)
	447	+	let enabled = valueOrElse(getBoolean(configAddress, "op_governance_apply_tx_paused"), false)
	448	+	let voteYes = votesYes
	449	+	let voteNo = votesNo
	450	+	let totalVotes = (voteYes + voteNo)
	451	+	let hasQuorum = (((totalVotes * BASE) / totalGVires) >= quorumRatio)
	452	+	let hasPassed = (((voteYes * BASE) / totalVotes) >= passedRatio)
	453	+	let tooEarly = (applyStart >= HEIGHT)
	454	+	let tooLate = (HEIGHT >= applyEnd)
	455	+	let timeDebug = ((((((("proposalHeight = " + toString(proposalHeight)) + ", applyStart = ") + toString(applyStart)) + ", applyEnd = ") + toString(applyEnd)) + ", HEIGHT = ") + toString(HEIGHT))
	456	+	let byVoting = if (!(enabled))
	457	+	then throw("tx application throw governance not enabled")
	458	+	else if (tooEarly)
	459	+	then throw(("proposal can't be executed as it's too early: " + timeDebug))
	460	+	else if (tooLate)
	461	+	then throw(("proposal can't be executed as it's too late:" + timeDebug))
	462	+	else if (!(hasQuorum))
	463	+	then throw((((((("no quorum: " + "totalVotes: ") + toString(totalVotes)) + ", totalGVires: ") + toString(totalGVires)) + ", quorumRatio: ") + toString(quorumRatio)))
	464	+	else if (!(hasPassed))
	465	+	then throw((((((("no threshold achieved: " + "voteYes: ") + toString(voteYes)) + ", voteNo: ") + toString(voteNo)) + ", passedRatio: ") + toString(passedRatio)))
	466	+	else true
	467	+	if (sigVerify(tx.bodyBytes, tx.proofs[0], tx.senderPublicKey))
	468	+	then true
	469	+	else byVoting
	470	+	}
	471	+

github/deemru/w8io/6500d08 
61.37 ms ◑