w8 · tx · 5yN···NxJ

tx · 5yNpcWxTAPstoVdiyMwVvrtgUcuVY7k1tys44B7KNxJ

3N8kB3UEjWWvTRBtGpGUErAevaK2q6u2eCM:  -0.01000000 Waves

2023.11.02 19:10 [2825938] smart account 3N8kB3UEjWWvTRBtGpGUErAevaK2q6u2eCM > SELF 0.00000000 Waves

{
    "type": 13,
    "id": "5yNpcWxTAPstoVdiyMwVvrtgUcuVY7k1tys44B7KNxJ",
    "fee": 1000000,
    "feeAssetId": null,
    "timestamp": 1698941427610,
    "version": 2,
    "chainId": 84,
    "sender": "3N8kB3UEjWWvTRBtGpGUErAevaK2q6u2eCM",
    "senderPublicKey": "6ybktvseycJDGHTjJm3tz9iT2SKaTNtLLCZsJZRemtoM",
    "proofs": [
        "4BwhL43DYrsrCtbXQEAL9CpCsguaXn3B6wM4vFA1Aj3y4F5brSD9sapS59PjXgo4FYNT17uabWHC9Pi8gALmifZn"
    ],
    "script": "base64:BgITCAISAwoBAhIAEgMKAQESAwoBAg4AB293bmVyUGsBIFjKQnTzuTU7kMfPWIFrhrNM3EW8gc9F3rO/tY+FuNJcAAtkZW5vbWluYXRvcgCAwtcvAAp0cmFuc2ZlclZrAcQGSYrHhkeDrw+dFMD6Yr/Vrvr2pPyDHCWoMO8w9LxFaQABrVkxqK1PRfgZw0t9bDNsxFEJNHhErc9XHTkkU1OiEYYWiz2VdqW6jQewS86Z3lshxW6Fdf1MU0MDPt1NoikSf2YEIBvI+gscAfqmtvJxZbkVA/Lrr7r+HyVUoZGt1QB46Zv9umeZBwmTWiDHaLPPgOVOWQAVYLMCwpEzEzIdF2C8KzI/CsCeCv3raf56RXmhFAWuJCbMtO6My12PxFQDRv98IWP0FGhY/m6sQ/9r58GInq4bSVYWKlGucbXbayaYF35Fp3o6VaRXVWzJ6FesrH8dS+DxeadscnAN4IQEB4J5YcwZvAX/fjE5JEHNC4WrNfiUe+fe6FAQ4ttHlRgKS+PbN1butH1dDkfQkBKC5Om0WI3D45eaRbN6Taxt7ha5xCUwGVh0LQ+Wf/j9bY+un1Cwur9wx+HmB6PPGC2pEFLSQhkZjtvNJTs6e1c0i3FAOhFDSNqEjcqORSer2aUGdJMXhB6YEv/XcumUDyQbem+f0wX2qOgtwVFLtGOq7S65sHzNcHpdJP/htHnhqkQErwmjDG/JTs9oc1mu5jOsGAYAAAAovMt7vHGhKq+EA+6JlSFfVMj7aU/V67EpBI64f73xJKTpnqCOEMhaQMegFHTJ/W5Cp9iTd4i3AqnoTQj+L1UOXKmddpvHhg0WJHFbosaPhv8EY7+cAaHmn1JPO30BBRPqTsN53lfykgE2oF9vGPyU4u0Y3Oh8YG2p7I2Oz+NaKkzrJo2SamjhbLOofkEX14HbjdZLWD5T07/J4qfaYb8Eervvcr/H2IS0GJ7UFTdqJGwWa/1IZZF6RN8rj5y8xg2BoioqwyhpS3I7gROorvBg6hMSFh4eYXROfzISFgWiF5eouqLDFV3P8geZwxSRDnzOaDyCe3Y7EaxhPBjHbtYA/DLJnfWLC6H6AnAA+fLxTZHjtEL/7Mcc+8MYPzH1mAf9gA0UiXxfzFWLSiAzWDBF+Uzpxn2XO25DNREAiZeYIHqYaq6iaMlcNtk5iiSMm+aO6VPqh1tuPoIND/ry5aALN3TlgjnOoDOTGpJIlakKGfGnRHaM/Jd0vbiJ723UUAMABnRyZWVWawHEBahgT4bna+9KtoXaXTB8cT1XZPjCQ2s1MFmwU5fniQsf81BGoG0gIa01HONCWo7HsYfk4TEr9WZSoTYG473PBhcH0nGojrXDNHw4zXFHgoa9jaYG0FfsuF07wvLI8FVxGq3kehb6xpchHSnBcfryGoIk++5UNzCvxH8cJTR7BHQMtLFk4RI6Q8pBT4mFhuk+SCViBrXYa3D3Xj2L9Rl9MAmpFpkzIfTVmG8tXqxkT5w8VsXhXDgTeAz4ZEkCoPwzB9S5GPxpQqiHX3V+TK/tAjEFp5q/KBAgOUIHjidWZ0kJjtfCYPa3JTcfZoag94rsdG/qNvdx5GIOHe+WTgXlKi3cet/3iHv1RLsCJBhQbOLFPVhxLHaqcfECqQcpemSoIjnMf8K1tHME75t+HKuaUVRrp8/qrvdLHtj6gIzo4iEaA763Ake6pTdIk7wXnWUU5TrWzsQIlzm/58Ba7Jn/MBYnm6SpI2zZDb04ixkYnmud8brJrjcADTmbX2DE9NysH9W4ERa5DOk6oBFWatVZe8IxYRrtwha5OaaKUWdF/M4Sap+SDy7eoP9CJlD3nvH6welbTGGJJkO2Qlk8ChDxgyIEAAAAjKAbcj2ONMqIDVY+Wxfy2xHuUBimY8MnzI+fAGOaHCtNAhLAtzZtcEikesYvDUm44T2UcNP8woVSvSvHHgDuIozRaThbjqUzumhKtKO7KTvxNCU8E0rcRdI3Q/TQsnUky2YuA3bRx5HKYeEmqPAMFeKnedMGr29P4cQl5FVk7xK4JyFgoI634M0AQ32vfc9GpVG8MgQXfKHcHyVO2xEbB/0n4TXpqcYsBFNbqukz0NjcYDd34F6OYvXR60miNmUHe0fYciVXjJQWs+rj+IEtV2JbeS5E/kxRk/74nSpXDB0MfeOcdSIr6u9vHioCeGgSOSWtZ8Y+0Au3ffMbpLpEJQALaW5pdGlhbFJvb3QJAJ0DAQkApwMBAk0xMTQ2OTcwMTk0MjY2NjI5ODM2ODExMjg4MjQxMjEzMzg3NzQ1ODMwNTUxNjEzNDkyNjY0OTgyNjU0MzE0NDc0NDM4MjM5MTY5MTUzMwEKZ2V0Um9vdEtleQEFaW5kZXgJAKwCAgICUjoJAKQDAQUFaW5kZXgBD2dldE51bGxpZmllcktleQEJbnVsbGlmaWVyCQCsAgICAk46CQDYBAEFCW51bGxpZmllcgENZ2V0RGVwb3NpdEtleQEHYWRkcmVzcwkArAICAgJEOgkA2AQBBQdhZGRyZXNzAAxwb29sSW5kZXhLZXkCCVBvb2xJbmRleAASYWxsTWVzc2FnZXNIYXNoS2V5Ag9BbGxNZXNzYWdlc0hhc2gAC29wZXJhdG9yS2V5AgpPcGVyYXRvclBrAQd0YWtlRXh0AwF2BGZyb20BbgkAyQECCQDKAQIFAXYFBGZyb20FAW4BDHNwZW5kRGVwb3NpdAIHYWRkcmVzcwZhbW91bnQECmN1cnJlbnRLZXkJAQ1nZXREZXBvc2l0S2V5AQgFB2FkZHJlc3MFYnl0ZXMEDWN1cnJlbnRBbW91bnQEByRtYXRjaDAJAJ8IAQUKY3VycmVudEtleQMJAAECBQckbWF0Y2gwAgNJbnQEAWEFByRtYXRjaDAFAWEAAAQJbmV3QW1vdW50CQBlAgUNY3VycmVudEFtb3VudAUGYW1vdW50AwkAZgIAAAUGYW1vdW50CQACAQIbQ2FuJ3Qgc3BlbmQgbmVnYXRpdmUgYW1vdW50AwkAZgIAAAUJbmV3QW1vdW50CQACAQISTm90IGVub3VnaCBiYWxhbmNlCQDMCAIJAQxJbnRlZ2VyRW50cnkCBQpjdXJyZW50S2V5BQluZXdBbW91bnQFA25pbAENZ2V0T3BlcmF0b3JQawAEByRtYXRjaDAJAKEIAQULb3BlcmF0b3JLZXkDCQABAgUHJG1hdGNoMAIKQnl0ZVZlY3RvcgQBYQUHJG1hdGNoMAUBYQUHb3duZXJQawQBaQENc2V0T3BlcmF0b3JQawECcGsDCQECIT0CCQDIAQEFAnBrACAJAAIBAilPcGVyYXRvciBwdWJsaWMga2V5IG11c3QgYmUgMzIgYnl0ZXMgbG9uZwkAzAgCCQELQmluYXJ5RW50cnkCBQtvcGVyYXRvcktleQUCcGsFA25pbAFpAQdkZXBvc2l0AAQDcG10CQEFdmFsdWUBCQCRAwIIBQFpCHBheW1lbnRzAAADCQEJaXNEZWZpbmVkAQgFA3BtdAdhc3NldElkCQACAQIjT25seSBXQVZFUyBpcyBhbGxvd2VkIGF0IHRoZSBtb21lbnQECmN1cnJlbnRLZXkJAQ1nZXREZXBvc2l0S2V5AQgIBQFpBmNhbGxlcgVieXRlcwQNY3VycmVudEFtb3VudAQHJG1hdGNoMAkAmggCBQR0aGlzBQpjdXJyZW50S2V5AwkAAQIFByRtYXRjaDACA0ludAQBYQUHJG1hdGNoMAUBYQAABAluZXdBbW91bnQJAGQCBQ1jdXJyZW50QW1vdW50CAUDcG10BmFtb3VudAkAzAgCCQEMSW50ZWdlckVudHJ5AgUKY3VycmVudEtleQUJbmV3QW1vdW50BQNuaWwBaQEId2l0aGRyYXcBBmFtb3VudAQKY3VycmVudEtleQkBDWdldERlcG9zaXRLZXkBCAgFAWkGY2FsbGVyBWJ5dGVzBA1jdXJyZW50QW1vdW50BAckbWF0Y2gwCQCaCAIFBHRoaXMFCmN1cnJlbnRLZXkDCQABAgUHJG1hdGNoMAIDSW50BAFhBQckbWF0Y2gwBQFhAAAECW5ld0Ftb3VudAkAZQIFDWN1cnJlbnRBbW91bnQFBmFtb3VudAMJAGYCAAAFBmFtb3VudAkAAgECHkNhbid0IHdpdGhkcmF3IG5lZ2F0aXZlIGFtb3VudAMJAGYCAAAFCW5ld0Ftb3VudAkAAgECEk5vdCBlbm91Z2ggYmFsYW5jZQkAzAgCCQEMSW50ZWdlckVudHJ5AgUKY3VycmVudEtleQUJbmV3QW1vdW50CQDMCAIJAQ5TY3JpcHRUcmFuc2ZlcgMIBQFpBmNhbGxlcgUGYW1vdW50BQR1bml0BQNuaWwBaQEIdHJhbnNhY3QBAnR4BAludWxsaWZpZXIJAMkBAgUCdHgAIAQJb3V0Q29tbWl0CQEHdGFrZUV4dAMFAnR4ACAAIAQHYXNzZXRJZAkBB3Rha2VFeHQDBQJ0eABAACAEBWRlbHRhCQEHdGFrZUV4dAMFAnR4AGAAIAQMbmF0aXZlQW1vdW50CQCxCQEJAMkBAgUFZGVsdGEACAQMbmF0aXZlRW5lcmd5CQCeAwEJAQd0YWtlRXh0AwUFZGVsdGEACAAOBAd0eEluZGV4CQCxCQEJAMsBAgED0000CQEHdGFrZUV4dAMFBWRlbHRhABYABgQHX3Bvb2xJZAkBB3Rha2VFeHQDBQVkZWx0YQAcAAMEB3R4UHJvb2YJAQd0YWtlRXh0AwUCdHgAgAEAgAIECXRyZWVQcm9vZgkBB3Rha2VFeHQDBQJ0eACAAwCAAgQJcm9vdEFmdGVyCQEHdGFrZUV4dAMFAnR4AIAFACAEBnR4VHlwZQkAsQkBCQDLAQIBCdNNNNNNNNNNNAkBB3Rha2VFeHQDBQJ0eACgBQACBAhmdWxsTWVtbwkAygECBQJ0eACiBQQLJHQwNTk5NjYzNDQDCQAAAgUGdHhUeXBlAAAED2RlcG9zaXREYXRhU2l6ZQkAZAIAIABABAlkZXBvc2l0UGsJAM0BAgkAzAECBQhmdWxsTWVtbwUPZGVwb3NpdERhdGFTaXplAEAEEGRlcG9zaXRTaWduYXR1cmUJAMwBAgUIZnVsbE1lbW8AQAkAlQoDCQDNAQIFCGZ1bGxNZW1vBQ9kZXBvc2l0RGF0YVNpemUFCWRlcG9zaXRQawUQZGVwb3NpdFNpZ25hdHVyZQkAlQoDBQhmdWxsTWVtbwUEdW5pdAUEdW5pdAQEbWVtbwgFCyR0MDU5OTY2MzQ0Al8xBAlkZXBvc2l0UGsIBQskdDA1OTk2NjM0NAJfMgQQZGVwb3NpdFNpZ25hdHVyZQgFCyR0MDU5OTY2MzQ0Al8zBANmZWUJALEJAQkAyQECBQRtZW1vAAgED2FsbE1lc3NhZ2VzSGFzaAkBC3ZhbHVlT3JFbHNlAgkAoQgBBRJhbGxNZXNzYWdlc0hhc2hLZXkJAJ0DAQkAtgIBAAAECG1lbW9IYXNoCQD1AwEFBG1lbW8EBmhhc2hlcwkAywECBQ9hbGxNZXNzYWdlc0hhc2gFCG1lbW9IYXNoBBJuZXdBbGxNZXNzYWdlc0hhc2gJAPUDAQUGaGFzaGVzBApyb290QmVmb3JlCQELdmFsdWVPckVsc2UCCQChCAEJAQpnZXRSb290S2V5AQUHdHhJbmRleAULaW5pdGlhbFJvb3QDCQAAAgUKcm9vdEJlZm9yZQUKcm9vdEJlZm9yZQQJcG9vbEluZGV4CQELdmFsdWVPckVsc2UCCQCfCAEFDHBvb2xJbmRleEtleQAABAhwb29sUm9vdAkBC3ZhbHVlT3JFbHNlAgkAoQgBCQEKZ2V0Um9vdEtleQEFCXBvb2xJbmRleAULaW5pdGlhbFJvb3QED251bGxpZmllckV4aXN0cwQHJG1hdGNoMAkAoQgBCQEPZ2V0TnVsbGlmaWVyS2V5AQUJbnVsbGlmaWVyAwkAAQIFByRtYXRjaDACBFVuaXQEAWEFByRtYXRjaDAHBgQOdHJhbnNmZXJJbnB1dHMJAMsBAgkAywECCQDLAQIJAMsBAgUIbWVtb0hhc2gFCW51bGxpZmllcgUJb3V0Q29tbWl0BQVkZWx0YQUIbWVtb0hhc2gECnRyZWVJbnB1dHMJAMsBAgkAywECBQhwb29sUm9vdAUJcm9vdEFmdGVyBQlvdXRDb21taXQEB2RhdGFPcHMJAMwIAgkBC0JpbmFyeUVudHJ5AgkBCmdldFJvb3RLZXkBBQd0eEluZGV4BQlyb290QWZ0ZXIJAMwIAgkBC0JpbmFyeUVudHJ5AgkBD2dldE51bGxpZmllcktleQEFCW51bGxpZmllcgkA9QMBCQDLAQIFCW91dENvbW1pdAUFZGVsdGEJAMwIAgkBDEludGVnZXJFbnRyeQIFDHBvb2xJbmRleEtleQkAZAIFCXBvb2xJbmRleACAAQkAzAgCCQELQmluYXJ5RW50cnkCBRJhbGxNZXNzYWdlc0hhc2hLZXkFEm5ld0FsbE1lc3NhZ2VzSGFzaAUDbmlsBAV0eE9wcwQHJG1hdGNoMAUGdHhUeXBlAwkAAAIAAAUHJG1hdGNoMAQOZGVwb3NpdFBrVmFsdWUJAQV2YWx1ZQEFCWRlcG9zaXRQawQOZGVwb3NpdEFkZHJlc3MJAKcIAQUOZGVwb3NpdFBrVmFsdWUDCQBmAgAABQxuYXRpdmVBbW91bnQJAAIBAh1DYW4ndCBkZXBvc2l0IG5lZ2F0aXZlIGFtb3VudAMJAQEhAQkAxBMDCQDLAQIFCW51bGxpZmllcgUOZGVwb3NpdFBrVmFsdWUJAQV2YWx1ZQEFEGRlcG9zaXRTaWduYXR1cmUFDmRlcG9zaXRQa1ZhbHVlCQACAQIZSW52YWxpZCBkZXBvc2l0IHNpZ25hdHVyZQkBDHNwZW5kRGVwb3NpdAIFDmRlcG9zaXRBZGRyZXNzCQBoAgUMbmF0aXZlQW1vdW50BQtkZW5vbWluYXRvcgMJAAACAAEFByRtYXRjaDADCQECIT0CBQxuYXRpdmVBbW91bnQAAAkAAgECKE5hdGl2ZSBhbW91bnQgbXVzdCBiZSB6ZXJvIGZvciB0cmFuc2ZlcnMFA25pbAMJAAACAAIFByRtYXRjaDAEDndpdGhkcmF3QW1vdW50CQBoAgkAsQkBCQEHdGFrZUV4dAMFBG1lbW8ACAAIBQtkZW5vbWluYXRvcgMJAGYCBQ53aXRoZHJhd0Ftb3VudAAACQACAQIgV2l0aGRyYXcgYW1vdW50IG11c3QgYmUgcG9zaXRpdmUJAMwIAgkBDlNjcmlwdFRyYW5zZmVyAwgFAWkGY2FsbGVyCQEBLQEFDndpdGhkcmF3QW1vdW50BQR1bml0BQNuaWwJAAIBAg9Vbmtub3duIHR4IHR5cGUEBmZlZU9wcwMJAGYCBQNmZWUAAAQIdG90YWxGZWUJAGgCBQNmZWUFC2Rlbm9taW5hdG9yBApvcGVyYXRvclBrCQENZ2V0T3BlcmF0b3JQawAED29wZXJhdG9yQWRkcmVzcwkApwgBBQpvcGVyYXRvclBrCQDMCAIJAQ5TY3JpcHRUcmFuc2ZlcgMFD29wZXJhdG9yQWRkcmVzcwUDZmVlBQR1bml0BQNuaWwFA25pbAMJAGYCBQd0eEluZGV4BQlwb29sSW5kZXgJAAIBAhlJbnZhbGlkIHRyYW5zYWN0aW9uIGluZGV4AwUPbnVsbGlmaWVyRXhpc3RzCQACAQIMRG91YmxlIHNwZW5kCQDOCAIJAM4IAgUFdHhPcHMFB2RhdGFPcHMFBmZlZU9wcwkAAgECJFN0cmljdCB2YWx1ZSBpcyBub3QgZXF1YWwgdG8gaXRzZWxmLgECdHgBBnZlcmlmeQAEByRtYXRjaDAFAnR4AwkAAQIFByRtYXRjaDACFFNldFNjcmlwdFRyYW5zYWN0aW9uBAFkBQckbWF0Y2gwCQD0AwMIBQJ0eAlib2R5Qnl0ZXMJAJEDAggFAnR4BnByb29mcwAABQdvd25lclBrAwkAAQIFByRtYXRjaDACF0ludm9rZVNjcmlwdFRyYW5zYWN0aW9uBAFkBQckbWF0Y2gwBAckbWF0Y2gxCAUBZAhmdW5jdGlvbgMJAAACAg1zZXRPcGVyYXRvclBrBQckbWF0Y2gxCQD0AwMIBQJ0eAlib2R5Qnl0ZXMJAJEDAggFAnR4BnByb29mcwAABQdvd25lclBrAwkAAAICCHRyYW5zYWN0BQckbWF0Y2gxBApvcGVyYXRvclBrCQENZ2V0T3BlcmF0b3JQawAJAPQDAwgFAnR4CWJvZHlCeXRlcwkAkQMCCAUCdHgGcHJvb2ZzAAAFCm9wZXJhdG9yUGsJAPQDAwgFAnR4CWJvZHlCeXRlcwkAkQMCCAUCdHgGcHJvb2ZzAAAIBQJ0eA9zZW5kZXJQdWJsaWNLZXkHN2k8ZA==",
    "height": 2825938,
    "applicationStatus": "succeeded",
    "spentComplexity": 0
}

