From 79b8786cee905221bc87053f65476824697764d9 Mon Sep 17 00:00:00 2001 From: KtorZ Date: Sun, 29 Jan 2023 13:02:29 +0100 Subject: [PATCH] Replace 'assets' with generated blueprints. --- .../036/assets/spend/spend/mainnet.addr | 1 - .../assets/spend/spend/payment_script.json | 5 -- .../036/assets/spend/spend/script.cbor | 1 - .../036/assets/spend/spend/testnet.addr | 1 - examples/acceptance_tests/036/plutus.json | 22 +++++++++ .../acceptance_tests/036/validators/spend.ak | 2 +- .../047/assets/foo/spend/mainnet.addr | 1 - .../047/assets/foo/spend/payment_script.json | 5 -- .../047/assets/foo/spend/script.cbor | 1 - .../047/assets/foo/spend/testnet.addr | 1 - examples/acceptance_tests/047/plutus.json | 36 ++++++++++++++ .../048/assets/foo/spend/mainnet.addr | 1 - .../048/assets/foo/spend/payment_script.json | 5 -- .../048/assets/foo/spend/script.cbor | 1 - .../048/assets/foo/spend/testnet.addr | 1 - examples/acceptance_tests/048/plutus.json | 22 +++++++++ .../acceptance_tests/048/validators/foo.ak | 2 +- .../049/assets/foo/spend/mainnet.addr | 1 - .../049/assets/foo/spend/payment_script.json | 5 -- .../049/assets/foo/spend/script.cbor | 1 - .../049/assets/foo/spend/testnet.addr | 1 - .../hello_world/spend/payment_script.json | 5 -- .../assets/hello_world/spend/script.cbor | 1 - examples/hello_world/plutus.json | 47 +++++++++++++++++++ 24 files changed, 129 insertions(+), 40 deletions(-) delete mode 100644 examples/acceptance_tests/036/assets/spend/spend/mainnet.addr delete mode 100644 examples/acceptance_tests/036/assets/spend/spend/payment_script.json delete mode 100644 examples/acceptance_tests/036/assets/spend/spend/script.cbor delete mode 100644 examples/acceptance_tests/036/assets/spend/spend/testnet.addr create mode 100644 examples/acceptance_tests/036/plutus.json delete mode 100644 examples/acceptance_tests/047/assets/foo/spend/mainnet.addr delete mode 100644 examples/acceptance_tests/047/assets/foo/spend/payment_script.json delete mode 100644 examples/acceptance_tests/047/assets/foo/spend/script.cbor delete mode 100644 examples/acceptance_tests/047/assets/foo/spend/testnet.addr create mode 100644 examples/acceptance_tests/047/plutus.json delete mode 100644 examples/acceptance_tests/048/assets/foo/spend/mainnet.addr delete mode 100644 examples/acceptance_tests/048/assets/foo/spend/payment_script.json delete mode 100644 examples/acceptance_tests/048/assets/foo/spend/script.cbor delete mode 100644 examples/acceptance_tests/048/assets/foo/spend/testnet.addr create mode 100644 examples/acceptance_tests/048/plutus.json delete mode 100644 examples/acceptance_tests/049/assets/foo/spend/mainnet.addr delete mode 100644 examples/acceptance_tests/049/assets/foo/spend/payment_script.json delete mode 100644 examples/acceptance_tests/049/assets/foo/spend/script.cbor delete mode 100644 examples/acceptance_tests/049/assets/foo/spend/testnet.addr delete mode 100644 examples/hello_world/assets/hello_world/spend/payment_script.json delete mode 100644 examples/hello_world/assets/hello_world/spend/script.cbor create mode 100644 examples/hello_world/plutus.json diff --git a/examples/acceptance_tests/036/assets/spend/spend/mainnet.addr b/examples/acceptance_tests/036/assets/spend/spend/mainnet.addr deleted file mode 100644 index f3d03b3d..00000000 --- a/examples/acceptance_tests/036/assets/spend/spend/mainnet.addr +++ /dev/null @@ -1 +0,0 @@ -addr1w8r2ln3c7meykuf6ejw0qu5qtdfxh4e4p68v5e3c0lwmrmsdujvef \ No newline at end of file diff --git a/examples/acceptance_tests/036/assets/spend/spend/payment_script.json b/examples/acceptance_tests/036/assets/spend/spend/payment_script.json deleted file mode 100644 index d232b059..00000000 --- a/examples/acceptance_tests/036/assets/spend/spend/payment_script.json +++ /dev/null @@ -1,5 +0,0 @@ -{ - "type": "PlutusScriptV2", - "description": "Generated by Aiken", - "cborHex": "590173590170010000323222253335734646464646466002006464646464646464646600201291010500000000000022323232300600130060013300600100237566601c601e00490011199ab9a0014a09448c94ccd55cf8008a5114a00024464646600a00297adef6c60330050010020022232325333573466e1c005200210031323200137566ae84004c034008d55ce9baa001002223300300200130010012223253335573e002266e9520024bd700991919192999ab9a3371e00c002266e9520003357406e980092f5c0266601001000600c6eb8d55ce8019bab35573c0046ae88008d5d08008011800800911192999aab9f00114a026464a666ae68c01000852889998030030008021aba2002357420020046eb0cc004c008cc004c00800d20004801088c8ccc00400520000032223333573466e1c0100095d0919980200219b8000348008d5d100080091aab9e37540022930b18008009112999aab9f00214984cd5cd98009aba1002333003003357440040021" -} \ No newline at end of file diff --git a/examples/acceptance_tests/036/assets/spend/spend/script.cbor b/examples/acceptance_tests/036/assets/spend/spend/script.cbor deleted file mode 100644 index acc3a55d..00000000 --- a/examples/acceptance_tests/036/assets/spend/spend/script.cbor +++ /dev/null @@ -1 +0,0 @@ -590170010000323222253335734646464646466002006464646464646464646600201291010500000000000022323232300600130060013300600100237566601c601e00490011199ab9a0014a09448c94ccd55cf8008a5114a00024464646600a00297adef6c60330050010020022232325333573466e1c005200210031323200137566ae84004c034008d55ce9baa001002223300300200130010012223253335573e002266e9520024bd700991919192999ab9a3371e00c002266e9520003357406e980092f5c0266601001000600c6eb8d55ce8019bab35573c0046ae88008d5d08008011800800911192999aab9f00114a026464a666ae68c01000852889998030030008021aba2002357420020046eb0cc004c008cc004c00800d20004801088c8ccc00400520000032223333573466e1c0100095d0919980200219b8000348008d5d100080091aab9e37540022930b18008009112999aab9f00214984cd5cd98009aba1002333003003357440040021 \ No newline at end of file diff --git a/examples/acceptance_tests/036/assets/spend/spend/testnet.addr b/examples/acceptance_tests/036/assets/spend/spend/testnet.addr deleted file mode 100644 index 5a07d03e..00000000 --- a/examples/acceptance_tests/036/assets/spend/spend/testnet.addr +++ /dev/null @@ -1 +0,0 @@ -addr_test1wrr2ln3c7meykuf6ejw0qu5qtdfxh4e4p68v5e3c0lwmrmsk5xskv \ No newline at end of file diff --git a/examples/acceptance_tests/036/plutus.json b/examples/acceptance_tests/036/plutus.json new file mode 100644 index 00000000..0b083fab --- /dev/null +++ b/examples/acceptance_tests/036/plutus.json @@ -0,0 +1,22 @@ +{ + "preamble": { + "title": "aiken-lang/acceptance_test_036", + "version": "0.0.0" + }, + "validators": [ + { + "title": "spend", + "purpose": "spend", + "datum": { + "title": "Data", + "description": "Any Plutus data." + }, + "redeemer": { + "title": "Data", + "description": "Any Plutus data." + }, + "compiledCode": "590170010000323222253335734646464646466002006464646464646464646600201291010500000000000022323232300600130060013300600100237566601c601e00490011199ab9a0014a09448c94ccd55cf8008a5114a00024464646600a00297adef6c60330050010020022232325333573466e1c005200210031323200137566ae84004c034008d55ce9baa001002223300300200130010012223253335573e002266e9520024bd700991919192999ab9a3371e00c002266e9520003357406e980092f5c0266601001000600c6eb8d55ce8019bab35573c0046ae88008d5d08008011800800911192999aab9f00114a026464a666ae68c01000852889998030030008021aba2002357420020046eb0cc004c008cc004c00800d20004801088c8ccc00400520000032223333573466e1c0100095d0919980200219b8000348008d5d100080091aab9e37540022930b18008009112999aab9f00214984cd5cd98009aba1002333003003357440040021", + "hash": "c6afce38f6f24b713acc9cf072805b526bd7350e8eca66387fddb1ee" + } + ] +} \ No newline at end of file diff --git a/examples/acceptance_tests/036/validators/spend.ak b/examples/acceptance_tests/036/validators/spend.ak index a1b6aeee..23094f20 100644 --- a/examples/acceptance_tests/036/validators/spend.ak +++ b/examples/acceptance_tests/036/validators/spend.ak @@ -12,7 +12,7 @@ pub fn has_policy_id(self: Output, policy_id: PolicyId) -> Bool { |> not } -pub fn spend(_datum, _redeemer, ctx: ScriptContext) -> Bool { +pub fn spend(_datum: Data, _redeemer: Data, ctx: ScriptContext) -> Bool { ctx.transaction.outputs |> list.any(has_policy_id(_, my_policy_id)) } diff --git a/examples/acceptance_tests/047/assets/foo/spend/mainnet.addr b/examples/acceptance_tests/047/assets/foo/spend/mainnet.addr deleted file mode 100644 index f7439b06..00000000 --- a/examples/acceptance_tests/047/assets/foo/spend/mainnet.addr +++ /dev/null @@ -1 +0,0 @@ -addr1wyahaesnnh44nkyjj4dv8jk3t4f7frwtzepjyujkk2wjkmczwqttr \ No newline at end of file diff --git a/examples/acceptance_tests/047/assets/foo/spend/payment_script.json b/examples/acceptance_tests/047/assets/foo/spend/payment_script.json deleted file mode 100644 index ffae9c04..00000000 --- a/examples/acceptance_tests/047/assets/foo/spend/payment_script.json +++ /dev/null @@ -1,5 +0,0 @@ -{ - "type": "PlutusScriptV2", - "description": "Generated by Aiken", - "cborHex": "5831582f01000032322225333573494452616300100122253335573e004293099ab9b3001357420046660060066ae880080041" -} \ No newline at end of file diff --git a/examples/acceptance_tests/047/assets/foo/spend/script.cbor b/examples/acceptance_tests/047/assets/foo/spend/script.cbor deleted file mode 100644 index 3f6d9dbc..00000000 --- a/examples/acceptance_tests/047/assets/foo/spend/script.cbor +++ /dev/null @@ -1 +0,0 @@ -582f01000032322225333573494452616300100122253335573e004293099ab9b3001357420046660060066ae880080041 \ No newline at end of file diff --git a/examples/acceptance_tests/047/assets/foo/spend/testnet.addr b/examples/acceptance_tests/047/assets/foo/spend/testnet.addr deleted file mode 100644 index fcfb7c3b..00000000 --- a/examples/acceptance_tests/047/assets/foo/spend/testnet.addr +++ /dev/null @@ -1 +0,0 @@ -addr_test1wqahaesnnh44nkyjj4dv8jk3t4f7frwtzepjyujkk2wjkmcex5hyx \ No newline at end of file diff --git a/examples/acceptance_tests/047/plutus.json b/examples/acceptance_tests/047/plutus.json new file mode 100644 index 00000000..fba9fae3 --- /dev/null +++ b/examples/acceptance_tests/047/plutus.json @@ -0,0 +1,36 @@ +{ + "preamble": { + "title": "aiken-lang/acceptance_test_047", + "version": "0.0.0" + }, + "validators": [ + { + "title": "foo", + "purpose": "spend", + "datum": { + "title": "Unit", + "description": "The nullary constructor.", + "anyOf": [ + { + "dataType": "constructor", + "index": 0, + "fields": [] + } + ] + }, + "redeemer": { + "title": "Unit", + "description": "The nullary constructor.", + "anyOf": [ + { + "dataType": "constructor", + "index": 0, + "fields": [] + } + ] + }, + "compiledCode": "582f01000032322225333573494452616300100122253335573e004293099ab9b3001357420046660060066ae880080041", + "hash": "3b7ee6139deb59d892955ac3cad15d53e48dcb1643227256b29d2b6f" + } + ] +} \ No newline at end of file diff --git a/examples/acceptance_tests/048/assets/foo/spend/mainnet.addr b/examples/acceptance_tests/048/assets/foo/spend/mainnet.addr deleted file mode 100644 index d8a5b84a..00000000 --- a/examples/acceptance_tests/048/assets/foo/spend/mainnet.addr +++ /dev/null @@ -1 +0,0 @@ -addr1w9d2hmr5s8j9cz5xgzjzn3srsfajcwjjzeruaj5mh3kpuqcmvmz3r \ No newline at end of file diff --git a/examples/acceptance_tests/048/assets/foo/spend/payment_script.json b/examples/acceptance_tests/048/assets/foo/spend/payment_script.json deleted file mode 100644 index b687b5b6..00000000 --- a/examples/acceptance_tests/048/assets/foo/spend/payment_script.json +++ /dev/null @@ -1,5 +0,0 @@ -{ - "type": "PlutusScriptV2", - "description": "Generated by Aiken", - "cborHex": "5855585301000032322225333573466e1cc8c0052f7b6301010400010101002323232002375a6aae78008dd69aab9d0010014802052616300100122253335573e004293099ab9b3001357420046660060066ae88008005" -} \ No newline at end of file diff --git a/examples/acceptance_tests/048/assets/foo/spend/script.cbor b/examples/acceptance_tests/048/assets/foo/spend/script.cbor deleted file mode 100644 index e042c530..00000000 --- a/examples/acceptance_tests/048/assets/foo/spend/script.cbor +++ /dev/null @@ -1 +0,0 @@ -585301000032322225333573466e1cc8c0052f7b6301010400010101002323232002375a6aae78008dd69aab9d0010014802052616300100122253335573e004293099ab9b3001357420046660060066ae88008005 \ No newline at end of file diff --git a/examples/acceptance_tests/048/assets/foo/spend/testnet.addr b/examples/acceptance_tests/048/assets/foo/spend/testnet.addr deleted file mode 100644 index 13c9cf36..00000000 --- a/examples/acceptance_tests/048/assets/foo/spend/testnet.addr +++ /dev/null @@ -1 +0,0 @@ -addr_test1wpd2hmr5s8j9cz5xgzjzn3srsfajcwjjzeruaj5mh3kpuqcqy077x \ No newline at end of file diff --git a/examples/acceptance_tests/048/plutus.json b/examples/acceptance_tests/048/plutus.json new file mode 100644 index 00000000..5e42688b --- /dev/null +++ b/examples/acceptance_tests/048/plutus.json @@ -0,0 +1,22 @@ +{ + "preamble": { + "title": "aiken-lang/acceptance_test_048", + "version": "0.0.0" + }, + "validators": [ + { + "title": "foo", + "purpose": "spend", + "datum": { + "title": "Data", + "description": "Any Plutus data." + }, + "redeemer": { + "title": "Data", + "description": "Any Plutus data." + }, + "compiledCode": "585301000032322225333573466e1cc8c0052f7b6301010400010101002323232002375a6aae78008dd69aab9d0010014802052616300100122253335573e004293099ab9b3001357420046660060066ae88008005", + "hash": "5aabec7481e45c0a8640a429c603827b2c3a521647ceca9bbc6c1e03" + } + ] +} \ No newline at end of file diff --git a/examples/acceptance_tests/048/validators/foo.ak b/examples/acceptance_tests/048/validators/foo.ak index 487266c9..863fc603 100644 --- a/examples/acceptance_tests/048/validators/foo.ak +++ b/examples/acceptance_tests/048/validators/foo.ak @@ -4,6 +4,6 @@ fn when_tuple(a: (Int, Int)) -> Int { } } -pub fn spend(a, b, c) -> Bool { +pub fn spend(a: Data, b: Data, c) -> Bool { when_tuple((4, 1)) == 4 } diff --git a/examples/acceptance_tests/049/assets/foo/spend/mainnet.addr b/examples/acceptance_tests/049/assets/foo/spend/mainnet.addr deleted file mode 100644 index 36be4414..00000000 --- a/examples/acceptance_tests/049/assets/foo/spend/mainnet.addr +++ /dev/null @@ -1 +0,0 @@ -addr1w9z47fyj9ffqck2fnld04k27zfe04wq6n9zj76u4ghu4xdcd0futm \ No newline at end of file diff --git a/examples/acceptance_tests/049/assets/foo/spend/payment_script.json b/examples/acceptance_tests/049/assets/foo/spend/payment_script.json deleted file mode 100644 index b3302099..00000000 --- a/examples/acceptance_tests/049/assets/foo/spend/payment_script.json +++ /dev/null @@ -1,5 +0,0 @@ -{ - "type": "PlutusScriptV2", - "description": "Generated by Aiken", - "cborHex": "4e4d01000022253335734944526161" -} \ No newline at end of file diff --git a/examples/acceptance_tests/049/assets/foo/spend/script.cbor b/examples/acceptance_tests/049/assets/foo/spend/script.cbor deleted file mode 100644 index 862591fa..00000000 --- a/examples/acceptance_tests/049/assets/foo/spend/script.cbor +++ /dev/null @@ -1 +0,0 @@ -4d01000022253335734944526161 \ No newline at end of file diff --git a/examples/acceptance_tests/049/assets/foo/spend/testnet.addr b/examples/acceptance_tests/049/assets/foo/spend/testnet.addr deleted file mode 100644 index d6baa9fb..00000000 --- a/examples/acceptance_tests/049/assets/foo/spend/testnet.addr +++ /dev/null @@ -1 +0,0 @@ -addr_test1wpz47fyj9ffqck2fnld04k27zfe04wq6n9zj76u4ghu4xdck8aqy7 \ No newline at end of file diff --git a/examples/hello_world/assets/hello_world/spend/payment_script.json b/examples/hello_world/assets/hello_world/spend/payment_script.json deleted file mode 100644 index ca350a8a..00000000 --- a/examples/hello_world/assets/hello_world/spend/payment_script.json +++ /dev/null @@ -1,5 +0,0 @@ -{ - "type": "PlutusScriptV2", - "description": "Generated by Aiken", - "cborHex": "58bb58b90100002225333573464646464a666ae6800840045281919198009bac330043005330043005006480012010375c66008600a01090001800800911192999aab9f00114a026464a666ae68cdc78010020a511333006006001004357440046eb8d5d080080119b97323001375c66004600600a900011b9900149010d48656c6c6f2c20576f726c64210022323330010014800000c888cccd5cd19b870040025742466600800866e0000d20023574400200246aae78dd50008a4c2d" -} \ No newline at end of file diff --git a/examples/hello_world/assets/hello_world/spend/script.cbor b/examples/hello_world/assets/hello_world/spend/script.cbor deleted file mode 100644 index f7fd42a7..00000000 --- a/examples/hello_world/assets/hello_world/spend/script.cbor +++ /dev/null @@ -1 +0,0 @@ -58b90100002225333573464646464a666ae6800840045281919198009bac330043005330043005006480012010375c66008600a01090001800800911192999aab9f00114a026464a666ae68cdc78010020a511333006006001004357440046eb8d5d080080119b97323001375c66004600600a900011b9900149010d48656c6c6f2c20576f726c64210022323330010014800000c888cccd5cd19b870040025742466600800866e0000d20023574400200246aae78dd50008a4c2d \ No newline at end of file diff --git a/examples/hello_world/plutus.json b/examples/hello_world/plutus.json new file mode 100644 index 00000000..edfd34bd --- /dev/null +++ b/examples/hello_world/plutus.json @@ -0,0 +1,47 @@ +{ + "preamble": { + "title": "aiken-lang/hello_world", + "description": "Aiken contracts for project 'aiken-lang/hello_world'", + "version": "1.0.0" + }, + "validators": [ + { + "title": "hello_world", + "purpose": "spend", + "datum": { + "title": "Datum", + "anyOf": [ + { + "title": "Datum", + "dataType": "constructor", + "index": 0, + "fields": [ + { + "title": "owner", + "dataType": "bytes" + } + ] + } + ] + }, + "redeemer": { + "title": "Redeemer", + "anyOf": [ + { + "title": "Redeemer", + "dataType": "constructor", + "index": 0, + "fields": [ + { + "title": "msg", + "dataType": "bytes" + } + ] + } + ] + }, + "compiledCode": "58db01000032322225333573464646464a666ae6800840045281919198009bac330043005330043005006480012010375c66008600a01090001800800911192999aab9f00114a026464a666ae68cdc78010020a511333006006001004357440046eb8d5d080080119b97323001375c66004600600a900011b9900149010d48656c6c6f2c20576f726c64210022323330010014800000c888cccd5cd19b870040025742466600800866e0000d20023574400200246aae78dd50008a4c2c6002002444a666aae7c008526133573660026ae84008ccc00c00cd5d10010009", + "hash": "d478e73c101a53d083f4720d400c876d7441c279168becabab0e0177" + } + ] +} \ No newline at end of file