2023.07.11 12:25 [3726700] smart account 3PJ6iR5X1PT2rZcNmbqByKuh7k8mtj5wVGw > SELF 0.00000000 Waves

{
    "type": 13,
    "id": "CZ1YPjgX8QFixVdQH9unfL5Duhk4A2CbXDvBv9XZJfBD",
    "fee": 1800000,
    "feeAssetId": null,
    "timestamp": 1689067509096,
    "version": 1,
    "sender": "3PJ6iR5X1PT2rZcNmbqByKuh7k8mtj5wVGw",
    "senderPublicKey": "6pk8htkepkqL8WkHrnvRr2tu1r3NC7hfLTJEtiQDbiKF",
    "proofs": [
        "383KzGD5Bw3GrhsxTSBpDBenr5jGXiWJ43YJWjS9eDezCBaigiJauqbHKeWu5UJ7YohH9c1QmqfS4nGHFayDUdnB"
    ],
    "script": "base64:BgIjCAISAwoBCBIGCgQICAgBEgYKBAgICAESBAoCCAgSBAoCCAgkAAtmYWN0b3JzQmFzZQDoBwEDZkNpAwV2YWx1ZQludW1lcmF0b3ILZGVub21pbmF0b3IEBGNhbmQJAGsDBQV2YWx1ZQUJbnVtZXJhdG9yBQtkZW5vbWluYXRvcgQBRACz5pOoCwQFZXhhY3QJAAACCQBqAgkAaAIJAGoCBQRjYW5kBQFECQBqAgULZGVub21pbmF0b3IFAUQFAUQJAGoCCQBoAgkAagIFBXZhbHVlBQFECQBqAgUJbnVtZXJhdG9yBQFEBQFEAwUFZXhhY3QFBGNhbmQJAGQCBQRjYW5kAAEBEHdyaXRlQ29uc3RTdHJpbmcCA2tleQV2YWx1ZQMJAQEhAQkBCWlzRGVmaW5lZAEJAJ0IAgUEdGhpcwUDa2V5CQELU3RyaW5nRW50cnkCBQNrZXkFBXZhbHVlCQACAQkArAICAhVhbHJlYWR5IGluaXRpYWxpemVkOiAFA2tleQEFYXNJbnQBBXZhbHVlBAckbWF0Y2gwBQV2YWx1ZQMJAAECBQckbWF0Y2gwAgNJbnQEA2ludAUHJG1hdGNoMAUDaW50CQACAQIEbTI6MQEGYXNJbnQzAQV2YWx1ZQQHJG1hdGNoMAUFdmFsdWUDCQABAgUHJG1hdGNoMAIPKEludCwgSW50LCBJbnQpBAF4BQckbWF0Y2gwBQF4BAF0BQckbWF0Y2gwCQACAQIBMgERYXNVc2VyQmFsYW5jZURhdGEBBXZhbHVlBAckbWF0Y2gwBQV2YWx1ZQMJAAECBQckbWF0Y2gwAiIoSW50LCBJbnQsIEludCwgSW50LCBJbnQsIEJvb2xlYW4pBAF4BQckbWF0Y2gwBQF4BAF0BQckbWF0Y2gwCQACAQIBMwALY29uZmlnU3RvcmUCBmNvbmZpZwANcmVzZXJ2ZXNTdG9yZQIIcmVzZXJ2ZXMABWFUSWRTAghhVG9rZW5JZAAEYUlkUwIHYXNzZXRJZAANY29uZmlnQWRkcmVzcwkBEUBleHRyTmF0aXZlKDEwNjIpAQkBEUBleHRyTmF0aXZlKDEwNTMpAgUEdGhpcwULY29uZmlnU3RvcmUAC3Jlc2VydmVzU3RyCQETdmFsdWVPckVycm9yTWVzc2FnZQIJAJ0IAgUNY29uZmlnQWRkcmVzcwIQcHJpbWFyeV9yZXNlcnZlcwIWbm8gcmVzZXJ2ZXMgcmVnaXN0ZXJlZAAIcmVzZXJ2ZXMJALwJAgULcmVzZXJ2ZXNTdHICAXwAA21WRAQHJG1hdGNoMAkAnQgCBQ1jb25maWdBZGRyZXNzAhF2aXJlc19kaXN0cmlidXRvcgMJAAECBQckbWF0Y2gwAgZTdHJpbmcEAWQFByRtYXRjaDAJARFAZXh0ck5hdGl2ZSgxMDYyKQEFAWQFBHVuaXQBEGFzc2V0SWRPZlJlc2VydmUBA3JzcgkBE3ZhbHVlT3JFcnJvck1lc3NhZ2UCCQCdCAIFA3JzcgUEYUlkUwIVbm8gYXNzZXRJZCBpbiByZXNlcnZlARBjb2xsYXRlcmFsRmFjdG9yAQNyc3IJARN2YWx1ZU9yRXJyb3JNZXNzYWdlAgkAmggCBQ1jb25maWdBZGRyZXNzCQCsAgIJARBhc3NldElkT2ZSZXNlcnZlAQUDcnNyAhFfQ29sbGF0ZXJhbEZhY3RvcgIEbm8gMQEUbGlxdWlkYXRpb25UaHJlc2hvbGQBA3JzcgkBE3ZhbHVlT3JFcnJvck1lc3NhZ2UCCQCaCAIFDWNvbmZpZ0FkZHJlc3MJAKwCAgkBEGFzc2V0SWRPZlJlc2VydmUBBQNyc3ICFV9MaXF1aWRhdGlvblRocmVzaG9sZAIEbm8gMgESbGlxdWlkYXRpb25QZW5hbHR5AQdhc3NldElkCQETdmFsdWVPckVycm9yTWVzc2FnZQIJAJoIAgUNY29uZmlnQWRkcmVzcwkArAICBQdhc3NldElkAhNfTGlxdWlkYXRpb25QZW5hbHR5AgRubyAzABZhY2NvdW50SGVhbHRoVGhyZXNob2xkCQETdmFsdWVPckVycm9yTWVzc2FnZQIJAJoIAgUNY29uZmlnQWRkcmVzcwIYYWNjb3VudF9oZWFsdGhfdGhyZXNob2xkAgRubyA0ABRhY2NvdW50SGVhbHRoT3ZlcmxhcAkBE3ZhbHVlT3JFcnJvck1lc3NhZ2UCCQCaCAIFDWNvbmZpZ0FkZHJlc3MCFmFjY291bnRfaGVhbHRoX292ZXJsYXACBG5vIDUAD2NvbGxhcHNlUGVuYWx0eQkBE3ZhbHVlT3JFcnJvck1lc3NhZ2UCCQCaCAIFDWNvbmZpZ0FkZHJlc3MCEGNvbGxhcHNlX3BlbmFsdHkCBG5vIDYAC2xpcXVpZGF0b3JzCQELdmFsdWVPckVsc2UCCQCdCAIFDWNvbmZpZ0FkZHJlc3MCC2xpcXVpZGF0b3JzAgABA3ZsUgEBcgMJAQhjb250YWlucwIFC3Jlc2VydmVzU3RyBQFyCQETdmFsdWVPckVycm9yTWVzc2FnZQIJAKYIAQUBcgINbWFpbjogYmFkIHJzcgkAAgEJAKwCAgIMdW5rbm93biByc3I6BQFyAQt1c2VyQmFsYW5jZQIDcnNyBHVzZXIJARFhc1VzZXJCYWxhbmNlRGF0YQEJAPwHBAUDcnNyAgt1c2VyQmFsYW5jZQkAzAgCBQR1c2VyBQNuaWwFA25pbAAObWF5YmVQcm90ZWN0ZWQEByRtYXRjaDAJAJ0IAgUNY29uZmlnQWRkcmVzcwIRcHJvdGVjdGVkX3Jlc2VydmUDCQABAgUHJG1hdGNoMAIGU3RyaW5nBANwZHMFByRtYXRjaDAJARN2YWx1ZU9yRXJyb3JNZXNzYWdlAgkApggBBQNwZHMCDWJhZCBwcm90ZWN0ZWQFBHVuaXQBCXVzZXJQb3dlcgEEdXNlcgQQcHJvdGVjdGVkRGVwb3NpdAQHJG1hdGNoMAUObWF5YmVQcm90ZWN0ZWQDCQABAgUHJG1hdGNoMAIHQWRkcmVzcwQCcGEFByRtYXRjaDAJAQVhc0ludAEJAPwHBAUCcGECC2JvcnJvd1Bvd2VyCQDMCAIFBHVzZXIFA25pbAUDbmlsAAAKAQRmb2xkAgZ0b3RhbHMBcgQLJHQwMjkzODI5ODQFBnRvdGFscwQGdG90YWxECAULJHQwMjkzODI5ODQCXzEEBnRvdGFsQggFCyR0MDI5MzgyOTg0Al8yBA9udW1iZXJPZkJvcnJvd3MIBQskdDAyOTM4Mjk4NAJfMwQDcnNyCQETdmFsdWVPckVycm9yTWVzc2FnZQIJAKYIAQUBcgIPcnNyIGJhZCBhZGRyZXNzBAJjZgkBEGNvbGxhdGVyYWxGYWN0b3IBBQNyc3IEAmx0CQEUbGlxdWlkYXRpb25UaHJlc2hvbGQBBQNyc3IECyR0MDMxMzgzMjIyCQELdXNlckJhbGFuY2UCBQNyc3IFBHVzZXIEBXRva2VuCAULJHQwMzEzODMyMjICXzEEBWFzc2V0CAULJHQwMzEzODMyMjICXzIECmRlcG9zaXRVc2QIBQskdDAzMTM4MzIyMgJfMwQEZGVidAgFCyR0MDMxMzgzMjIyAl80BAdkZWJ0VXNkCAULJHQwMzEzODMyMjICXzUEDGFzQ29sbGF0ZXJhbAgFCyR0MDMxMzgzMjIyAl82BAx0b3RhbEJvcnJvd3MJAGQCBQ9udW1iZXJPZkJvcnJvd3MDCQBmAgUEZGVidAAAAAEAAAQTZWZmZWN0aXZlRGVwb3NpdFVzZAMFDGFzQ29sbGF0ZXJhbAUKZGVwb3NpdFVzZAAABApvdmVybGFwVXNkCQCXAwEJAMwIAgUHZGVidFVzZAkAzAgCBRNlZmZlY3RpdmVEZXBvc2l0VXNkBQNuaWwEDW92ZXJsYXBDaGFyZ2UJAQNmQ2kDBQpvdmVybGFwVXNkBRRhY2NvdW50SGVhbHRoT3ZlcmxhcAULZmFjdG9yc0Jhc2UDCQBmAgUHZGVidFVzZAUTZWZmZWN0aXZlRGVwb3NpdFVzZAkAlQoDBQZ0b3RhbEQJAGQCCQBkAgUGdG90YWxCCQBrAwkAZQIFB2RlYnRVc2QFE2VmZmVjdGl2ZURlcG9zaXRVc2QFC2ZhY3RvcnNCYXNlBQJsdAUNb3ZlcmxhcENoYXJnZQUMdG90YWxCb3Jyb3dzCQCVCgMJAGQCBQZ0b3RhbEQJAGsDCQBlAgUTZWZmZWN0aXZlRGVwb3NpdFVzZAUHZGVidFVzZAUCY2YFC2ZhY3RvcnNCYXNlCQBkAgUGdG90YWxCBQ1vdmVybGFwQ2hhcmdlBQx0b3RhbEJvcnJvd3MKAAIkbAUIcmVzZXJ2ZXMKAAIkcwkAkAMBBQIkbAoABSRhY2MwCQCVCgMFEHByb3RlY3RlZERlcG9zaXQAAAAACgEFJGYwXzECAiRhAiRpAwkAZwIFAiRpBQIkcwUCJGEJAQRmb2xkAgUCJGEJAJEDAgUCJGwFAiRpCgEFJGYwXzICAiRhAiRpAwkAZwIFAiRpBQIkcwUCJGEJAAIBAhRMaXN0IHNpemUgZXhjZWVkcyAyMAkBBSRmMF8yAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgUFJGFjYzAAAAABAAIAAwAEAAUABgAHAAgACQAKAAsADAANAA4ADwAQABEAEgATABQBDWdldFVzZXJIZWFsdGgBB2FjY291bnQECyR0MDM4NzYzOTI3CQEGYXNJbnQzAQkBCXVzZXJQb3dlcgEFB2FjY291bnQEAmJwCAULJHQwMzg3NjM5MjcCXzEEA2JwdQgFCyR0MDM4NzYzOTI3Al8yBAZpZ25vcmUIBQskdDAzODc2MzkyNwJfMwkArAICCQCsAgIJAKwCAgIDYnA6CQCkAwEFAmJwAgYsIGJwdToJAKQDAQUDYnB1AQ12YWxpZGF0ZUFmdGVyAgR1c2VyAm9wBAskdDA0MDM4NDA2OQkBCXVzZXJQb3dlcgEFBHVzZXIEAmJwCAULJHQwNDAzODQwNjkCXzEEA2JwdQgFCyR0MDQwMzg0MDY5Al8yBAlhY2NIZWFsdGgJAGkCCQBoAgkAZQIFAmJwBQNicHUFC2ZhY3RvcnNCYXNlBQJicAMDCQAAAgUCYnAAAAkAAAIFA2JwdQAABwUDbmlsAwMJAAACBQJicAAACQBmAgUDYnB1AAAHCQACAQkArAICCQCsAgIFAm9wAiw6IGJyZWFjaGluZyBsaXF1aWRhdGlvbiB0aHJlc2hvbGQoYnA9MCwgYnB1PQkApAMBBQNicHUDCQBmAgUWYWNjb3VudEhlYWx0aFRocmVzaG9sZAUJYWNjSGVhbHRoCQACAQkArAICCQCsAgIJAKwCAgkArAICCQCsAgIJAKwCAgkArAICBQJvcAIlOiBicmVhY2hpbmcgbGlxdWlkYXRpb24gdGhyZXNob2xkKGJwPQkApAMBBQJicAIGLCBicHU9CQCkAwEFA2JwdQIJLCBoZWFsdGg9CQCkAwEFCWFjY0hlYWx0aAIBKQUDbmlsAQx1cGRhdGVTdHJlYW0FA3JzcgZhY3Rpb24EdXNlcgp1c2VyQ2hhbmdlDHN0cmVhbUNoYW5nZQQHJG1hdGNoMAUDbVZEAwkAAQIFByRtYXRjaDACB0FkZHJlc3MEAWEFByRtYXRjaDAJAPwHBAUBYQIIb25BY3Rpb24JAMwIAgUDcnNyCQDMCAIFBmFjdGlvbgkAzAgCBQR1c2VyCQDMCAIFCnVzZXJDaGFuZ2UJAMwIAgUMc3RyZWFtQ2hhbmdlBQNuaWwFA25pbAUEdW5pdAEKbW92ZVN0cmVhbQUDcnNyBmFjdGlvbgRmcm9tBnN0cmluZwNhbXQEByRtYXRjaDAFA21WRAMJAAECBQckbWF0Y2gwAgdBZGRyZXNzBAFhBQckbWF0Y2gwCQD8BwQFAWECBG1vdmUJAMwIAgUDcnNyCQDMCAIFBmFjdGlvbgkAzAgCBQRmcm9tCQDMCAIFBnN0cmluZwkAzAgCBQNhbXQFA25pbAUDbmlsBQR1bml0AQtzeW5jUmV3YXJkcwEDcnNyBAckbWF0Y2gwBQNtVkQDCQABAgUHJG1hdGNoMAIHQWRkcmVzcwQBYQUHJG1hdGNoMAkA/AcEBQFhAgpzeW5jSGVpZ2h0CQDMCAIFA3JzcgUDbmlsBQNuaWwFBHVuaXQBC3B1cmVBc3NldElkAQdhc3NldElkBAFpCQCRAwIJALUJAgUHYXNzZXRJZAIBXwAAAwkAAAIFAWkCBVdBVkVTBQR1bml0CQDZBAEFAWkBCW9wQWxsb3dlZAICb3AHYXNzZXRJZAQHJG1hdGNoMAkA/AcEBQ1jb25maWdBZGRyZXNzAglvcEFsbG93ZWQJAMwIAgUHYXNzZXRJZAkAzAgCBQJvcAUDbmlsBQNuaWwDCQABAgUHJG1hdGNoMAIHQm9vbGVhbgQBYgUHJG1hdGNoMAMFAWIGCQACAQkArAICBQJvcAIMIG5vdCBhbGxvd2VkCQACAQIhb3BBbGxvd2VkOiB1bmV4cGVjdGVkIHJlc3VsdCB0eXBlAQ5tb3ZlQ29sbGF0ZXJhbAQEYWRkcghhc3NldFN0cgNyc3IKcmVzZXJ2ZVN0cgQQcHJvdGVjdGVkUmVzZXJ2ZQkBE3ZhbHVlT3JFcnJvck1lc3NhZ2UCBQ5tYXliZVByb3RlY3RlZAIQbm8gcHJvdGVjdGVkIHJzcgQDYW10CQEFYXNJbnQBCQD8BwQFEHByb3RlY3RlZFJlc2VydmUCDndpdGhkcmF3VG9NYWluCQDMCAIFBGFkZHIJAMwIAgUIYXNzZXRTdHIFA25pbAUDbmlsAwkAAAIFA2FtdAUDYW10BAdhc3NldElkAwkAAAIFCGFzc2V0U3RyAgVXQVZFUwUEdW5pdAkA2QQBBQhhc3NldFN0cgQDZGVwCQD8BwQFA3JzcgIKZGVwb3NpdEZvcgkAzAgCBQRhZGRyCQDMCAIGBQNuaWwJAMwIAgkBD0F0dGFjaGVkUGF5bWVudAIJAQtwdXJlQXNzZXRJZAEFCGFzc2V0U3RyBQNhbXQFA25pbAMJAAACBQNkZXAFA2RlcAQEcHJvcAkBDHVwZGF0ZVN0cmVhbQUFCnJlc2VydmVTdHICB2RlcG9zaXQFBGFkZHIFA2FtdAUDYW10AwkAAAIFBHByb3AFBHByb3AFBHVuaXQJAAIBAiRTdHJpY3QgdmFsdWUgaXMgbm90IGVxdWFsIHRvIGl0c2VsZi4JAAIBAiRTdHJpY3QgdmFsdWUgaXMgbm90IGVxdWFsIHRvIGl0c2VsZi4JAAIBAiRTdHJpY3QgdmFsdWUgaXMgbm90IGVxdWFsIHRvIGl0c2VsZi4BFHRyYW5zZmVyRGVidEludGVybmFsBgpsaXF1aWRhdG9yDWJvcnJvd1Jlc2VydmURY29sbGF0ZXJhbFJlc2VydmUIYm9ycm93ZXITbGlxdWlkYXRlRGVidEFtb3VudA1mcm9tUHJvdGVjdGVkBANzaDEJAQtzeW5jUmV3YXJkcwEFDWJvcnJvd1Jlc2VydmUDCQAAAgUDc2gxBQNzaDEEA3NoMgkBC3N5bmNSZXdhcmRzAQURY29sbGF0ZXJhbFJlc2VydmUDCQAAAgUDc2gyBQNzaDIDCQBnAgAABRNsaXF1aWRhdGVEZWJ0QW1vdW50CQACAQITbm9uLXBvc2l0aXZlIGFtb3VudAMJAAACBRFjb2xsYXRlcmFsUmVzZXJ2ZQUNYm9ycm93UmVzZXJ2ZQkAAgECB2NyID0gYnIDCQAAAgUKbGlxdWlkYXRvcgUIYm9ycm93ZXIJAAIBAgRzZWxmBAskdDA2NjA2NjY0MQkBCXVzZXJQb3dlcgEFCGJvcnJvd2VyBAJicAgFCyR0MDY2MDY2NjQxAl8xBANicHUIBQskdDA2NjA2NjY0MQJfMgMJAGYCBQJicAUDYnB1CQACAQkArAICAhEgaGVhbHRoeSB1c2VyOiB1PQUIYm9ycm93ZXIEAmJyCQEDdmxSAQUNYm9ycm93UmVzZXJ2ZQQCY3IJAQN2bFIBBRFjb2xsYXRlcmFsUmVzZXJ2ZQQLYm9ycm93QXNzZXQJARN2YWx1ZU9yRXJyb3JNZXNzYWdlAgkAnQgCBQJicgUEYUlkUwIQbm8gYXNzZXRJZCBpbiBicgQPY29sbGF0ZXJhbEFzc2V0CQETdmFsdWVPckVycm9yTWVzc2FnZQIJAJ0IAgUCY3IFBGFJZFMCEG5vIGFzc2V0SWQgaW4gY3IEBmNoZWNrcwkBCW9wQWxsb3dlZAICCWxpcXVpZGF0ZQULYm9ycm93QXNzZXQDCQAAAgUGY2hlY2tzBQZjaGVja3MEDGlzQ29sbGF0ZXJhbAkBC3ZhbHVlT3JFbHNlAgkAmwgCBQJjcgkArAICBQhib3Jyb3dlcgIQX3VzZUFzQ29sbGF0ZXJhbAcDCQAAAgUMaXNDb2xsYXRlcmFsBQxpc0NvbGxhdGVyYWwDAwkBASEBBQ1mcm9tUHJvdGVjdGVkCQEBIQEFDGlzQ29sbGF0ZXJhbAcJAAIBAh5kZXBvc2l0IG5vdCB1c2VkIGFzIGNvbGxhdGVyYWwECyR0MDcxNjQ3MjU0CQELdXNlckJhbGFuY2UCBQJicgUIYm9ycm93ZXIDCQAAAgULJHQwNzE2NDcyNTQFCyR0MDcxNjQ3MjU0BAt1c2VyRGVidFVzZAgFCyR0MDcxNjQ3MjU0Al81BAh1c2VyRGVidAgFCyR0MDcxNjQ3MjU0Al80BAx1c2VyQXNzZXRVc2QIBQskdDA3MTY0NzI1NAJfMwQJdXNlckFzc2V0CAULJHQwNzE2NDcyNTQCXzIEBmlnbm9yZQgFCyR0MDcxNjQ3MjU0Al8xAwkAZwIFCXVzZXJBc3NldAUIdXNlckRlYnQJAAIBAg5wb3NpdGl2ZSBzYWxkbwMJAGcCAAAFE2xpcXVpZGF0ZURlYnRBbW91bnQJAAIBAgU8PSAwPgQGZmFjdG9yCQELdmFsdWVPckVsc2UCCQCaCAIFDWNvbmZpZ0FkZHJlc3MJAKwCAgUPY29sbGF0ZXJhbEFzc2V0AhpfTGlxdWlkYXRpb25GcmFjdGlvbkZhY3RvcgACAwkAZgIJAGgCBRNsaXF1aWRhdGVEZWJ0QW1vdW50BQZmYWN0b3IJAGUCBQh1c2VyRGVidAUJdXNlckFzc2V0CQACAQkArAICCQCsAgIJAKwCAgIibW9yZSB0aGFuIDEvZmFjdG9yIG9mIHNhbGRvOiBkZWJ0PQkApAMBBQh1c2VyRGVidAIYLCBsaXF1aWRhdGVEZWJ0QW1vdW50ID0gCQCkAwEFE2xpcXVpZGF0ZURlYnRBbW91bnQEDWNvbGxhdGVyYWxVc2QJAGsDBRNsaXF1aWRhdGVEZWJ0QW1vdW50BQt1c2VyRGVidFVzZAUIdXNlckRlYnQEDXBlbmFsdGl6ZWRVc2QJAGsDBQ1jb2xsYXRlcmFsVXNkCQBkAgULZmFjdG9yc0Jhc2UJARJsaXF1aWRhdGlvblBlbmFsdHkBBQtib3Jyb3dBc3NldAULZmFjdG9yc0Jhc2UEAm1jAwUNZnJvbVByb3RlY3RlZAkBDm1vdmVDb2xsYXRlcmFsBAUIYm9ycm93ZXIFD2NvbGxhdGVyYWxBc3NldAUCY3IFEWNvbGxhdGVyYWxSZXNlcnZlBQR1bml0AwkAAAIFAm1jBQJtYwQVdHJhbnNmZXJyZWRDb2xsYXRlcmFsCQEFYXNJbnQBCQD8BwQFAmNyAhJ0cmFuc2ZlckFUb2tlbnNGb3IJAMwIAgUIYm9ycm93ZXIJAMwIAgUKbGlxdWlkYXRvcgkAzAgCBQ1wZW5hbHRpemVkVXNkBQNuaWwFA25pbAMJAAACBRV0cmFuc2ZlcnJlZENvbGxhdGVyYWwFFXRyYW5zZmVycmVkQ29sbGF0ZXJhbAQEcFJ3MQkBCm1vdmVTdHJlYW0FBRFjb2xsYXRlcmFsUmVzZXJ2ZQIHZGVwb3NpdAUIYm9ycm93ZXIFCmxpcXVpZGF0b3IFFXRyYW5zZmVycmVkQ29sbGF0ZXJhbAMJAAACBQRwUncxBQRwUncxBA90cmFuc2ZlcnJlZERlYnQJAQVhc0ludAEJAPwHBAUCYnICD3RyYW5zZmVyRGVidEZvcgkAzAgCBQhib3Jyb3dlcgkAzAgCBQpsaXF1aWRhdG9yCQDMCAIFE2xpcXVpZGF0ZURlYnRBbW91bnQFA25pbAUDbmlsAwkAAAIFD3RyYW5zZmVycmVkRGVidAUPdHJhbnNmZXJyZWREZWJ0BARwUncyCQEKbW92ZVN0cmVhbQUFDWJvcnJvd1Jlc2VydmUCBmJvcnJvdwUIYm9ycm93ZXIFCmxpcXVpZGF0b3IFD3RyYW5zZmVycmVkRGVidAMJAAACBQRwUncyBQRwUncyBBVsaXF1aWRhdG9ySGVhbHRoQ2hlY2sDCQEIY29udGFpbnMCBQtsaXF1aWRhdG9ycwUKbGlxdWlkYXRvcgUDbmlsCQENdmFsaWRhdGVBZnRlcgIFCmxpcXVpZGF0b3ICEXRyYW5zZmVycmluZyBkZWJ0AwkAAAIFFWxpcXVpZGF0b3JIZWFsdGhDaGVjawUVbGlxdWlkYXRvckhlYWx0aENoZWNrCQCUCgIFFWxpcXVpZGF0b3JIZWFsdGhDaGVjawUVdHJhbnNmZXJyZWRDb2xsYXRlcmFsCQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuCQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuCQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuCQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuCQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuCQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuCQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuCQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuCQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuCQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuCQACAQIkU3RyaWN0IHZhbHVlIGlzIG5vdCBlcXVhbCB0byBpdHNlbGYuARVmb3JjZUNvbGxhcHNlSW50ZXJuYWwECmxpcXVpZGF0b3IDcnNyCGJvcnJvd2VyDWZyb21Qcm90ZWN0ZWQEDnJlc2VydmVBZGRyZXNzCQEDdmxSAQUDcnNyAwkAAAIFDnJlc2VydmVBZGRyZXNzBQ5yZXNlcnZlQWRkcmVzcwQCc2gJAQtzeW5jUmV3YXJkcwEFA3JzcgMJAAACBQJzaAUCc2gDCQAAAgUKbGlxdWlkYXRvcgUIYm9ycm93ZXIJAAIBAiRjYW4ndCBjb2xsYXBzZSBzZWxmIGluIHRoaXMgZnVuY3Rpb24ECyR0MDg5MDI4OTM3CQEJdXNlclBvd2VyAQUIYm9ycm93ZXIEAmJwCAULJHQwODkwMjg5MzcCXzEEA2JwdQgFCyR0MDg5MDI4OTM3Al8yAwkAZgIFAmJwBQNicHUJAAIBCQCsAgICImNhbid0IGZvcmNlIGNvbGxhcHNlIGhlYWx0aHkgdXNlciAFCGJvcnJvd2VyBAVhc3NldAkBE3ZhbHVlT3JFcnJvck1lc3NhZ2UCCQCdCAIFDnJlc2VydmVBZGRyZXNzBQRhSWRTCQCsAgICGG5vIGFzc2V0SWQgZmllbGQgaW4gcnNyIAUDcnNyBAJtYwMFDWZyb21Qcm90ZWN0ZWQJAQ5tb3ZlQ29sbGF0ZXJhbAQFCGJvcnJvd2VyBQVhc3NldAUOcmVzZXJ2ZUFkZHJlc3MFA3JzcgUEdW5pdAMJAAACBQJtYwUCbWMECyR0MDkyMzk5MzQ3CQELdXNlckJhbGFuY2UCBQ5yZXNlcnZlQWRkcmVzcwUIYm9ycm93ZXIDCQAAAgULJHQwOTIzOTkzNDcFCyR0MDkyMzk5MzQ3BAt1c2VyRGVidFVzZAgFCyR0MDkyMzk5MzQ3Al81BAh1c2VyRGVidAgFCyR0MDkyMzk5MzQ3Al80BAx1c2VyQXNzZXRVc2QIBQskdDA5MjM5OTM0NwJfMwQPYm9ycm93ZXJEZXBvc2l0CAULJHQwOTIzOTkzNDcCXzIEBmlnbm9yZQgFCyR0MDkyMzk5MzQ3Al8xBA1wZW5hbHRpemVkVXNkCQBrAwkAlwMBCQDMCAIFDHVzZXJBc3NldFVzZAkAzAgCBQt1c2VyRGVidFVzZAUDbmlsBQ9jb2xsYXBzZVBlbmFsdHkFC2ZhY3RvcnNCYXNlBBF0cmFuc2ZlcnJlZEFzc2V0cwkBBWFzSW50AQkA/AcEBQ5yZXNlcnZlQWRkcmVzcwISdHJhbnNmZXJBVG9rZW5zRm9yCQDMCAIFCGJvcnJvd2VyCQDMCAIFCmxpcXVpZGF0b3IJAMwIAgUNcGVuYWx0aXplZFVzZAUDbmlsBQNuaWwDCQAAAgURdHJhbnNmZXJyZWRBc3NldHMFEXRyYW5zZmVycmVkQXNzZXRzBARwUncxCQEKbW92ZVN0cmVhbQUFA3JzcgIHZGVwb3NpdAUIYm9ycm93ZXIFCmxpcXVpZGF0b3IFEXRyYW5zZmVycmVkQXNzZXRzAwkAAAIFBHBSdzEFBHBSdzEECWNvbGxhcHNlZAkBBWFzSW50AQkA/AcEBQ5yZXNlcnZlQWRkcmVzcwILY29sbGFwc2VGb3IJAMwIAgUIYm9ycm93ZXIFA25pbAUDbmlsAwkAAAIFCWNvbGxhcHNlZAUJY29sbGFwc2VkBARwUncyCQEMdXBkYXRlU3RyZWFtBQUDcnNyAgZib3Jyb3cFCGJvcnJvd2VyCQEBLQEFCWNvbGxhcHNlZAkBAS0BBQljb2xsYXBzZWQDCQAAAgUEcFJ3MgUEcFJ3MgQEcFJ3MwkBDHVwZGF0ZVN0cmVhbQUFA3JzcgIHZGVwb3NpdAUIYm9ycm93ZXIJAQEtAQUJY29sbGFwc2VkCQEBLQEFCWNvbGxhcHNlZAMJAAACBQRwUnczBQRwUnczBQNuaWwJAAIBAiRTdHJpY3QgdmFsdWUgaXMgbm90IGVxdWFsIHRvIGl0c2VsZi4JAAIBAiRTdHJpY3QgdmFsdWUgaXMgbm90IGVxdWFsIHRvIGl0c2VsZi4JAAIBAiRTdHJpY3QgdmFsdWUgaXMgbm90IGVxdWFsIHRvIGl0c2VsZi4JAAIBAiRTdHJpY3QgdmFsdWUgaXMgbm90IGVxdWFsIHRvIGl0c2VsZi4JAAIBAiRTdHJpY3QgdmFsdWUgaXMgbm90IGVxdWFsIHRvIGl0c2VsZi4JAAIBAiRTdHJpY3QgdmFsdWUgaXMgbm90IGVxdWFsIHRvIGl0c2VsZi4JAAIBAiRTdHJpY3QgdmFsdWUgaXMgbm90IGVxdWFsIHRvIGl0c2VsZi4JAAIBAiRTdHJpY3QgdmFsdWUgaXMgbm90IGVxdWFsIHRvIGl0c2VsZi4JAAIBAiRTdHJpY3QgdmFsdWUgaXMgbm90IGVxdWFsIHRvIGl0c2VsZi4FAWkBCmluaXRpYWxpemUBAmNhCQDMCAIJARB3cml0ZUNvbnN0U3RyaW5nAgULY29uZmlnU3RvcmUFAmNhBQNuaWwBaQEMdHJhbnNmZXJEZWJ0BAJicgJjcgFiAmxhCQEUdHJhbnNmZXJEZWJ0SW50ZXJuYWwGCQClCAEIBQFpBmNhbGxlcgUCYnIFAmNyBQFiBQJsYQcBaQENdHJhbnNmZXJEZWJ0MgQCYnICY3IBYgJsYQkBFHRyYW5zZmVyRGVidEludGVybmFsBgkApQgBCAUBaQZjYWxsZXIFAmJyBQJjcgUBYgUCbGEGAWkBDWZvcmNlQ29sbGFwc2UCAXIBYgkBFWZvcmNlQ29sbGFwc2VJbnRlcm5hbAQJAKUIAQgFAWkGY2FsbGVyBQFyBQFiBwFpAQ5mb3JjZUNvbGxhcHNlMgIBcgFiCQEVZm9yY2VDb2xsYXBzZUludGVybmFsBAkApQgBCAUBaQZjYWxsZXIFAXIFAWIGAQJ0eAEGdmVyaWZ5AAQSbWF5YmVPcmFjbGVBZGRyZXNzBAckbWF0Y2gwCQCdCAIFDWNvbmZpZ0FkZHJlc3MCDm9yYWNsZV9hZGRyZXNzAwkAAQIFByRtYXRjaDACBlN0cmluZwQBcwUHJG1hdGNoMAkApggBBQFzBQR1bml0BAZIRUlHSFQFBmhlaWdodAQEQkFTRQDoBwQLcXVvcnVtUmF0aW8JARN2YWx1ZU9yRXJyb3JNZXNzYWdlAgkAmggCBQ1jb25maWdBZGRyZXNzAhVwcm9wb3NhbF9xdW9ydW1fcmF0aW8CInByb3Bvc2FsUXVvcnVtUmF0aW8gaXMgbm90IGRlZmluZWQEC3Bhc3NlZFJhdGlvCQETdmFsdWVPckVycm9yTWVzc2FnZQIJAJoIAgUNY29uZmlnQWRkcmVzcwIVcHJvcG9zYWxfcGFzc2VkX3JhdGlvAiVwcm9wb3NhbFRocmVzaG9sZFJhdGlvIGlzIG5vdCBkZWZpbmVkBA5nVmlyZXNDb250cmFjdAkBE3ZhbHVlT3JFcnJvck1lc3NhZ2UCCQCmCAEJARN2YWx1ZU9yRXJyb3JNZXNzYWdlAgkAnQgCBQ1jb25maWdBZGRyZXNzAhJkaXZpZGVuZHNfY29udHJhY3QCFW5vIGRpdmlkZW5kc19jb250cmFjdAIaaW52YWxpZCBkaXZpZGVuZHNfY29udHJhY3QEDnZvdGluZ0NvbnRyYWN0CQETdmFsdWVPckVycm9yTWVzc2FnZQIJAKYIAQkBE3ZhbHVlT3JFcnJvck1lc3NhZ2UCCQCdCAIFDWNvbmZpZ0FkZHJlc3MCD3ZvdGluZ19jb250cmFjdAISbm8gdm90aW5nX2NvbnRyYWN0AhdpbnZhbGlkIHZvdGluZ19jb250cmFjdAQCaWQJANgEAQgFAnR4AmlkBAh2b3Rlc1llcwkBC3ZhbHVlT3JFbHNlAgkAmggCBQ52b3RpbmdDb250cmFjdAkArAICAg1wcm9wb3NhbF95ZXNfBQJpZAAABAd2b3Rlc05vCQELdmFsdWVPckVsc2UCCQCaCAIFDnZvdGluZ0NvbnRyYWN0CQCsAgICDHByb3Bvc2FsX25vXwUCaWQAAAQOcHJvcG9zYWxIZWlnaHQJARN2YWx1ZU9yRXJyb3JNZXNzYWdlAgkAmggCBQ52b3RpbmdDb250cmFjdAkArAICAhBwcm9wb3NhbF9oZWlnaHRfBQJpZAIXcHJvcG9zYWwgbm90IHJlZ2lzdGVyZWQECmFwcGx5U3RhcnQJAQt2YWx1ZU9yRWxzZQIJAJoIAgUOdm90aW5nQ29udHJhY3QJAKwCAgIUcHJvcG9zYWxfYXBwbHlzdGFydF8FAmlkAAAECGFwcGx5RW5kCQELdmFsdWVPckVsc2UCCQCaCAIFDnZvdGluZ0NvbnRyYWN0CQCsAgICEnByb3Bvc2FsX2FwcGx5ZW5kXwUCaWQAAAQLdG90YWxHVmlyZXMJAQt2YWx1ZU9yRWxzZQIJAJoIAgUOdm90aW5nQ29udHJhY3QJAKwCAgIQcHJvcG9zYWxfZ3ZpcmVzXwUCaWQAAAQHZW5hYmxlZAkBC3ZhbHVlT3JFbHNlAgkAmwgCBQ1jb25maWdBZGRyZXNzAh1vcF9nb3Zlcm5hbmNlX2FwcGx5X3R4X3BhdXNlZAcEB3ZvdGVZZXMFCHZvdGVzWWVzBAZ2b3RlTm8FB3ZvdGVzTm8ECnRvdGFsVm90ZXMJAGQCBQd2b3RlWWVzBQZ2b3RlTm8ECWhhc1F1b3J1bQkAZwIJAGkCCQBoAgUKdG90YWxWb3RlcwUEQkFTRQULdG90YWxHVmlyZXMFC3F1b3J1bVJhdGlvBAloYXNQYXNzZWQJAGcCCQBpAgkAaAIFB3ZvdGVZZXMFBEJBU0UFCnRvdGFsVm90ZXMFC3Bhc3NlZFJhdGlvBAh0b29FYXJseQkAZwIFCmFwcGx5U3RhcnQFBkhFSUdIVAQHdG9vTGF0ZQkAZwIFBkhFSUdIVAUIYXBwbHlFbmQECXRpbWVEZWJ1ZwkArAICCQCsAgIJAKwCAgkArAICCQCsAgIJAKwCAgkArAICAhFwcm9wb3NhbEhlaWdodCA9IAkApAMBBQ5wcm9wb3NhbEhlaWdodAIPLCBhcHBseVN0YXJ0ID0gCQCkAwEFCmFwcGx5U3RhcnQCDSwgYXBwbHlFbmQgPSAJAKQDAQUIYXBwbHlFbmQCCywgSEVJR0hUID0gCQCkAwEFBkhFSUdIVAQIYnlWb3RpbmcDCQEBIQEFB2VuYWJsZWQJAAIBAit0eCBhcHBsaWNhdGlvbiB0aHJvdyBnb3Zlcm5hbmNlIG5vdCBlbmFibGVkAwUIdG9vRWFybHkJAAIBCQCsAgICLnByb3Bvc2FsIGNhbid0IGJlIGV4ZWN1dGVkIGFzIGl0J3MgdG9vIGVhcmx5OiAFCXRpbWVEZWJ1ZwMFB3Rvb0xhdGUJAAIBCQCsAgICLHByb3Bvc2FsIGNhbid0IGJlIGV4ZWN1dGVkIGFzIGl0J3MgdG9vIGxhdGU6BQl0aW1lRGVidWcDCQEBIQEFCWhhc1F1b3J1bQkAAgEJAKwCAgkArAICCQCsAgIJAKwCAgkArAICCQCsAgICC25vIHF1b3J1bTogAgx0b3RhbFZvdGVzOiAJAKQDAQUKdG90YWxWb3RlcwIPLCB0b3RhbEdWaXJlczogCQCkAwEFC3RvdGFsR1ZpcmVzAg8sIHF1b3J1bVJhdGlvOiAJAKQDAQULcXVvcnVtUmF0aW8DCQEBIQEFCWhhc1Bhc3NlZAkAAgEJAKwCAgkArAICCQCsAgIJAKwCAgkArAICCQCsAgICF25vIHRocmVzaG9sZCBhY2hpZXZlZDogAgl2b3RlWWVzOiAJAKQDAQUHdm90ZVllcwIKLCB2b3RlTm86IAkApAMBBQZ2b3RlTm8CDywgcGFzc2VkUmF0aW86IAkApAMBBQtwYXNzZWRSYXRpbwYDCQD0AwMIBQJ0eAlib2R5Qnl0ZXMJAJEDAggFAnR4BnByb29mcwAACAUCdHgPc2VuZGVyUHVibGljS2V5BgUIYnlWb3Rpbmf+7rfu",
    "chainId": 87,
    "height": 3726700,
    "applicationStatus": "succeeded",
    "spentComplexity": 0
}

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

