Testing Contract to Contract Functionality on the SDK's (#156)

Author: tzaffi

README.md

@@ -135,7 +135,7 @@ services:
     volumes:
       - ./docker/indexer/init-scripts:/docker-entrypoint-initdb.d
     ports:
-      - 5433:5432
+      - 65432:5432
     networks:
       - sdk-harness
     environment:

docker-compose.yml

@@ -1,4 +1,4 @@
-FROM golang:1.13.12
+FROM golang:1.16.11
 
 ARG URL=https://github.com/algorand/go-algorand
 ARG BRANCH=master
@@ -23,12 +23,12 @@ RUN git clone --single-branch --branch "${BRANCH}" "${URL}" && \
 
 # Configure private network
 RUN python3 /tmp/docker/algod/setup.py configure \
- --bin-dir "$BIN_DIR" \
- --network-dir /opt/testnetwork \
- --network-template /tmp/network_config/future_template.json \
- --network-token aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa \
- --algod-port 60000 \
- --kmd-port 60001
+    --bin-dir "$BIN_DIR" \
+    --network-dir /opt/testnetwork \
+    --network-template /tmp/network_config/future_template.json \
+    --network-token aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa \
+    --algod-port 60000 \
+    --kmd-port 60001
 
 # Start algod
 CMD ["/usr/bin/env", "bash", "-c", "python3 /tmp/docker/algod/setup.py start --bin-dir \"$BIN_DIR\" --network-dir \"/opt/testnetwork\" --copy-genesis-to \"/genesis-file\""]

docker/algod/source/Dockerfile

@@ -12,7 +12,8 @@ Feature: Applications
       Given I create a new transient account and fund it with 100000000 microalgos.
       # Application create with extra pages should succeed with expected message.
       And I build an application transaction with the transient account, the current application, suggested params, operation "create", approval-program "programs/big_app_program.teal.tok", clear-program "programs/big_app_program.teal.tok", global-bytes <global-bytes>, global-ints 0, local-bytes <local-bytes>, local-ints 0, app-args "", foreign-apps "", foreign-assets "", app-accounts "", extra-pages 3
-      And I sign and submit the transaction, saving the txid. If there is an error it is "logic eval error: pc=704 dynamic cost budget exceeded, executing intc_1: remaining budget is 700 but program cost was 701".
+      And I sign and submit the transaction, saving the txid. If there is an error it is "logic eval error: pc=704 dynamic cost budget exceeded, executing intc_1: local program cost was 700. Details: pc=704, opcodes=intc_1 // 1".
+
       # Create application
       # depends on the transient account, and also the application id.
       # Use suggested params
@@ -21,8 +22,9 @@ Feature: Applications
       And I sign and submit the transaction, saving the txid. If there is an error it is "".
       And I wait for the transaction to be confirmed.
       And I remember the new application ID.
+      Then I get the account address for the current application and see that it matches the app id's hash
       # Update approval program to 'loccheck'
-      And I build an application transaction with the transient account, the current application, suggested params, operation "update", approval-program "<program>", clear-program "programs/one.teal.tok", global-bytes 0, global-ints 0, local-bytes 0, local-ints 0, app-args "", foreign-apps "", foreign-assets "", app-accounts "", extra-pages 0
+      Given I build an application transaction with the transient account, the current application, suggested params, operation "update", approval-program "<program>", clear-program "programs/one.teal.tok", global-bytes 0, global-ints 0, local-bytes 0, local-ints 0, app-args "", foreign-apps "", foreign-assets "", app-accounts "", extra-pages 0
       And I sign and submit the transaction, saving the txid. If there is an error it is "".
       And I wait for the transaction to be confirmed.
       # OptIn - with error (missing argument)

features/integration/applications.feature

@@ -10,3 +10,13 @@ Feature: Compile
       | program                 | status | result     | hash                                                         |
       | "programs/one.teal"     | 200    | "AiABASI=" | "YOE6C22GHCTKAN3HU4SE5PGIPN5UKXAJTXCQUPJ3KKF5HOAH646MKKCPDA" |
       | "programs/invalid.teal" | 400    | ""         | ""                                                           |
