verbose traces

FluidTokens · Aug 21, 2024 · c980c79 · c980c79
1 parent f30b6fa
commit c980c79
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 3 deletions.
diff --git a/plutus.json b/plutus.json
@@ -6,7 +6,7 @@
     "plutusVersion": "v2",
     "compiler": {
       "name": "Aiken",
-      "version": "v1.0.28-alpha+c9a1519"
+      "version": "v1.0.29-alpha+unknown"
     },
     "license": "Apache-2.0"
   },
@@ -25,8 +25,8 @@
           "$ref": "#/definitions/feetank~1Redeemer"
         }
       },
-      "compiledCode": "590aa80100003232323232323223232323223225333009323232323232533300f300b301037540022646464646464646464646464646464646464a666042603e0222646464646464a66604e604a60506ea80044c8c8c94ccc0a8c0a0c0acdd5000899192999816181518169baa00113232323253330303375e042604a60646ea802454ccc0c0cc050dd6181298191baa02f00e1533303032533303130173756605060666ea801c54ccc0c4cdc499b813370200400866e0920c08db701302000c001153330313375e603260666ea8c0a0c0ccdd5005180c98199baa00713375e604c60666ea801cc098c0ccdd5181418199baa00a14a029405281998099bab30273032375400c9101004881001533303033333301500400200300e30273032375405e016266036604a60646ea80a0dd6180c18191baa02f14a029405280a503330123756604c60626ea801d2201004881003330113756604a60606ea8008dd7181198181baa00c375c604a60606ea8030ccc040dd5980a18179baa3022302f375404a9101004881003031302e37540022c660166eb0c04cc0b4dd5181018169baa023301a007302f302c37540022c660126eb0c044c0acdd5180f18159baa021005301f302a3754002605860526ea800458cc018cc020dd6180d98141baa301b3028375403c0320046eb4c0a8c0ac008dd698148009814801181380098119baa01b15333021301d011132323232323253330273025302837540022646464a666054605060566ea80044c8c8c8c94ccc0b8cdd780f981198181baa0071533302e337120020062a66605c660246eb0c08cc0c0dd50168060a999817199999809802001001806181298181baa02d00913301930233030375404c6eb0c058c0c0dd50168a5014a029405281998081bab3024302f375400a91010048810033300f37566046605c6ea8008dd7181098171baa00a375c6046605c6ea8028ccc038dd5980918169baa3020302d3754046910100488100302f302c37540022c660126eb0c044c0acdd5180f18159baa021005301f302a3754002605860526ea800458cc018cc020dd6180d98141baa301b3028375403c0320046eb4c0a8c0ac008dd698148009814801181380098119baa01b153330213370e9002008899806980b18119baa019301830233754040264a666044604060466ea80044c8c94ccc090ccc8894ccc09ccdc399b83375a601e60526ea8008dd6980718149baa002003153330273375e603860526ea80140044c034dd5980f18149baa00514a02940ccc01cdd5980d98131baa002375c6032604c6ea8c004c098dd50119bae301b302637546002604c6ea808cc004c098dd50119814981518151815181518131baa02313300f3019302637540386eb0c030c098dd50118a5023029302a302a302a302a302a0013027302437540022c660026eb0c024c08cdd5180b18119baa01948000c0040048894ccc094008530103d87a8000132325333024302200313018330280024bd70099980280280099b8000348004c0a400cc09c00888cc0580088c94ccc088c078c08cdd5000899b8f375c604e60486ea800400c528180b18119baa301630233754603060466ea8004888c94ccc084c074c088dd50008a400026eb4c098c08cdd5000992999810980e98111baa00114c103d87a8000132330010013756604e60486ea8008894ccc098004530103d87a80001323232325333027337220100042a66604e66e3c0200084c06ccc0acdd4000a5eb80530103d87a8000133006006003375a60500066eb8c098008c0a8008c0a0004c8cc004004010894ccc0940045300103d87a80001323232325333026337220100042a66604c66e3c0200084c068cc0a8dd3000a5eb80530103d87a80001330060060033756604e0066eb8c094008c0a4008c09c00488c8cc00400400c894ccc08c004528099299981099baf302600200414a2266006006002604c002444444a66604266e24cdc199b823370000866e0920c08db701001375a601260466ea800cdd6980418119baa003005153330213375e602c60466ea80180084c01cdd5980c18119baa00614a029408cdc4980219198008008011129998100008a5eb804c8ccc888c8cc00400400c894ccc098004400c4c8cc0a0dd3998141ba90063302830250013302830260014bd7019801801981500118140009bae301f00137566040002660060066048004604400290051180f9810181018100009180f180f980f800980080091299980d8008a40002600e66004004603c00244a66602e66e21200030040011323300100100222533301c00114a0264a6660346600c00a603e00429444cc00c00c004c07c0045289119299980b980a980c1baa00113322323300100100322533301e00114a0264a66603866e3cdd718108010020a51133003003001302100137586038603a603a603a603a603a603a603a603a60326ea800cdd7180e180c9baa00116300b30183754002600200244a66602e002290000980199801001180d0009b8048008c044dd5005180a18089baa00114a0600a60206ea8018cc894ccc03cc02cc040dd5001099192999808980798091baa0011325333012300e3013375400226eb8c05cc050dd50008b180318099baa300630133754601060266ea8c058c04cdd50008b19299980a0008a60103d87a8000130053301530160014bd7019803001119baf300630133754002004602860226ea800858c010c03cdd50029bac3002300f37546004601e6ea8014dd2a40004602200244646600200200644a666022002297ae0132325333010300500213301400233004004001133004004001301500230130012300f301000114984d958c94ccc020c0180044c8c8c8c8c8c94ccc044c0500084c926300b00516375a602400260240046eb4c040004c040008c038004c028dd50010a999804180200089919191919192999808980a00109924c601600a2c6eb4c048004c048008dd698080009808001180700098051baa002153330083370e90020008a99980598051baa00214985854ccc020cdc3a400c0022a66601660146ea8008526161630083754002646464a666010600c60126ea801c4c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc064c0700084c8c8c8c8c8c9263018006301700730120083301200b23012001301000c3301000d2301400116301a001301a0023018001301800230160013016002375a602800260280046eb0c048004c048008c040004c040008dd6180700098051baa0071625333008300630093754002264646464a66601e602400426464931929998071806000899192999809980b00109924c64a666022601e00226464a66602c60320042649318070008b180b80098099baa00215333011300d0011323232323232533301a301d002149858dd6980d800980d8011bad30190013019002375a602e00260266ea800858c044dd50008b180a00098081baa0031533300e300a00115333011301037540062930b0b18071baa00230070031630100013010002300e001300a37540022c44646600200200644a66601a002293099198018019808801180198078009192999803980280089919299980618078010a4c2c6eb8c034004c024dd50010a999803980180089919299980618078010a4c2c6eb8c034004c024dd50010b18039baa001370e900112999802180118029baa00113232323232323232533300f3012002149858dd6980800098080011bad300e001300e002375c601800260180046eb8c028004c018dd50008b1b87480015cd2ab9d5573caae7d5d02ba157441",
-      "hash": "524990c29f8b716ab9b636b07893a005cc8f34f34d5a56f1285ece8d"
+      "compiledCode": "59175001000032323232323232323232323223232323232232322533300e3232323232325333014300c3016375400226464646464646464646464646464646464646464646464646464a66605c60500322646464646464a666068605c606c6ea80044c8c8c94ccc0dcc0c4c0e4dd500089919299981c9819981d9baa001132323232533303d3375e052605c60806ea802454ccc0f4cc050dd6181718201baa03800e1533303d3253303f49014641646120676f696e67206261636b20696e746f2074616e6b2077726f6e67206f722077726f6e6720646174756d206f722077726f6e672061646472657373206f662074616e6b00153303f301a37500022a66607c602e6eacc0b8c104dd50038a99981f19b893370266e04008010cdc1241811b6e0260500180022a66607c66ebcc064c104dd5181718209baa00a30193041375400e266ebcc0bcc104dd5003981798209baa302e3041375401429405280a503330133756605a60806ea8019221004881001533303d33333301500400200300e302d30403754070016266046605c60806ea80c0dd6180c18201baa03814a029405280a5033301237566058607e6ea801d22010048810033301137566056607c6ea8008dd71816181f1baa00c375c6056607c6ea8030ccc040dd5980a181e9baa302b303d375405a910100488100303f303c37540022a6607492016065787065637420536f6d65286f75747075745061796d656e7429203d0d0a20202020202020202020202020206c6973742e6174286374782e7472616e73616374696f6e2e6f7574707574732c20696e70757454616e6b496e646578202b20312900163300b3758602660766ea8c0a4c0ecdd50159811003981e981d1baa001153303849015965787065637420536f6d65286f757470757454616e6b29203d0d0a20202020202020202020202020206c6973742e6174286374782e7472616e73616374696f6e2e6f7574707574732c20696e70757454616e6b496e646578290016330093758602260726ea8c09cc0e4dd50148029812981c1baa001303a303737540022a6606a0622c6600c660106eb0c090c0d8dd51812181b1baa026021002375a607060720046eb4c0dc004c0dc008c0d4004c0c4dd50118a999817181300c8991919191919299981a1817181b1baa00113232325333037303130393754002264646464a66607666ebc09cc0b0c0f8dd50038a99981d99b890010031533303b3301237586058607c6ea80d803054ccc0eccccccc04c01000800c030c0acc0f8dd501b0048998109816181f1baa02e3758602c607c6ea80d85280a5014a02940ccc040dd59815181e9baa00548810048810033300f3756605260786ea8008dd71815181e1baa00a375c605260786ea8028ccc038dd59809181d9baa3029303b3754056910100488100303d303a37540022a6607092015c65787065637420536f6d65286f75747075745061796d656e7429203d0d0a20202020202020202020202020206c6973742e6174286374782e7472616e73616374696f6e2e6f7574707574732c20696e70757454616e6b496e646578290016330093758602260726ea8c09cc0e4dd50148029812981c1baa001303a303737540022a6606a0622c6600c660106eb0c090c0d8dd51812181b1baa026021002375a607060720046eb4c0dc004c0dc008c0d4004c0c4dd50118a99981719b87480100644cc054c07cc0c4dd5010980f18189baa029132533302f30293031375400226464a666062666444a66606866e1ccdc19bad300f303737540046eb4c038c0dcdd50010018a99981a19baf30253037375400a0022601a6eacc090c0dcdd50028a5014a066600e6eacc084c0d0dd50011bae302230343754600260686ea80b0dd71810981a1baa300130343754058600260686ea80b0c0dcc0e0c0e0c0e0c0e0c0d0dd501609980b9811181a1baa0243758601860686ea80b05281181b981c181c181c181c181c000981a98191baa001153303049014265787065637420536f6d65286f75747075745363686564756c656429203d206c6973742e6174286374782e7472616e73616374696f6e2e6f7574707574732c2030290016330013758601260626ea8c07cc0c4dd5010a40006002002444a666066004298103d87a8000132325333031302b00313020330360024bd7009998028028009809001981b801981a801111980f8011192999817981398189baa00113371e6eb8c0d4c0c8dd50008018a50301f30313754603e60626ea8c078c0c4dd5000911192999817181318181baa0011480004dd6981a18189baa00132533302e3026303037540022980103d87a8000132330010013756606a60646ea8008894ccc0d0004530103d87a80001323232325333034337220100042a66606866e3c0200084c08ccc0e4dd4000a5eb80530103d87a8000133006006003375a606c0066eb8c0d0008c0e0008c0d8004c8cc004004010894ccc0cc0045300103d87a80001323232325333033337220100042a66606666e3c0200084c088cc0e0dd3000a5eb80530103d87a80001330060060033756606a0066eb8c0cc008c0dc008c0d4004894cc0b1240111746f6b656e206e6f7420616c6c6f776564001323300100100322533303100114a0264a66605c66ebcc0d0008010528899801801800981a000911111299817a49147061796d656e74206f75747075742077726f6e6700153302f300a37500022a6605e60146ea001054cc0bcc028dd419b83375a601260626ea800cdd6980418189baa003153302f300a375000a2a66605c66e24cdc199b823370000866e0920c08db701001375a601260626ea800cdd6980418189baa0030051533302e3375e603e60626ea80180084c01cdd5980f18189baa00614a0294094cc0a52410e646f732070726f74656374696f6e00133712600a646600200200444a66605c002297ae01323332223233001001003225333034001100313233036374e6606c6ea4018cc0d8c0cc004cc0d8c0d00052f5c0660060066070004606c0026eb8c0b4004dd598170009980180198190011818000a40144605a605c605c605c00246058605a605a00246e64cc0100052210030010012253330280011480004c038cc008008c0ac004c0040048894cccccc0ac0084c8c8c8c8c8c8cc030008004cdc524410128000025333027337100069007099b80483c80400c54ccc09ccdc4001a410004266e00cdc0241002800690068a9981424929576861742061726520796f7520646f696e673f204e6f2049206d65616e2c20736572696f75736c792e0016533302a0011337149101035b5d2900004133714911035b5f2000375c6058605a66601000266056980102415d003302b375266e2922010129000044bd701119816a6103422c20003302d375266601001000466e28dd7180c8009bae30180014bd701bac3028002375a604c0026466ec0dd418130009ba730270013754004264a666050002266e292201027b7d00002133714911037b5f2000375c6054605664646600200200644a6660560022006266446605c98103422c20003302e3752666012012605600466e292201023a2000333009009302c002337146eb8c068004dd7180c800a5eb80c0b4004cc008008c0b8004cc0a53010342207d0033029375200497ae03756004264a666050002266e29221025b5d00002133714911035b5f2000375c6054605666600c00266052980102415d0033029375200497ae0223302b4c0103422c20003302b375266600c00c00466e28dd7180b8009bae30160014bd701bac002133006375a0040022646466e2922102682700001323330010013006371a00466e292201012700003222533302733710004900008008991919199803003180580299b8b33700004a66605466e2000920141481805206e3371666e000054ccc0a8cdc4000a4028290300a40dc00866e18009202033706002901019b8e004002375c0046e01200122232330010010042253330270011004133003302900133002002302a001223233001001003225333021301b001133714910101300000315333021337100029000099b8a489012d003300200233702900000089980299b8400148050cdc599b803370a002900a240c00066002002444a66603c66e2400920001001133300300333708004900a19b8b3370066e14009201448180004894cc0752410f77686974656c6973742077726f6e67001533301c3371090001802000899198008008011129998110008a50132533301f33006005302500214a2266006006002604a002294488c94ccc070c058c078dd50008999119198008008019129998120008a5013253330213371e6eb8c09c00801052889980180180098138009bac302230233023302330233023302330233023301f37540066eb8c088c07cdd50008a9980ea4814365787065637420566572696669636174696f6e4b657943726564656e7469616c286861736829203d20616464726573732e7061796d656e745f63726564656e7469616c0016300c301e3754002600200244a66603a00229000098019980100118100009b8048008c05cdd5005180d180b9baa00114a06006602c6ea8018cc894ccc050c030c058dd500109919299980b1808180c1baa0011325333017300f3019375400226eb8c074c068dd50008b1803980c9baa300730193754600c60326ea8c070c064dd50008a9980ba492965787065637420536f6d6528696e70757429203d206c6973742e6865616428696e7075744c69737429001632533301a00114c103d87a8000130053301b301c0014bd7019803801119baf3007301937540020046034602e6ea800854cc055240128657870656374205370656e64286f75747075745f7265666572656e636529203d20707572706f7365001630023015375400a6eb0c00cc054dd51801980a9baa005374a90001180b980c0009180b00091191980080080191299980b0008a5eb804c8c94ccc050c0140084cc064008cc0100100044cc010010004c068008c060004526153300f49011856616c696461746f722072657475726e65642066616c7365001365632533300d30070011325333012001153300f00c16132325333014001153301100e161323253330160011533013010161325333017301a002132498cc03001404454cc05004458c94cccccc06c00454cc0500445854cc0500445854cc050044584dd68008a9980a0088b180c000980c00119299999980c8008a998090078b0a998090078b0a998090078b09bad001153301200f16301600130160023253333330170011001153301000d16153301000d16153301000d16153301000d163014001301037540042a66601a600a002264a6660240022a6601e0182c26464a6660280022a6602201c2c26464a66602c0022a660260202c264a66602e603400426493198060028088a9980a0088b19299999980d8008a9980a0088b0a9980a0088b0a9980a0088b09bad00115330140111630180013018002325333333019001153301200f16153301200f16153301200f161375a0022a6602401e2c602c002602c00464a66666602e00220022a6602001a2c2a6602001a2c2a6602001a2c2a6602001a2c602800260206ea800854ccc034cdc3a40080022a66602260206ea8008526153300e00b161533300d3370e90030008a99980898081baa002149854cc03802c5854cc03802c58c038dd5000a99999980980088008a998060048b0a998060048b0a998060048b0a998060048b1919192999806180318071baa0071325333011001153300e00c16132325333013001153301000e1613232533301500115330120101613232533301700115330140121613232533301900115330160141613232533301b00115330180161613232533301d001153301a01816132533301e30210021323232323232498cc060018078cc05c01c074cc048020070cc04802c8cc0494cccccc094004400454cc0780705854cc0780705854cc0780705854cc07807058070cc040030068cc0400348cc0514cccccc08c004400454cc0700685854cc0700685854cc0700685854cc0700685806854cc06c06458c94cccccc088004400454cc06c0645854cc06c0645854cc06c0645854cc06c06458c07c004c07c008c94cccccc080004400454cc06405c5854cc06405c5854cc06405c5854cc06405c58c074004c074008c94cccccc078004400454cc05c0545854cc05c0545854cc05c0545854cc05c05458c06c004c06c008c94cccccc07000454cc05404c5854cc05404c5854cc05404c584dd68008a9980a8098b180c800980c80119299999980d0008a998098088b0a998098088b09bac001153301301116153301301116301700130170023253333330180011001153301100f16153301100f16153301100f16153301100f1630150013015002325333333016001153300f00d16153300f00d16137580022a6601e01a2c2a6601e01a2c6026002601e6ea801c54cc03402c58894ccc034c01cc03cdd500109929998090008a998078010b09919299980a0008a998088020b099299980a980c0010991924c64a666026601a002264a6660300022a6602a0102c264a66603260380042649319299980b1808000899299980d8008a9980c0058b099299980e180f80109924c6601e0020182a660320182c64a66666604000220022a660320182c2a660320182c2a660320182c2a660320182c603a00260326ea800854ccc058c0380044c94ccc06c00454cc06002c584c8c94ccc07400454cc068034584c8c94ccc07c00454cc07003c584c94ccc080c08c008526153301d01016325333333024001153301d01016153301d01016153301d010161375a0022a6603a0202c6042002604200464a6666660440022a6603601c2c2a6603601c2c2a6603601c2c26eb400454cc06c03858c07c004c07c008c94cccccc08000454cc0640305854cc0640305854cc064030584dd68008a9980c8060b180e800980c9baa002153301700a16301737540022a6602c0122c64a66666603a00220022a6602c0122c2a6602c0122c2a6602c0122c2a6602c0122c6034002602c6ea800c54ccc04cc02c00454ccc05cc058dd50018a4c2a6602800e2c2a6602800e2c60286ea8008cc02000c01454cc04801458c94cccccc064004400454cc0480145854cc0480145854cc0480145854cc04801458c058004c058008c94cccccc05c004400454cc04000c5854cc04000c5854cc04000c5854cc04000c58c050004c040dd50010a998070008b1119198008008019129998090008a4c26466006006602c004600660280024464a666018600c002264a6660220022a6601c0062c264a666024602a0042930a998078020b19299999980b0008a998078020b0a998078020b0a998078020b0a998078020b09bae0013013001300f37540062a6660186008002264a6660220022a6601c0062c264a666024602a0042930a998078020b19299999980b0008a998078020b0a998078020b0a998078020b0a998078020b09bae0013013001300f37540062a6601a0042c601a6ea8008dc3a400444a666012600660166ea80084c94ccc03800454cc02c008584c8c94ccc04000454cc034010584c8c94ccc04800454cc03c018584c8c94ccc05000454cc044020584c94ccc054c0600085261533012009163253333330190011533012009161533012009161533012009161375a0022a660240122c602c002602c00464a66666602e0022a6602000e2c2a6602000e2c2a6602000e2c26eb400454cc04001c58c050004c050008c94cccccc05400454cc0380145854cc0380145854cc0380145854cc038014584dd7000980900098090011929999998098008a998060018b0a998060018b0a998060018b0a998060018b09bae0013010001300c37540042a660140022c6e1d2000533333300d0011001153300600416153300600416153300600416153300600416491ae65787065637420536f6d6528696e70757454616e6b29203d0d0a20202020202020202020202020206c6973742e6174280d0a202020202020202020202020202020206765745f696e707574735f66726f6d5f7363286374782e7472616e73616374696f6e2e696e707574732c206f776e53637269707448617368292c0d0a20202020202020202020202020202020696e70757454616e6b496e6465782c0d0a2020202020202020202020202020290049011272656465656d65723a2052656465656d65720049010c646174756d3a20446174756d005734ae7155ceaab9e5573eae815d0aba257481",
+      "hash": "d1e73cc3defe1714f29745af8ef15088823dd26311a4558f9e3cd30a"
     }
   ],
   "definitions": {

diff --git a/validators/feetank.ak b/validators/feetank.ak
@@ -1,3 +1,4 @@
+use aiken/cbor
 use aiken/list.{length}
 use aiken/time.{PosixTime}
 use aiken/transaction.{Input, Output, ScriptContext, Spend, Transaction}
@@ -145,6 +146,7 @@ validator {
           }
         }
 