View: original | compacted
Prev: 955pwN2gQ3KaUdziNw2bwgV3tEjTWLRwvT2BbqbeG6Qz
Next: none

Diff: 
Old New Differences
180 180                  else nil
181 181              if ((txIndex > poolIndex))
182 182                  then throw("Invalid transaction index")
183 -                 else if (!(bn256Groth16Verify_5inputs(transferVk, txProof, transferInputs)))
184 -                     then throw("Tx proof is invalid")
185 -                     else if (!(bn256Groth16Verify_3inputs(treeVk, treeProof, treeInputs)))
186 -                         then throw("Tree proof is invalid")
187 -                         else if (nullifierExists)
188 -                             then throw("Double spend")
189 -                             else ((txOps ++ dataOps) ++ feeOps)
183 +                 else if (nullifierExists)
184 +                     then throw("Double spend")
185 +                     else ((txOps ++ dataOps) ++ feeOps)
190 186              }
191 187          else throw("Strict value is not equal to itself.")
192 188      }
Full: 
Old New Differences
1 1  {-# STDLIB_VERSION 6 #-}
2 2  {-# SCRIPT_TYPE ACCOUNT #-}
3 3  {-# CONTENT_TYPE DAPP #-}
4 4  let ownerPk = base58'6ybktvseycJDGHTjJm3tz9iT2SKaTNtLLCZsJZRemtoM'
5 5  
6 6  let denominator = 100000000
7 7  
8 8  let transferVk = base64'SYrHhkeDrw+dFMD6Yr/Vrvr2pPyDHCWoMO8w9LxFaQABrVkxqK1PRfgZw0t9bDNsxFEJNHhErc9XHTkkU1OiEYYWiz2VdqW6jQewS86Z3lshxW6Fdf1MU0MDPt1NoikSf2YEIBvI+gscAfqmtvJxZbkVA/Lrr7r+HyVUoZGt1QB46Zv9umeZBwmTWiDHaLPPgOVOWQAVYLMCwpEzEzIdF2C8KzI/CsCeCv3raf56RXmhFAWuJCbMtO6My12PxFQDRv98IWP0FGhY/m6sQ/9r58GInq4bSVYWKlGucbXbayaYF35Fp3o6VaRXVWzJ6FesrH8dS+DxeadscnAN4IQEB4J5YcwZvAX/fjE5JEHNC4WrNfiUe+fe6FAQ4ttHlRgKS+PbN1butH1dDkfQkBKC5Om0WI3D45eaRbN6Taxt7ha5xCUwGVh0LQ+Wf/j9bY+un1Cwur9wx+HmB6PPGC2pEFLSQhkZjtvNJTs6e1c0i3FAOhFDSNqEjcqORSer2aUGdJMXhB6YEv/XcumUDyQbem+f0wX2qOgtwVFLtGOq7S65sHzNcHpdJP/htHnhqkQErwmjDG/JTs9oc1mu5jOsGAYAAAAovMt7vHGhKq+EA+6JlSFfVMj7aU/V67EpBI64f73xJKTpnqCOEMhaQMegFHTJ/W5Cp9iTd4i3AqnoTQj+L1UOXKmddpvHhg0WJHFbosaPhv8EY7+cAaHmn1JPO30BBRPqTsN53lfykgE2oF9vGPyU4u0Y3Oh8YG2p7I2Oz+NaKkzrJo2SamjhbLOofkEX14HbjdZLWD5T07/J4qfaYb8Eervvcr/H2IS0GJ7UFTdqJGwWa/1IZZF6RN8rj5y8xg2BoioqwyhpS3I7gROorvBg6hMSFh4eYXROfzISFgWiF5eouqLDFV3P8geZwxSRDnzOaDyCe3Y7EaxhPBjHbtYA/DLJnfWLC6H6AnAA+fLxTZHjtEL/7Mcc+8MYPzH1mAf9gA0UiXxfzFWLSiAzWDBF+Uzpxn2XO25DNREAiZeYIHqYaq6iaMlcNtk5iiSMm+aO6VPqh1tuPoIND/ry5aALN3TlgjnOoDOTGpJIlakKGfGnRHaM/Jd0vbiJ723UUAM='
9 9  
10 10  let treeVk = base64'qGBPhudr70q2hdpdMHxxPVdk+MJDazUwWbBTl+eJCx/zUEagbSAhrTUc40Jajsexh+ThMSv1ZlKhNgbjvc8GFwfScaiOtcM0fDjNcUeChr2NpgbQV+y4XTvC8sjwVXEareR6FvrGlyEdKcFx+vIagiT77lQ3MK/EfxwlNHsEdAy0sWThEjpDykFPiYWG6T5IJWIGtdhrcPdePYv1GX0wCakWmTMh9NWYby1erGRPnDxWxeFcOBN4DPhkSQKg/DMH1LkY/GlCqIdfdX5Mr+0CMQWnmr8oECA5QgeOJ1ZnSQmO18Jg9rclNx9mhqD3iux0b+o293HkYg4d75ZOBeUqLdx63/eIe/VEuwIkGFBs4sU9WHEsdqpx8QKpByl6ZKgiOcx/wrW0cwTvm34cq5pRVGunz+qu90se2PqAjOjiIRoDvrcCR7qlN0iTvBedZRTlOtbOxAiXOb/nwFrsmf8wFiebpKkjbNkNvTiLGRiea53xusmuNwANOZtfYMT03Kwf1bgRFrkM6TqgEVZq1Vl7wjFhGu3CFrk5popRZ0X8zhJqn5IPLt6g/0ImUPee8frB6VtMYYkmQ7ZCWTwKEPGDIgQAAACMoBtyPY40yogNVj5bF/LbEe5QGKZjwyfMj58AY5ocK00CEsC3Nm1wSKR6xi8NSbjhPZRw0/zChVK9K8ceAO4ijNFpOFuOpTO6aEq0o7spO/E0JTwTStxF0jdD9NCydSTLZi4DdtHHkcph4Sao8AwV4qd50wavb0/hxCXkVWTvErgnIWCgjrfgzQBDfa99z0alUbwyBBd8odwfJU7bERsH/SfhNempxiwEU1uq6TPQ2NxgN3fgXo5i9dHrSaI2ZQd7R9hyJVeMlBaz6uP4gS1XYlt5LkT+TFGT/vidKlcMHQx945x1Iivq728eKgJ4aBI5Ja1nxj7QC7d98xukukQl'
11 11  
12 12  let initialRoot = toBytes(parseBigIntValue("11469701942666298368112882412133877458305516134926649826543144744382391691533"))
13 13  
14 14  func getRootKey (index) = ("R:" + toString(index))
15 15  
16 16  
17 17  func getNullifierKey (nullifier) = ("N:" + toBase58String(nullifier))
18 18  
19 19  
20 20  func getDepositKey (address) = ("D:" + toBase58String(address))
21 21  
22 22  
23 23  let poolIndexKey = "PoolIndex"
24 24  
25 25  let allMessagesHashKey = "AllMessagesHash"
26 26  
27 27  let operatorKey = "OperatorPk"
28 28  
29 29  func takeExt (v,from,n) = take(drop(v, from), n)
30 30  
31 31  
32 32  func spendDeposit (address,amount) = {
33 33      let currentKey = getDepositKey(address.bytes)
34 34      let currentAmount =     match getInteger(currentKey) {
35 35          case a: Int => 
36 36              a
37 37          case _ => 
38 38              0
39 39      }
40 40      let newAmount = (currentAmount - amount)
41 41      if ((0 > amount))
42 42          then throw("Can't spend negative amount")
43 43          else if ((0 > newAmount))
44 44              then throw("Not enough balance")
45 45              else [IntegerEntry(currentKey, newAmount)]
46 46      }
47 47  
48 48  
49 49  func getOperatorPk () = match getBinary(operatorKey) {
50 50      case a: ByteVector => 
51 51          a
52 52      case _ => 
53 53          ownerPk
54 54  }
55 55  
56 56  
57 57  @Callable(i)
58 58  func setOperatorPk (pk) = if ((size(pk) != 32))
59 59      then throw("Operator public key must be 32 bytes long")
60 60      else [BinaryEntry(operatorKey, pk)]
61 61  
62 62  
63 63  
64 64  @Callable(i)
65 65  func deposit () = {
66 66      let pmt = value(i.payments[0])
67 67      if (isDefined(pmt.assetId))
68 68          then throw("Only WAVES is allowed at the moment")
69 69          else {
70 70              let currentKey = getDepositKey(i.caller.bytes)
71 71              let currentAmount =             match getInteger(this, currentKey) {
72 72                  case a: Int => 
73 73                      a
74 74                  case _ => 
75 75                      0
76 76              }
77 77              let newAmount = (currentAmount + pmt.amount)
78 78  [IntegerEntry(currentKey, newAmount)]
79 79              }
80 80      }
81 81  
82 82  
83 83  
84 84  @Callable(i)
85 85  func withdraw (amount) = {
86 86      let currentKey = getDepositKey(i.caller.bytes)
87 87      let currentAmount =     match getInteger(this, currentKey) {
88 88          case a: Int => 
89 89              a
90 90          case _ => 
91 91              0
92 92      }
93 93      let newAmount = (currentAmount - amount)
94 94      if ((0 > amount))
95 95          then throw("Can't withdraw negative amount")
96 96          else if ((0 > newAmount))
97 97              then throw("Not enough balance")
98 98              else [IntegerEntry(currentKey, newAmount), ScriptTransfer(i.caller, amount, unit)]
99 99      }
100 100  
101 101  
102 102  
103 103  @Callable(i)
104 104  func transact (tx) = {
105 105      let nullifier = take(tx, 32)
106 106      let outCommit = takeExt(tx, 32, 32)
107 107      let assetId = takeExt(tx, 64, 32)
108 108      let delta = takeExt(tx, 96, 32)
109 109      let nativeAmount = toInt(take(delta, 8))
110 110      let nativeEnergy = toBigInt(takeExt(delta, 8, 14))
111 111      let txIndex = toInt((base58'2DyVD' + takeExt(delta, 22, 6)))
112 112      let _poolId = takeExt(delta, 28, 3)
113 113      let txProof = takeExt(tx, 128, 256)
114 114      let treeProof = takeExt(tx, 384, 256)
115 115      let rootAfter = takeExt(tx, 640, 32)
116 116      let txType = toInt((base58'3gznry4ApWXU7' + takeExt(tx, 672, 2)))
117 117      let fullMemo = drop(tx, 674)
118 118      let $t059966344 = if ((txType == 0))
119 119          then {
120 120              let depositDataSize = (32 + 64)
121 121              let depositPk = dropRight(takeRight(fullMemo, depositDataSize), 64)
122 122              let depositSignature = takeRight(fullMemo, 64)
123 123              $Tuple3(dropRight(fullMemo, depositDataSize), depositPk, depositSignature)
124 124              }
125 125          else $Tuple3(fullMemo, unit, unit)
126 126      let memo = $t059966344._1
127 127      let depositPk = $t059966344._2
128 128      let depositSignature = $t059966344._3
129 129      let fee = toInt(take(memo, 8))
130 130      let allMessagesHash = valueOrElse(getBinary(allMessagesHashKey), toBytes(toBigInt(0)))
131 131      let memoHash = keccak256(memo)
132 132      let hashes = (allMessagesHash + memoHash)
133 133      let newAllMessagesHash = keccak256(hashes)
134 134      let rootBefore = valueOrElse(getBinary(getRootKey(txIndex)), initialRoot)
135 135      if ((rootBefore == rootBefore))
136 136          then {
137 137              let poolIndex = valueOrElse(getInteger(poolIndexKey), 0)
138 138              let poolRoot = valueOrElse(getBinary(getRootKey(poolIndex)), initialRoot)
139 139              let nullifierExists =             match getBinary(getNullifierKey(nullifier)) {
140 140                  case a: Unit => 
141 141                      false
142 142                  case _ => 
143 143                      true
144 144              }
145 145              let transferInputs = ((((memoHash + nullifier) + outCommit) + delta) + memoHash)
146 146              let treeInputs = ((poolRoot + rootAfter) + outCommit)
147 147              let dataOps = [BinaryEntry(getRootKey(txIndex), rootAfter), BinaryEntry(getNullifierKey(nullifier), keccak256((outCommit + delta))), IntegerEntry(poolIndexKey, (poolIndex + 128)), BinaryEntry(allMessagesHashKey, newAllMessagesHash)]
148 148              let txOps =             match txType {
149 149                  case _ => 
150 150                      if ((0 == $match0))
151 151                          then {
152 152                              let depositPkValue = value(depositPk)
153 153                              let depositAddress = addressFromPublicKey(depositPkValue)
154 154                              if ((0 > nativeAmount))
155 155                                  then throw("Can't deposit negative amount")
156 156                                  else if (!(sigVerify_8Kb((nullifier + depositPkValue), value(depositSignature), depositPkValue)))
157 157                                      then throw("Invalid deposit signature")
158 158                                      else spendDeposit(depositAddress, (nativeAmount * denominator))
159 159                              }
160 160                          else if ((1 == $match0))
161 161                              then if ((nativeAmount != 0))
162 162                                  then throw("Native amount must be zero for transfers")
163 163                                  else nil
164 164                              else if ((2 == $match0))
165 165                                  then {
166 166                                      let withdrawAmount = (toInt(takeExt(memo, 8, 8)) * denominator)
167 167                                      if ((withdrawAmount > 0))
168 168                                          then throw("Withdraw amount must be positive")
169 169                                          else [ScriptTransfer(i.caller, -(withdrawAmount), unit)]
170 170                                      }
171 171                                  else throw("Unknown tx type")
172 172              }
173 173              let feeOps = if ((fee > 0))
174 174                  then {
175 175                      let totalFee = (fee * denominator)
176 176                      let operatorPk = getOperatorPk()
177 177                      let operatorAddress = addressFromPublicKey(operatorPk)
178 178  [ScriptTransfer(operatorAddress, fee, unit)]
179 179                      }
180 180                  else nil
181 181              if ((txIndex > poolIndex))
182 182                  then throw("Invalid transaction index")
183 -                 else if (!(bn256Groth16Verify_5inputs(transferVk, txProof, transferInputs)))
184 -                     then throw("Tx proof is invalid")
185 -                     else if (!(bn256Groth16Verify_3inputs(treeVk, treeProof, treeInputs)))
186 -                         then throw("Tree proof is invalid")
187 -                         else if (nullifierExists)
188 -                             then throw("Double spend")
189 -                             else ((txOps ++ dataOps) ++ feeOps)
183 +                 else if (nullifierExists)
184 +                     then throw("Double spend")
185 +                     else ((txOps ++ dataOps) ++ feeOps)
190 186              }
191 187          else throw("Strict value is not equal to itself.")
192 188      }
193 189  
194 190  
195 191  @Verifier(tx)
196 192  func verify () = match tx {
197 193      case d: SetScriptTransaction => 
198 194          sigVerify(tx.bodyBytes, tx.proofs[0], ownerPk)
199 195      case d: InvokeScriptTransaction => 
200 196          match d.function {
201 197              case _ => 
202 198                  if (("setOperatorPk" == $match1))
203 199                      then sigVerify(tx.bodyBytes, tx.proofs[0], ownerPk)
204 200                      else if (("transact" == $match1))
205 201                          then {
206 202                              let operatorPk = getOperatorPk()
207 203                              sigVerify(tx.bodyBytes, tx.proofs[0], operatorPk)
208 204                              }
209 205                          else sigVerify(tx.bodyBytes, tx.proofs[0], tx.senderPublicKey)
210 206          }
211 207      case _ => 
212 208          false
213 209  }
214 210

Old	New		Differences
180	180		else nil
181	181		if ((txIndex > poolIndex))
182	182		then throw("Invalid transaction index")
183		-	else if (!(bn256Groth16Verify_5inputs(transferVk, txProof, transferInputs)))
184		-	then throw("Tx proof is invalid")
185		-	else if (!(bn256Groth16Verify_3inputs(treeVk, treeProof, treeInputs)))
186		-	then throw("Tree proof is invalid")
187		-	else if (nullifierExists)
188		-	then throw("Double spend")
189		-	else ((txOps ++ dataOps) ++ feeOps)
	183	+	else if (nullifierExists)
	184	+	then throw("Double spend")
	185	+	else ((txOps ++ dataOps) ++ feeOps)
190	186		}
191	187		else throw("Strict value is not equal to itself.")
192	188		}

Old	New		Differences
1	1		{-# STDLIB_VERSION 6 #-}
2	2		{-# SCRIPT_TYPE ACCOUNT #-}
3	3		{-# CONTENT_TYPE DAPP #-}
4	4		let ownerPk = base58'6ybktvseycJDGHTjJm3tz9iT2SKaTNtLLCZsJZRemtoM'
5	5
6	6		let denominator = 100000000
7	7
8	8		let transferVk = base64'SYrHhkeDrw+dFMD6Yr/Vrvr2pPyDHCWoMO8w9LxFaQABrVkxqK1PRfgZw0t9bDNsxFEJNHhErc9XHTkkU1OiEYYWiz2VdqW6jQewS86Z3lshxW6Fdf1MU0MDPt1NoikSf2YEIBvI+gscAfqmtvJxZbkVA/Lrr7r+HyVUoZGt1QB46Zv9umeZBwmTWiDHaLPPgOVOWQAVYLMCwpEzEzIdF2C8KzI/CsCeCv3raf56RXmhFAWuJCbMtO6My12PxFQDRv98IWP0FGhY/m6sQ/9r58GInq4bSVYWKlGucbXbayaYF35Fp3o6VaRXVWzJ6FesrH8dS+DxeadscnAN4IQEB4J5YcwZvAX/fjE5JEHNC4WrNfiUe+fe6FAQ4ttHlRgKS+PbN1butH1dDkfQkBKC5Om0WI3D45eaRbN6Taxt7ha5xCUwGVh0LQ+Wf/j9bY+un1Cwur9wx+HmB6PPGC2pEFLSQhkZjtvNJTs6e1c0i3FAOhFDSNqEjcqORSer2aUGdJMXhB6YEv/XcumUDyQbem+f0wX2qOgtwVFLtGOq7S65sHzNcHpdJP/htHnhqkQErwmjDG/JTs9oc1mu5jOsGAYAAAAovMt7vHGhKq+EA+6JlSFfVMj7aU/V67EpBI64f73xJKTpnqCOEMhaQMegFHTJ/W5Cp9iTd4i3AqnoTQj+L1UOXKmddpvHhg0WJHFbosaPhv8EY7+cAaHmn1JPO30BBRPqTsN53lfykgE2oF9vGPyU4u0Y3Oh8YG2p7I2Oz+NaKkzrJo2SamjhbLOofkEX14HbjdZLWD5T07/J4qfaYb8Eervvcr/H2IS0GJ7UFTdqJGwWa/1IZZF6RN8rj5y8xg2BoioqwyhpS3I7gROorvBg6hMSFh4eYXROfzISFgWiF5eouqLDFV3P8geZwxSRDnzOaDyCe3Y7EaxhPBjHbtYA/DLJnfWLC6H6AnAA+fLxTZHjtEL/7Mcc+8MYPzH1mAf9gA0UiXxfzFWLSiAzWDBF+Uzpxn2XO25DNREAiZeYIHqYaq6iaMlcNtk5iiSMm+aO6VPqh1tuPoIND/ry5aALN3TlgjnOoDOTGpJIlakKGfGnRHaM/Jd0vbiJ723UUAM='
9	9
10	10		let treeVk = base64'qGBPhudr70q2hdpdMHxxPVdk+MJDazUwWbBTl+eJCx/zUEagbSAhrTUc40Jajsexh+ThMSv1ZlKhNgbjvc8GFwfScaiOtcM0fDjNcUeChr2NpgbQV+y4XTvC8sjwVXEareR6FvrGlyEdKcFx+vIagiT77lQ3MK/EfxwlNHsEdAy0sWThEjpDykFPiYWG6T5IJWIGtdhrcPdePYv1GX0wCakWmTMh9NWYby1erGRPnDxWxeFcOBN4DPhkSQKg/DMH1LkY/GlCqIdfdX5Mr+0CMQWnmr8oECA5QgeOJ1ZnSQmO18Jg9rclNx9mhqD3iux0b+o293HkYg4d75ZOBeUqLdx63/eIe/VEuwIkGFBs4sU9WHEsdqpx8QKpByl6ZKgiOcx/wrW0cwTvm34cq5pRVGunz+qu90se2PqAjOjiIRoDvrcCR7qlN0iTvBedZRTlOtbOxAiXOb/nwFrsmf8wFiebpKkjbNkNvTiLGRiea53xusmuNwANOZtfYMT03Kwf1bgRFrkM6TqgEVZq1Vl7wjFhGu3CFrk5popRZ0X8zhJqn5IPLt6g/0ImUPee8frB6VtMYYkmQ7ZCWTwKEPGDIgQAAACMoBtyPY40yogNVj5bF/LbEe5QGKZjwyfMj58AY5ocK00CEsC3Nm1wSKR6xi8NSbjhPZRw0/zChVK9K8ceAO4ijNFpOFuOpTO6aEq0o7spO/E0JTwTStxF0jdD9NCydSTLZi4DdtHHkcph4Sao8AwV4qd50wavb0/hxCXkVWTvErgnIWCgjrfgzQBDfa99z0alUbwyBBd8odwfJU7bERsH/SfhNempxiwEU1uq6TPQ2NxgN3fgXo5i9dHrSaI2ZQd7R9hyJVeMlBaz6uP4gS1XYlt5LkT+TFGT/vidKlcMHQx945x1Iivq728eKgJ4aBI5Ja1nxj7QC7d98xukukQl'
11	11
12	12		let initialRoot = toBytes(parseBigIntValue("11469701942666298368112882412133877458305516134926649826543144744382391691533"))
13	13
14	14		func getRootKey (index) = ("R:" + toString(index))
15	15
16	16
17	17		func getNullifierKey (nullifier) = ("N:" + toBase58String(nullifier))
18	18
19	19
20	20		func getDepositKey (address) = ("D:" + toBase58String(address))
21	21
22	22
23	23		let poolIndexKey = "PoolIndex"
24	24
25	25		let allMessagesHashKey = "AllMessagesHash"
26	26
27	27		let operatorKey = "OperatorPk"
28	28
29	29		func takeExt (v,from,n) = take(drop(v, from), n)
30	30
31	31
32	32		func spendDeposit (address,amount) = {
33	33		let currentKey = getDepositKey(address.bytes)
34	34		let currentAmount = match getInteger(currentKey) {
35	35		case a: Int =>
36	36		a
37	37		case _ =>
38	38		0
39	39		}
40	40		let newAmount = (currentAmount - amount)
41	41		if ((0 > amount))
42	42		then throw("Can't spend negative amount")
43	43		else if ((0 > newAmount))
44	44		then throw("Not enough balance")
45	45		else [IntegerEntry(currentKey, newAmount)]
46	46		}
47	47
48	48
49	49		func getOperatorPk () = match getBinary(operatorKey) {
50	50		case a: ByteVector =>
51	51		a
52	52		case _ =>
53	53		ownerPk
54	54		}
55	55
56	56
57	57		@Callable(i)
58	58		func setOperatorPk (pk) = if ((size(pk) != 32))
59	59		then throw("Operator public key must be 32 bytes long")
60	60		else [BinaryEntry(operatorKey, pk)]
61	61
62	62
63	63
64	64		@Callable(i)
65	65		func deposit () = {
66	66		let pmt = value(i.payments[0])
67	67		if (isDefined(pmt.assetId))
68	68		then throw("Only WAVES is allowed at the moment")
69	69		else {
70	70		let currentKey = getDepositKey(i.caller.bytes)
71	71		let currentAmount = match getInteger(this, currentKey) {
72	72		case a: Int =>
73	73		a
74	74		case _ =>
75	75		0
76	76		}
77	77		let newAmount = (currentAmount + pmt.amount)
78	78		[IntegerEntry(currentKey, newAmount)]
79	79		}
80	80		}
81	81
82	82
83	83
84	84		@Callable(i)
85	85		func withdraw (amount) = {
86	86		let currentKey = getDepositKey(i.caller.bytes)
87	87		let currentAmount = match getInteger(this, currentKey) {
88	88		case a: Int =>
89	89		a
90	90		case _ =>
91	91		0
92	92		}
93	93		let newAmount = (currentAmount - amount)
94	94		if ((0 > amount))
95	95		then throw("Can't withdraw negative amount")
96	96		else if ((0 > newAmount))
97	97		then throw("Not enough balance")
98	98		else [IntegerEntry(currentKey, newAmount), ScriptTransfer(i.caller, amount, unit)]
99	99		}
100	100
101	101
102	102
103	103		@Callable(i)
104	104		func transact (tx) = {
105	105		let nullifier = take(tx, 32)
106	106		let outCommit = takeExt(tx, 32, 32)
107	107		let assetId = takeExt(tx, 64, 32)
108	108		let delta = takeExt(tx, 96, 32)
109	109		let nativeAmount = toInt(take(delta, 8))
110	110		let nativeEnergy = toBigInt(takeExt(delta, 8, 14))
111	111		let txIndex = toInt((base58'2DyVD' + takeExt(delta, 22, 6)))
112	112		let _poolId = takeExt(delta, 28, 3)
113	113		let txProof = takeExt(tx, 128, 256)
114	114		let treeProof = takeExt(tx, 384, 256)
115	115		let rootAfter = takeExt(tx, 640, 32)
116	116		let txType = toInt((base58'3gznry4ApWXU7' + takeExt(tx, 672, 2)))
117	117		let fullMemo = drop(tx, 674)
118	118		let $t059966344 = if ((txType == 0))
119	119		then {
120	120		let depositDataSize = (32 + 64)
121	121		let depositPk = dropRight(takeRight(fullMemo, depositDataSize), 64)
122	122		let depositSignature = takeRight(fullMemo, 64)
123	123		$Tuple3(dropRight(fullMemo, depositDataSize), depositPk, depositSignature)
124	124		}
125	125		else $Tuple3(fullMemo, unit, unit)
126	126		let memo = $t059966344._1
127	127		let depositPk = $t059966344._2
128	128		let depositSignature = $t059966344._3
129	129		let fee = toInt(take(memo, 8))
130	130		let allMessagesHash = valueOrElse(getBinary(allMessagesHashKey), toBytes(toBigInt(0)))
131	131		let memoHash = keccak256(memo)
132	132		let hashes = (allMessagesHash + memoHash)
133	133		let newAllMessagesHash = keccak256(hashes)
134	134		let rootBefore = valueOrElse(getBinary(getRootKey(txIndex)), initialRoot)
135	135		if ((rootBefore == rootBefore))
136	136		then {
137	137		let poolIndex = valueOrElse(getInteger(poolIndexKey), 0)
138	138		let poolRoot = valueOrElse(getBinary(getRootKey(poolIndex)), initialRoot)
139	139		let nullifierExists = match getBinary(getNullifierKey(nullifier)) {
140	140		case a: Unit =>
141	141		false
142	142		case _ =>
143	143		true
144	144		}
145	145		let transferInputs = ((((memoHash + nullifier) + outCommit) + delta) + memoHash)
146	146		let treeInputs = ((poolRoot + rootAfter) + outCommit)
147	147		let dataOps = [BinaryEntry(getRootKey(txIndex), rootAfter), BinaryEntry(getNullifierKey(nullifier), keccak256((outCommit + delta))), IntegerEntry(poolIndexKey, (poolIndex + 128)), BinaryEntry(allMessagesHashKey, newAllMessagesHash)]
148	148		let txOps = match txType {
149	149		case _ =>
150	150		if ((0 == $match0))
151	151		then {
152	152		let depositPkValue = value(depositPk)
153	153		let depositAddress = addressFromPublicKey(depositPkValue)
154	154		if ((0 > nativeAmount))
155	155		then throw("Can't deposit negative amount")
156	156		else if (!(sigVerify_8Kb((nullifier + depositPkValue), value(depositSignature), depositPkValue)))
157	157		then throw("Invalid deposit signature")
158	158		else spendDeposit(depositAddress, (nativeAmount * denominator))
159	159		}
160	160		else if ((1 == $match0))
161	161		then if ((nativeAmount != 0))
162	162		then throw("Native amount must be zero for transfers")
163	163		else nil
164	164		else if ((2 == $match0))
165	165		then {
166	166		let withdrawAmount = (toInt(takeExt(memo, 8, 8)) * denominator)
167	167		if ((withdrawAmount > 0))
168	168		then throw("Withdraw amount must be positive")
169	169		else [ScriptTransfer(i.caller, -(withdrawAmount), unit)]
170	170		}
171	171		else throw("Unknown tx type")
172	172		}
173	173		let feeOps = if ((fee > 0))
174	174		then {
175	175		let totalFee = (fee * denominator)
176	176		let operatorPk = getOperatorPk()
177	177		let operatorAddress = addressFromPublicKey(operatorPk)
178	178		[ScriptTransfer(operatorAddress, fee, unit)]
179	179		}
180	180		else nil
181	181		if ((txIndex > poolIndex))
182	182		then throw("Invalid transaction index")
183		-	else if (!(bn256Groth16Verify_5inputs(transferVk, txProof, transferInputs)))
184		-	then throw("Tx proof is invalid")
185		-	else if (!(bn256Groth16Verify_3inputs(treeVk, treeProof, treeInputs)))
186		-	then throw("Tree proof is invalid")
187		-	else if (nullifierExists)
188		-	then throw("Double spend")
189		-	else ((txOps ++ dataOps) ++ feeOps)
	183	+	else if (nullifierExists)
	184	+	then throw("Double spend")
	185	+	else ((txOps ++ dataOps) ++ feeOps)
190	186		}
191	187		else throw("Strict value is not equal to itself.")
192	188		}
193	189
194	190
195	191		@Verifier(tx)
196	192		func verify () = match tx {
197	193		case d: SetScriptTransaction =>
198	194		sigVerify(tx.bodyBytes, tx.proofs[0], ownerPk)
199	195		case d: InvokeScriptTransaction =>
200	196		match d.function {
201	197		case _ =>
202	198		if (("setOperatorPk" == $match1))
203	199		then sigVerify(tx.bodyBytes, tx.proofs[0], ownerPk)
204	200		else if (("transact" == $match1))
205	201		then {
206	202		let operatorPk = getOperatorPk()
207	203		sigVerify(tx.bodyBytes, tx.proofs[0], operatorPk)
208	204		}
209	205		else sigVerify(tx.bodyBytes, tx.proofs[0], tx.senderPublicKey)
210	206		}
211	207		case _ =>
212	208		false
213	209		}
214	210

github/deemru/w8io/169f3d6 
31.26 ms ◑