+
+
+  Scenario Outline: Teals compile to their associated binary
+    When I compile a teal program <teal>
+    Then base64 decoding the response is the same as the binary <program>
+    Examples:
+      | teal                            | program                             |
+      | "programs/one.teal"             | "programs/one.teal.tok"             |
+      | "programs/zero.teal"            | "programs/zero.teal.tok"            |
+      | "programs/abi_method_call.teal" | "programs/abi_method_call.teal.tok" |

features/integration/c2c.feature

@@ -0,0 +1,54 @@
+// <<<< WARNING: For demo purposes only >>>>
+// Do not use in any applications that require unpredictable randomness.
+// (As of Jan 2022) To achieve secure randomness, consider following an approach such as: https://github.com/ori-shem-tov/vrf-oracle
+
+// TODO: disallow updates, optins, etc.
+
+#pragma version 6
+txn ApplicationID
+bz create       // yes, we can create this app
+
+txn ApplicationArgs 0
+method "randInt(uint64)(uint64,byte[17])"
+==
+assert      // except for create, only allow calling method randInt()
+
+global Round
+itob
+pushbytes "#"
+concat
+pushbytes "counter"
+app_global_get      
+dup
+
+pushint 1
++
+pushbytes "counter"
+swap
+app_global_put
+itob  
+concat  // >>> itob(round)|#|itob(counter)
+dup
+sha512_256
+pushint 0
+extract_uint64
+txn ApplicationArgs 1
+btoi
+%       // TODO: slightly better if try again in the unlikely case that 1 << 64 + A % B < A + B
+itob
+swap
+concat  // >>> itob(randInt)|itob(round)|#|itob(counter)
+byte 0x151f7c75  // return code
+swap
+concat
+log
+
+b finish
+
+create:
+    pushbytes "counter"
+    pushint 0
+    app_global_put
+
+finish:
+    int 1

features/integration/compile.feature

@@ -0,0 +1,90 @@
+// TODO: disallow updates, optins, etc.
+
+// Input: a string s such as "hello random"
+// Output: a byte in s picked with index of uniform randomness
+
+// 1. n := len(s)
+// 2. r, w := FakeRandom.randInt(n)
+// 3. c := substring n n+1
+// 4. return c, w
+
+#pragma version 6
+txn ApplicationID
+bz finish  // creating ok
+
+txn ApplicationArgs 0
+method "randElement(string,application)(byte,byte[17])"
+==
+assert      // other than create, only the app call is allowed
+
+itxn_begin
+    int appl
+    itxn_field TypeEnum
+
+    txn Applications 1 // FakeRandom
+    itxn_field ApplicationID
+
+    method "randInt(uint64)(uint64,byte[17])"
+    itxn_field ApplicationArgs
+
+    txn ApplicationArgs 1
+    len
+    pushint 2
+    -       // subtract 2 from length for encoding prefix
+    itob
+    itxn_field ApplicationArgs    
+itxn_submit
+
+// assert a single log so we know where to look for return val:
+pushint 0
+itxn NumLogs
+pushint 1
+==
+assert
+
+itxna Logs 0
+// >>> return|uint64|byte[17]|
+
+// dup
+// pushbytes "debug logs received--->"
+// log
+// log
+// >>> return|uint64|byte[17]|
+
+dup
+extract 12 0  // the witness
+swap
+// >>> byte[17] <-- return|uint64|byte[17]|
+
+extract 4 8   // the randInt
+btoi
+// >>> byte[17] <-- randInt
+
+txn ApplicationArgs 1
+// >>> byte[17] <-- randInt <-- len|input_string
+
+extract 2 0   // the input string
+swap
+// >>> byte[17] <-- input_string <-- randInt
+
+pushint 1
+extract3  
+// >>> byte[17] <-- randByte
+
+pushbytes 0x151f7c75  // return code
+swap
+// >>> byte[17] <-- return <-- randByte
+
+concat
+// >>> byte[17] <-- return|randByte
+
+swap
+concat
+// >>> return|randByte|byte[17]
+
+log
+// <<<EMPTY>>>
+
+finish:
+    int 1
+    return

features/integration/template.feature

@@ -0,0 +1,2 @@
+#pragma version 6
+int 6