tx · 6WJEpXwRfMohXb2qKQdw6sTokVU2pbYjYzLYiWx1vTBV

3PJ6iR5X1PT2rZcNmbqByKuh7k8mtj5wVGw:  -0.01800000 Waves

2023.03.20 12:18 [3563744] smart account 3PJ6iR5X1PT2rZcNmbqByKuh7k8mtj5wVGw > SELF 0.00000000 Waves

{
    "type": 13,
    "id": "6WJEpXwRfMohXb2qKQdw6sTokVU2pbYjYzLYiWx1vTBV",
    "fee": 1800000,
    "feeAssetId": null,
    "timestamp": 1679303846103,
    "version": 1,
    "sender": "3PJ6iR5X1PT2rZcNmbqByKuh7k8mtj5wVGw",
    "senderPublicKey": "6pk8htkepkqL8WkHrnvRr2tu1r3NC7hfLTJEtiQDbiKF",
    "proofs": [
        "5BQBnMjfN4zgnrikHCQNZDegUtWFAHFdJr6kC5G4tQ8xUif8jaG7GT9qgNk9uUsgcVw94jmJKQYvS4427jTnkGhG"
    ],
    "script": "base64:BgIjCAISAwoBCBIGCgQICAgBEgYKBAgICAESBAoCCAgSBAoCCAgkAAtmYWN0b3JzQmFzZQDoBwEDZkNpAwV2YWx1ZQludW1lcmF0b3ILZGVub21pbmF0b3IEBGNhbmQJAGsDBQV2YWx1ZQUJbnVtZXJhdG9yBQtkZW5vbWluYXRvcgQBRACz5pOoCwQFZXhhY3QJAAACCQBqAgkAaAIJAGoCBQRjYW5kBQFECQBqAgULZGVub21pbmF0b3IFAUQFAUQJAGoCCQBoAgkAagIFBXZhbHVlBQFECQBqAgUJbnVtZXJhdG9yBQFEBQFEAwUFZXhhY3QFBGNhbmQJAGQCBQRjYW5kAAEBEHdyaXRlQ29uc3RTdHJpbmcCA2tleQV2YWx1ZQMJAQEhAQkBCWlzRGVmaW5lZAEJAJ0IAgUEdGhpcwUDa2V5CQELU3RyaW5nRW50cnkCBQNrZXkFBXZhbHVlCQACAQkArAICAhVhbHJlYWR5IGluaXRpYWxpemVkOiAFA2tleQEFYXNJbnQBBXZhbHVlBAckbWF0Y2gwBQV2YWx1ZQMJAAECBQckbWF0Y2gwAgNJbnQEA2ludAUHJG1hdGNoMAUDaW50CQACAQIEbTI6MQEGYXNJbnQzAQV2YWx1ZQQHJG1hdGNoMAUFdmFsdWUDCQABAgUHJG1hdGNoMAIPKEludCwgSW50LCBJbnQpBAF4BQckbWF0Y2gwBQF4BAF0BQckbWF0Y2gwCQACAQIBMgERYXNVc2VyQmFsYW5jZURhdGEBBXZhbHVlBAckbWF0Y2gwBQV2YWx1ZQMJAAECBQckbWF0Y2gwAiIoSW50LCBJbnQsIEludCwgSW50LCBJbnQsIEJvb2xlYW4pBAF4BQckbWF0Y2gwBQF4BAF0BQckbWF0Y2gwCQACAQIBMwALY29uZmlnU3RvcmUCBmNvbmZpZwANcmVzZXJ2ZXNTdG9yZQIIcmVzZXJ2ZXMABWFUSWRTAghhVG9rZW5JZAAEYUlkUwIHYXNzZXRJZAANY29uZmlnQWRkcmVzcwkBEUBleHRyTmF0aXZlKDEwNjIpAQkBEUBleHRyTmF0aXZlKDEwNTMpAgUEdGhpcwULY29uZmlnU3RvcmUAC3Jlc2VydmVzU3RyCQETdmFsdWVPckVycm9yTWVzc2FnZQIJAJ0IAgUNY29uZmlnQWRkcmVzcwIQcHJpbWFyeV9yZXNlcnZlcwIWbm8gcmVzZXJ2ZXMgcmVnaXN0ZXJlZAAIcmVzZXJ2ZXMJALwJAgULcmVzZXJ2ZXNTdHICAXwAA21WRAQHJG1hdGNoMAkAnQgCBQ1jb25maWdBZGRyZXNzAhF2aXJlc19kaXN0cmlidXRvcgMJAAECBQckbWF0Y2gwAgZTdHJpbmcEAWQFByRtYXRjaDAJARFAZXh0ck5hdGl2ZSgxMDYyKQEFAWQFBHVuaXQBEGFzc2V0SWRPZlJlc2VydmUBA3JzcgkBE3ZhbHVlT3JFcnJvck1lc3NhZ2UCCQCdCAIFA3JzcgUEYUlkUwIVbm8gYXNzZXRJZCBpbiByZXNlcnZlARBjb2xsYXRlcmFsRmFjdG9yAQNyc3IJARN2YWx1ZU9yRXJyb3JNZXNzYWdlAgkAmggCBQ1jb25maWdBZGRyZXNzCQCsAgIJARBhc3NldElkT2ZSZXNlcnZlAQUDcnNyAhFfQ29sbGF0ZXJhbEZhY3RvcgIEbm8gMQEUbGlxdWlkYXRpb25UaHJlc2hvbGQBA3JzcgkBE3ZhbHVlT3JFcnJvck1lc3NhZ2UCCQCaCAIFDWNvbmZpZ0FkZHJlc3MJAKwCAgkBEGFzc2V0SWRPZlJlc2VydmUBBQNyc3ICFV9MaXF1aWRhdGlvblRocmVzaG9sZAIEbm8gMgESbGlxdWlkYXRpb25QZW5hbHR5AQdhc3NldElkCQETdmFsdWVPckVycm9yTWVzc2FnZQIJAJoIAgUNY29uZmlnQWRkcmVzcwkArAICBQdhc3NldElkAhNfTGlxdWlkYXRpb25QZW5hbHR5AgRubyAzABZhY2NvdW50SGVhbHRoVGhyZXNob2xkCQETdmFsdWVPckVycm9yTWVzc2FnZQIJAJoIAgUNY29uZmlnQWRkcmVzcwIYYWNjb3VudF9oZWFsdGhfdGhyZXNob2xkAgRubyA0ABRhY2NvdW50SGVhbHRoT3ZlcmxhcAkBE3ZhbHVlT3JFcnJvck1lc3NhZ2UCCQCaCAIFDWNvbmZpZ0FkZHJlc3MCFmFjY291bnRfaGVhbHRoX292ZXJsYXACBG5vIDUAD2NvbGxhcHNlUGVuYWx0eQkBE3ZhbHVlT3JFcnJvck1lc3NhZ2UCCQCaCAIFDWNvbmZpZ0FkZHJlc3MCEGNvbGxhcHNlX3BlbmFsdHkCBG5vIDYAC2xpcXVpZGF0b3JzCQELdmFsdWVPckVsc2UCCQCdCAIFDWNvbmZpZ0FkZHJlc3MCC2xpcXVpZGF0b3JzAgABA3ZsUgEBcgMJAQhjb250YWlucwIFC3Jlc2VydmVzU3RyBQFyCQETdmFsdWVPckVycm9yTWVzc2FnZQIJAKYIAQUBcgINbWFpbjogYmFkIHJzcgkAAgEJAKwCAgIMdW5rbm93biByc3I6BQFyAQt1c2VyQmFsYW5jZQIDcnNyBHVzZXIJARFhc1VzZXJCYWxhbmNlRGF0YQEJAPwHBAUDcnNyAgt1c2VyQmFsYW5jZQkAzAgCBQR1c2VyBQNuaWwFA25pbAAObWF5YmVQcm90ZWN0ZWQEByRtYXRjaDAJAJ0IAgUNY29uZmlnQWRkcmVzcwIRcHJvdGVjdGVkX3Jlc2VydmUDCQABAgUHJG1hdGNoMAIGU3RyaW5nBANwZHMFByRtYXRjaDAJARN2YWx1ZU9yRXJyb3JNZXNzYWdlAgkApggBBQNwZHMCDWJhZCBwcm90ZWN0ZWQFBHVuaXQBCXVzZXJQb3dlcgEEdXNlcgQQcHJvdGVjdGVkRGVwb3NpdAQHJG1hdGNoMAUObWF5YmVQcm90ZWN0ZWQDCQABAgUHJG1hdGNoMAIHQWRkcmVzcwQCcGEFByRtYXRjaDAJAQVhc0ludAEJAPwHBAUCcGECC2JvcnJvd1Bvd2VyCQDMCAIFBHVzZXIFA25pbAUDbmlsAAAKAQRmb2xkAgZ0b3RhbHMBcgQLJHQwMjkzODI5ODQFBnRvdGFscwQGdG90YWxECAULJHQwMjkzODI5ODQCXzEEBnRvdGFsQggFCyR0MDI5MzgyOTg0Al8yBA9udW1iZXJPZkJvcnJvd3MIBQskdDAyOTM4Mjk4NAJfMwQDcnNyCQETdmFsdWVPckVycm9yTWVzc2FnZQIJAKYIAQUBcgIPcnNyIGJhZCBhZGRyZXNzBAJjZgkBEGNvbGxhdGVyYWxGYWN0b3IBBQNyc3IEAmx0CQEUbGlxdWlkYXRpb25UaHJlc2hvbGQBBQNyc3IECyR0MDMxMzgzMjIyCQELdXNlckJhbGFuY2UCBQNyc3IFBHVzZXIEBXRva2VuCAULJHQwMzEzODMyMjICXzEEBWFzc2V0CAULJHQwMzEzODMyMjICXzIECmRlcG9zaXRVc2QIBQskdDAzMTM4MzIyMgJfMwQEZGVidAgFCyR0MDMxMzgzMjIyAl80BAdkZWJ0VXNkCAULJHQwMzEzODMyMjICXzUEDGFzQ29sbGF0ZXJhbAgFCyR0MDMxMzgzMjIyAl82BAx0b3RhbEJvcnJvd3MJAGQCBQ9udW1iZXJPZkJvcnJvd3MDCQBmAgUEZGVidAAAAAEAAAQTZWZmZWN0aXZlRGVwb3NpdFVzZAMFDGFzQ29sbGF0ZXJhbAUKZGVwb3NpdFVzZAAABApvdmVybGFwVXNkCQCXAwEJAMwIAgUHZGVidFVzZAkAzAgCBRNlZmZlY3RpdmVEZXBvc2l0VXNkBQNuaWwEDW92ZXJsYXBDaGFyZ2UJAQNmQ2kDBQpvdmVybGFwVXNkBRRhY2NvdW50SGVhbHRoT3ZlcmxhcAULZmFjdG9yc0Jhc2UDCQBmAgUHZGVidFVzZAUTZWZmZWN0aXZlRGVwb3NpdFVzZAkAlQoDBQZ0b3RhbEQJAGQCCQBkAgUGdG90YWxCCQBrAwkAZQIFB2RlYnRVc2QFE2VmZmVjdGl2ZURlcG9zaXRVc2QFC2ZhY3RvcnNCYXNlBQJsdAUNb3ZlcmxhcENoYXJnZQUMdG90YWxCb3Jyb3dzCQCVCgMJAGQCBQZ0b3RhbEQJAGsDCQBlAgUTZWZmZWN0aXZlRGVwb3NpdFVzZAUHZGVidFVzZAUCY2YFC2ZhY3RvcnNCYXNlCQBkAgUGdG90YWxCBQ1vdmVybGFwQ2hhcmdlBQx0b3RhbEJvcnJvd3MEAXIKAAIkbAUIcmVzZXJ2ZXMKAAIkcwkAkAMBBQIkbAoABSRhY2MwCQCVCgMFEHByb3RlY3RlZERlcG9zaXQAAAAACgEFJGYwXzECAiRhAiRpAwkAZwIFAiRpBQIkcwUCJGEJAQRmb2xkAgUCJGEJAJEDAgUCJGwFAiRpCgEFJGYwXzICAiRhAiRpAwkAZwIFAiRpBQIkcwUCJGEJAAIBAhRMaXN0IHNpemUgZXhjZWVkcyAyMAkBBSRmMF8yAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgUFJGFjYzAAAAABAAIAAwAEAAUABgAHAAgACQAKAAsADAANAA4ADwAQABEAEgATABQDAwkAZgIFEHByb3RlY3RlZERlcG9zaXQAAAkAZgIIBQFyAl8zAAQHCQACAQIeY2FuJ3QgaGF2ZSBtb3JlIHRoYW4gNCBib3Jyb3dzBQFyAQ1nZXRVc2VySGVhbHRoAQdhY2NvdW50BAskdDAzOTc3NDAyOAkBBmFzSW50MwEJAQl1c2VyUG93ZXIBBQdhY2NvdW50BAJicAgFCyR0MDM5Nzc0MDI4Al8xBANicHUIBQskdDAzOTc3NDAyOAJfMgQGaWdub3JlCAULJHQwMzk3NzQwMjgCXzMJAKwCAgkArAICCQCsAgICA2JwOgkApAMBBQJicAIGLCBicHU6CQCkAwEFA2JwdQENdmFsaWRhdGVBZnRlcgIEdXNlcgJvcAQLJHQwNDEzOTQxNzAJAQl1c2VyUG93ZXIBBQR1c2VyBAJicAgFCyR0MDQxMzk0MTcwAl8xBANicHUIBQskdDA0MTM5NDE3MAJfMgQJYWNjSGVhbHRoCQBpAgkAaAIJAGUCBQJicAUDYnB1BQtmYWN0b3JzQmFzZQUCYnADAwkAAAIFAmJwAAAJAAACBQNicHUAAAcFA25pbAMDCQAAAgUCYnAAAAkAZgIFA2JwdQAABwkAAgEJAKwCAgkArAICBQJvcAIsOiBicmVhY2hpbmcgbGlxdWlkYXRpb24gdGhyZXNob2xkKGJwPTAsIGJwdT0JAKQDAQUDYnB1AwkAZgIFFmFjY291bnRIZWFsdGhUaHJlc2hvbGQFCWFjY0hlYWx0aAkAAgEJAKwCAgkArAICCQCsAgIJAKwCAgkArAICCQCsAgIJAKwCAgUCb3ACJTogYnJlYWNoaW5nIGxpcXVpZGF0aW9uIHRocmVzaG9sZChicD0JAKQDAQUCYnACBiwgYnB1PQkApAMBBQNicHUCCSwgaGVhbHRoPQkApAMBBQlhY2NIZWFsdGgCASkFA25pbAEMdXBkYXRlU3RyZWFtBQNyc3IGYWN0aW9uBHVzZXIKdXNlckNoYW5nZQxzdHJlYW1DaGFuZ2UEByRtYXRjaDAFA21WRAMJAAECBQckbWF0Y2gwAgdBZGRyZXNzBAFhBQckbWF0Y2gwCQD8BwQFAWECCG9uQWN0aW9uCQDMCAIFA3JzcgkAzAgCBQZhY3Rpb24JAMwIAgUEdXNlcgkAzAgCBQp1c2VyQ2hhbmdlCQDMCAIFDHN0cmVhbUNoYW5nZQUDbmlsBQNuaWwFBHVuaXQBCm1vdmVTdHJlYW0FA3JzcgZhY3Rpb24EZnJvbQZzdHJpbmcDYW10BAckbWF0Y2gwBQNtVkQDCQABAgUHJG1hdGNoMAIHQWRkcmVzcwQBYQUHJG1hdGNoMAkA/AcEBQFhAgRtb3ZlCQDMCAIFA3JzcgkAzAgCBQZhY3Rpb24JAMwIAgUEZnJvbQkAzAgCBQZzdHJpbmcJAMwIAgUDYW10BQNuaWwFA25pbAUEdW5pdAELc3luY1Jld2FyZHMBA3JzcgQHJG1hdGNoMAUDbVZEAwkAAQIFByRtYXRjaDACB0FkZHJlc3MEAWEFByRtYXRjaDAJAPwHBAUBYQIKc3luY0hlaWdodAkAzAgCBQNyc3IFA25pbAUDbmlsBQR1bml0AQtwdXJlQXNzZXRJZAEHYXNzZXRJZAQBaQkAkQMCCQC1CQIFB2Fzc2V0SWQCAV8AAAMJAAACBQFpAgVXQVZFUwUEdW5pdAkA2QQBBQFpAQlvcEFsbG93ZWQCAm9wB2Fzc2V0SWQEByRtYXRjaDAJAPwHBAUNY29uZmlnQWRkcmVzcwIJb3BBbGxvd2VkCQDMCAIFB2Fzc2V0SWQJAMwIAgUCb3AFA25pbAUDbmlsAwkAAQIFByRtYXRjaDACB0Jvb2xlYW4EAWIFByRtYXRjaDADBQFiBgkAAgEJAKwCAgUCb3ACDCBub3QgYWxsb3dlZAkAAgECIW9wQWxsb3dlZDogdW5leHBlY3RlZCByZXN1bHQgdHlwZQEObW92ZUNvbGxhdGVyYWwEBGFkZHIIYXNzZXRTdHIDcnNyCnJlc2VydmVTdHIEEHByb3RlY3RlZFJlc2VydmUJARN2YWx1ZU9yRXJyb3JNZXNzYWdlAgUObWF5YmVQcm90ZWN0ZWQCEG5vIHByb3RlY3RlZCByc3IEA2FtdAkBBWFzSW50AQkA/AcEBRBwcm90ZWN0ZWRSZXNlcnZlAg53aXRoZHJhd1RvTWFpbgkAzAgCBQRhZGRyCQDMCAIFCGFzc2V0U3RyBQNuaWwFA25pbAMJAAACBQNhbXQFA2FtdAQHYXNzZXRJZAMJAAACBQhhc3NldFN0cgIFV0FWRVMFBHVuaXQJANkEAQUIYXNzZXRTdHIEA2RlcAkA/AcEBQNyc3ICCmRlcG9zaXRGb3IJAMwIAgUEYWRkcgkAzAgCBgUDbmlsCQDMCAIJAQ9BdHRhY2hlZFBheW1lbnQCCQELcHVyZUFzc2V0SWQBBQhhc3NldFN0cgUDYW10BQNuaWwDCQAAAgUDZGVwBQNkZXAEBHByb3AJAQx1cGRhdGVTdHJlYW0FBQpyZXNlcnZlU3RyAgdkZXBvc2l0BQRhZGRyBQNhbXQFA2FtdAMJAAACBQRwcm9wBQRwcm9wBQR1bml0CQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuCQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuCQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuARR0cmFuc2ZlckRlYnRJbnRlcm5hbAYKbGlxdWlkYXRvcg1ib3Jyb3dSZXNlcnZlEWNvbGxhdGVyYWxSZXNlcnZlCGJvcnJvd2VyE2xpcXVpZGF0ZURlYnRBbW91bnQNZnJvbVByb3RlY3RlZAQDc2gxCQELc3luY1Jld2FyZHMBBQ1ib3Jyb3dSZXNlcnZlAwkAAAIFA3NoMQUDc2gxBANzaDIJAQtzeW5jUmV3YXJkcwEFEWNvbGxhdGVyYWxSZXNlcnZlAwkAAAIFA3NoMgUDc2gyAwkAZwIAAAUTbGlxdWlkYXRlRGVidEFtb3VudAkAAgECE25vbi1wb3NpdGl2ZSBhbW91bnQDCQAAAgURY29sbGF0ZXJhbFJlc2VydmUFDWJvcnJvd1Jlc2VydmUJAAIBAgdjciA9IGJyAwkAAAIFCmxpcXVpZGF0b3IFCGJvcnJvd2VyCQACAQIEc2VsZgQLJHQwNjcwNzY3NDIJAQl1c2VyUG93ZXIBBQhib3Jyb3dlcgQCYnAIBQskdDA2NzA3Njc0MgJfMQQDYnB1CAULJHQwNjcwNzY3NDICXzIDCQBmAgUCYnAFA2JwdQkAAgEJAKwCAgIRIGhlYWx0aHkgdXNlcjogdT0FCGJvcnJvd2VyBAJicgkBA3ZsUgEFDWJvcnJvd1Jlc2VydmUEAmNyCQEDdmxSAQURY29sbGF0ZXJhbFJlc2VydmUEC2JvcnJvd0Fzc2V0CQETdmFsdWVPckVycm9yTWVzc2FnZQIJAJ0IAgUCYnIFBGFJZFMCEG5vIGFzc2V0SWQgaW4gYnIED2NvbGxhdGVyYWxBc3NldAkBE3ZhbHVlT3JFcnJvck1lc3NhZ2UCCQCdCAIFAmNyBQRhSWRTAhBubyBhc3NldElkIGluIGNyBAZjaGVja3MJAQlvcEFsbG93ZWQCAglsaXF1aWRhdGUFC2JvcnJvd0Fzc2V0AwkAAAIFBmNoZWNrcwUGY2hlY2tzBAxpc0NvbGxhdGVyYWwJAQt2YWx1ZU9yRWxzZQIJAJsIAgUCY3IJAKwCAgUIYm9ycm93ZXICEF91c2VBc0NvbGxhdGVyYWwHAwkAAAIFDGlzQ29sbGF0ZXJhbAUMaXNDb2xsYXRlcmFsAwMJAQEhAQUNZnJvbVByb3RlY3RlZAkBASEBBQxpc0NvbGxhdGVyYWwHCQACAQIeZGVwb3NpdCBub3QgdXNlZCBhcyBjb2xsYXRlcmFsBAskdDA3MjY1NzM1NQkBC3VzZXJCYWxhbmNlAgUCYnIFCGJvcnJvd2VyAwkAAAIFCyR0MDcyNjU3MzU1BQskdDA3MjY1NzM1NQQLdXNlckRlYnRVc2QIBQskdDA3MjY1NzM1NQJfNQQIdXNlckRlYnQIBQskdDA3MjY1NzM1NQJfNAQMdXNlckFzc2V0VXNkCAULJHQwNzI2NTczNTUCXzMECXVzZXJBc3NldAgFCyR0MDcyNjU3MzU1Al8yBAZpZ25vcmUIBQskdDA3MjY1NzM1NQJfMQMJAGcCBQl1c2VyQXNzZXQFCHVzZXJEZWJ0CQACAQIOcG9zaXRpdmUgc2FsZG8DCQBnAgAABRNsaXF1aWRhdGVEZWJ0QW1vdW50CQACAQIFPD0gMD4EBmZhY3RvcgkBC3ZhbHVlT3JFbHNlAgkAmggCBQ1jb25maWdBZGRyZXNzCQCsAgIFD2NvbGxhdGVyYWxBc3NldAIaX0xpcXVpZGF0aW9uRnJhY3Rpb25GYWN0b3IAAgMJAGYCCQBoAgUTbGlxdWlkYXRlRGVidEFtb3VudAUGZmFjdG9yCQBlAgUIdXNlckRlYnQFCXVzZXJBc3NldAkAAgEJAKwCAgkArAICCQCsAgICIm1vcmUgdGhhbiAxL2ZhY3RvciBvZiBzYWxkbzogZGVidD0JAKQDAQUIdXNlckRlYnQCGCwgbGlxdWlkYXRlRGVidEFtb3VudCA9IAkApAMBBRNsaXF1aWRhdGVEZWJ0QW1vdW50BA1jb2xsYXRlcmFsVXNkCQBrAwUTbGlxdWlkYXRlRGVidEFtb3VudAULdXNlckRlYnRVc2QFCHVzZXJEZWJ0BA1wZW5hbHRpemVkVXNkCQBrAwUNY29sbGF0ZXJhbFVzZAkAZAIFC2ZhY3RvcnNCYXNlCQESbGlxdWlkYXRpb25QZW5hbHR5AQULYm9ycm93QXNzZXQFC2ZhY3RvcnNCYXNlBAJtYwMFDWZyb21Qcm90ZWN0ZWQJAQ5tb3ZlQ29sbGF0ZXJhbAQFCGJvcnJvd2VyBQ9jb2xsYXRlcmFsQXNzZXQFAmNyBRFjb2xsYXRlcmFsUmVzZXJ2ZQUEdW5pdAMJAAACBQJtYwUCbWMEFXRyYW5zZmVycmVkQ29sbGF0ZXJhbAkBBWFzSW50AQkA/AcEBQJjcgISdHJhbnNmZXJBVG9rZW5zRm9yCQDMCAIFCGJvcnJvd2VyCQDMCAIFCmxpcXVpZGF0b3IJAMwIAgUNcGVuYWx0aXplZFVzZAUDbmlsBQNuaWwDCQAAAgUVdHJhbnNmZXJyZWRDb2xsYXRlcmFsBRV0cmFuc2ZlcnJlZENvbGxhdGVyYWwEBHBSdzEJAQptb3ZlU3RyZWFtBQURY29sbGF0ZXJhbFJlc2VydmUCB2RlcG9zaXQFCGJvcnJvd2VyBQpsaXF1aWRhdG9yBRV0cmFuc2ZlcnJlZENvbGxhdGVyYWwDCQAAAgUEcFJ3MQUEcFJ3MQQPdHJhbnNmZXJyZWREZWJ0CQEFYXNJbnQBCQD8BwQFAmJyAg90cmFuc2ZlckRlYnRGb3IJAMwIAgUIYm9ycm93ZXIJAMwIAgUKbGlxdWlkYXRvcgkAzAgCBRNsaXF1aWRhdGVEZWJ0QW1vdW50BQNuaWwFA25pbAMJAAACBQ90cmFuc2ZlcnJlZERlYnQFD3RyYW5zZmVycmVkRGVidAQEcFJ3MgkBCm1vdmVTdHJlYW0FBQ1ib3Jyb3dSZXNlcnZlAgZib3Jyb3cFCGJvcnJvd2VyBQpsaXF1aWRhdG9yBQ90cmFuc2ZlcnJlZERlYnQDCQAAAgUEcFJ3MgUEcFJ3MgQVbGlxdWlkYXRvckhlYWx0aENoZWNrAwkBCGNvbnRhaW5zAgULbGlxdWlkYXRvcnMFCmxpcXVpZGF0b3IFA25pbAkBDXZhbGlkYXRlQWZ0ZXICBQpsaXF1aWRhdG9yAhF0cmFuc2ZlcnJpbmcgZGVidAMJAAACBRVsaXF1aWRhdG9ySGVhbHRoQ2hlY2sFFWxpcXVpZGF0b3JIZWFsdGhDaGVjawkAlAoCBRVsaXF1aWRhdG9ySGVhbHRoQ2hlY2sFFXRyYW5zZmVycmVkQ29sbGF0ZXJhbAkAAgECJFN0cmljdCB2YWx1ZSBpcyBub3QgZXF1YWwgdG8gaXRzZWxmLgkAAgECJFN0cmljdCB2YWx1ZSBpcyBub3QgZXF1YWwgdG8gaXRzZWxmLgkAAgECJFN0cmljdCB2YWx1ZSBpcyBub3QgZXF1YWwgdG8gaXRzZWxmLgkAAgECJFN0cmljdCB2YWx1ZSBpcyBub3QgZXF1YWwgdG8gaXRzZWxmLgkAAgECJFN0cmljdCB2YWx1ZSBpcyBub3QgZXF1YWwgdG8gaXRzZWxmLgkAAgECJFN0cmljdCB2YWx1ZSBpcyBub3QgZXF1YWwgdG8gaXRzZWxmLgkAAgECJFN0cmljdCB2YWx1ZSBpcyBub3QgZXF1YWwgdG8gaXRzZWxmLgkAAgECJFN0cmljdCB2YWx1ZSBpcyBub3QgZXF1YWwgdG8gaXRzZWxmLgkAAgECJFN0cmljdCB2YWx1ZSBpcyBub3QgZXF1YWwgdG8gaXRzZWxmLgkAAgECJFN0cmljdCB2YWx1ZSBpcyBub3QgZXF1YWwgdG8gaXRzZWxmLgkAAgECJFN0cmljdCB2YWx1ZSBpcyBub3QgZXF1YWwgdG8gaXRzZWxmLgEVZm9yY2VDb2xsYXBzZUludGVybmFsBApsaXF1aWRhdG9yA3Jzcghib3Jyb3dlcg1mcm9tUHJvdGVjdGVkBA5yZXNlcnZlQWRkcmVzcwkBA3ZsUgEFA3JzcgMJAAACBQ5yZXNlcnZlQWRkcmVzcwUOcmVzZXJ2ZUFkZHJlc3MEAnNoCQELc3luY1Jld2FyZHMBBQNyc3IDCQAAAgUCc2gFAnNoAwkAAAIFCmxpcXVpZGF0b3IFCGJvcnJvd2VyCQACAQIkY2FuJ3QgY29sbGFwc2Ugc2VsZiBpbiB0aGlzIGZ1bmN0aW9uBAskdDA5MDAzOTAzOAkBCXVzZXJQb3dlcgEFCGJvcnJvd2VyBAJicAgFCyR0MDkwMDM5MDM4Al8xBANicHUIBQskdDA5MDAzOTAzOAJfMgMJAGYCBQJicAUDYnB1CQACAQkArAICAiJjYW4ndCBmb3JjZSBjb2xsYXBzZSBoZWFsdGh5IHVzZXIgBQhib3Jyb3dlcgQFYXNzZXQJARN2YWx1ZU9yRXJyb3JNZXNzYWdlAgkAnQgCBQ5yZXNlcnZlQWRkcmVzcwUEYUlkUwkArAICAhhubyBhc3NldElkIGZpZWxkIGluIHJzciAFA3JzcgQCbWMDBQ1mcm9tUHJvdGVjdGVkCQEObW92ZUNvbGxhdGVyYWwEBQhib3Jyb3dlcgUFYXNzZXQFDnJlc2VydmVBZGRyZXNzBQNyc3IFBHVuaXQDCQAAAgUCbWMFAm1jBAskdDA5MzQwOTQ0OAkBC3VzZXJCYWxhbmNlAgUOcmVzZXJ2ZUFkZHJlc3MFCGJvcnJvd2VyAwkAAAIFCyR0MDkzNDA5NDQ4BQskdDA5MzQwOTQ0OAQLdXNlckRlYnRVc2QIBQskdDA5MzQwOTQ0OAJfNQQIdXNlckRlYnQIBQskdDA5MzQwOTQ0OAJfNAQMdXNlckFzc2V0VXNkCAULJHQwOTM0MDk0NDgCXzMED2JvcnJvd2VyRGVwb3NpdAgFCyR0MDkzNDA5NDQ4Al8yBAZpZ25vcmUIBQskdDA5MzQwOTQ0OAJfMQQNcGVuYWx0aXplZFVzZAkAawMJAJcDAQkAzAgCBQx1c2VyQXNzZXRVc2QJAMwIAgULdXNlckRlYnRVc2QFA25pbAUPY29sbGFwc2VQZW5hbHR5BQtmYWN0b3JzQmFzZQQRdHJhbnNmZXJyZWRBc3NldHMJAQVhc0ludAEJAPwHBAUOcmVzZXJ2ZUFkZHJlc3MCEnRyYW5zZmVyQVRva2Vuc0ZvcgkAzAgCBQhib3Jyb3dlcgkAzAgCBQpsaXF1aWRhdG9yCQDMCAIFDXBlbmFsdGl6ZWRVc2QFA25pbAUDbmlsAwkAAAIFEXRyYW5zZmVycmVkQXNzZXRzBRF0cmFuc2ZlcnJlZEFzc2V0cwQEcFJ3MQkBCm1vdmVTdHJlYW0FBQNyc3ICB2RlcG9zaXQFCGJvcnJvd2VyBQpsaXF1aWRhdG9yBRF0cmFuc2ZlcnJlZEFzc2V0cwMJAAACBQRwUncxBQRwUncxBAljb2xsYXBzZWQJAQVhc0ludAEJAPwHBAUOcmVzZXJ2ZUFkZHJlc3MCC2NvbGxhcHNlRm9yCQDMCAIFCGJvcnJvd2VyBQNuaWwFA25pbAMJAAACBQljb2xsYXBzZWQFCWNvbGxhcHNlZAQEcFJ3MgkBDHVwZGF0ZVN0cmVhbQUFA3JzcgIGYm9ycm93BQhib3Jyb3dlcgkBAS0BBQljb2xsYXBzZWQJAQEtAQUJY29sbGFwc2VkAwkAAAIFBHBSdzIFBHBSdzIEBHBSdzMJAQx1cGRhdGVTdHJlYW0FBQNyc3ICB2RlcG9zaXQFCGJvcnJvd2VyCQEBLQEFCWNvbGxhcHNlZAkBAS0BBQljb2xsYXBzZWQDCQAAAgUEcFJ3MwUEcFJ3MwUDbmlsCQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuCQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuCQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuCQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuCQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuCQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuCQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuCQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuCQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuBQFpAQppbml0aWFsaXplAQJjYQkAzAgCCQEQd3JpdGVDb25zdFN0cmluZwIFC2NvbmZpZ1N0b3JlBQJjYQUDbmlsAWkBDHRyYW5zZmVyRGVidAQCYnICY3IBYgJsYQkBFHRyYW5zZmVyRGVidEludGVybmFsBgkApQgBCAUBaQZjYWxsZXIFAmJyBQJjcgUBYgUCbGEHAWkBDXRyYW5zZmVyRGVidDIEAmJyAmNyAWICbGEJARR0cmFuc2ZlckRlYnRJbnRlcm5hbAYJAKUIAQgFAWkGY2FsbGVyBQJicgUCY3IFAWIFAmxhBgFpAQ1mb3JjZUNvbGxhcHNlAgFyAWIJARVmb3JjZUNvbGxhcHNlSW50ZXJuYWwECQClCAEIBQFpBmNhbGxlcgUBcgUBYgcBaQEOZm9yY2VDb2xsYXBzZTICAXIBYgkBFWZvcmNlQ29sbGFwc2VJbnRlcm5hbAQJAKUIAQgFAWkGY2FsbGVyBQFyBQFiBgECdHgBBnZlcmlmeQAEEm1heWJlT3JhY2xlQWRkcmVzcwQHJG1hdGNoMAkAnQgCBQ1jb25maWdBZGRyZXNzAg5vcmFjbGVfYWRkcmVzcwMJAAECBQckbWF0Y2gwAgZTdHJpbmcEAXMFByRtYXRjaDAJAKYIAQUBcwUEdW5pdAQGSEVJR0hUBQZoZWlnaHQEBEJBU0UA6AcEC3F1b3J1bVJhdGlvCQETdmFsdWVPckVycm9yTWVzc2FnZQIJAJoIAgUNY29uZmlnQWRkcmVzcwIVcHJvcG9zYWxfcXVvcnVtX3JhdGlvAiJwcm9wb3NhbFF1b3J1bVJhdGlvIGlzIG5vdCBkZWZpbmVkBAtwYXNzZWRSYXRpbwkBE3ZhbHVlT3JFcnJvck1lc3NhZ2UCCQCaCAIFDWNvbmZpZ0FkZHJlc3MCFXByb3Bvc2FsX3Bhc3NlZF9yYXRpbwIlcHJvcG9zYWxUaHJlc2hvbGRSYXRpbyBpcyBub3QgZGVmaW5lZAQOZ1ZpcmVzQ29udHJhY3QJARN2YWx1ZU9yRXJyb3JNZXNzYWdlAgkApggBCQETdmFsdWVPckVycm9yTWVzc2FnZQIJAJ0IAgUNY29uZmlnQWRkcmVzcwISZGl2aWRlbmRzX2NvbnRyYWN0AhVubyBkaXZpZGVuZHNfY29udHJhY3QCGmludmFsaWQgZGl2aWRlbmRzX2NvbnRyYWN0BA52b3RpbmdDb250cmFjdAkBE3ZhbHVlT3JFcnJvck1lc3NhZ2UCCQCmCAEJARN2YWx1ZU9yRXJyb3JNZXNzYWdlAgkAnQgCBQ1jb25maWdBZGRyZXNzAg92b3RpbmdfY29udHJhY3QCEm5vIHZvdGluZ19jb250cmFjdAIXaW52YWxpZCB2b3RpbmdfY29udHJhY3QEAmlkCQDYBAEIBQJ0eAJpZAQIdm90ZXNZZXMJAQt2YWx1ZU9yRWxzZQIJAJoIAgUOdm90aW5nQ29udHJhY3QJAKwCAgINcHJvcG9zYWxfeWVzXwUCaWQAAAQHdm90ZXNObwkBC3ZhbHVlT3JFbHNlAgkAmggCBQ52b3RpbmdDb250cmFjdAkArAICAgxwcm9wb3NhbF9ub18FAmlkAAAEDnByb3Bvc2FsSGVpZ2h0CQETdmFsdWVPckVycm9yTWVzc2FnZQIJAJoIAgUOdm90aW5nQ29udHJhY3QJAKwCAgIQcHJvcG9zYWxfaGVpZ2h0XwUCaWQCF3Byb3Bvc2FsIG5vdCByZWdpc3RlcmVkBAphcHBseVN0YXJ0CQELdmFsdWVPckVsc2UCCQCaCAIFDnZvdGluZ0NvbnRyYWN0CQCsAgICFHByb3Bvc2FsX2FwcGx5c3RhcnRfBQJpZAAABAhhcHBseUVuZAkBC3ZhbHVlT3JFbHNlAgkAmggCBQ52b3RpbmdDb250cmFjdAkArAICAhJwcm9wb3NhbF9hcHBseWVuZF8FAmlkAAAEC3RvdGFsR1ZpcmVzCQELdmFsdWVPckVsc2UCCQCaCAIFDnZvdGluZ0NvbnRyYWN0CQCsAgICEHByb3Bvc2FsX2d2aXJlc18FAmlkAAAEB2VuYWJsZWQJAQt2YWx1ZU9yRWxzZQIJAJsIAgUNY29uZmlnQWRkcmVzcwIdb3BfZ292ZXJuYW5jZV9hcHBseV90eF9wYXVzZWQHBAd2b3RlWWVzBQh2b3Rlc1llcwQGdm90ZU5vBQd2b3Rlc05vBAp0b3RhbFZvdGVzCQBkAgUHdm90ZVllcwUGdm90ZU5vBAloYXNRdW9ydW0JAGcCCQBpAgkAaAIFCnRvdGFsVm90ZXMFBEJBU0UFC3RvdGFsR1ZpcmVzBQtxdW9ydW1SYXRpbwQJaGFzUGFzc2VkCQBnAgkAaQIJAGgCBQd2b3RlWWVzBQRCQVNFBQp0b3RhbFZvdGVzBQtwYXNzZWRSYXRpbwQIdG9vRWFybHkJAGcCBQphcHBseVN0YXJ0BQZIRUlHSFQEB3Rvb0xhdGUJAGcCBQZIRUlHSFQFCGFwcGx5RW5kBAl0aW1lRGVidWcJAKwCAgkArAICCQCsAgIJAKwCAgkArAICCQCsAgIJAKwCAgIRcHJvcG9zYWxIZWlnaHQgPSAJAKQDAQUOcHJvcG9zYWxIZWlnaHQCDywgYXBwbHlTdGFydCA9IAkApAMBBQphcHBseVN0YXJ0Ag0sIGFwcGx5RW5kID0gCQCkAwEFCGFwcGx5RW5kAgssIEhFSUdIVCA9IAkApAMBBQZIRUlHSFQECGJ5Vm90aW5nAwkBASEBBQdlbmFibGVkCQACAQIrdHggYXBwbGljYXRpb24gdGhyb3cgZ292ZXJuYW5jZSBub3QgZW5hYmxlZAMFCHRvb0Vhcmx5CQACAQkArAICAi5wcm9wb3NhbCBjYW4ndCBiZSBleGVjdXRlZCBhcyBpdCdzIHRvbyBlYXJseTogBQl0aW1lRGVidWcDBQd0b29MYXRlCQACAQkArAICAixwcm9wb3NhbCBjYW4ndCBiZSBleGVjdXRlZCBhcyBpdCdzIHRvbyBsYXRlOgUJdGltZURlYnVnAwkBASEBBQloYXNRdW9ydW0JAAIBCQCsAgIJAKwCAgkArAICCQCsAgIJAKwCAgkArAICAgtubyBxdW9ydW06IAIMdG90YWxWb3RlczogCQCkAwEFCnRvdGFsVm90ZXMCDywgdG90YWxHVmlyZXM6IAkApAMBBQt0b3RhbEdWaXJlcwIPLCBxdW9ydW1SYXRpbzogCQCkAwEFC3F1b3J1bVJhdGlvAwkBASEBBQloYXNQYXNzZWQJAAIBCQCsAgIJAKwCAgkArAICCQCsAgIJAKwCAgkArAICAhdubyB0aHJlc2hvbGQgYWNoaWV2ZWQ6IAIJdm90ZVllczogCQCkAwEFB3ZvdGVZZXMCCiwgdm90ZU5vOiAJAKQDAQUGdm90ZU5vAg8sIHBhc3NlZFJhdGlvOiAJAKQDAQULcGFzc2VkUmF0aW8GAwkA9AMDCAUCdHgJYm9keUJ5dGVzCQCRAwIIBQJ0eAZwcm9vZnMAAAgFAnR4D3NlbmRlclB1YmxpY0tleQYFCGJ5Vm90aW5n/kfi7A==",
    "chainId": 87,
    "height": 3563744,
    "applicationStatus": "succeeded",
    "spentComplexity": 0
}