Diff: 
Old
New
Differences
133
133
 
            else $Tuple3((totalD + fraction((effectiveDepositUsd - debtUsd), cf, factorsBase)), (totalB + overlapCharge), totalBorrows)
134
134
 
        }
135
135
 
136
-
    let r = {
137
-
        let $l = reserves
138
-
        let $s = size($l)
139
-
        let $acc0 = $Tuple3(protectedDeposit, 0, 0)
140
-
        func $f0_1 ($a,$i) =         if (($i >= $s))
141
-
            then $a
142
-
            else fold($a, $l[$i])
136
+
    let $l = reserves
137
+
    let $s = size($l)
138
+
    let $acc0 = $Tuple3(protectedDeposit, 0, 0)
139
+
    func $f0_1 ($a,$i) =     if (($i >= $s))
140
+
        then $a
141
+
        else fold($a, $l[$i])
143
142
 
144
-
        func $f0_2 ($a,$i) =         if (($i >= $s))
145
-
            then $a
146
-
            else throw("List size exceeds 20")
143
+
    func $f0_2 ($a,$i) =     if (($i >= $s))
144
+
        then $a
145
+
        else throw("List size exceeds 20")
147
146
 
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
-
        }
150
-
    if (if ((protectedDeposit > 0))
151
-
        then (r._3 > 4)
152
-
        else false)
