Fix compiled script

Makefile

@@ -39,4 +39,4 @@ ci:
 
 .PHONY: export
 export:
-	cabal run linear-vesting -f optimized
+	cabal run linear-vesting

app/Main.hs

@@ -4,7 +4,7 @@ import System.Console.ANSI (Color (..), ColorIntensity (..), ConsoleLayer (..),
 import System.Directory (createDirectoryIfMissing, doesDirectoryExist)
 
 import LinearVesting
-import Utils (writePlutusScript)
+import Utils (writePlutusScriptWithTracing, writePlutusScriptWithoutTracing)
 
 main :: IO ()
 main = do
@@ -14,7 +14,8 @@ main = do
 
   exist <- doesDirectoryExist "compiled"
   createDirectoryIfMissing exist "compiled"
-  writePlutusScript "Linear Vesting Validator" "./compiled/linearVesting.json" $ LinearVesting.pvalidateVestingScriptValidator
+  writePlutusScriptWithoutTracing "Linear Vesting Validator" "./compiled/linearVesting.json" $ LinearVesting.pvalidateVestingScriptValidator
+  writePlutusScriptWithTracing "Linear Vesting Validator" "./compiled/linearVestingWithTracing.json" $ LinearVesting.pvalidateVestingScriptValidator
   putStrLn "Exported linear vesting validator"
 
   setSGR [SetColor Foreground Vivid Green]

compiled/linearVesting.json

@@ -1,5 +1,5 @@
 {
-    "cborHex": "5906275906240100002223232325333573466e1d200200213232323232325333573466e1d2002002161533357346644664646460044660040040024600446600400400244a666aae7c0045280a999ab9a3375e6ae8400400c528898011aba200100100237586ae84d5d10029aba100115333573466e20dd69aba13235744646ae88d5d10008009aba200600414985858d55cf0011aab9d0013754646ae84c8d55cf1baa001001357420066eb4c8cc88c8c8c94ccd5cd19b874800800854ccd5cd1919b8735573a6ea80052002357426ae880104d5d080089ba8337006eb4d5d08008028b1aab9e00235573a0026ea8d5d0800a4004646aae78dd50009aba13235573c6ea8004004d5d0800991aba2357446ae88c8d5d1191aba232357446ae88004004004004c8d55cf1baa00135742646aae78dd5000802991aab9e375400200c264646464646464a666ae68cdc3a40040042666644666464600446600400400246004466004004002444a666aae7c004489400454ccd5cd18011aba1001132223002003357420022660060046ae880048c8cdd79ba73235573c6ea800400cdd3991aab9e37540020026ae84c8d55cf1baa00100100237586ae84018d5d0800919191919192999ab9a3370e9001001099191919191919191919191919191919191919192999ab9a3370e90010010b0a999ab9a332233232323002233002002001230022330020020012253335573e002294054ccd5cd19baf3574200200629444c008d5d10008008011bac357426ae88078d5d08008a999ab9a337106eb4d5d08060050a999ab9a3371090000040a999ab9a337100100122a666ae68cdc3999119b8048008cdc199b8100248008004cdc10021bad3574201e6eb4d5d09aba200c00815333573466ebcd5d09aba2018357426ae8804854ccd5cd19b873323323230022330020020012300223300200200122253335573e00220042646464a666ae68cdc3a400000426600c00a6ae8801054ccd5cd19b8f007375c6ae840044cc018cdc0002a40046ae880104cc018014d5d10021aab9e00235573a0026ea8c8d5d0991aab9e3754002002646ae84c8d55cf1baa00100132357426ae88c8d55cf1baa0010013574200290001bae3574202a6eb0d5d0810240042930b0b0b0b0b0b0b1aab9e00235573a0026ea8c8d5d0991aab9e37540020026ae84038cc88cdc02400466e0ccdc080124004002004002664466e0120023370666e040092002001002375a6ae84d5d100399b81375a6ae8401c010cdc09bad3574200c6eb4d5d0803999118011119919180111980100100091801119801001000912999aab9f0011480004c94ccd5cd19baf35573a00200a264a666aae7c0045854ccd5cd1aba3357440022a666ae68cdd79aab9d3574200200a26eb4d55cf1aba1001161637566aae780044c00cd5d10011aba100100300337566ae84028cc88c00888cc8c8c0088cc0080080048c0088cc008008004894ccd55cf8008a4000264a666ae68cdd79aab9d00100513253335573e0022c2a666ae68d5d19aba200115333573466ebcd55ce9aba10010051375a6aae78d5d08008b0b1bab35573c002260066ae88008d5d08008018011bab3574201e6eb4c8cc88c8c8c94ccd5cd19b874800800854ccd5cd1919b8735573a6ea80052002357426ae880104d5d080089ba8337006eb4d5d08008028b1aab9e00235573a0026ea8d5d0800a4004646aae78dd50009aba13235573c6ea8004004d5d080a191919191198008018011aba1357440046ae84004c8d55cf1baa0010013574200a6ae88004d5d10009aba2001357440026ae88004c8d55cf1baa00101635744002646aae78dd5000800992999aab9f001161533357346ae8cd5d100089aba100116332233232323002233002002001230022330020020012253335573e002297ae0132533357346008002266ae80004c00cd5d1001098019aba200235742002466ebcd5d0991aab9e37540020020040046eb0d5d08059aba10051635573c0046aae74004dd5191aba13235573c6ea8004004d5d08011aba20013235573c6ea8004d5d09aba23235573c6ea80040045858d55cf0011aab9d00137546ae84d5d1002191aba23235744646ae88d5d10008008009aba2001357446ae88004c8d55cf1baa00135742002646aae78dd50008021aab9e00235573a0026ea8009",
+    "cborHex": "5908f65908f30100002223332223232325333573466e1d200200213232323232325333573466e1d2002002161533357346644664646460044660040040024600446600400400244a666aae7c0045280a999ab9a3375e6ae8400400c528898011aba200100100237586ae84d5d10029aba100115333573466e20dd69aba13235744646ae88d5d10008009aba200600414985858d55cf0011aab9d0013754646ae84c8d55cf1baa001001357420066eb4c8cc88c8c8c94ccd5cd19b874800800854ccd5cd1919b8735573a6ea80052002357426ae880104d5d080089ba8337006eb4d5d08008028b1aab9e00235573a0026ea8d5d0800a4004646aae78dd50009aba13235573c6ea8004004d5d0800991aba2357446ae88c8d5d1191aba232357446ae88004004004004c8d55cf1baa00135742646aae78dd5000802991aab9e375400200c264646464646464a666ae68cdc3a40040042666644666464600446600400400246004466004004002444a666aae7c004489400454ccd5cd18011aba1001132223002003357420022660060046ae880048c8cdd79ba73235573c6ea800400cdd3991aab9e37540020026ae84c8d55cf1baa00100100237586ae84018d5d0800919191919192999ab9a3370e9001001099191919191919191919191919191919191919192999ab9a3370e90010010b0a999ab9a332233232323002233002002001230022330020020012253335573e002294054ccd5cd19baf3574200200629444c008d5d10008008011bac357426ae88078d5d08008a999ab9a337106eb4d5d08060050a999ab9a3371090000040a999ab9a337100100122a666ae68cdc3999119b8048008cdc199b8100248008004cdc10021bad3574201e6eb4d5d09aba200c00815333573466ebcd5d09aba2018357426ae8804854ccd5cd19b873323323230022330020020012300223300200200122253335573e00220042646464a666ae68cdc3a400000426600c00a6ae8801054ccd5cd19b8f007375c6ae840044cc018cdc0002a40046ae880104cc018014d5d10021aab9e00235573a0026ea8c8d5d0991aab9e3754002002646ae84c8d55cf1baa00100132357426ae88c8d55cf1baa0010013574200290001bae3574202a6eb0d5d0810240042930b0b0b0b0b0b0b1aab9e00235573a0026ea8c8d5d0991aab9e37540020026ae84038cc88cdc02400466e0ccdc080124004002004002664466e0120023370666e040092002001002375a6ae84d5d100399b81375a6ae8401c010cdc09bad3574200c6eb4d5d0803999118011119919180111980100100091801119801001000912999aab9f0011480004c94ccd5cd19baf35573a00200a264a666aae7c0045854ccd5cd1aba3357440022a666ae68cdd79aab9d3574200200a26eb4d55cf1aba1001161637566aae780044c00cd5d10011aba100100300337566ae84028cc88c00888cc8c8c0088cc0080080048c0088cc008008004894ccd55cf8008a4000264a666ae68cdd79aab9d00100513253335573e0022c2a666ae68d5d19aba200115333573466ebcd55ce9aba10010051375a6aae78d5d08008b0b1bab35573c002260066ae88008d5d08008018011bab3574201e6eb4c8cc88c8c8c94ccd5cd19b874800800854ccd5cd1919b8735573a6ea80052002357426ae880104d5d080089ba8337006eb4d5d08008028b1aab9e00235573a0026ea8d5d0800a4004646aae78dd50009aba13235573c6ea8004004d5d080a191919191198008018011aba1357440046ae84004c8d55cf1baa0010013574200a6ae88004d5d10009aba2001357440026ae88004c8d55cf1baa00101635744002646aae78dd5000800992999aab9f001161533357346ae8cd5d100089aba100116332233232323002233002002001230022330020020012253335573e002297ae0132533357346008002266ae80004c00cd5d1001098019aba200235742002466ebcd5d0991aab9e37540020020040046eb0d5d08059aba10051635573c0046aae74004dd5191aba13235573c6ea8004004d5d08011aba20013235573c6ea8004d5d09aba23235573c6ea80040045858d55cf0011aab9d00137546ae84d5d1002191aba23235744646ae88d5d10008008009aba2001357446ae88004c8d55cf1baa00135742002646aae78dd50008021aab9e00235573a0026ea8008c8c8c8c801d4ccd5cd19b87480000084c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c92653335573e0022930b1aba2003375a0026ae84004d5d10019bad001357420026ae8800cdd68009aba1001357440066eb4004d5d08009aba2003375a0026ae84004d5d10032999ab9a3370e900000109919192999ab9a53323357340022944cdc3800a4000266e1c005203813232325333573466e24dc6800a408026464932999aab9f001149858d5d10018b1bae001357420026ae8801058dc68009bae001357420022c6aae78008d55ce8009baa001357420026ae880194ccd5cd19b87480000084c8c8c8c8c8c8c8c8c8c8c8c8c92653335573e0022930b1aba20065333573466e1d20000021323232323232324994ccd55cf8008a4c2c6ae880194ccd5cd19b87480000084c8c8c8c8c8c8c92653335573e0022930b1aba20065333573466e1d2000002132325333573466e1cdc6800a407026464932999aab9f001149858d5d10018b1bae001357420022a666ae68cdc3a400400426464a666ae68cdc39b8d001480e04c8c92653335573e0022930b1aba200316375c0026ae8400458d55cf0011aab9d00137540026ae8400454ccd5cd19b87480080084c8c8c8c8c8c8c8c8c8c92653335573e0022930b1aba2003375a0026ae84004d5d10019bad001357420026ae8800cdd68009aba10011635573c0046aae74004dd50009aba100115333573466e1d20020021324994ccd55cf8008a4c2c2c6aae78008d55ce8009baa001357420026ae880194ccd5cd19b87480000084c8c94ccd5cd19b87371a002901c0991924ca666aae7c00452616357440062c6eb8004d5d08008a999ab9a3370e9001001099192999ab9a3370e6e340052038132324994ccd55cf8008a4c2c6ae8800c58dd70009aba10011635573c0046aae74004dd50009aba10011635573c0046aae74004dd50009aba10011635573c0046aae74004dd500180100081",
     "description": "Linear Vesting Validator",
     "type": "PlutusScriptV2"
 }

compiled/linearVestingWithTracing.json

@@ -0,0 +1,5 @@
+{
+    "cborHex": "5913175913140100002223332223232325333573466e1d20000021323232323232325333573466e1d2002002133332233323230022330020020012300223300200200122253335573e002244a0022a666ae68c008d5d08008991118010019aba10011330030023574400246466ebcdd3991aab9e37540020066e9cc8d55cf1baa00100135742646aae78dd50008008011bac3574200c6ae840048c8c8c8c8c94ccd5cd19b87480080084c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccd5cd19b874800800854cd5ce249445061747465726e206d61746368206661696c75726520696e2027646f2720626c6f636b206174207372632f4c696e65617256657374696e672e68733a3136313a332d353700161533357346644664646460044660040040024600446600400400244a666aae7c0045280a999ab9a3375e6ae8400400c528898011aba200100100237586ae84d5d100f1aba100115333573466e20dd69aba100c00a15333573466e21200000815333573466e2002002454ccd5cd19b87332233700900119b8333702004900100099b82004375a6ae8403cdd69aba1357440180102a666ae68cdd79aba1357440306ae84d5d10090a999ab9a3370e66466464600446600400400246004466004004002444a666aae7c00440084c8c8c94ccd5cd19b87480000084cc018014d5d10020a999ab9a3371e00e6eb8d5d080089980319b8000548008d5d10020998030029aba200435573c0046aae74004dd5191aba13235573c6ea8004004c8d5d0991aab9e3754002002646ae84d5d1191aab9e37540020026ae840052000375c6ae84054dd61aba1020480085261533573892113446f75626c6520736174697366616374696f6e00161533573892011d446174756d204d6f64696669636174696f6e2050726f6869626974656400161533573892011a4d69736d6174636865642072656d61696e696e6720617373657400161533573892012052656d61696e696e6720617373657420657863656564206f6c642061737365740016153357389201215a65726f2072656d61696e696e6720617373657473206e6f7420616c6c6f776564001615335738920138556e6c6f636b206e6f74207065726d697474656420756e74696c206669727374556e6c6f636b506f737369626c6541667465722074696d6500161533573892011d4d697373696e672062656e6566696369617279207369676e6174757265001635573c0046aae74004dd5191aba13235573c6ea8004004d5d0807199119b8048008cdc199b8100248008004008004cc88cdc02400466e0ccdc0801240040020046eb4d5d09aba2007337026eb4d5d080380219b81375a6ae84018dd69aba10073322300222332323002233002002001230022330020020012253335573e002290000992999ab9a3375e6aae740040144c94ccd55cf8008a99ab9c4912670747279456c696d53696e676c653a20466f756e6420656d707479206c6973742d6c696b652e00161533357346ae8cd5d10008a999ab9a3375e6aae74d5d080080289bad35573c6ae8400454cd5ce2492766696e6456616c75653a20556e65787065637465646c79206d697373696e6720726573756c742e00161533573892012e70747279456c696d53696e676c653a20466f756e64206e6f6e2d73696e676c65746f6e206c6973742d6c696b652e001637566aae780044c00cd5d10011aba100100300337566ae84028cc88c00888cc8c8c0088cc0080080048c0088cc008008004894ccd55cf8008a4000264a666ae68cdd79aab9d00100513253335573e0022a66ae7124012670747279456c696d53696e676c653a20466f756e6420656d707479206c6973742d6c696b652e00161533357346ae8cd5d10008a999ab9a3375e6aae74d5d080080289bad35573c6ae8400454cd5ce2492766696e6456616c75653a20556e65787065637465646c79206d697373696e6720726573756c742e00161533573892012e70747279456c696d53696e676c653a20466f756e64206e6f6e2d73696e676c65746f6e206c6973742d6c696b652e001637566aae780044c00cd5d10011aba100100300237566ae8403cdd69919911919192999ab9a3370e90010010a999ab9a323370e6aae74dd5000a40046ae84d5d100209aba10011375066e00dd69aba10010051533573892011554696d652072616e6765206e6f742046696e697465001635573c0046aae74004dd51aba100148008c8d55cf1baa00135742646aae78dd50008009aba101432323232233001003002357426ae88008d5d0800991aab9e37540020026ae84014d5d10009aba2001357440026ae88004d5d1000991aab9e375400202c6ae88004c8d55cf1baa0010013253335573e0022c2a666ae68d5d19aba20011357420022a66ae71241244c69737420636f6e7461696e73206d6f7265207468616e206f6e6520656c656d656e742e0016332233232323002233002002001230022330020020012253335573e002297ae0132533357346008002266ae80004c00cd5d1001098019aba200235742002466ebcd5d0991aab9e37540020020040046eb0d5d08059aba100515335738921445061747465726e206d61746368206661696c75726520696e2027646f2720626c6f636b206174207372632f4c696e65617256657374696e672e68733a3133323a332d3532001635573c0046aae74004dd5191aba13235573c6ea8004004d5d08011aba20013235573c6ea8004d5d09aba23235573c6ea800400454cd5ce2481445061747465726e206d61746368206661696c75726520696e2027646f2720626c6f636b206174207372632f4c696e65617256657374696e672e68733a3133303a332d32330016153357389201445061747465726e206d61746368206661696c75726520696e2027646f2720626c6f636b206174207372632f4c696e65617256657374696e672e68733a3132383a332d3430001635573c0046aae74004dd51aba135744008646ae88c8d5d1191aba2357440020020026ae88004d5d11aba20013235573c6ea8004d5d0800991aab9e37540020082646464646464a666ae68cdc3a40000042a666ae68cc88cc8c8c8c0088cc0080080048c0088cc008008004894ccd55cf8008a5015333573466ebcd5d08008018a5113002357440020020046eb0d5d09aba2005357420022a666ae68cdc41bad35742646ae88c8d5d11aba20010013574400c0082930a99ab9c490130556e6c6f636b206e6f74207065726d697474656420756e74696c2076657374696e67506572696f64456e642074696d6500161533573892011d4d697373696e672062656e6566696369617279207369676e61747572650016153357389201445061747465726e206d61746368206661696c75726520696e2027646f2720626c6f636b206174207372632f4c696e65617256657374696e672e68733a3137373a332d3537001635573c0046aae74004dd5191aba13235573c6ea8004004d5d08019bad3233223232325333573466e1d20020021533357346466e1cd55ce9baa00148008d5d09aba200413574200226ea0cdc01bad3574200200a2a66ae712411554696d652072616e6765206e6f742046696e697465001635573c0046aae74004dd51aba100148008c8d55cf1baa00135742646aae78dd50008009aba100132357446ae88d5d1191aba23235744646ae88d5d1000800800800991aab9e37540026ae84c8d55cf1baa0010053235573c6ea8004018d55cf0011aab9d00137540046464646400ea666ae68cdc3a4000004264646464646464646464646464646464646464646464646464646464932999aab9f001149854cd5ce249317074727946726f6d2850446174615265636f72645b5d293a206c697374206973206c6f6e676572207468616e207a65726f0016357440066eb4004d5d08009aba2003375a0026ae84004d5d10019bad001357420026ae8800cdd68009aba1001357440066eb4004d5d08009aba20065333573466e1d2000002132323253335734a66466ae6800452899b87001480004cdc3800a40702646464a666ae68cdc49b8d001481004c8c92653335573e0022930a99ab9c491317074727946726f6d2850446174615265636f72645b5d293a206c697374206973206c6f6e676572207468616e207a65726f0016357440062a66ae712401327074727946726f6d28546f6b656e4e616d65293a206d757374206265206174206d6f7374203332204279746573206c6f6e670016375c0026ae84004d5d10020a99ab9c4901387074727946726f6d2843757272656e637953796d626f6c293a206d757374206265203238206279746573206c6f6e67206f7220656d7074790016371a0026eb8004d5d08008a99ab9c4913f7265616368656420656e64206f662073756d207768696c65207374696c6c206e6f7420686176696e6720666f756e642074686520636f6e7374727563746f72001635573c0046aae74004dd50009aba10013574400ca666ae68cdc3a4000004264646464646464646464646464932999aab9f001149854cd5ce2481317074727946726f6d2850446174615265636f72645b5d293a206c697374206973206c6f6e676572207468616e207a65726f00163574400ca666ae68cdc3a4000004264646464646464932999aab9f001149854cd5ce2481317074727946726f6d2850446174615265636f72645b5d293a206c697374206973206c6f6e676572207468616e207a65726f00163574400ca666ae68cdc3a4000004264646464646464932999aab9f001149854cd5ce2481317074727946726f6d2850446174615265636f72645b5d293a206c697374206973206c6f6e676572207468616e207a65726f00163574400ca666ae68cdc3a400000426464a666ae68cdc39b8d001480e04c8c92653335573e0022930a99ab9c491317074727946726f6d2850446174615265636f72645b5d293a206c697374206973206c6f6e676572207468616e207a65726f0016357440062a66ae7124012c7074727946726f6d28505075624b657948617368293a206d757374206265203238206279746573206c6f6e670016375c0026ae8400454ccd5cd19b87480080084c8c94ccd5cd19b87371a002901c0991924ca666aae7c00452615335738921317074727946726f6d2850446174615265636f72645b5d293a206c697374206973206c6f6e676572207468616e207a65726f0016357440062a66ae7124012c7074727946726f6d285053637269707448617368293a206d757374206265203238206279746573206c6f6e670016375c0026ae8400454cd5ce24813f7265616368656420656e64206f662073756d207768696c65207374696c6c206e6f7420686176696e6720666f756e642074686520636f6e7374727563746f72001635573c0046aae74004dd50009aba100115333573466e1d20020021323232323232323232324994ccd55cf8008a4c2a66ae712401317074727946726f6d2850446174615265636f72645b5d293a206c697374206973206c6f6e676572207468616e207a65726f0016357440066eb4004d5d08009aba2003375a0026ae84004d5d10019bad001357420022a66ae712413f7265616368656420656e64206f662073756d207768696c65207374696c6c206e6f7420686176696e6720666f756e642074686520636f6e7374727563746f72001635573c0046aae74004dd50009aba100115333573466e1d20020021324994ccd55cf8008a4c2a66ae712401317074727946726f6d2850446174615265636f72645b5d293a206c697374206973206c6f6e676572207468616e207a65726f00161533573892013f7265616368656420656e64206f662073756d207768696c65207374696c6c206e6f7420686176696e6720666f756e642074686520636f6e7374727563746f72001635573c0046aae74004dd50009aba10013574400ca666ae68cdc3a400000426464a666ae68cdc39b8d001480e04c8c92653335573e0022930a99ab9c491317074727946726f6d2850446174615265636f72645b5d293a206c697374206973206c6f6e676572207468616e207a65726f0016357440062a66ae7124012c7074727946726f6d28505075624b657948617368293a206d757374206265203238206279746573206c6f6e670016375c0026ae8400454ccd5cd19b87480080084c8c94ccd5cd19b87371a002901c0991924ca666aae7c00452615335738921317074727946726f6d2850446174615265636f72645b5d293a206c697374206973206c6f6e676572207468616e207a65726f0016357440062a66ae7124012c7074727946726f6d285053637269707448617368293a206d757374206265203238206279746573206c6f6e670016375c0026ae8400454cd5ce24813f7265616368656420656e64206f662073756d207768696c65207374696c6c206e6f7420686176696e6720666f756e642074686520636f6e7374727563746f72001635573c0046aae74004dd50009aba10011533573892013f7265616368656420656e64206f662073756d207768696c65207374696c6c206e6f7420686176696e6720666f756e642074686520636f6e7374727563746f72001635573c0046aae74004dd50009aba10011533573892013f7265616368656420656e64206f662073756d207768696c65207374696c6c206e6f7420686176696e6720666f756e642074686520636f6e7374727563746f72001635573c0046aae74004dd500180100081",
+    "description": "Linear Vesting Validator",
+    "type": "PlutusScriptV2"
+}

linear-vesting.cabal

@@ -21,13 +21,6 @@ maintainer:         solid@snake
 -- category:
 extra-source-files: CHANGELOG.md
 
-flag optimized
-  description:
-    If optimized is True, some checks are disabled. Disable checks to create optimized scripts.
-
-  default:     True
-  manual:      True
-
 common lang
   ghc-options:
     -Werror -Wall -Wcompat -Wincomplete-uni-patterns
@@ -139,19 +132,11 @@ common test-dependencies
 library
   import:          lang, dependencies
   exposed-modules:
-    Compilation
     LinearVesting
     Utils
 
-  other-modules:   Conversions
   hs-source-dirs:  src
 
-  if flag(optimized)
-    hs-source-dirs: src-optimized
-
-  else
-    hs-source-dirs: src-checked
-
 test-suite linear-vesting-test
   import:         lang, dependencies, test-dependencies
   type:           exitcode-stdio-1.0