View: original | compacted
Prev: 8pXcuY2GYuSRsU9gNUNXJDLtWZxPdPXS4n26cmhdGMJe
Next: CZ1YPjgX8QFixVdQH9unfL5Duhk4A2CbXDvBv9XZJfBD

Diff: 

OldNewDifferences
215215     }
216216 
217217 
218+func opAllowed (op,assetId) = match invoke(configAddress, "opAllowed", [assetId, op], nil) {
219+    case b: Boolean => 
220+        if (b)
221+            then true
222+            else throw((op + " not allowed"))
223+    case _ => 
224+        throw("opAllowed: unexpected result type")
225+}
226+
227+
218228 func moveCollateral (addr,assetStr,rsr,reserveStr) = {
219229     let protectedReserve = valueOrErrorMessage(maybeProtected, "no protected rsr")
220230     let amt = asInt(invoke(protectedReserve, "withdrawToMain", [addr, assetStr], nil))
250260                         else if ((liquidator == borrower))
251261                             then throw("self")
252262                             else {
253-                                let $t064506485 = userPower(borrower)
254-                                let bp = $t064506485._1
255-                                let bpu = $t064506485._2
263+                                let $t067076742 = userPower(borrower)
264+                                let bp = $t067076742._1
265+                                let bpu = $t067076742._2
256266                                 if ((bp > bpu))
257267                                     then throw((" healthy user: u=" + borrower))
258268                                     else {
260270                                         let cr = vlR(collateralReserve)
261271                                         let borrowAsset = valueOrErrorMessage(getString(br, aIdS), "no assetId in br")
262272                                         let collateralAsset = valueOrErrorMessage(getString(cr, aIdS), "no assetId in cr")
263-                                        let isCollateral = valueOrElse(getBoolean(cr, (borrower + "_useAsCollateral")), false)
264-                                        if ((isCollateral == isCollateral))
265-                                            then if (if (!(fromProtected))
266-                                                then !(isCollateral)
267-                                                else false)
268-                                                then throw("deposit not used as collateral")
269-                                                else {
270-                                                    let $t069557045 = userBalance(br, borrower)
271-                                                    if (($t069557045 == $t069557045))
272-                                                        then {
273-                                                            let userDebtUsd = $t069557045._5
274-                                                            let userDebt = $t069557045._4
275-                                                            let userAssetUsd = $t069557045._3
276-                                                            let userAsset = $t069557045._2
277-                                                            let ignore = $t069557045._1
278-                                                            if ((userAsset >= userDebt))
279-                                                                then throw("positive saldo")
280-                                                                else if ((0 >= liquidateDebtAmount))
281-                                                                    then throw("<= 0>")
282-                                                                    else {
283-                                                                        let factor = valueOrElse(getInteger(configAddress, (collateralAsset + "_LiquidationFractionFactor")), 2)
284-                                                                        if (((liquidateDebtAmount * factor) > (userDebt - userAsset)))
285-                                                                            then throw(((("more than 1/factor of saldo: debt=" + toString(userDebt)) + ", liquidateDebtAmount = ") + toString(liquidateDebtAmount)))
273+                                        let checks = opAllowed("liquidate", borrowAsset)
274+                                        if ((checks == checks))
275+                                            then {
276+                                                let isCollateral = valueOrElse(getBoolean(cr, (borrower + "_useAsCollateral")), false)
277+                                                if ((isCollateral == isCollateral))
278+                                                    then if (if (!(fromProtected))
279+                                                        then !(isCollateral)
280+                                                        else false)
281+                                                        then throw("deposit not used as collateral")
282+                                                        else {
283+                                                            let $t072657355 = userBalance(br, borrower)
284+                                                            if (($t072657355 == $t072657355))
285+                                                                then {
286+                                                                    let userDebtUsd = $t072657355._5
287+                                                                    let userDebt = $t072657355._4
288+                                                                    let userAssetUsd = $t072657355._3
289+                                                                    let userAsset = $t072657355._2
290+                                                                    let ignore = $t072657355._1
291+                                                                    if ((userAsset >= userDebt))
292+                                                                        then throw("positive saldo")
293+                                                                        else if ((0 >= liquidateDebtAmount))
294+                                                                            then throw("<= 0>")
286295                                                                             else {
287-                                                                                let collateralUsd = fraction(liquidateDebtAmount, userDebtUsd, userDebt)
288-                                                                                let penaltizedUsd = fraction(collateralUsd, (factorsBase + liquidationPenalty(borrowAsset)), factorsBase)
289-                                                                                let mc = if (fromProtected)
290-                                                                                    then moveCollateral(borrower, collateralAsset, cr, collateralReserve)
291-                                                                                    else unit
292-                                                                                if ((mc == mc))
293-                                                                                    then {
294-                                                                                        let transferredCollateral = asInt(invoke(cr, "transferATokensFor", [borrower, liquidator, penaltizedUsd], nil))
295-                                                                                        if ((transferredCollateral == transferredCollateral))
296+                                                                                let factor = valueOrElse(getInteger(configAddress, (collateralAsset + "_LiquidationFractionFactor")), 2)
297+                                                                                if (((liquidateDebtAmount * factor) > (userDebt - userAsset)))
298+                                                                                    then throw(((("more than 1/factor of saldo: debt=" + toString(userDebt)) + ", liquidateDebtAmount = ") + toString(liquidateDebtAmount)))
299+                                                                                    else {
300+                                                                                        let collateralUsd = fraction(liquidateDebtAmount, userDebtUsd, userDebt)
301+                                                                                        let penaltizedUsd = fraction(collateralUsd, (factorsBase + liquidationPenalty(borrowAsset)), factorsBase)
302+                                                                                        let mc = if (fromProtected)
303+                                                                                            then moveCollateral(borrower, collateralAsset, cr, collateralReserve)
304+                                                                                            else unit
305+                                                                                        if ((mc == mc))
296306                                                                                             then {
297-                                                                                                let pRw1 = moveStream(collateralReserve, "deposit", borrower, liquidator, transferredCollateral)
298-                                                                                                if ((pRw1 == pRw1))
307+                                                                                                let transferredCollateral = asInt(invoke(cr, "transferATokensFor", [borrower, liquidator, penaltizedUsd], nil))
308+                                                                                                if ((transferredCollateral == transferredCollateral))
299309                                                                                                     then {
300-                                                                                                        let transferredDebt = asInt(invoke(br, "transferDebtFor", [borrower, liquidator, liquidateDebtAmount], nil))
301-                                                                                                        if ((transferredDebt == transferredDebt))
310+                                                                                                        let pRw1 = moveStream(collateralReserve, "deposit", borrower, liquidator, transferredCollateral)
311+                                                                                                        if ((pRw1 == pRw1))
302312                                                                                                             then {
303-                                                                                                                let pRw2 = moveStream(borrowReserve, "borrow", borrower, liquidator, transferredDebt)
304-                                                                                                                if ((pRw2 == pRw2))
313+                                                                                                                let transferredDebt = asInt(invoke(br, "transferDebtFor", [borrower, liquidator, liquidateDebtAmount], nil))
314+                                                                                                                if ((transferredDebt == transferredDebt))
305315                                                                                                                     then {
306-                                                                                                                        let liquidatorHealthCheck = if (contains(liquidators, liquidator))
307-                                                                                                                            then nil
308-                                                                                                                            else validateAfter(liquidator, "transferring debt")
309-                                                                                                                        if ((liquidatorHealthCheck == liquidatorHealthCheck))
310-                                                                                                                            then $Tuple2(liquidatorHealthCheck, transferredCollateral)
316+                                                                                                                        let pRw2 = moveStream(borrowReserve, "borrow", borrower, liquidator, transferredDebt)
317+                                                                                                                        if ((pRw2 == pRw2))
318+                                                                                                                            then {
319+                                                                                                                                let liquidatorHealthCheck = if (contains(liquidators, liquidator))
320+                                                                                                                                    then nil
321+                                                                                                                                    else validateAfter(liquidator, "transferring debt")
322+                                                                                                                                if ((liquidatorHealthCheck == liquidatorHealthCheck))
323+                                                                                                                                    then $Tuple2(liquidatorHealthCheck, transferredCollateral)
324+                                                                                                                                    else throw("Strict value is not equal to itself.")
325+                                                                                                                                }
311326                                                                                                                             else throw("Strict value is not equal to itself.")
312327                                                                                                                         }
313328                                                                                                                     else throw("Strict value is not equal to itself.")
318333                                                                                                 }
319334                                                                                             else throw("Strict value is not equal to itself.")
320335                                                                                         }
321-                                                                                    else throw("Strict value is not equal to itself.")
322336                                                                                 }
323-                                                                        }
337+                                                                    }
338+                                                                else throw("Strict value is not equal to itself.")
324339                                                             }
325-                                                        else throw("Strict value is not equal to itself.")
326-                                                    }
340+                                                    else throw("Strict value is not equal to itself.")
341+                                                }
327342                                             else throw("Strict value is not equal to itself.")
328343                                         }
329344                                 }
342357                 then if ((liquidator == borrower))
343358                     then throw("can't collapse self in this function")
344359                     else {
345-                        let $t086938728 = userPower(borrower)
346-                        let bp = $t086938728._1
347-                        let bpu = $t086938728._2
360+                        let $t090039038 = userPower(borrower)
361+                        let bp = $t090039038._1
362+                        let bpu = $t090039038._2
348363                         if ((bp > bpu))
349364                             then throw(("can't force collapse healthy user " + borrower))
350365                             else {
354369                                     else unit
355370                                 if ((mc == mc))
356371                                     then {
357-                                        let $t090309138 = userBalance(reserveAddress, borrower)
358-                                        if (($t090309138 == $t090309138))
372+                                        let $t093409448 = userBalance(reserveAddress, borrower)
373+                                        if (($t093409448 == $t093409448))
359374                                             then {
360-                                                let userDebtUsd = $t090309138._5
361-                                                let userDebt = $t090309138._4
362-                                                let userAssetUsd = $t090309138._3
363-                                                let borrowerDeposit = $t090309138._2
364-                                                let ignore = $t090309138._1
375+                                                let userDebtUsd = $t093409448._5
376+                                                let userDebt = $t093409448._4
377+                                                let userAssetUsd = $t093409448._3
378+                                                let borrowerDeposit = $t093409448._2
379+                                                let ignore = $t093409448._1
365380                                                 let penaltizedUsd = fraction(min([userAssetUsd, userDebtUsd]), collapsePenalty, factorsBase)
366381                                                 let transferredAssets = asInt(invoke(reserveAddress, "transferATokensFor", [borrower, liquidator, penaltizedUsd], nil))
367382                                                 if ((transferredAssets == transferredAssets))

Full: 

OldNewDifferences
11 {-# STDLIB_VERSION 6 #-}
22 {-# SCRIPT_TYPE ACCOUNT #-}
33 {-# CONTENT_TYPE DAPP #-}
44 let factorsBase = 1000
55 
66 func fCi (value,numerator,denominator) = {
77     let cand = fraction(value, numerator, denominator)
88     let D = 3037000499
99     let exact = ((((cand % D) * (denominator % D)) % D) == (((value % D) * (numerator % D)) % D))
1010     if (exact)
1111         then cand
1212         else (cand + 1)
1313     }
1414 
1515 
1616 func writeConstString (key,value) = if (!(isDefined(getString(this, key))))
1717     then StringEntry(key, value)
1818     else throw(("already initialized: " + key))
1919 
2020 
2121 func asInt (value) = match value {
2222     case int: Int => 
2323         int
2424     case _ => 
2525         throw("m2:1")
2626 }
2727 
2828 
2929 func asInt3 (value) = match value {
3030     case x: (Int, Int, Int) => 
3131         x
3232     case t => 
3333         throw("2")
3434 }
3535 
3636 
3737 func asUserBalanceData (value) = match value {
3838     case x: (Int, Int, Int, Int, Int, Boolean) => 
3939         x
4040     case t => 
4141         throw("3")
4242 }
4343 
4444 
4545 let configStore = "config"
4646 
4747 let reservesStore = "reserves"
4848 
4949 let aTIdS = "aTokenId"
5050 
5151 let aIdS = "assetId"
5252 
5353 let configAddress = addressFromStringValue(getStringValue(this, configStore))
5454 
5555 let reservesStr = valueOrErrorMessage(getString(configAddress, "primary_reserves"), "no reserves registered")
5656 
5757 let reserves = split_4C(reservesStr, "|")
5858 
5959 let mVD = match getString(configAddress, "vires_distributor") {
6060     case d: String => 
6161         addressFromStringValue(d)
6262     case _ => 
6363         unit
6464 }
6565 
6666 func assetIdOfReserve (rsr) = valueOrErrorMessage(getString(rsr, aIdS), "no assetId in reserve")
6767 
6868 
6969 func collateralFactor (rsr) = valueOrErrorMessage(getInteger(configAddress, (assetIdOfReserve(rsr) + "_CollateralFactor")), "no 1")
7070 
7171 
7272 func liquidationThreshold (rsr) = valueOrErrorMessage(getInteger(configAddress, (assetIdOfReserve(rsr) + "_LiquidationThreshold")), "no 2")
7373 
7474 
7575 func liquidationPenalty (assetId) = valueOrErrorMessage(getInteger(configAddress, (assetId + "_LiquidationPenalty")), "no 3")
7676 
7777 
7878 let accountHealthThreshold = valueOrErrorMessage(getInteger(configAddress, "account_health_threshold"), "no 4")
7979 
8080 let accountHealthOverlap = valueOrErrorMessage(getInteger(configAddress, "account_health_overlap"), "no 5")
8181 
8282 let collapsePenalty = valueOrErrorMessage(getInteger(configAddress, "collapse_penalty"), "no 6")
8383 
8484 let liquidators = valueOrElse(getString(configAddress, "liquidators"), "")
8585 
8686 func vlR (r) = if (contains(reservesStr, r))
8787     then valueOrErrorMessage(addressFromString(r), "main: bad rsr")
8888     else throw(("unknown rsr:" + r))
8989 
9090 
9191 func userBalance (rsr,user) = asUserBalanceData(invoke(rsr, "userBalance", [user], nil))
9292 
9393 
9494 let maybeProtected = match getString(configAddress, "protected_reserve") {
9595     case pds: String => 
9696         valueOrErrorMessage(addressFromString(pds), "bad protected")
9797     case _ => 
9898         unit
9999 }
100100 
101101 func userPower (user) = {
102102     let protectedDeposit =     match maybeProtected {
103103         case pa: Address => 
104104             asInt(invoke(pa, "borrowPower", [user], nil))
105105         case _ => 
106106             0
107107     }
108108     func fold (totals,r) =     {
109109         let $t029382984 = totals
110110         let totalD = $t029382984._1
111111         let totalB = $t029382984._2
112112         let numberOfBorrows = $t029382984._3
113113         let rsr = valueOrErrorMessage(addressFromString(r), "rsr bad address")
114114         let cf = collateralFactor(rsr)
115115         let lt = liquidationThreshold(rsr)
116116         let $t031383222 = userBalance(rsr, user)
117117         let token = $t031383222._1
118118         let asset = $t031383222._2
119119         let depositUsd = $t031383222._3
120120         let debt = $t031383222._4
121121         let debtUsd = $t031383222._5
122122         let asCollateral = $t031383222._6
123123         let totalBorrows = (numberOfBorrows + (if ((debt > 0))
124124             then 1
125125             else 0))
126126         let effectiveDepositUsd = if (asCollateral)
127127             then depositUsd
128128             else 0
129129         let overlapUsd = min([debtUsd, effectiveDepositUsd])
130130         let overlapCharge = fCi(overlapUsd, accountHealthOverlap, factorsBase)
131131         if ((debtUsd > effectiveDepositUsd))
132132             then $Tuple3(totalD, ((totalB + fraction((debtUsd - effectiveDepositUsd), factorsBase, lt)) + overlapCharge), totalBorrows)
133133             else $Tuple3((totalD + fraction((effectiveDepositUsd - debtUsd), cf, factorsBase)), (totalB + overlapCharge), totalBorrows)
134134         }
135135 
136136     let r = {
137137         let $l = reserves
138138         let $s = size($l)
139139         let $acc0 = $Tuple3(protectedDeposit, 0, 0)
140140         func $f0_1 ($a,$i) =         if (($i >= $s))
141141             then $a
142142             else fold($a, $l[$i])
143143 
144144         func $f0_2 ($a,$i) =         if (($i >= $s))
145145             then $a
146146             else throw("List size exceeds 20")
147147 
148148         $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)
149149         }
150150     if (if ((protectedDeposit > 0))
151151         then (r._3 > 4)
152152         else false)
153153         then throw("can't have more than 4 borrows")
154154         else r
155155     }
156156 
157157 
158158 func getUserHealth (account) = {
159159     let $t039774028 = asInt3(userPower(account))
160160     let bp = $t039774028._1
161161     let bpu = $t039774028._2
162162     let ignore = $t039774028._3
163163     ((("bp:" + toString(bp)) + ", bpu:") + toString(bpu))
164164     }
165165 
166166 
167167 func validateAfter (user,op) = {
168168     let $t041394170 = userPower(user)
169169     let bp = $t041394170._1
170170     let bpu = $t041394170._2
171171     let accHealth = (((bp - bpu) * factorsBase) / bp)
172172     if (if ((bp == 0))
173173         then (bpu == 0)
174174         else false)
175175         then nil
176176         else if (if ((bp == 0))
177177             then (bpu > 0)
178178             else false)
179179             then throw(((op + ": breaching liquidation threshold(bp=0, bpu=") + toString(bpu)))
180180             else if ((accountHealthThreshold > accHealth))
181181                 then throw((((((((op + ": breaching liquidation threshold(bp=") + toString(bp)) + ", bpu=") + toString(bpu)) + ", health=") + toString(accHealth)) + ")"))
182182                 else nil
183183     }
184184 
185185 
186186 func updateStream (rsr,action,user,userChange,streamChange) = match mVD {
187187     case a: Address => 
188188         invoke(a, "onAction", [rsr, action, user, userChange, streamChange], nil)
189189     case _ => 
190190         unit
191191 }
192192 
193193 
194194 func moveStream (rsr,action,from,string,amt) = match mVD {
195195     case a: Address => 
196196         invoke(a, "move", [rsr, action, from, string, amt], nil)
197197     case _ => 
198198         unit
199199 }
200200 
201201 
202202 func syncRewards (rsr) = match mVD {
203203     case a: Address => 
204204         invoke(a, "syncHeight", [rsr], nil)
205205     case _ => 
206206         unit
207207 }
208208 
209209 
210210 func pureAssetId (assetId) = {
211211     let i = split(assetId, "_")[0]
212212     if ((i == "WAVES"))
213213         then unit
214214         else fromBase58String(i)
215215     }
216216 
217217 
218+func opAllowed (op,assetId) = match invoke(configAddress, "opAllowed", [assetId, op], nil) {
219+    case b: Boolean => 
220+        if (b)
221+            then true
222+            else throw((op + " not allowed"))
223+    case _ => 
224+        throw("opAllowed: unexpected result type")
225+}
226+
227+
218228 func moveCollateral (addr,assetStr,rsr,reserveStr) = {
219229     let protectedReserve = valueOrErrorMessage(maybeProtected, "no protected rsr")
220230     let amt = asInt(invoke(protectedReserve, "withdrawToMain", [addr, assetStr], nil))
221231     if ((amt == amt))
222232         then {
223233             let assetId = if ((assetStr == "WAVES"))
224234                 then unit
225235                 else fromBase58String(assetStr)
226236             let dep = invoke(rsr, "depositFor", [addr, true], [AttachedPayment(pureAssetId(assetStr), amt)])
227237             if ((dep == dep))
228238                 then {
229239                     let prop = updateStream(reserveStr, "deposit", addr, amt, amt)
230240                     if ((prop == prop))
231241                         then unit
232242                         else throw("Strict value is not equal to itself.")
233243                     }
234244                 else throw("Strict value is not equal to itself.")
235245             }
236246         else throw("Strict value is not equal to itself.")
237247     }
238248 
239249 
240250 func transferDebtInternal (liquidator,borrowReserve,collateralReserve,borrower,liquidateDebtAmount,fromProtected) = {
241251     let sh1 = syncRewards(borrowReserve)
242252     if ((sh1 == sh1))
243253         then {
244254             let sh2 = syncRewards(collateralReserve)
245255             if ((sh2 == sh2))
246256                 then if ((0 >= liquidateDebtAmount))
247257                     then throw("non-positive amount")
248258                     else if ((collateralReserve == borrowReserve))
249259                         then throw("cr = br")
250260                         else if ((liquidator == borrower))
251261                             then throw("self")
252262                             else {
253-                                let $t064506485 = userPower(borrower)
254-                                let bp = $t064506485._1
255-                                let bpu = $t064506485._2
263+                                let $t067076742 = userPower(borrower)
264+                                let bp = $t067076742._1
265+                                let bpu = $t067076742._2
256266                                 if ((bp > bpu))
257267                                     then throw((" healthy user: u=" + borrower))
258268                                     else {
259269                                         let br = vlR(borrowReserve)
260270                                         let cr = vlR(collateralReserve)
261271                                         let borrowAsset = valueOrErrorMessage(getString(br, aIdS), "no assetId in br")
262272                                         let collateralAsset = valueOrErrorMessage(getString(cr, aIdS), "no assetId in cr")
263-                                        let isCollateral = valueOrElse(getBoolean(cr, (borrower + "_useAsCollateral")), false)
264-                                        if ((isCollateral == isCollateral))
265-                                            then if (if (!(fromProtected))
266-                                                then !(isCollateral)
267-                                                else false)
268-                                                then throw("deposit not used as collateral")
269-                                                else {
270-                                                    let $t069557045 = userBalance(br, borrower)
271-                                                    if (($t069557045 == $t069557045))
272-                                                        then {
273-                                                            let userDebtUsd = $t069557045._5
274-                                                            let userDebt = $t069557045._4
275-                                                            let userAssetUsd = $t069557045._3
276-                                                            let userAsset = $t069557045._2
277-                                                            let ignore = $t069557045._1
278-                                                            if ((userAsset >= userDebt))
279-                                                                then throw("positive saldo")
280-                                                                else if ((0 >= liquidateDebtAmount))
281-                                                                    then throw("<= 0>")
282-                                                                    else {
283-                                                                        let factor = valueOrElse(getInteger(configAddress, (collateralAsset + "_LiquidationFractionFactor")), 2)
284-                                                                        if (((liquidateDebtAmount * factor) > (userDebt - userAsset)))
285-                                                                            then throw(((("more than 1/factor of saldo: debt=" + toString(userDebt)) + ", liquidateDebtAmount = ") + toString(liquidateDebtAmount)))
273+                                        let checks = opAllowed("liquidate", borrowAsset)
274+                                        if ((checks == checks))
275+                                            then {
276+                                                let isCollateral = valueOrElse(getBoolean(cr, (borrower + "_useAsCollateral")), false)
277+                                                if ((isCollateral == isCollateral))
278+                                                    then if (if (!(fromProtected))
279+                                                        then !(isCollateral)
280+                                                        else false)
281+                                                        then throw("deposit not used as collateral")
282+                                                        else {
283+                                                            let $t072657355 = userBalance(br, borrower)
284+                                                            if (($t072657355 == $t072657355))
285+                                                                then {
286+                                                                    let userDebtUsd = $t072657355._5
287+                                                                    let userDebt = $t072657355._4
288+                                                                    let userAssetUsd = $t072657355._3
289+                                                                    let userAsset = $t072657355._2
290+                                                                    let ignore = $t072657355._1
291+                                                                    if ((userAsset >= userDebt))
292+                                                                        then throw("positive saldo")
293+                                                                        else if ((0 >= liquidateDebtAmount))
294+                                                                            then throw("<= 0>")
286295                                                                             else {
287-                                                                                let collateralUsd = fraction(liquidateDebtAmount, userDebtUsd, userDebt)
288-                                                                                let penaltizedUsd = fraction(collateralUsd, (factorsBase + liquidationPenalty(borrowAsset)), factorsBase)
289-                                                                                let mc = if (fromProtected)
290-                                                                                    then moveCollateral(borrower, collateralAsset, cr, collateralReserve)
291-                                                                                    else unit
292-                                                                                if ((mc == mc))
293-                                                                                    then {
294-                                                                                        let transferredCollateral = asInt(invoke(cr, "transferATokensFor", [borrower, liquidator, penaltizedUsd], nil))
295-                                                                                        if ((transferredCollateral == transferredCollateral))
296+                                                                                let factor = valueOrElse(getInteger(configAddress, (collateralAsset + "_LiquidationFractionFactor")), 2)
297+                                                                                if (((liquidateDebtAmount * factor) > (userDebt - userAsset)))
298+                                                                                    then throw(((("more than 1/factor of saldo: debt=" + toString(userDebt)) + ", liquidateDebtAmount = ") + toString(liquidateDebtAmount)))
299+                                                                                    else {
300+                                                                                        let collateralUsd = fraction(liquidateDebtAmount, userDebtUsd, userDebt)
301+                                                                                        let penaltizedUsd = fraction(collateralUsd, (factorsBase + liquidationPenalty(borrowAsset)), factorsBase)
302+                                                                                        let mc = if (fromProtected)
303+                                                                                            then moveCollateral(borrower, collateralAsset, cr, collateralReserve)
304+                                                                                            else unit
305+                                                                                        if ((mc == mc))
296306                                                                                             then {
297-                                                                                                let pRw1 = moveStream(collateralReserve, "deposit", borrower, liquidator, transferredCollateral)
298-                                                                                                if ((pRw1 == pRw1))
307+                                                                                                let transferredCollateral = asInt(invoke(cr, "transferATokensFor", [borrower, liquidator, penaltizedUsd], nil))
308+                                                                                                if ((transferredCollateral == transferredCollateral))
299309                                                                                                     then {
300-                                                                                                        let transferredDebt = asInt(invoke(br, "transferDebtFor", [borrower, liquidator, liquidateDebtAmount], nil))
301-                                                                                                        if ((transferredDebt == transferredDebt))
310+                                                                                                        let pRw1 = moveStream(collateralReserve, "deposit", borrower, liquidator, transferredCollateral)
311+                                                                                                        if ((pRw1 == pRw1))
302312                                                                                                             then {
303-                                                                                                                let pRw2 = moveStream(borrowReserve, "borrow", borrower, liquidator, transferredDebt)
304-                                                                                                                if ((pRw2 == pRw2))
313+                                                                                                                let transferredDebt = asInt(invoke(br, "transferDebtFor", [borrower, liquidator, liquidateDebtAmount], nil))
314+                                                                                                                if ((transferredDebt == transferredDebt))
305315                                                                                                                     then {
306-                                                                                                                        let liquidatorHealthCheck = if (contains(liquidators, liquidator))
307-                                                                                                                            then nil
308-                                                                                                                            else validateAfter(liquidator, "transferring debt")
309-                                                                                                                        if ((liquidatorHealthCheck == liquidatorHealthCheck))
310-                                                                                                                            then $Tuple2(liquidatorHealthCheck, transferredCollateral)
316+                                                                                                                        let pRw2 = moveStream(borrowReserve, "borrow", borrower, liquidator, transferredDebt)
317+                                                                                                                        if ((pRw2 == pRw2))
318+                                                                                                                            then {
319+                                                                                                                                let liquidatorHealthCheck = if (contains(liquidators, liquidator))
320+                                                                                                                                    then nil
321+                                                                                                                                    else validateAfter(liquidator, "transferring debt")
322+                                                                                                                                if ((liquidatorHealthCheck == liquidatorHealthCheck))
323+                                                                                                                                    then $Tuple2(liquidatorHealthCheck, transferredCollateral)
324+                                                                                                                                    else throw("Strict value is not equal to itself.")
325+                                                                                                                                }
311326                                                                                                                             else throw("Strict value is not equal to itself.")
312327                                                                                                                         }
313328                                                                                                                     else throw("Strict value is not equal to itself.")
314329                                                                                                                 }
315330                                                                                                             else throw("Strict value is not equal to itself.")
316331                                                                                                         }
317332                                                                                                     else throw("Strict value is not equal to itself.")
318333                                                                                                 }
319334                                                                                             else throw("Strict value is not equal to itself.")
320335                                                                                         }
321-                                                                                    else throw("Strict value is not equal to itself.")
322336                                                                                 }
323-                                                                        }
337+                                                                    }
338+                                                                else throw("Strict value is not equal to itself.")
324339                                                             }
325-                                                        else throw("Strict value is not equal to itself.")
326-                                                    }
340+                                                    else throw("Strict value is not equal to itself.")
341+                                                }
327342                                             else throw("Strict value is not equal to itself.")
328343                                         }
329344                                 }
330345                 else throw("Strict value is not equal to itself.")
331346             }
332347         else throw("Strict value is not equal to itself.")
333348     }
334349 
335350 
336351 func forceCollapseInternal (liquidator,rsr,borrower,fromProtected) = {
337352     let reserveAddress = vlR(rsr)
338353     if ((reserveAddress == reserveAddress))
339354         then {
340355             let sh = syncRewards(rsr)
341356             if ((sh == sh))
342357                 then if ((liquidator == borrower))
343358                     then throw("can't collapse self in this function")
344359                     else {
345-                        let $t086938728 = userPower(borrower)
346-                        let bp = $t086938728._1
347-                        let bpu = $t086938728._2
360+                        let $t090039038 = userPower(borrower)
361+                        let bp = $t090039038._1
362+                        let bpu = $t090039038._2
348363                         if ((bp > bpu))
349364                             then throw(("can't force collapse healthy user " + borrower))
350365                             else {
351366                                 let asset = valueOrErrorMessage(getString(reserveAddress, aIdS), ("no assetId field in rsr " + rsr))
352367                                 let mc = if (fromProtected)
353368                                     then moveCollateral(borrower, asset, reserveAddress, rsr)
354369                                     else unit
355370                                 if ((mc == mc))
356371                                     then {
357-                                        let $t090309138 = userBalance(reserveAddress, borrower)
358-                                        if (($t090309138 == $t090309138))
372+                                        let $t093409448 = userBalance(reserveAddress, borrower)
373+                                        if (($t093409448 == $t093409448))
359374                                             then {
360-                                                let userDebtUsd = $t090309138._5
361-                                                let userDebt = $t090309138._4
362-                                                let userAssetUsd = $t090309138._3
363-                                                let borrowerDeposit = $t090309138._2
364-                                                let ignore = $t090309138._1
375+                                                let userDebtUsd = $t093409448._5
376+                                                let userDebt = $t093409448._4
377+                                                let userAssetUsd = $t093409448._3
378+                                                let borrowerDeposit = $t093409448._2
379+                                                let ignore = $t093409448._1
365380                                                 let penaltizedUsd = fraction(min([userAssetUsd, userDebtUsd]), collapsePenalty, factorsBase)
366381                                                 let transferredAssets = asInt(invoke(reserveAddress, "transferATokensFor", [borrower, liquidator, penaltizedUsd], nil))
367382                                                 if ((transferredAssets == transferredAssets))
368383                                                     then {
369384                                                         let pRw1 = moveStream(rsr, "deposit", borrower, liquidator, transferredAssets)
370385                                                         if ((pRw1 == pRw1))
371386                                                             then {
372387                                                                 let collapsed = asInt(invoke(reserveAddress, "collapseFor", [borrower], nil))
373388                                                                 if ((collapsed == collapsed))
374389                                                                     then {
375390                                                                         let pRw2 = updateStream(rsr, "borrow", borrower, -(collapsed), -(collapsed))
376391                                                                         if ((pRw2 == pRw2))
377392                                                                             then {
378393                                                                                 let pRw3 = updateStream(rsr, "deposit", borrower, -(collapsed), -(collapsed))
379394                                                                                 if ((pRw3 == pRw3))
380395                                                                                     then nil
381396                                                                                     else throw("Strict value is not equal to itself.")
382397                                                                                 }
383398                                                                             else throw("Strict value is not equal to itself.")
384399                                                                         }
385400                                                                     else throw("Strict value is not equal to itself.")
386401                                                                 }
387402                                                             else throw("Strict value is not equal to itself.")
388403                                                         }
389404                                                     else throw("Strict value is not equal to itself.")
390405                                                 }
391406                                             else throw("Strict value is not equal to itself.")
392407                                         }
393408                                     else throw("Strict value is not equal to itself.")
394409                                 }
395410                         }
396411                 else throw("Strict value is not equal to itself.")
397412             }
398413         else throw("Strict value is not equal to itself.")
399414     }
400415 
401416 
402417 @Callable(i)
403418 func initialize (ca) = [writeConstString(configStore, ca)]
404419 
405420 
406421 
407422 @Callable(i)
408423 func transferDebt (br,cr,b,la) = transferDebtInternal(toString(i.caller), br, cr, b, la, false)
409424 
410425 
411426 
412427 @Callable(i)
413428 func transferDebt2 (br,cr,b,la) = transferDebtInternal(toString(i.caller), br, cr, b, la, true)
414429 
415430 
416431 
417432 @Callable(i)
418433 func forceCollapse (r,b) = forceCollapseInternal(toString(i.caller), r, b, false)
419434 
420435 
421436 
422437 @Callable(i)
423438 func forceCollapse2 (r,b) = forceCollapseInternal(toString(i.caller), r, b, true)
424439 
425440 
426441 @Verifier(tx)
427442 func verify () = {
428443     let maybeOracleAddress =     match getString(configAddress, "oracle_address") {
429444         case s: String => 
430445             addressFromString(s)
431446         case _ => 
432447             unit
433448     }
434449     let HEIGHT = height
435450     let BASE = 1000
436451     let quorumRatio = valueOrErrorMessage(getInteger(configAddress, "proposal_quorum_ratio"), "proposalQuorumRatio is not defined")
437452     let passedRatio = valueOrErrorMessage(getInteger(configAddress, "proposal_passed_ratio"), "proposalThresholdRatio is not defined")
438453     let gViresContract = valueOrErrorMessage(addressFromString(valueOrErrorMessage(getString(configAddress, "dividends_contract"), "no dividends_contract")), "invalid dividends_contract")
439454     let votingContract = valueOrErrorMessage(addressFromString(valueOrErrorMessage(getString(configAddress, "voting_contract"), "no voting_contract")), "invalid voting_contract")
440455     let id = toBase58String(tx.id)
441456     let votesYes = valueOrElse(getInteger(votingContract, ("proposal_yes_" + id)), 0)
442457     let votesNo = valueOrElse(getInteger(votingContract, ("proposal_no_" + id)), 0)
443458     let proposalHeight = valueOrErrorMessage(getInteger(votingContract, ("proposal_height_" + id)), "proposal not registered")
444459     let applyStart = valueOrElse(getInteger(votingContract, ("proposal_applystart_" + id)), 0)
445460     let applyEnd = valueOrElse(getInteger(votingContract, ("proposal_applyend_" + id)), 0)
446461     let totalGVires = valueOrElse(getInteger(votingContract, ("proposal_gvires_" + id)), 0)
447462     let enabled = valueOrElse(getBoolean(configAddress, "op_governance_apply_tx_paused"), false)
448463     let voteYes = votesYes
449464     let voteNo = votesNo
450465     let totalVotes = (voteYes + voteNo)
451466     let hasQuorum = (((totalVotes * BASE) / totalGVires) >= quorumRatio)
452467     let hasPassed = (((voteYes * BASE) / totalVotes) >= passedRatio)
453468     let tooEarly = (applyStart >= HEIGHT)
454469     let tooLate = (HEIGHT >= applyEnd)
455470     let timeDebug = ((((((("proposalHeight = " + toString(proposalHeight)) + ", applyStart = ") + toString(applyStart)) + ", applyEnd = ") + toString(applyEnd)) + ", HEIGHT = ") + toString(HEIGHT))
456471     let byVoting = if (!(enabled))
457472         then throw("tx application throw governance not enabled")
458473         else if (tooEarly)
459474             then throw(("proposal can't be executed as it's too early: " + timeDebug))
460475             else if (tooLate)
461476                 then throw(("proposal can't be executed as it's too late:" + timeDebug))
462477                 else if (!(hasQuorum))
463478                     then throw((((((("no quorum: " + "totalVotes: ") + toString(totalVotes)) + ", totalGVires: ") + toString(totalGVires)) + ", quorumRatio: ") + toString(quorumRatio)))
464479                     else if (!(hasPassed))
465480                         then throw((((((("no threshold achieved: " + "voteYes: ") + toString(voteYes)) + ", voteNo: ") + toString(voteNo)) + ", passedRatio: ") + toString(passedRatio)))
466481                         else true
467482     if (sigVerify(tx.bodyBytes, tx.proofs[0], tx.senderPublicKey))
468483         then true
469484         else byVoting
470485     }
471486 
github/deemru/w8io/6500d08 
86.84 ms ◑