153
-
        then throw("can't have more than 4 borrows")
154
-
        else r
147
+
    $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)
155
148
 
    }
156
149
 
157
150
 
158
151
 
func getUserHealth (account) = {
159
-
    let $t039774028 = asInt3(userPower(account))
160
-
    let bp = $t039774028._1
161
-
    let bpu = $t039774028._2
162
-
    let ignore = $t039774028._3
152
+
    let $t038763927 = asInt3(userPower(account))
153
+
    let bp = $t038763927._1
154
+
    let bpu = $t038763927._2
155
+
    let ignore = $t038763927._3
163
156
 
    ((("bp:" + toString(bp)) + ", bpu:") + toString(bpu))
164
157
 
    }
165
158
 
166
159
 
167
160
 
func validateAfter (user,op) = {
168
-
    let $t041394170 = userPower(user)
169
-
    let bp = $t041394170._1
170
-
    let bpu = $t041394170._2
161
+
    let $t040384069 = userPower(user)
162
+
    let bp = $t040384069._1
163
+
    let bpu = $t040384069._2
171
164
 
    let accHealth = (((bp - bpu) * factorsBase) / bp)
172
165
 
    if (if ((bp == 0))
173
166
 
        then (bpu == 0)
260
253
 
                        else if ((liquidator == borrower))
261
254
 
                            then throw("self")
262
255
 
                            else {
263
-
                                let $t067076742 = userPower(borrower)
264
-
                                let bp = $t067076742._1
265
-
                                let bpu = $t067076742._2
256
+
                                let $t066066641 = userPower(borrower)
257
+
                                let bp = $t066066641._1
258
+
                                let bpu = $t066066641._2
266
259
 
                                if ((bp > bpu))
267
260
 
                                    then throw((" healthy user: u=" + borrower))
268
261
 
                                    else {
280
273
 
                                                        else false)
281
274
 
                                                        then throw("deposit not used as collateral")
282
275
 
                                                        else {
283
-
                                                            let $t072657355 = userBalance(br, borrower)
284
-
                                                            if (($t072657355 == $t072657355))
276
+
                                                            let $t071647254 = userBalance(br, borrower)
277
+
                                                            if (($t071647254 == $t071647254))
285
278
 
                                                                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
279
+
                                                                    let userDebtUsd = $t071647254._5
280
+
                                                                    let userDebt = $t071647254._4
281
+
                                                                    let userAssetUsd = $t071647254._3
282
+
                                                                    let userAsset = $t071647254._2
283
+
                                                                    let ignore = $t071647254._1
291
284
 
                                                                    if ((userAsset >= userDebt))
292
285
 
                                                                        then throw("positive saldo")
293
286
 
                                                                        else if ((0 >= liquidateDebtAmount))
357
350
 
                then if ((liquidator == borrower))
358
351
 
                    then throw("can't collapse self in this function")
359
352
 
                    else {
360
-
                        let $t090039038 = userPower(borrower)
361
-
                        let bp = $t090039038._1
362
-
                        let bpu = $t090039038._2
353
+
                        let $t089028937 = userPower(borrower)
354
+
                        let bp = $t089028937._1
355
+
                        let bpu = $t089028937._2
363
356
 
                        if ((bp > bpu))
364
357
 
                            then throw(("can't force collapse healthy user " + borrower))
365
358
 
                            else {
369
362
 
                                    else unit
370
363
 
                                if ((mc == mc))
371
364
 
                                    then {
372
-
                                        let $t093409448 = userBalance(reserveAddress, borrower)
373
-
                                        if (($t093409448 == $t093409448))
365
+
                                        let $t092399347 = userBalance(reserveAddress, borrower)
366
+
                                        if (($t092399347 == $t092399347))
374
367
 
                                            then {
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
368
+
                                                let userDebtUsd = $t092399347._5
369
+
                                                let userDebt = $t092399347._4
370
+
                                                let userAssetUsd = $t092399347._3
371
+
                                                let borrowerDeposit = $t092399347._2
372
+
                                                let ignore = $t092399347._1
380
373
 
                                                let penaltizedUsd = fraction(min([userAssetUsd, userDebtUsd]), collapsePenalty, factorsBase)
381
374
 
                                                let transferredAssets = asInt(invoke(reserveAddress, "transferATokensFor", [borrower, liquidator, penaltizedUsd], nil))
382
375
 
                                                if ((transferredAssets == transferredAssets))
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
-
    let r = {
137
-
        let $l = reserves
138
-
        let $s = size($l)
139
-
        let $acc0 = $Tuple3(protectedDeposit, 0, 0)
140
-
        func $f0_1 ($a,$i) =         if (($i >= $s))
141
-
            then $a
142
-
            else fold($a, $l[$i])
136
+
    let $l = reserves
137
+
    let $s = size($l)
138
+
    let $acc0 = $Tuple3(protectedDeposit, 0, 0)
139
+
    func $f0_1 ($a,$i) =     if (($i >= $s))
140
+
        then $a
141
+
        else fold($a, $l[$i])
143
142
 
144
-
        func $f0_2 ($a,$i) =         if (($i >= $s))
145
-
            then $a
146
-
            else throw("List size exceeds 20")
143
+
    func $f0_2 ($a,$i) =     if (($i >= $s))
144
+
        then $a
145
+
        else throw("List size exceeds 20")
147
146
 
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
-
        }
150
-
    if (if ((protectedDeposit > 0))
151
-
        then (r._3 > 4)
152
-
        else false)
153
-
        then throw("can't have more than 4 borrows")
154
-
        else r
147
+
    $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)
155
148
 
    }
156
149
 
157
150
 
158
151
 
func getUserHealth (account) = {
159
-
    let $t039774028 = asInt3(userPower(account))
160
-
    let bp = $t039774028._1
161
-
    let bpu = $t039774028._2
162
-
    let ignore = $t039774028._3
152
+
    let $t038763927 = asInt3(userPower(account))
153
+
    let bp = $t038763927._1
154
+
    let bpu = $t038763927._2
155
+
    let ignore = $t038763927._3
163
156
 
    ((("bp:" + toString(bp)) + ", bpu:") + toString(bpu))
164
157
 
    }
165
158
 
166
159
 
167
160
 
func validateAfter (user,op) = {
168
-
    let $t041394170 = userPower(user)
169
-
    let bp = $t041394170._1
170
-
    let bpu = $t041394170._2
161
+
    let $t040384069 = userPower(user)
162
+
    let bp = $t040384069._1
163
+
    let bpu = $t040384069._2
171
164
 
    let accHealth = (((bp - bpu) * factorsBase) / bp)
172
165
 
    if (if ((bp == 0))
173
166
 
        then (bpu == 0)
174
167
 
        else false)
175
168
 
        then nil
176
169
 
        else if (if ((bp == 0))
177
170
 
            then (bpu > 0)
178
171
 
            else false)
179
172
 
            then throw(((op + ": breaching liquidation threshold(bp=0, bpu=") + toString(bpu)))
180
173
 
            else if ((accountHealthThreshold > accHealth))
181
174
 
                then throw((((((((op + ": breaching liquidation threshold(bp=") + toString(bp)) + ", bpu=") + toString(bpu)) + ", health=") + toString(accHealth)) + ")"))
182
175
 
                else nil
183
176
 
    }
184
177
 
185
178
 
186
179
 
func updateStream (rsr,action,user,userChange,streamChange) = match mVD {
187
180
 
    case a: Address => 
188
181
 
        invoke(a, "onAction", [rsr, action, user, userChange, streamChange], nil)
189
182
 
    case _ => 
190
183
 
        unit
191
184
 
}
192
185
 
193
186
 
194
187
 
func moveStream (rsr,action,from,string,amt) = match mVD {
195
188
 
    case a: Address => 
196
189
 
        invoke(a, "move", [rsr, action, from, string, amt], nil)
197
190
 
    case _ => 
198
191
 
        unit
199
192
 
}
200
193
 
201
194
 
202
195
 
func syncRewards (rsr) = match mVD {
203
196
 
    case a: Address => 
204
197
 
        invoke(a, "syncHeight", [rsr], nil)
205
198
 
    case _ => 
206
199
 
        unit
207
200
 
}
208
201
 
209
202
 
210
203
 
func pureAssetId (assetId) = {
211
204
 
    let i = split(assetId, "_")[0]
212
205
 
    if ((i == "WAVES"))
213
206
 
        then unit
214
207
 
        else fromBase58String(i)
215
208
 
    }
216
209
 
217
210
 
218
211
 
func opAllowed (op,assetId) = match invoke(configAddress, "opAllowed", [assetId, op], nil) {
219
212
 
    case b: Boolean => 
220
213
 
        if (b)
221
214
 
            then true
222
215
 
            else throw((op + " not allowed"))
223
216
 
    case _ => 
224
217
 
        throw("opAllowed: unexpected result type")
225
218
 
}
226
219
 
227
220
 
228
221
 
func moveCollateral (addr,assetStr,rsr,reserveStr) = {
229
222
 
    let protectedReserve = valueOrErrorMessage(maybeProtected, "no protected rsr")
230
223
 
    let amt = asInt(invoke(protectedReserve, "withdrawToMain", [addr, assetStr], nil))
231
224
 
    if ((amt == amt))
232
225
 
        then {
233
226
 
            let assetId = if ((assetStr == "WAVES"))
234
227
 
                then unit
235
228
 
                else fromBase58String(assetStr)
236
229
 
            let dep = invoke(rsr, "depositFor", [addr, true], [AttachedPayment(pureAssetId(assetStr), amt)])
237
230
 
            if ((dep == dep))
238
231
 
                then {
239
232
 
                    let prop = updateStream(reserveStr, "deposit", addr, amt, amt)
240
233
 
                    if ((prop == prop))
241
234
 
                        then unit
242
235
 
                        else throw("Strict value is not equal to itself.")
243
236
 
                    }
244
237
 
                else throw("Strict value is not equal to itself.")
245
238
 
            }
246
239
 
        else throw("Strict value is not equal to itself.")
247
240
 
    }
248
241
 
249
242
 
250
243
 
func transferDebtInternal (liquidator,borrowReserve,collateralReserve,borrower,liquidateDebtAmount,fromProtected) = {
251
244
 
    let sh1 = syncRewards(borrowReserve)
252
245
 
    if ((sh1 == sh1))
253
246
 
        then {
254
247
 
            let sh2 = syncRewards(collateralReserve)
255
248
 
            if ((sh2 == sh2))
256
249
 
                then if ((0 >= liquidateDebtAmount))
257
250
 
                    then throw("non-positive amount")
258
251
 
                    else if ((collateralReserve == borrowReserve))
259
252
 
                        then throw("cr = br")
260
253
 
                        else if ((liquidator == borrower))
261
254
 
                            then throw("self")
262
255
 
                            else {
263
-
                                let $t067076742 = userPower(borrower)
264
-
                                let bp = $t067076742._1
265
-
                                let bpu = $t067076742._2
256
+
                                let $t066066641 = userPower(borrower)
257
+
                                let bp = $t066066641._1
258
+
                                let bpu = $t066066641._2
266
259
 
                                if ((bp > bpu))
267
260
 
                                    then throw((" healthy user: u=" + borrower))
268
261
 
                                    else {
269
262
 
                                        let br = vlR(borrowReserve)
270
263
 
                                        let cr = vlR(collateralReserve)
271
264
 
                                        let borrowAsset = valueOrErrorMessage(getString(br, aIdS), "no assetId in br")
272
265
 
                                        let collateralAsset = valueOrErrorMessage(getString(cr, aIdS), "no assetId in cr")
273
266
 
                                        let checks = opAllowed("liquidate", borrowAsset)
274
267
 
                                        if ((checks == checks))
275
268
 
                                            then {
276
269
 
                                                let isCollateral = valueOrElse(getBoolean(cr, (borrower + "_useAsCollateral")), false)
277
270
 
                                                if ((isCollateral == isCollateral))
278
271
 
                                                    then if (if (!(fromProtected))
279
272
 
                                                        then !(isCollateral)
280
273
 
                                                        else false)
281
274
 
                                                        then throw("deposit not used as collateral")
282
275
 
                                                        else {
283
-
                                                            let $t072657355 = userBalance(br, borrower)
284
-
                                                            if (($t072657355 == $t072657355))
276
+
                                                            let $t071647254 = userBalance(br, borrower)
277
+
                                                            if (($t071647254 == $t071647254))
285
278
 
                                                                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
279
+
                                                                    let userDebtUsd = $t071647254._5
280
+
                                                                    let userDebt = $t071647254._4
281
+
                                                                    let userAssetUsd = $t071647254._3
282
+
                                                                    let userAsset = $t071647254._2
283
+
                                                                    let ignore = $t071647254._1
291
284
 
                                                                    if ((userAsset >= userDebt))
292
285
 
                                                                        then throw("positive saldo")
293
286
 
                                                                        else if ((0 >= liquidateDebtAmount))
294
287
 
                                                                            then throw("<= 0>")
295
288
 
                                                                            else {
296
289
 
                                                                                let factor = valueOrElse(getInteger(configAddress, (collateralAsset + "_LiquidationFractionFactor")), 2)
297
290
 
                                                                                if (((liquidateDebtAmount * factor) > (userDebt - userAsset)))
298
291
 
                                                                                    then throw(((("more than 1/factor of saldo: debt=" + toString(userDebt)) + ", liquidateDebtAmount = ") + toString(liquidateDebtAmount)))
299
292
 
                                                                                    else {
300
293
 
                                                                                        let collateralUsd = fraction(liquidateDebtAmount, userDebtUsd, userDebt)
301
294
 
                                                                                        let penaltizedUsd = fraction(collateralUsd, (factorsBase + liquidationPenalty(borrowAsset)), factorsBase)
302
295
 
                                                                                        let mc = if (fromProtected)
303
296
 
                                                                                            then moveCollateral(borrower, collateralAsset, cr, collateralReserve)
304
297
 
                                                                                            else unit
305
298
 
                                                                                        if ((mc == mc))
306
299
 
                                                                                            then {
307
300
 
                                                                                                let transferredCollateral = asInt(invoke(cr, "transferATokensFor", [borrower, liquidator, penaltizedUsd], nil))
308
301
 
                                                                                                if ((transferredCollateral == transferredCollateral))
309
302
 
                                                                                                    then {
310
303
 
                                                                                                        let pRw1 = moveStream(collateralReserve, "deposit", borrower, liquidator, transferredCollateral)
311
304
 
                                                                                                        if ((pRw1 == pRw1))
312
305
 
                                                                                                            then {
313
306
 
                                                                                                                let transferredDebt = asInt(invoke(br, "transferDebtFor", [borrower, liquidator, liquidateDebtAmount], nil))
314
307
 
                                                                                                                if ((transferredDebt == transferredDebt))
315
308
 
                                                                                                                    then {
316
309
 
                                                                                                                        let pRw2 = moveStream(borrowReserve, "borrow", borrower, liquidator, transferredDebt)
317
310
 
                                                                                                                        if ((pRw2 == pRw2))
318
311
 
                                                                                                                            then {
319
312
 
                                                                                                                                let liquidatorHealthCheck = if (contains(liquidators, liquidator))
320
313
 
                                                                                                                                    then nil
321
314
 
                                                                                                                                    else validateAfter(liquidator, "transferring debt")
322
315
 
                                                                                                                                if ((liquidatorHealthCheck == liquidatorHealthCheck))
323
316
 
                                                                                                                                    then $Tuple2(liquidatorHealthCheck, transferredCollateral)
324
317
 
                                                                                                                                    else throw("Strict value is not equal to itself.")
325
318
 
                                                                                                                                }
326
319
 
                                                                                                                            else throw("Strict value is not equal to itself.")
327
320
 
                                                                                                                        }
328
321
 
                                                                                                                    else throw("Strict value is not equal to itself.")
329
322
 
                                                                                                                }
330
323
 
                                                                                                            else throw("Strict value is not equal to itself.")
331
324
 
                                                                                                        }
332
325
 
                                                                                                    else throw("Strict value is not equal to itself.")
333
326
 
                                                                                                }
334
327
 
                                                                                            else throw("Strict value is not equal to itself.")
335
328
 
                                                                                        }
336
329
 
                                                                                }
337
330
 
                                                                    }
338
331
 
                                                                else throw("Strict value is not equal to itself.")
339
332
 
                                                            }
340
333
 
                                                    else throw("Strict value is not equal to itself.")
341
334
 
                                                }
342
335
 
                                            else throw("Strict value is not equal to itself.")
343
336
 
                                        }
344
337
 
                                }
345
338
 
                else throw("Strict value is not equal to itself.")
346
339
 
            }
347
340
 
        else throw("Strict value is not equal to itself.")
348
341
 
    }
349
342
 
350
343
 
351
344
 
func forceCollapseInternal (liquidator,rsr,borrower,fromProtected) = {
352
345
 
    let reserveAddress = vlR(rsr)
353
346
 
    if ((reserveAddress == reserveAddress))
354
347
 
        then {
355
348
 
            let sh = syncRewards(rsr)
356
349
 
            if ((sh == sh))
357
350
 
                then if ((liquidator == borrower))
358
351
 
                    then throw("can't collapse self in this function")
359
352
 
                    else {
360
-
                        let $t090039038 = userPower(borrower)
361
-
                        let bp = $t090039038._1
362
-
                        let bpu = $t090039038._2
353
+
                        let $t089028937 = userPower(borrower)
354
+
                        let bp = $t089028937._1
355
+
                        let bpu = $t089028937._2
363
356
 
                        if ((bp > bpu))
364
357
 
                            then throw(("can't force collapse healthy user " + borrower))
365
358
 
                            else {
366
359
 
                                let asset = valueOrErrorMessage(getString(reserveAddress, aIdS), ("no assetId field in rsr " + rsr))
367
360
 
                                let mc = if (fromProtected)
368
361
 
                                    then moveCollateral(borrower, asset, reserveAddress, rsr)
369
362
 
                                    else unit
370
363
 
                                if ((mc == mc))
371
364
 
                                    then {
372
-
                                        let $t093409448 = userBalance(reserveAddress, borrower)
373
-
                                        if (($t093409448 == $t093409448))
365
+
                                        let $t092399347 = userBalance(reserveAddress, borrower)
366
+
                                        if (($t092399347 == $t092399347))
374
367
 
                                            then {
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
368
+
                                                let userDebtUsd = $t092399347._5
369
+
                                                let userDebt = $t092399347._4
370
+
                                                let userAssetUsd = $t092399347._3
371
+
                                                let borrowerDeposit = $t092399347._2
372
+
                                                let ignore = $t092399347._1
380
373
 
                                                let penaltizedUsd = fraction(min([userAssetUsd, userDebtUsd]), collapsePenalty, factorsBase)
381
374
 
                                                let transferredAssets = asInt(invoke(reserveAddress, "transferATokensFor", [borrower, liquidator, penaltizedUsd], nil))
382
375
 
                                                if ((transferredAssets == transferredAssets))
383
376
 
                                                    then {
384
377
 
                                                        let pRw1 = moveStream(rsr, "deposit", borrower, liquidator, transferredAssets)
385
378
 
                                                        if ((pRw1 == pRw1))
386
379
 
                                                            then {
387
380
 
                                                                let collapsed = asInt(invoke(reserveAddress, "collapseFor", [borrower], nil))
388
381
 
                                                                if ((collapsed == collapsed))
389
382
 
                                                                    then {
390
383
 
                                                                        let pRw2 = updateStream(rsr, "borrow", borrower, -(collapsed), -(collapsed))
391
384
 
                                                                        if ((pRw2 == pRw2))
392
385
 
                                                                            then {
393
386
 
                                                                                let pRw3 = updateStream(rsr, "deposit", borrower, -(collapsed), -(collapsed))
394
387
 
                                                                                if ((pRw3 == pRw3))
395
388
 
                                                                                    then nil
396
389
 
                                                                                    else throw("Strict value is not equal to itself.")
397
390
 
                                                                                }
398
391
 
                                                                            else throw("Strict value is not equal to itself.")
399
392
 
                                                                        }
400
393
 
                                                                    else throw("Strict value is not equal to itself.")
401
394
 
                                                                }
402
395
 
                                                            else throw("Strict value is not equal to itself.")
403
396
 
                                                        }
404
397
 
                                                    else throw("Strict value is not equal to itself.")
405
398
 
                                                }
406
399
 
                                            else throw("Strict value is not equal to itself.")
407
400
 
                                        }
408
401
 
                                    else throw("Strict value is not equal to itself.")
409
402
 
                                }
410
403
 
                        }
411
404
 
                else throw("Strict value is not equal to itself.")
412
405
 
            }
413
406
 
        else throw("Strict value is not equal to itself.")
414
407
 
    }
415
408
 
416
409
 
417
410
 
@Callable(i)
418
411
 
func initialize (ca) = [writeConstString(configStore, ca)]
419
412
 
420
413
 
421
414
 
422
415
 
@Callable(i)
423
416
 
func transferDebt (br,cr,b,la) = transferDebtInternal(toString(i.caller), br, cr, b, la, false)
424
417
 
425
418
 
426
419
 
427
420
 
@Callable(i)
428
421
 
func transferDebt2 (br,cr,b,la) = transferDebtInternal(toString(i.caller), br, cr, b, la, true)
429
422
 
430
423
 
431
424
 
432
425
 
@Callable(i)
433
426
 
func forceCollapse (r,b) = forceCollapseInternal(toString(i.caller), r, b, false)
434
427
 
435
428
 
436
429
 
437
430
 
@Callable(i)
438
431
 
func forceCollapse2 (r,b) = forceCollapseInternal(toString(i.caller), r, b, true)
439
432
 
440
433
 
441
434
 
@Verifier(tx)
442
435
 
func verify () = {
443
436
 
    let maybeOracleAddress =     match getString(configAddress, "oracle_address") {
444
437
 
        case s: String => 
445
438
 
            addressFromString(s)
446
439
 
        case _ => 
447
440
 
            unit
448
441
 
    }
449
442
 
    let HEIGHT = height
450
443
 
    let BASE = 1000
451
444
 
    let quorumRatio = valueOrErrorMessage(getInteger(configAddress, "proposal_quorum_ratio"), "proposalQuorumRatio is not defined")
452
445
 
    let passedRatio = valueOrErrorMessage(getInteger(configAddress, "proposal_passed_ratio"), "proposalThresholdRatio is not defined")
453
446
 
    let gViresContract = valueOrErrorMessage(addressFromString(valueOrErrorMessage(getString(configAddress, "dividends_contract"), "no dividends_contract")), "invalid dividends_contract")
454
447
 
    let votingContract = valueOrErrorMessage(addressFromString(valueOrErrorMessage(getString(configAddress, "voting_contract"), "no voting_contract")), "invalid voting_contract")
455
448
 
    let id = toBase58String(tx.id)
456
449
 
    let votesYes = valueOrElse(getInteger(votingContract, ("proposal_yes_" + id)), 0)
457
450
 
    let votesNo = valueOrElse(getInteger(votingContract, ("proposal_no_" + id)), 0)
458
451
 
    let proposalHeight = valueOrErrorMessage(getInteger(votingContract, ("proposal_height_" + id)), "proposal not registered")
459
452
 
    let applyStart = valueOrElse(getInteger(votingContract, ("proposal_applystart_" + id)), 0)
460
453
 
    let applyEnd = valueOrElse(getInteger(votingContract, ("proposal_applyend_" + id)), 0)
461
454
 
    let totalGVires = valueOrElse(getInteger(votingContract, ("proposal_gvires_" + id)), 0)
462
455
 
    let enabled = valueOrElse(getBoolean(configAddress, "op_governance_apply_tx_paused"), false)
463
456
 
    let voteYes = votesYes
464
457
 
    let voteNo = votesNo
465
458
 
    let totalVotes = (voteYes + voteNo)
466
459
 
    let hasQuorum = (((totalVotes * BASE) / totalGVires) >= quorumRatio)
467
460
 
    let hasPassed = (((voteYes * BASE) / totalVotes) >= passedRatio)
468
461
 
    let tooEarly = (applyStart >= HEIGHT)
469
462
 
    let tooLate = (HEIGHT >= applyEnd)
470
463
 
    let timeDebug = ((((((("proposalHeight = " + toString(proposalHeight)) + ", applyStart = ") + toString(applyStart)) + ", applyEnd = ") + toString(applyEnd)) + ", HEIGHT = ") + toString(HEIGHT))
471
464
 
    let byVoting = if (!(enabled))
472
465
 
        then throw("tx application throw governance not enabled")
473
466
 
        else if (tooEarly)
474
467
 
            then throw(("proposal can't be executed as it's too early: " + timeDebug))
475
468
 
            else if (tooLate)
476
469
 
                then throw(("proposal can't be executed as it's too late:" + timeDebug))
477
470
 
                else if (!(hasQuorum))
478
471
 
                    then throw((((((("no quorum: " + "totalVotes: ") + toString(totalVotes)) + ", totalGVires: ") + toString(totalGVires)) + ", quorumRatio: ") + toString(quorumRatio)))
479
472
 
                    else if (!(hasPassed))
480
473
 
                        then throw((((((("no threshold achieved: " + "voteYes: ") + toString(voteYes)) + ", voteNo: ") + toString(voteNo)) + ", passedRatio: ") + toString(passedRatio)))
481
474
 
                        else true
482
475
 
    if (sigVerify(tx.bodyBytes, tx.proofs[0], tx.senderPublicKey))
483
476
 
        then true
484
477
 
        else byVoting
485
478
 
    }
486
479
 

github/deemru/w8io/786bc32 
97.59 ms ◑