+      //aggiungere controllo del resto eventuale, datum aggiornato e basta, inziamo a pensare siano entrambi ADA per semplicità
       // Controlla se almeno uno è firmato
       _ -> False
     }
@@ -159,6 +161,8 @@ fn validate_tank_output(
   receivers: Int,
 ) {
   let outputTankAmount = quantity_of(outputTank.value, "", "")
+  trace @"Ada going back into tank wrong or wrong datum or wrong address of tank"
+  trace cbor.diagnostic(outputTankAmount)
   and {
     check_dos_protection(outputTank.value),
     // verify that the output tank is equal than the input tank - fee (only ADA)
@@ -179,6 +183,12 @@ fn validate_payment_output(
   tankOwner: Address,
   receivers: Int,
 ) {
+  trace @"payment output wrong"
+  trace cbor.diagnostic(receivers)
+  trace cbor.diagnostic(feeAmount)
+  trace cbor.diagnostic(payingToken.amount / payingToken.divider)
+  trace cbor.diagnostic(outputPaymentAmount)
+
   and {
     ( feeAmount + 1500000 * receivers ) * payingToken.amount / payingToken.divider <= outputPaymentAmount,
     outputPayment.address == tankOwner,
@@ -205,6 +215,7 @@ fn must_be_signed_by(transaction: Transaction, address: Address) {
 }
 
 fn isWhitelisted(transaction: Transaction, whitelistedAddresses: List<Address>) {
+  trace @"whitelist wrong"
   if list.length(whitelistedAddresses) > 0 {
     list.any(
       whitelistedAddresses,