diff --git a/.go-algorand-beta.version b/.go-algorand-beta.version
index 02e86914b..cd249db29 100644
--- a/.go-algorand-beta.version
+++ b/.go-algorand-beta.version
@@ -1 +1 @@
-v4.0.2-beta
+v4.3.0-beta
diff --git a/.go-algorand-stable.version b/.go-algorand-stable.version
index 3cdbb0964..309f9f8ca 100644
--- a/.go-algorand-stable.version
+++ b/.go-algorand-stable.version
@@ -1 +1 @@
-v4.0.2-stable
+v4.3.0-stable
diff --git a/.indexer.version b/.indexer.version
index 0b2eb36f5..a5c4c7633 100644
--- a/.indexer.version
+++ b/.indexer.version
@@ -1 +1 @@
-3.7.2
+3.9.0
diff --git a/docs/clis/goal/app/app.md b/docs/clis/goal/app/app.md
index 88635c8a0..9e4cdc4b5 100644
--- a/docs/clis/goal/app/app.md
+++ b/docs/clis/goal/app/app.md
@@ -22,17 +22,19 @@ goal app [flags]
```
+ --access Put references into the transaction's access list, instead of foreign arrays.
+
--app-account strings Accounts that may be accessed from application logic
--app-arg stringArray Args to encode for application transactions (all will be encoded to a byte slice). For ints, use the form 'int:1234'. For raw bytes, use the form 'b64:A=='. For printable strings, use the form 'str:hello'. For addresses, use the form 'addr:XYZ...'.
- -i, --app-input string JSON file containing encoded arguments and inputs (mutually exclusive with app-arg, app-account, foreign-app, foreign-asset, and box)
+ -i, --app-input string JSON file containing encoded arguments and inputs (mutually exclusive with app-arg, app-account, foreign-app, foreign-asset, local, holding, and box)
--approval-prog string (Uncompiled) TEAL assembly program filename for approving/rejecting transactions
--approval-prog-raw string Compiled TEAL program filename for approving/rejecting transactions
- --box stringArray Boxes that may be accessed by this transaction. Use the same form as app-arg to name the box, preceded by an optional app-id and comma. No app-id indicates the box is accessible by the app being called.
+ --box stringArray A Box that may be accessed by this transaction. Use the same form as app-arg to name the box, preceded by an optional app-id and comma. Zero or omitted app-id indicates the box is accessible by the app being called.
--clear-prog string (Uncompiled) TEAL assembly program filename for updating application state when a user clears their local state
@@ -44,6 +46,12 @@ goal app [flags]
-h, --help help for app
+ --holding strings A Holding that may be accessed from application logic. An asset-id followed by a comma and an address
+
+ --local strings A Local State that may be accessed from application logic. An optional app-id and comma, followed by an address. Zero or omitted app-id indicates the local state for app being called.
+
+ --reject-version uint If set non-zero, reject for this app version or higher
+
-w, --wallet string Set the wallet to be used for the selected operation
```
diff --git a/docs/clis/goal/app/box/box.md b/docs/clis/goal/app/box/box.md
index 248457971..9690a87c8 100644
--- a/docs/clis/goal/app/box/box.md
+++ b/docs/clis/goal/app/box/box.md
@@ -36,17 +36,19 @@ goal app box [flags]
```
+ --access Put references into the transaction's access list, instead of foreign arrays.
+
--app-account strings Accounts that may be accessed from application logic
--app-arg stringArray Args to encode for application transactions (all will be encoded to a byte slice). For ints, use the form 'int:1234'. For raw bytes, use the form 'b64:A=='. For printable strings, use the form 'str:hello'. For addresses, use the form 'addr:XYZ...'.
- -i, --app-input string JSON file containing encoded arguments and inputs (mutually exclusive with app-arg, app-account, foreign-app, foreign-asset, and box)
+ -i, --app-input string JSON file containing encoded arguments and inputs (mutually exclusive with app-arg, app-account, foreign-app, foreign-asset, local, holding, and box)
--approval-prog string (Uncompiled) TEAL assembly program filename for approving/rejecting transactions
--approval-prog-raw string Compiled TEAL program filename for approving/rejecting transactions
- --box stringArray Boxes that may be accessed by this transaction. Use the same form as app-arg to name the box, preceded by an optional app-id and comma. No app-id indicates the box is accessible by the app being called.
+ --box stringArray A Box that may be accessed by this transaction. Use the same form as app-arg to name the box, preceded by an optional app-id and comma. Zero or omitted app-id indicates the box is accessible by the app being called.
--clear-prog string (Uncompiled) TEAL assembly program filename for updating application state when a user clears their local state
@@ -58,8 +60,14 @@ goal app box [flags]
--foreign-asset strings Indexes of assets whose parameters are read in this transaction
+ --holding strings A Holding that may be accessed from application logic. An asset-id followed by a comma and an address
+
-k, --kmddir string Data directory for kmd
+ --local strings A Local State that may be accessed from application logic. An optional app-id and comma, followed by an address. Zero or omitted app-id indicates the local state for app being called.
+
+ --reject-version uint If set non-zero, reject for this app version or higher
+
-w, --wallet string Set the wallet to be used for the selected operation
```
diff --git a/docs/clis/goal/app/box/info.md b/docs/clis/goal/app/box/info.md
index 341b90e4a..53a646cda 100644
--- a/docs/clis/goal/app/box/info.md
+++ b/docs/clis/goal/app/box/info.md
@@ -36,19 +36,21 @@ goal app box info [flags]
```
+ --access Put references into the transaction's access list, instead of foreign arrays.
+
--app-account strings Accounts that may be accessed from application logic
--app-arg stringArray Args to encode for application transactions (all will be encoded to a byte slice). For ints, use the form 'int:1234'. For raw bytes, use the form 'b64:A=='. For printable strings, use the form 'str:hello'. For addresses, use the form 'addr:XYZ...'.
--app-id uint Application ID
- -i, --app-input string JSON file containing encoded arguments and inputs (mutually exclusive with app-arg, app-account, foreign-app, foreign-asset, and box)
+ -i, --app-input string JSON file containing encoded arguments and inputs (mutually exclusive with app-arg, app-account, foreign-app, foreign-asset, local, holding, and box)
--approval-prog string (Uncompiled) TEAL assembly program filename for approving/rejecting transactions
--approval-prog-raw string Compiled TEAL program filename for approving/rejecting transactions
- --box stringArray Boxes that may be accessed by this transaction. Use the same form as app-arg to name the box, preceded by an optional app-id and comma. No app-id indicates the box is accessible by the app being called.
+ --box stringArray A Box that may be accessed by this transaction. Use the same form as app-arg to name the box, preceded by an optional app-id and comma. Zero or omitted app-id indicates the box is accessible by the app being called.
--clear-prog string (Uncompiled) TEAL assembly program filename for updating application state when a user clears their local state
@@ -60,8 +62,14 @@ goal app box info [flags]
--foreign-asset strings Indexes of assets whose parameters are read in this transaction
+ --holding strings A Holding that may be accessed from application logic. An asset-id followed by a comma and an address
+
-k, --kmddir string Data directory for kmd
+ --local strings A Local State that may be accessed from application logic. An optional app-id and comma, followed by an address. Zero or omitted app-id indicates the local state for app being called.
+
+ --reject-version uint If set non-zero, reject for this app version or higher
+
-w, --wallet string Set the wallet to be used for the selected operation
```
diff --git a/docs/clis/goal/app/box/list.md b/docs/clis/goal/app/box/list.md
index ae7e06c41..b4ea7ec78 100644
--- a/docs/clis/goal/app/box/list.md
+++ b/docs/clis/goal/app/box/list.md
@@ -48,19 +48,21 @@ goal app box list [flags]
```
+ --access Put references into the transaction's access list, instead of foreign arrays.
+
--app-account strings Accounts that may be accessed from application logic
--app-arg stringArray Args to encode for application transactions (all will be encoded to a byte slice). For ints, use the form 'int:1234'. For raw bytes, use the form 'b64:A=='. For printable strings, use the form 'str:hello'. For addresses, use the form 'addr:XYZ...'.
--app-id uint Application ID
- -i, --app-input string JSON file containing encoded arguments and inputs (mutually exclusive with app-arg, app-account, foreign-app, foreign-asset, and box)
+ -i, --app-input string JSON file containing encoded arguments and inputs (mutually exclusive with app-arg, app-account, foreign-app, foreign-asset, local, holding, and box)
--approval-prog string (Uncompiled) TEAL assembly program filename for approving/rejecting transactions
--approval-prog-raw string Compiled TEAL program filename for approving/rejecting transactions
- --box stringArray Boxes that may be accessed by this transaction. Use the same form as app-arg to name the box, preceded by an optional app-id and comma. No app-id indicates the box is accessible by the app being called.
+ --box stringArray A Box that may be accessed by this transaction. Use the same form as app-arg to name the box, preceded by an optional app-id and comma. Zero or omitted app-id indicates the box is accessible by the app being called.
--clear-prog string (Uncompiled) TEAL assembly program filename for updating application state when a user clears their local state
@@ -72,8 +74,14 @@ goal app box list [flags]
--foreign-asset strings Indexes of assets whose parameters are read in this transaction
+ --holding strings A Holding that may be accessed from application logic. An asset-id followed by a comma and an address
+
-k, --kmddir string Data directory for kmd
+ --local strings A Local State that may be accessed from application logic. An optional app-id and comma, followed by an address. Zero or omitted app-id indicates the local state for app being called.
+
+ --reject-version uint If set non-zero, reject for this app version or higher
+
-w, --wallet string Set the wallet to be used for the selected operation
```
diff --git a/docs/clis/goal/app/call.md b/docs/clis/goal/app/call.md
index f9f4ace16..b73f34def 100644
--- a/docs/clis/goal/app/call.md
+++ b/docs/clis/goal/app/call.md
@@ -74,17 +74,19 @@ goal app call [flags]
```
+ --access Put references into the transaction's access list, instead of foreign arrays.
+
--app-account strings Accounts that may be accessed from application logic
--app-arg stringArray Args to encode for application transactions (all will be encoded to a byte slice). For ints, use the form 'int:1234'. For raw bytes, use the form 'b64:A=='. For printable strings, use the form 'str:hello'. For addresses, use the form 'addr:XYZ...'.
- -i, --app-input string JSON file containing encoded arguments and inputs (mutually exclusive with app-arg, app-account, foreign-app, foreign-asset, and box)
+ -i, --app-input string JSON file containing encoded arguments and inputs (mutually exclusive with app-arg, app-account, foreign-app, foreign-asset, local, holding, and box)
--approval-prog string (Uncompiled) TEAL assembly program filename for approving/rejecting transactions
--approval-prog-raw string Compiled TEAL program filename for approving/rejecting transactions
- --box stringArray Boxes that may be accessed by this transaction. Use the same form as app-arg to name the box, preceded by an optional app-id and comma. No app-id indicates the box is accessible by the app being called.
+ --box stringArray A Box that may be accessed by this transaction. Use the same form as app-arg to name the box, preceded by an optional app-id and comma. Zero or omitted app-id indicates the box is accessible by the app being called.
--clear-prog string (Uncompiled) TEAL assembly program filename for updating application state when a user clears their local state
@@ -96,8 +98,14 @@ goal app call [flags]
--foreign-asset strings Indexes of assets whose parameters are read in this transaction
+ --holding strings A Holding that may be accessed from application logic. An asset-id followed by a comma and an address
+
-k, --kmddir string Data directory for kmd
+ --local strings A Local State that may be accessed from application logic. An optional app-id and comma, followed by an address. Zero or omitted app-id indicates the local state for app being called.
+
+ --reject-version uint If set non-zero, reject for this app version or higher
+
-w, --wallet string Set the wallet to be used for the selected operation
```
diff --git a/docs/clis/goal/app/clear.md b/docs/clis/goal/app/clear.md
index 8fe1f9390..0cbc44c8e 100644
--- a/docs/clis/goal/app/clear.md
+++ b/docs/clis/goal/app/clear.md
@@ -74,17 +74,19 @@ goal app clear [flags]
```
+ --access Put references into the transaction's access list, instead of foreign arrays.
+
--app-account strings Accounts that may be accessed from application logic
--app-arg stringArray Args to encode for application transactions (all will be encoded to a byte slice). For ints, use the form 'int:1234'. For raw bytes, use the form 'b64:A=='. For printable strings, use the form 'str:hello'. For addresses, use the form 'addr:XYZ...'.
- -i, --app-input string JSON file containing encoded arguments and inputs (mutually exclusive with app-arg, app-account, foreign-app, foreign-asset, and box)
+ -i, --app-input string JSON file containing encoded arguments and inputs (mutually exclusive with app-arg, app-account, foreign-app, foreign-asset, local, holding, and box)
--approval-prog string (Uncompiled) TEAL assembly program filename for approving/rejecting transactions
--approval-prog-raw string Compiled TEAL program filename for approving/rejecting transactions
- --box stringArray Boxes that may be accessed by this transaction. Use the same form as app-arg to name the box, preceded by an optional app-id and comma. No app-id indicates the box is accessible by the app being called.
+ --box stringArray A Box that may be accessed by this transaction. Use the same form as app-arg to name the box, preceded by an optional app-id and comma. Zero or omitted app-id indicates the box is accessible by the app being called.
--clear-prog string (Uncompiled) TEAL assembly program filename for updating application state when a user clears their local state
@@ -96,8 +98,14 @@ goal app clear [flags]
--foreign-asset strings Indexes of assets whose parameters are read in this transaction
+ --holding strings A Holding that may be accessed from application logic. An asset-id followed by a comma and an address
+
-k, --kmddir string Data directory for kmd
+ --local strings A Local State that may be accessed from application logic. An optional app-id and comma, followed by an address. Zero or omitted app-id indicates the local state for app being called.
+
+ --reject-version uint If set non-zero, reject for this app version or higher
+
-w, --wallet string Set the wallet to be used for the selected operation
```
diff --git a/docs/clis/goal/app/closeout.md b/docs/clis/goal/app/closeout.md
index ddc314821..20febf5d5 100644
--- a/docs/clis/goal/app/closeout.md
+++ b/docs/clis/goal/app/closeout.md
@@ -74,17 +74,19 @@ goal app closeout [flags]
```
+ --access Put references into the transaction's access list, instead of foreign arrays.
+
--app-account strings Accounts that may be accessed from application logic
--app-arg stringArray Args to encode for application transactions (all will be encoded to a byte slice). For ints, use the form 'int:1234'. For raw bytes, use the form 'b64:A=='. For printable strings, use the form 'str:hello'. For addresses, use the form 'addr:XYZ...'.
- -i, --app-input string JSON file containing encoded arguments and inputs (mutually exclusive with app-arg, app-account, foreign-app, foreign-asset, and box)
+ -i, --app-input string JSON file containing encoded arguments and inputs (mutually exclusive with app-arg, app-account, foreign-app, foreign-asset, local, holding, and box)
--approval-prog string (Uncompiled) TEAL assembly program filename for approving/rejecting transactions
--approval-prog-raw string Compiled TEAL program filename for approving/rejecting transactions
- --box stringArray Boxes that may be accessed by this transaction. Use the same form as app-arg to name the box, preceded by an optional app-id and comma. No app-id indicates the box is accessible by the app being called.
+ --box stringArray A Box that may be accessed by this transaction. Use the same form as app-arg to name the box, preceded by an optional app-id and comma. Zero or omitted app-id indicates the box is accessible by the app being called.
--clear-prog string (Uncompiled) TEAL assembly program filename for updating application state when a user clears their local state
@@ -96,8 +98,14 @@ goal app closeout [flags]
--foreign-asset strings Indexes of assets whose parameters are read in this transaction
+ --holding strings A Holding that may be accessed from application logic. An asset-id followed by a comma and an address
+
-k, --kmddir string Data directory for kmd
+ --local strings A Local State that may be accessed from application logic. An optional app-id and comma, followed by an address. Zero or omitted app-id indicates the local state for app being called.
+
+ --reject-version uint If set non-zero, reject for this app version or higher
+
-w, --wallet string Set the wallet to be used for the selected operation
```
diff --git a/docs/clis/goal/app/create.md b/docs/clis/goal/app/create.md
index 69e7b0aa2..8d64a29cf 100644
--- a/docs/clis/goal/app/create.md
+++ b/docs/clis/goal/app/create.md
@@ -84,17 +84,19 @@ goal app create [flags]
```
+ --access Put references into the transaction's access list, instead of foreign arrays.
+
--app-account strings Accounts that may be accessed from application logic
--app-arg stringArray Args to encode for application transactions (all will be encoded to a byte slice). For ints, use the form 'int:1234'. For raw bytes, use the form 'b64:A=='. For printable strings, use the form 'str:hello'. For addresses, use the form 'addr:XYZ...'.
- -i, --app-input string JSON file containing encoded arguments and inputs (mutually exclusive with app-arg, app-account, foreign-app, foreign-asset, and box)
+ -i, --app-input string JSON file containing encoded arguments and inputs (mutually exclusive with app-arg, app-account, foreign-app, foreign-asset, local, holding, and box)
--approval-prog string (Uncompiled) TEAL assembly program filename for approving/rejecting transactions
--approval-prog-raw string Compiled TEAL program filename for approving/rejecting transactions
- --box stringArray Boxes that may be accessed by this transaction. Use the same form as app-arg to name the box, preceded by an optional app-id and comma. No app-id indicates the box is accessible by the app being called.
+ --box stringArray A Box that may be accessed by this transaction. Use the same form as app-arg to name the box, preceded by an optional app-id and comma. Zero or omitted app-id indicates the box is accessible by the app being called.
--clear-prog string (Uncompiled) TEAL assembly program filename for updating application state when a user clears their local state
@@ -106,8 +108,14 @@ goal app create [flags]
--foreign-asset strings Indexes of assets whose parameters are read in this transaction
+ --holding strings A Holding that may be accessed from application logic. An asset-id followed by a comma and an address
+
-k, --kmddir string Data directory for kmd
+ --local strings A Local State that may be accessed from application logic. An optional app-id and comma, followed by an address. Zero or omitted app-id indicates the local state for app being called.
+
+ --reject-version uint If set non-zero, reject for this app version or higher
+
-w, --wallet string Set the wallet to be used for the selected operation
```
diff --git a/docs/clis/goal/app/delete.md b/docs/clis/goal/app/delete.md
index 52f307136..c02458964 100644
--- a/docs/clis/goal/app/delete.md
+++ b/docs/clis/goal/app/delete.md
@@ -74,17 +74,19 @@ goal app delete [flags]
```
+ --access Put references into the transaction's access list, instead of foreign arrays.
+
--app-account strings Accounts that may be accessed from application logic
--app-arg stringArray Args to encode for application transactions (all will be encoded to a byte slice). For ints, use the form 'int:1234'. For raw bytes, use the form 'b64:A=='. For printable strings, use the form 'str:hello'. For addresses, use the form 'addr:XYZ...'.
- -i, --app-input string JSON file containing encoded arguments and inputs (mutually exclusive with app-arg, app-account, foreign-app, foreign-asset, and box)
+ -i, --app-input string JSON file containing encoded arguments and inputs (mutually exclusive with app-arg, app-account, foreign-app, foreign-asset, local, holding, and box)
--approval-prog string (Uncompiled) TEAL assembly program filename for approving/rejecting transactions
--approval-prog-raw string Compiled TEAL program filename for approving/rejecting transactions
- --box stringArray Boxes that may be accessed by this transaction. Use the same form as app-arg to name the box, preceded by an optional app-id and comma. No app-id indicates the box is accessible by the app being called.
+ --box stringArray A Box that may be accessed by this transaction. Use the same form as app-arg to name the box, preceded by an optional app-id and comma. Zero or omitted app-id indicates the box is accessible by the app being called.
--clear-prog string (Uncompiled) TEAL assembly program filename for updating application state when a user clears their local state
@@ -96,8 +98,14 @@ goal app delete [flags]
--foreign-asset strings Indexes of assets whose parameters are read in this transaction
+ --holding strings A Holding that may be accessed from application logic. An asset-id followed by a comma and an address
+
-k, --kmddir string Data directory for kmd
+ --local strings A Local State that may be accessed from application logic. An optional app-id and comma, followed by an address. Zero or omitted app-id indicates the local state for app being called.
+
+ --reject-version uint If set non-zero, reject for this app version or higher
+
-w, --wallet string Set the wallet to be used for the selected operation
```
diff --git a/docs/clis/goal/app/info.md b/docs/clis/goal/app/info.md
index 1a161bf81..a8f1decc3 100644
--- a/docs/clis/goal/app/info.md
+++ b/docs/clis/goal/app/info.md
@@ -44,17 +44,19 @@ goal app info [flags]
```
+ --access Put references into the transaction's access list, instead of foreign arrays.
+
--app-account strings Accounts that may be accessed from application logic
--app-arg stringArray Args to encode for application transactions (all will be encoded to a byte slice). For ints, use the form 'int:1234'. For raw bytes, use the form 'b64:A=='. For printable strings, use the form 'str:hello'. For addresses, use the form 'addr:XYZ...'.
- -i, --app-input string JSON file containing encoded arguments and inputs (mutually exclusive with app-arg, app-account, foreign-app, foreign-asset, and box)
+ -i, --app-input string JSON file containing encoded arguments and inputs (mutually exclusive with app-arg, app-account, foreign-app, foreign-asset, local, holding, and box)
--approval-prog string (Uncompiled) TEAL assembly program filename for approving/rejecting transactions
--approval-prog-raw string Compiled TEAL program filename for approving/rejecting transactions
- --box stringArray Boxes that may be accessed by this transaction. Use the same form as app-arg to name the box, preceded by an optional app-id and comma. No app-id indicates the box is accessible by the app being called.
+ --box stringArray A Box that may be accessed by this transaction. Use the same form as app-arg to name the box, preceded by an optional app-id and comma. Zero or omitted app-id indicates the box is accessible by the app being called.
--clear-prog string (Uncompiled) TEAL assembly program filename for updating application state when a user clears their local state
@@ -66,8 +68,14 @@ goal app info [flags]
--foreign-asset strings Indexes of assets whose parameters are read in this transaction
+ --holding strings A Holding that may be accessed from application logic. An asset-id followed by a comma and an address
+
-k, --kmddir string Data directory for kmd
+ --local strings A Local State that may be accessed from application logic. An optional app-id and comma, followed by an address. Zero or omitted app-id indicates the local state for app being called.
+
+ --reject-version uint If set non-zero, reject for this app version or higher
+
-w, --wallet string Set the wallet to be used for the selected operation
```
diff --git a/docs/clis/goal/app/interact/execute.md b/docs/clis/goal/app/interact/execute.md
index d782ab7d5..6dc1c71aa 100644
--- a/docs/clis/goal/app/interact/execute.md
+++ b/docs/clis/goal/app/interact/execute.md
@@ -40,17 +40,19 @@ goal app interact execute [flags]
```
+ --access Put references into the transaction's access list, instead of foreign arrays.
+
--app-account strings Accounts that may be accessed from application logic
--app-arg stringArray Args to encode for application transactions (all will be encoded to a byte slice). For ints, use the form 'int:1234'. For raw bytes, use the form 'b64:A=='. For printable strings, use the form 'str:hello'. For addresses, use the form 'addr:XYZ...'.
- -i, --app-input string JSON file containing encoded arguments and inputs (mutually exclusive with app-arg, app-account, foreign-app, foreign-asset, and box)
+ -i, --app-input string JSON file containing encoded arguments and inputs (mutually exclusive with app-arg, app-account, foreign-app, foreign-asset, local, holding, and box)
--approval-prog string (Uncompiled) TEAL assembly program filename for approving/rejecting transactions
--approval-prog-raw string Compiled TEAL program filename for approving/rejecting transactions
- --box stringArray Boxes that may be accessed by this transaction. Use the same form as app-arg to name the box, preceded by an optional app-id and comma. No app-id indicates the box is accessible by the app being called.
+ --box stringArray A Box that may be accessed by this transaction. Use the same form as app-arg to name the box, preceded by an optional app-id and comma. Zero or omitted app-id indicates the box is accessible by the app being called.
--clear-prog string (Uncompiled) TEAL assembly program filename for updating application state when a user clears their local state
@@ -64,8 +66,14 @@ goal app interact execute [flags]
--header string Application header
+ --holding strings A Holding that may be accessed from application logic. An asset-id followed by a comma and an address
+
-k, --kmddir string Data directory for kmd
+ --local strings A Local State that may be accessed from application logic. An optional app-id and comma, followed by an address. Zero or omitted app-id indicates the local state for app being called.
+
+ --reject-version uint If set non-zero, reject for this app version or higher
+
-w, --wallet string Set the wallet to be used for the selected operation
```
diff --git a/docs/clis/goal/app/interact/interact.md b/docs/clis/goal/app/interact/interact.md
index 05373109a..327efab85 100644
--- a/docs/clis/goal/app/interact/interact.md
+++ b/docs/clis/goal/app/interact/interact.md
@@ -36,17 +36,19 @@ goal app interact [flags]
```
+ --access Put references into the transaction's access list, instead of foreign arrays.
+
--app-account strings Accounts that may be accessed from application logic
--app-arg stringArray Args to encode for application transactions (all will be encoded to a byte slice). For ints, use the form 'int:1234'. For raw bytes, use the form 'b64:A=='. For printable strings, use the form 'str:hello'. For addresses, use the form 'addr:XYZ...'.
- -i, --app-input string JSON file containing encoded arguments and inputs (mutually exclusive with app-arg, app-account, foreign-app, foreign-asset, and box)
+ -i, --app-input string JSON file containing encoded arguments and inputs (mutually exclusive with app-arg, app-account, foreign-app, foreign-asset, local, holding, and box)
--approval-prog string (Uncompiled) TEAL assembly program filename for approving/rejecting transactions
--approval-prog-raw string Compiled TEAL program filename for approving/rejecting transactions
- --box stringArray Boxes that may be accessed by this transaction. Use the same form as app-arg to name the box, preceded by an optional app-id and comma. No app-id indicates the box is accessible by the app being called.
+ --box stringArray A Box that may be accessed by this transaction. Use the same form as app-arg to name the box, preceded by an optional app-id and comma. Zero or omitted app-id indicates the box is accessible by the app being called.
--clear-prog string (Uncompiled) TEAL assembly program filename for updating application state when a user clears their local state
@@ -58,8 +60,14 @@ goal app interact [flags]
--foreign-asset strings Indexes of assets whose parameters are read in this transaction
+ --holding strings A Holding that may be accessed from application logic. An asset-id followed by a comma and an address
+
-k, --kmddir string Data directory for kmd
+ --local strings A Local State that may be accessed from application logic. An optional app-id and comma, followed by an address. Zero or omitted app-id indicates the local state for app being called.
+
+ --reject-version uint If set non-zero, reject for this app version or higher
+
-w, --wallet string Set the wallet to be used for the selected operation
```
diff --git a/docs/clis/goal/app/interact/query.md b/docs/clis/goal/app/interact/query.md
index 4a2e62e2c..2473f031f 100644
--- a/docs/clis/goal/app/interact/query.md
+++ b/docs/clis/goal/app/interact/query.md
@@ -38,17 +38,19 @@ goal app interact query [flags]
```
+ --access Put references into the transaction's access list, instead of foreign arrays.
+
--app-account strings Accounts that may be accessed from application logic
--app-arg stringArray Args to encode for application transactions (all will be encoded to a byte slice). For ints, use the form 'int:1234'. For raw bytes, use the form 'b64:A=='. For printable strings, use the form 'str:hello'. For addresses, use the form 'addr:XYZ...'.
- -i, --app-input string JSON file containing encoded arguments and inputs (mutually exclusive with app-arg, app-account, foreign-app, foreign-asset, and box)
+ -i, --app-input string JSON file containing encoded arguments and inputs (mutually exclusive with app-arg, app-account, foreign-app, foreign-asset, local, holding, and box)
--approval-prog string (Uncompiled) TEAL assembly program filename for approving/rejecting transactions
--approval-prog-raw string Compiled TEAL program filename for approving/rejecting transactions
- --box stringArray Boxes that may be accessed by this transaction. Use the same form as app-arg to name the box, preceded by an optional app-id and comma. No app-id indicates the box is accessible by the app being called.
+ --box stringArray A Box that may be accessed by this transaction. Use the same form as app-arg to name the box, preceded by an optional app-id and comma. Zero or omitted app-id indicates the box is accessible by the app being called.
--clear-prog string (Uncompiled) TEAL assembly program filename for updating application state when a user clears their local state
@@ -62,8 +64,14 @@ goal app interact query [flags]
--header string Application header
+ --holding strings A Holding that may be accessed from application logic. An asset-id followed by a comma and an address
+
-k, --kmddir string Data directory for kmd
+ --local strings A Local State that may be accessed from application logic. An optional app-id and comma, followed by an address. Zero or omitted app-id indicates the local state for app being called.
+
+ --reject-version uint If set non-zero, reject for this app version or higher
+
-w, --wallet string Set the wallet to be used for the selected operation
```
diff --git a/docs/clis/goal/app/method.md b/docs/clis/goal/app/method.md
index 75e2295f1..53efb79a8 100644
--- a/docs/clis/goal/app/method.md
+++ b/docs/clis/goal/app/method.md
@@ -92,17 +92,19 @@ goal app method [flags]
```
+ --access Put references into the transaction's access list, instead of foreign arrays.
+
--app-account strings Accounts that may be accessed from application logic
--app-arg stringArray Args to encode for application transactions (all will be encoded to a byte slice). For ints, use the form 'int:1234'. For raw bytes, use the form 'b64:A=='. For printable strings, use the form 'str:hello'. For addresses, use the form 'addr:XYZ...'.
- -i, --app-input string JSON file containing encoded arguments and inputs (mutually exclusive with app-arg, app-account, foreign-app, foreign-asset, and box)
+ -i, --app-input string JSON file containing encoded arguments and inputs (mutually exclusive with app-arg, app-account, foreign-app, foreign-asset, local, holding, and box)
--approval-prog string (Uncompiled) TEAL assembly program filename for approving/rejecting transactions
--approval-prog-raw string Compiled TEAL program filename for approving/rejecting transactions
- --box stringArray Boxes that may be accessed by this transaction. Use the same form as app-arg to name the box, preceded by an optional app-id and comma. No app-id indicates the box is accessible by the app being called.
+ --box stringArray A Box that may be accessed by this transaction. Use the same form as app-arg to name the box, preceded by an optional app-id and comma. Zero or omitted app-id indicates the box is accessible by the app being called.
--clear-prog string (Uncompiled) TEAL assembly program filename for updating application state when a user clears their local state
@@ -114,8 +116,14 @@ goal app method [flags]
--foreign-asset strings Indexes of assets whose parameters are read in this transaction
+ --holding strings A Holding that may be accessed from application logic. An asset-id followed by a comma and an address
+
-k, --kmddir string Data directory for kmd
+ --local strings A Local State that may be accessed from application logic. An optional app-id and comma, followed by an address. Zero or omitted app-id indicates the local state for app being called.
+
+ --reject-version uint If set non-zero, reject for this app version or higher
+
-w, --wallet string Set the wallet to be used for the selected operation
```
diff --git a/docs/clis/goal/app/optin.md b/docs/clis/goal/app/optin.md
index 68ce9e078..70f67da0d 100644
--- a/docs/clis/goal/app/optin.md
+++ b/docs/clis/goal/app/optin.md
@@ -74,17 +74,19 @@ goal app optin [flags]
```
+ --access Put references into the transaction's access list, instead of foreign arrays.
+
--app-account strings Accounts that may be accessed from application logic
--app-arg stringArray Args to encode for application transactions (all will be encoded to a byte slice). For ints, use the form 'int:1234'. For raw bytes, use the form 'b64:A=='. For printable strings, use the form 'str:hello'. For addresses, use the form 'addr:XYZ...'.
- -i, --app-input string JSON file containing encoded arguments and inputs (mutually exclusive with app-arg, app-account, foreign-app, foreign-asset, and box)
+ -i, --app-input string JSON file containing encoded arguments and inputs (mutually exclusive with app-arg, app-account, foreign-app, foreign-asset, local, holding, and box)
--approval-prog string (Uncompiled) TEAL assembly program filename for approving/rejecting transactions
--approval-prog-raw string Compiled TEAL program filename for approving/rejecting transactions
- --box stringArray Boxes that may be accessed by this transaction. Use the same form as app-arg to name the box, preceded by an optional app-id and comma. No app-id indicates the box is accessible by the app being called.
+ --box stringArray A Box that may be accessed by this transaction. Use the same form as app-arg to name the box, preceded by an optional app-id and comma. Zero or omitted app-id indicates the box is accessible by the app being called.
--clear-prog string (Uncompiled) TEAL assembly program filename for updating application state when a user clears their local state
@@ -96,8 +98,14 @@ goal app optin [flags]
--foreign-asset strings Indexes of assets whose parameters are read in this transaction
+ --holding strings A Holding that may be accessed from application logic. An asset-id followed by a comma and an address
+
-k, --kmddir string Data directory for kmd
+ --local strings A Local State that may be accessed from application logic. An optional app-id and comma, followed by an address. Zero or omitted app-id indicates the local state for app being called.
+
+ --reject-version uint If set non-zero, reject for this app version or higher
+
-w, --wallet string Set the wallet to be used for the selected operation
```
diff --git a/docs/clis/goal/app/read.md b/docs/clis/goal/app/read.md
index 0098fe7d2..a3bb3a4e9 100644
--- a/docs/clis/goal/app/read.md
+++ b/docs/clis/goal/app/read.md
@@ -40,8 +40,6 @@ goal app read [flags]
-h, --help help for read
- --local --from Fetch account-specific state for this application. --from address is required when using this flag
-
```
@@ -52,17 +50,19 @@ goal app read [flags]
```
+ --access Put references into the transaction's access list, instead of foreign arrays.
+
--app-account strings Accounts that may be accessed from application logic
--app-arg stringArray Args to encode for application transactions (all will be encoded to a byte slice). For ints, use the form 'int:1234'. For raw bytes, use the form 'b64:A=='. For printable strings, use the form 'str:hello'. For addresses, use the form 'addr:XYZ...'.
- -i, --app-input string JSON file containing encoded arguments and inputs (mutually exclusive with app-arg, app-account, foreign-app, foreign-asset, and box)
+ -i, --app-input string JSON file containing encoded arguments and inputs (mutually exclusive with app-arg, app-account, foreign-app, foreign-asset, local, holding, and box)
--approval-prog string (Uncompiled) TEAL assembly program filename for approving/rejecting transactions
--approval-prog-raw string Compiled TEAL program filename for approving/rejecting transactions
- --box stringArray Boxes that may be accessed by this transaction. Use the same form as app-arg to name the box, preceded by an optional app-id and comma. No app-id indicates the box is accessible by the app being called.
+ --box stringArray A Box that may be accessed by this transaction. Use the same form as app-arg to name the box, preceded by an optional app-id and comma. Zero or omitted app-id indicates the box is accessible by the app being called.
--clear-prog string (Uncompiled) TEAL assembly program filename for updating application state when a user clears their local state
@@ -74,8 +74,14 @@ goal app read [flags]
--foreign-asset strings Indexes of assets whose parameters are read in this transaction
+ --holding strings A Holding that may be accessed from application logic. An asset-id followed by a comma and an address
+
-k, --kmddir string Data directory for kmd
+ --local strings A Local State that may be accessed from application logic. An optional app-id and comma, followed by an address. Zero or omitted app-id indicates the local state for app being called.
+
+ --reject-version uint If set non-zero, reject for this app version or higher
+
-w, --wallet string Set the wallet to be used for the selected operation
```
diff --git a/docs/clis/goal/app/update.md b/docs/clis/goal/app/update.md
index 17ed500a7..08ccd1807 100644
--- a/docs/clis/goal/app/update.md
+++ b/docs/clis/goal/app/update.md
@@ -74,17 +74,19 @@ goal app update [flags]
```
+ --access Put references into the transaction's access list, instead of foreign arrays.
+
--app-account strings Accounts that may be accessed from application logic
--app-arg stringArray Args to encode for application transactions (all will be encoded to a byte slice). For ints, use the form 'int:1234'. For raw bytes, use the form 'b64:A=='. For printable strings, use the form 'str:hello'. For addresses, use the form 'addr:XYZ...'.
- -i, --app-input string JSON file containing encoded arguments and inputs (mutually exclusive with app-arg, app-account, foreign-app, foreign-asset, and box)
+ -i, --app-input string JSON file containing encoded arguments and inputs (mutually exclusive with app-arg, app-account, foreign-app, foreign-asset, local, holding, and box)
--approval-prog string (Uncompiled) TEAL assembly program filename for approving/rejecting transactions
--approval-prog-raw string Compiled TEAL program filename for approving/rejecting transactions
- --box stringArray Boxes that may be accessed by this transaction. Use the same form as app-arg to name the box, preceded by an optional app-id and comma. No app-id indicates the box is accessible by the app being called.
+ --box stringArray A Box that may be accessed by this transaction. Use the same form as app-arg to name the box, preceded by an optional app-id and comma. Zero or omitted app-id indicates the box is accessible by the app being called.
--clear-prog string (Uncompiled) TEAL assembly program filename for updating application state when a user clears their local state
@@ -96,8 +98,14 @@ goal app update [flags]
--foreign-asset strings Indexes of assets whose parameters are read in this transaction
+ --holding strings A Holding that may be accessed from application logic. An asset-id followed by a comma and an address
+
-k, --kmddir string Data directory for kmd
+ --local strings A Local State that may be accessed from application logic. An optional app-id and comma, followed by an address. Zero or omitted app-id indicates the local state for app being called.
+
+ --reject-version uint If set non-zero, reject for this app version or higher
+
-w, --wallet string Set the wallet to be used for the selected operation
```
diff --git a/docs/clis/goal/clerk/inspect.md b/docs/clis/goal/clerk/inspect.md
index f6c482776..6ac5b6d3a 100644
--- a/docs/clis/goal/clerk/inspect.md
+++ b/docs/clis/goal/clerk/inspect.md
@@ -32,6 +32,8 @@ goal clerk inspect [input file 1] [input file 2]... [flags]
-h, --help help for inspect
+ -t, --txid Display the TxID for each transaction
+
```
diff --git a/docs/clis/goal/clerk/multisig/signprogram.md b/docs/clis/goal/clerk/multisig/signprogram.md
index 95545de39..17a0998b1 100644
--- a/docs/clis/goal/clerk/multisig/signprogram.md
+++ b/docs/clis/goal/clerk/multisig/signprogram.md
@@ -18,7 +18,7 @@ Start a multisig LogicSig, or add a signature to an existing multisig, for a giv
```
-goal clerk multisig signprogram -t [transaction file] -a [address] [flags]
+goal clerk multisig signprogram -a [address] [flags]
```
@@ -34,6 +34,8 @@ goal clerk multisig signprogram -t [transaction file] -a [address] [flags]
-h, --help help for signprogram
+ --legacy-msig Use legacy multisig (if not specified, auto-detect consensus params from algod)
+
-L, --lsig string Partial LogicSig to add signature to
-o, --lsig-out string File to write partial Lsig to
diff --git a/docs/clis/goal/clerk/simulate.md b/docs/clis/goal/clerk/simulate.md
index 1dea4201e..a15d24e75 100644
--- a/docs/clis/goal/clerk/simulate.md
+++ b/docs/clis/goal/clerk/simulate.md
@@ -38,7 +38,7 @@ goal clerk simulate [flags]
--allow-unnamed-resources Allow access to unnamed resources during simulation
- --extra-opcode-budget uint Apply extra opcode budget for apps per transaction group during simulation
+ --extra-opcode-budget int Apply extra opcode budget for apps per transaction group during simulation
--full-trace Enable all options for simulation execution trace
diff --git a/docs/clis/goal/wallet/new.md b/docs/clis/goal/wallet/new.md
index 79adc82ec..da1165740 100644
--- a/docs/clis/goal/wallet/new.md
+++ b/docs/clis/goal/wallet/new.md
@@ -24,8 +24,12 @@ goal wallet new [wallet name] [flags]
-h, --help help for new
+ --no-display-seed Create a new wallet without displaying the seed phrase.
+
-r, --recover goal account new Recover the wallet from the backup mnemonic provided at wallet creation (NOT the mnemonic provided by goal account export or by algokey). Regenerate accounts in the wallet with goal account new
+ --unencrypted Create a new wallet without a password.
+
```
diff --git a/docs/clis/goal/wallet/rename.md b/docs/clis/goal/wallet/rename.md
new file mode 100644
index 000000000..e7168bd5a
--- /dev/null
+++ b/docs/clis/goal/wallet/rename.md
@@ -0,0 +1,52 @@
+title: goal wallet rename
+---
+## goal wallet rename
+
+
+
+Rename wallet
+
+
+
+```
+
+goal wallet rename [wallet name] [new wallet name] [flags]
+
+```
+
+
+
+### Options
+
+
+
+```
+
+ -h, --help help for rename
+
+```
+
+
+
+### Options inherited from parent commands
+
+
+
+```
+
+ -d, --datadir stringArray Data directory for the node
+
+ -k, --kmddir string Data directory for kmd
+
+```
+
+
+
+### SEE ALSO
+
+
+
+* [goal wallet](../../wallet/wallet/) - Manage wallets: encrypted collections of Algorand account keys
+
+
+
diff --git a/docs/clis/goal/wallet/wallet.md b/docs/clis/goal/wallet/wallet.md
index 2b3a12871..3f84fabc9 100644
--- a/docs/clis/goal/wallet/wallet.md
+++ b/docs/clis/goal/wallet/wallet.md
@@ -51,6 +51,7 @@ goal wallet [flags]
* [goal](../../../goal/goal/) - CLI for interacting with Algorand
* [goal wallet list](../list/) - List wallets managed by kmd
* [goal wallet new](../new/) - Create a new wallet
+* [goal wallet rename](../rename/) - Rename wallet
diff --git a/docs/get-details/algorand-networks/betanet.md b/docs/get-details/algorand-networks/betanet.md
index 09a0f1329..e7c75dad8 100644
--- a/docs/get-details/algorand-networks/betanet.md
+++ b/docs/get-details/algorand-networks/betanet.md
@@ -4,10 +4,10 @@ title: BetaNet 🔷
🔷 = BetaNet availability only
# Version
-`v4.0.2-beta`
+`v4.3.0-beta`
# Release Version
-https://github.com/algorand/go-algorand/releases/tag/v4.0.2-beta
+https://github.com/algorand/go-algorand/releases/tag/v4.3.0-beta
# Genesis ID
`betanet-v1.0`
diff --git a/docs/get-details/algorand-networks/mainnet.md b/docs/get-details/algorand-networks/mainnet.md
index 63331ffe4..ec7f9457e 100644
--- a/docs/get-details/algorand-networks/mainnet.md
+++ b/docs/get-details/algorand-networks/mainnet.md
@@ -1,10 +1,10 @@
title: MainNet
# Version
-`v4.0.2-stable`
+`v4.3.0-stable`
# Release Version
-https://github.com/algorand/go-algorand/releases/tag/v4.0.2-stable
+https://github.com/algorand/go-algorand/releases/tag/v4.3.0-stable
# Genesis ID
`mainnet-v1.0`
diff --git a/docs/get-details/algorand-networks/testnet.md b/docs/get-details/algorand-networks/testnet.md
index f2b7c84d2..9dd830d77 100644
--- a/docs/get-details/algorand-networks/testnet.md
+++ b/docs/get-details/algorand-networks/testnet.md
@@ -1,10 +1,10 @@
title: TestNet
# Version
-`v4.0.2-stable`
+`v4.3.0-stable`
# Release Version
-https://github.com/algorand/go-algorand/releases/tag/v4.0.2-stable
+https://github.com/algorand/go-algorand/releases/tag/v4.3.0-stable
# Genesis ID
`testnet-v1.0`
diff --git a/docs/get-details/dapps/avm/teal/opcodes/.pages b/docs/get-details/dapps/avm/teal/opcodes/.pages
index da3639137..93dda8bee 100644
--- a/docs/get-details/dapps/avm/teal/opcodes/.pages
+++ b/docs/get-details/dapps/avm/teal/opcodes/.pages
@@ -1,6 +1,7 @@
title: Opcodes
arrange:
- index.md
+ - v12.md
- v11.md
- v10.md
- v9.md
diff --git a/docs/get-details/dapps/avm/teal/opcodes/index.md b/docs/get-details/dapps/avm/teal/opcodes/index.md
index 8a229535e..f919a3641 100644
--- a/docs/get-details/dapps/avm/teal/opcodes/index.md
+++ b/docs/get-details/dapps/avm/teal/opcodes/index.md
@@ -4,7 +4,8 @@ This page lists the TEAL opcodes by version. For more information on TEAL, see t
Opcodes by version:
-- [v11 - Current version on Mainnet](v11.md)
+- [v12 - Current version on Mainnet](v12.md)
+- [v11](v11.md)
- [v10](v10.md)
- [v9](v9.md)
- [v8](v8.md)
diff --git a/docs/get-details/dapps/avm/teal/opcodes/v10.md b/docs/get-details/dapps/avm/teal/opcodes/v10.md
index 4d58e9093..e923b2784 100644
--- a/docs/get-details/dapps/avm/teal/opcodes/v10.md
+++ b/docs/get-details/dapps/avm/teal/opcodes/v10.md
@@ -426,7 +426,7 @@ Fields (see [transaction reference](https://developer.algorand.org/docs/referenc
| 60 | CreatedAssetID | uint64 | v5 | Asset ID allocated by the creation of an ASA (only with `itxn` in v5). Application mode only |
| 61 | CreatedApplicationID | uint64 | v5 | ApplicationID allocated by the creation of an application (only with `itxn` in v5). Application mode only |
| 62 | LastLog | []byte | v6 | The last message emitted. Empty bytes if none were emitted. Application mode only |
-| 63 | StateProofPK | []byte | v6 | 64 byte state proof public key |
+| 63 | StateProofPK | [64]byte | v6 | State proof public key |
| 65 | NumApprovalProgramPages | uint64 | v7 | Number of Approval Program pages |
| 67 | NumClearStateProgramPages | uint64 | v7 | Number of ClearState Program pages |
diff --git a/docs/get-details/dapps/avm/teal/opcodes/v11.md b/docs/get-details/dapps/avm/teal/opcodes/v11.md
index d4d6da800..c33b5da99 100644
--- a/docs/get-details/dapps/avm/teal/opcodes/v11.md
+++ b/docs/get-details/dapps/avm/teal/opcodes/v11.md
@@ -426,7 +426,7 @@ Fields (see [transaction reference](https://developer.algorand.org/docs/referenc
| 60 | CreatedAssetID | uint64 | v5 | Asset ID allocated by the creation of an ASA (only with `itxn` in v5). Application mode only |
| 61 | CreatedApplicationID | uint64 | v5 | ApplicationID allocated by the creation of an application (only with `itxn` in v5). Application mode only |
| 62 | LastLog | []byte | v6 | The last message emitted. Empty bytes if none were emitted. Application mode only |
-| 63 | StateProofPK | []byte | v6 | 64 byte state proof public key |
+| 63 | StateProofPK | [64]byte | v6 | State proof public key |
| 65 | NumApprovalProgramPages | uint64 | v7 | Number of Approval Program pages |
| 67 | NumClearStateProgramPages | uint64 | v7 | Number of ClearState Program pages |
diff --git a/docs/get-details/dapps/avm/teal/opcodes/v12.md b/docs/get-details/dapps/avm/teal/opcodes/v12.md
new file mode 100644
index 000000000..e57dd49dc
--- /dev/null
+++ b/docs/get-details/dapps/avm/teal/opcodes/v12.md
@@ -0,0 +1,1824 @@
+title: v12 Opcodes
+
+Ops have a 'cost' of 1 unless otherwise specified.
+
+
+## err
+
+- Bytecode: 0x00
+- Stack: ... → _exits_
+- Fail immediately.
+
+## sha256
+
+- Bytecode: 0x01
+- Stack: ..., A: []byte → ..., [32]byte
+- SHA256 hash of value A, yields [32]byte
+- **Cost**: 35
+
+## keccak256
+
+- Bytecode: 0x02
+- Stack: ..., A: []byte → ..., [32]byte
+- Keccak256 hash of value A, yields [32]byte
+- **Cost**: 130
+
+## sha512_256
+
+- Bytecode: 0x03
+- Stack: ..., A: []byte → ..., [32]byte
+- SHA512_256 hash of value A, yields [32]byte
+- **Cost**: 45
+
+## ed25519verify
+
+- Bytecode: 0x04
+- Stack: ..., A: []byte, B: [64]byte, C: [32]byte → ..., bool
+- for (data A, signature B, pubkey C) verify the signature of ("ProgData" || program_hash || data) against the pubkey => {0 or 1}
+- **Cost**: 1900
+
+The 32 byte public key is the last element on the stack, preceded by the 64 byte signature at the second-to-last element on the stack, preceded by the data which was signed at the third-to-last element on the stack.
+
+## ecdsa_verify
+
+- Syntax: `ecdsa_verify V` where V: [ECDSA](#field-group-ecdsa)
+- Bytecode: 0x05 {uint8}
+- Stack: ..., A: [32]byte, B: [32]byte, C: [32]byte, D: [32]byte, E: [32]byte → ..., bool
+- for (data A, signature B, C and pubkey D, E) verify the signature of the data against the pubkey => {0 or 1}
+- **Cost**: Secp256k1=1700; Secp256r1=2500
+- Availability: v5
+
+### ECDSA
+
+Curves
+
+| Index | Name | In | Notes |
+| - | ------ | - | --------- |
+| 0 | Secp256k1 | | secp256k1 curve, used in Bitcoin |
+| 1 | Secp256r1 | v7 | secp256r1 curve, NIST standard |
+
+
+The 32 byte Y-component of a public key is the last element on the stack, preceded by X-component of a pubkey, preceded by S and R components of a signature, preceded by the data that is fifth element on the stack. All values are big-endian encoded. The signed data must be 32 bytes long, and signatures in lower-S form are only accepted.
+
+## ecdsa_pk_decompress
+
+- Syntax: `ecdsa_pk_decompress V` where V: [ECDSA](#field-group-ecdsa)
+- Bytecode: 0x06 {uint8}
+- Stack: ..., A: [33]byte → ..., X: [32]byte, Y: [32]byte
+- decompress pubkey A into components X, Y
+- **Cost**: Secp256k1=650; Secp256r1=2400
+- Availability: v5
+
+The 33 byte public key in a compressed form to be decompressed into X and Y (top) components. All values are big-endian encoded.
+
+## ecdsa_pk_recover
+
+- Syntax: `ecdsa_pk_recover V` where V: [ECDSA](#field-group-ecdsa)
+- Bytecode: 0x07 {uint8}
+- Stack: ..., A: [32]byte, B: uint64, C: [32]byte, D: [32]byte → ..., X: [32]byte, Y: [32]byte
+- for (data A, recovery id B, signature C, D) recover a public key
+- **Cost**: 2000
+- Availability: v5
+
+S (top) and R elements of a signature, recovery id and data (bottom) are expected on the stack and used to deriver a public key. All values are big-endian encoded. The signed data must be 32 bytes long.
+
+## +
+
+- Bytecode: 0x08
+- Stack: ..., A: uint64, B: uint64 → ..., uint64
+- A plus B. Fail on overflow.
+
+Overflow is an error condition which halts execution and fails the transaction. Full precision is available from `addw`.
+
+## -
+
+- Bytecode: 0x09
+- Stack: ..., A: uint64, B: uint64 → ..., uint64
+- A minus B. Fail if B > A.
+
+## /
+
+- Bytecode: 0x0a
+- Stack: ..., A: uint64, B: uint64 → ..., uint64
+- A divided by B (truncated division). Fail if B == 0.
+
+`divmodw` is available to divide the two-element values produced by `mulw` and `addw`.
+
+## *
+
+- Bytecode: 0x0b
+- Stack: ..., A: uint64, B: uint64 → ..., uint64
+- A times B. Fail on overflow.
+
+Overflow is an error condition which halts execution and fails the transaction. Full precision is available from `mulw`.
+
+## <
+
+- Bytecode: 0x0c
+- Stack: ..., A: uint64, B: uint64 → ..., bool
+- A less than B => {0 or 1}
+
+## >
+
+- Bytecode: 0x0d
+- Stack: ..., A: uint64, B: uint64 → ..., bool
+- A greater than B => {0 or 1}
+
+## <=
+
+- Bytecode: 0x0e
+- Stack: ..., A: uint64, B: uint64 → ..., bool
+- A less than or equal to B => {0 or 1}
+
+## >=
+
+- Bytecode: 0x0f
+- Stack: ..., A: uint64, B: uint64 → ..., bool
+- A greater than or equal to B => {0 or 1}
+
+## &&
+
+- Bytecode: 0x10
+- Stack: ..., A: uint64, B: uint64 → ..., bool
+- A is not zero and B is not zero => {0 or 1}
+
+## ||
+
+- Bytecode: 0x11
+- Stack: ..., A: uint64, B: uint64 → ..., bool
+- A is not zero or B is not zero => {0 or 1}
+
+## ==
+
+- Bytecode: 0x12
+- Stack: ..., A, B → ..., bool
+- A is equal to B => {0 or 1}
+
+## !=
+
+- Bytecode: 0x13
+- Stack: ..., A, B → ..., bool
+- A is not equal to B => {0 or 1}
+
+## !
+
+- Bytecode: 0x14
+- Stack: ..., A: uint64 → ..., uint64
+- A == 0 yields 1; else 0
+
+## len
+
+- Bytecode: 0x15
+- Stack: ..., A: []byte → ..., uint64
+- yields length of byte value A
+
+## itob
+
+- Bytecode: 0x16
+- Stack: ..., A: uint64 → ..., [8]byte
+- converts uint64 A to big-endian byte array, always of length 8
+
+## btoi
+
+- Bytecode: 0x17
+- Stack: ..., A: []byte → ..., uint64
+- converts big-endian byte array A to uint64. Fails if len(A) > 8. Padded by leading 0s if len(A) < 8.
+
+`btoi` fails if the input is longer than 8 bytes.
+
+## %
+
+- Bytecode: 0x18
+- Stack: ..., A: uint64, B: uint64 → ..., uint64
+- A modulo B. Fail if B == 0.
+
+## |
+
+- Bytecode: 0x19
+- Stack: ..., A: uint64, B: uint64 → ..., uint64
+- A bitwise-or B
+
+## &
+
+- Bytecode: 0x1a
+- Stack: ..., A: uint64, B: uint64 → ..., uint64
+- A bitwise-and B
+
+## ^
+
+- Bytecode: 0x1b
+- Stack: ..., A: uint64, B: uint64 → ..., uint64
+- A bitwise-xor B
+
+## ~
+
+- Bytecode: 0x1c
+- Stack: ..., A: uint64 → ..., uint64
+- bitwise invert value A
+
+## mulw
+
+- Bytecode: 0x1d
+- Stack: ..., A: uint64, B: uint64 → ..., X: uint64, Y: uint64
+- A times B as a 128-bit result in two uint64s. X is the high 64 bits, Y is the low
+
+## addw
+
+- Bytecode: 0x1e
+- Stack: ..., A: uint64, B: uint64 → ..., X: uint64, Y: uint64
+- A plus B as a 128-bit result. X is the carry-bit, Y is the low-order 64 bits.
+- Availability: v2
+
+## divmodw
+
+- Bytecode: 0x1f
+- Stack: ..., A: uint64, B: uint64, C: uint64, D: uint64 → ..., W: uint64, X: uint64, Y: uint64, Z: uint64
+- W,X = (A,B / C,D); Y,Z = (A,B modulo C,D)
+- **Cost**: 20
+- Availability: v4
+
+The notation J,K indicates that two uint64 values J and K are interpreted as a uint128 value, with J as the high uint64 and K the low.
+
+## intcblock
+
+- Syntax: `intcblock UINT ...` where UINT ...: a block of int constant values
+- Bytecode: 0x20 {varuint count, [varuint ...]}
+- Stack: ... → ...
+- prepare block of uint64 constants for use by intc
+
+`intcblock` loads following program bytes into an array of integer constants in the evaluator. These integer constants can be referred to by `intc` and `intc_*` which will push the value onto the stack. Subsequent calls to `intcblock` reset and replace the integer constants available to the script.
+
+## intc
+
+- Syntax: `intc I` where I: an index in the intcblock
+- Bytecode: 0x21 {uint8}
+- Stack: ... → ..., uint64
+- Ith constant from intcblock
+
+## intc_0
+
+- Bytecode: 0x22
+- Stack: ... → ..., uint64
+- constant 0 from intcblock
+
+## intc_1
+
+- Bytecode: 0x23
+- Stack: ... → ..., uint64
+- constant 1 from intcblock
+
+## intc_2
+
+- Bytecode: 0x24
+- Stack: ... → ..., uint64
+- constant 2 from intcblock
+
+## intc_3
+
+- Bytecode: 0x25
+- Stack: ... → ..., uint64
+- constant 3 from intcblock
+
+## bytecblock
+
+- Syntax: `bytecblock BYTES ...` where BYTES ...: a block of byte constant values
+- Bytecode: 0x26 {varuint count, [varuint length, bytes ...]}
+- Stack: ... → ...
+- prepare block of byte-array constants for use by bytec
+
+`bytecblock` loads the following program bytes into an array of byte-array constants in the evaluator. These constants can be referred to by `bytec` and `bytec_*` which will push the value onto the stack. Subsequent calls to `bytecblock` reset and replace the bytes constants available to the script.
+
+## bytec
+
+- Syntax: `bytec I` where I: an index in the bytecblock
+- Bytecode: 0x27 {uint8}
+- Stack: ... → ..., []byte
+- Ith constant from bytecblock
+
+## bytec_0
+
+- Bytecode: 0x28
+- Stack: ... → ..., []byte
+- constant 0 from bytecblock
+
+## bytec_1
+
+- Bytecode: 0x29
+- Stack: ... → ..., []byte
+- constant 1 from bytecblock
+
+## bytec_2
+
+- Bytecode: 0x2a
+- Stack: ... → ..., []byte
+- constant 2 from bytecblock
+
+## bytec_3
+
+- Bytecode: 0x2b
+- Stack: ... → ..., []byte
+- constant 3 from bytecblock
+
+## arg
+
+- Syntax: `arg N` where N: an arg index
+- Bytecode: 0x2c {uint8}
+- Stack: ... → ..., []byte
+- Nth LogicSig argument
+- Mode: Signature
+
+## arg_0
+
+- Bytecode: 0x2d
+- Stack: ... → ..., []byte
+- LogicSig argument 0
+- Mode: Signature
+
+## arg_1
+
+- Bytecode: 0x2e
+- Stack: ... → ..., []byte
+- LogicSig argument 1
+- Mode: Signature
+
+## arg_2
+
+- Bytecode: 0x2f
+- Stack: ... → ..., []byte
+- LogicSig argument 2
+- Mode: Signature
+
+## arg_3
+
+- Bytecode: 0x30
+- Stack: ... → ..., []byte
+- LogicSig argument 3
+- Mode: Signature
+
+## txn
+
+- Syntax: `txn F` where F: [txn](#field-group-txn)
+- Bytecode: 0x31 {uint8}
+- Stack: ... → ..., any
+- field F of current transaction
+
+### txn
+
+Fields (see [transaction reference](https://developer.algorand.org/docs/reference/transactions/))
+
+| Index | Name | Type | In | Notes |
+| - | ------ | -- | - | --------- |
+| 0 | Sender | address | | 32 byte address |
+| 1 | Fee | uint64 | | microalgos |
+| 2 | FirstValid | uint64 | | round number |
+| 3 | FirstValidTime | uint64 | v7 | UNIX timestamp of block before txn.FirstValid. Fails if negative |
+| 4 | LastValid | uint64 | | round number |
+| 5 | Note | []byte | | Any data up to 1024 bytes |
+| 6 | Lease | [32]byte | | 32 byte lease value |
+| 7 | Receiver | address | | 32 byte address |
+| 8 | Amount | uint64 | | microalgos |
+| 9 | CloseRemainderTo | address | | 32 byte address |
+| 10 | VotePK | [32]byte | | 32 byte address |
+| 11 | SelectionPK | [32]byte | | 32 byte address |
+| 12 | VoteFirst | uint64 | | The first round that the participation key is valid. |
+| 13 | VoteLast | uint64 | | The last round that the participation key is valid. |
+| 14 | VoteKeyDilution | uint64 | | Dilution for the 2-level participation key |
+| 15 | Type | []byte | | Transaction type as bytes |
+| 16 | TypeEnum | uint64 | | Transaction type as integer |
+| 17 | XferAsset | uint64 | | Asset ID |
+| 18 | AssetAmount | uint64 | | value in Asset's units |
+| 19 | AssetSender | address | | 32 byte address. Source of assets if Sender is the Asset's Clawback address. |
+| 20 | AssetReceiver | address | | 32 byte address |
+| 21 | AssetCloseTo | address | | 32 byte address |
+| 22 | GroupIndex | uint64 | | Position of this transaction within an atomic transaction group. A stand-alone transaction is implicitly element 0 in a group of 1 |
+| 23 | TxID | [32]byte | | The computed ID for this transaction. 32 bytes. |
+| 24 | ApplicationID | uint64 | v2 | ApplicationID from ApplicationCall transaction |
+| 25 | OnCompletion | uint64 | v2 | ApplicationCall transaction on completion action |
+| 27 | NumAppArgs | uint64 | v2 | Number of ApplicationArgs |
+| 29 | NumAccounts | uint64 | v2 | Number of Accounts |
+| 30 | ApprovalProgram | []byte | v2 | Approval program |
+| 31 | ClearStateProgram | []byte | v2 | Clear state program |
+| 32 | RekeyTo | address | v2 | 32 byte Sender's new AuthAddr |
+| 33 | ConfigAsset | uint64 | v2 | Asset ID in asset config transaction |
+| 34 | ConfigAssetTotal | uint64 | v2 | Total number of units of this asset created |
+| 35 | ConfigAssetDecimals | uint64 | v2 | Number of digits to display after the decimal place when displaying the asset |
+| 36 | ConfigAssetDefaultFrozen | bool | v2 | Whether the asset's slots are frozen by default or not, 0 or 1 |
+| 37 | ConfigAssetUnitName | []byte | v2 | Unit name of the asset |
+| 38 | ConfigAssetName | []byte | v2 | The asset name |
+| 39 | ConfigAssetURL | []byte | v2 | URL |
+| 40 | ConfigAssetMetadataHash | [32]byte | v2 | 32 byte commitment to unspecified asset metadata |
+| 41 | ConfigAssetManager | address | v2 | 32 byte address |
+| 42 | ConfigAssetReserve | address | v2 | 32 byte address |
+| 43 | ConfigAssetFreeze | address | v2 | 32 byte address |
+| 44 | ConfigAssetClawback | address | v2 | 32 byte address |
+| 45 | FreezeAsset | uint64 | v2 | Asset ID being frozen or un-frozen |
+| 46 | FreezeAssetAccount | address | v2 | 32 byte address of the account whose asset slot is being frozen or un-frozen |
+| 47 | FreezeAssetFrozen | bool | v2 | The new frozen value, 0 or 1 |
+| 49 | NumAssets | uint64 | v3 | Number of Assets |
+| 51 | NumApplications | uint64 | v3 | Number of Applications |
+| 52 | GlobalNumUint | uint64 | v3 | Number of global state integers in ApplicationCall |
+| 53 | GlobalNumByteSlice | uint64 | v3 | Number of global state byteslices in ApplicationCall |
+| 54 | LocalNumUint | uint64 | v3 | Number of local state integers in ApplicationCall |
+| 55 | LocalNumByteSlice | uint64 | v3 | Number of local state byteslices in ApplicationCall |
+| 56 | ExtraProgramPages | uint64 | v4 | Number of additional pages for each of the application's approval and clear state programs. An ExtraProgramPages of 1 means 2048 more total bytes, or 1024 for each program. |
+| 57 | Nonparticipation | bool | v5 | Marks an account nonparticipating for rewards |
+| 59 | NumLogs | uint64 | v5 | Number of Logs (only with `itxn` in v5). Application mode only |
+| 60 | CreatedAssetID | uint64 | v5 | Asset ID allocated by the creation of an ASA (only with `itxn` in v5). Application mode only |
+| 61 | CreatedApplicationID | uint64 | v5 | ApplicationID allocated by the creation of an application (only with `itxn` in v5). Application mode only |
+| 62 | LastLog | []byte | v6 | The last message emitted. Empty bytes if none were emitted. Application mode only |
+| 63 | StateProofPK | [64]byte | v6 | State proof public key |
+| 65 | NumApprovalProgramPages | uint64 | v7 | Number of Approval Program pages |
+| 67 | NumClearStateProgramPages | uint64 | v7 | Number of ClearState Program pages |
+| 68 | RejectVersion | uint64 | v12 | Application version for which the txn must reject |
+
+
+## global
+
+- Syntax: `global F` where F: [global](#field-group-global)
+- Bytecode: 0x32 {uint8}
+- Stack: ... → ..., any
+- global field F
+
+### global
+
+Fields
+
+| Index | Name | Type | In | Notes |
+| - | ------ | -- | - | --------- |
+| 0 | MinTxnFee | uint64 | | microalgos |
+| 1 | MinBalance | uint64 | | microalgos |
+| 2 | MaxTxnLife | uint64 | | rounds |
+| 3 | ZeroAddress | address | | 32 byte address of all zero bytes |
+| 4 | GroupSize | uint64 | | Number of transactions in this atomic transaction group. At least 1 |
+| 5 | LogicSigVersion | uint64 | v2 | Maximum supported version |
+| 6 | Round | uint64 | v2 | Current round number. Application mode only. |
+| 7 | LatestTimestamp | uint64 | v2 | Last confirmed block UNIX timestamp. Fails if negative. Application mode only. |
+| 8 | CurrentApplicationID | uint64 | v2 | ID of current application executing. Application mode only. |
+| 9 | CreatorAddress | address | v3 | Address of the creator of the current application. Application mode only. |
+| 10 | CurrentApplicationAddress | address | v5 | Address that the current application controls. Application mode only. |
+| 11 | GroupID | [32]byte | v5 | ID of the transaction group. 32 zero bytes if the transaction is not part of a group. |
+| 12 | OpcodeBudget | uint64 | v6 | The remaining cost that can be spent by opcodes in this program. |
+| 13 | CallerApplicationID | uint64 | v6 | The application ID of the application that called this application. 0 if this application is at the top-level. Application mode only. |
+| 14 | CallerApplicationAddress | address | v6 | The application address of the application that called this application. ZeroAddress if this application is at the top-level. Application mode only. |
+| 15 | AssetCreateMinBalance | uint64 | v10 | The additional minimum balance required to create (and opt-in to) an asset. |
+| 16 | AssetOptInMinBalance | uint64 | v10 | The additional minimum balance required to opt-in to an asset. |
+| 17 | GenesisHash | [32]byte | v10 | The Genesis Hash for the network. |
+| 18 | PayoutsEnabled | bool | v11 | Whether block proposal payouts are enabled. |
+| 19 | PayoutsGoOnlineFee | uint64 | v11 | The fee required in a keyreg transaction to make an account incentive eligible. |
+| 20 | PayoutsPercent | uint64 | v11 | The percentage of transaction fees in a block that can be paid to the block proposer. |
+| 21 | PayoutsMinBalance | uint64 | v11 | The minimum balance an account must have in the agreement round to receive block payouts in the proposal round. |
+| 22 | PayoutsMaxBalance | uint64 | v11 | The maximum balance an account can have in the agreement round to receive block payouts in the proposal round. |
+
+
+## gtxn
+
+- Syntax: `gtxn T F` where T: transaction group index, F: [txn](#field-group-txn)
+- Bytecode: 0x33 {uint8}, {uint8}
+- Stack: ... → ..., any
+- field F of the Tth transaction in the current group
+
+for notes on transaction fields available, see `txn`. If this transaction is _i_ in the group, `gtxn i field` is equivalent to `txn field`.
+
+## load
+
+- Syntax: `load I` where I: position in scratch space to load from
+- Bytecode: 0x34 {uint8}
+- Stack: ... → ..., any
+- Ith scratch space value. All scratch spaces are 0 at program start.
+
+## store
+
+- Syntax: `store I` where I: position in scratch space to store to
+- Bytecode: 0x35 {uint8}
+- Stack: ..., A → ...
+- store A to the Ith scratch space
+
+## txna
+
+- Syntax: `txna F I` where F: [txna](#field-group-txna), I: transaction field array index
+- Bytecode: 0x36 {uint8}, {uint8}
+- Stack: ... → ..., any
+- Ith value of the array field F of the current transaction
`txna` can be called using `txn` with 2 immediates.
+- Availability: v2
+
+### txna
+
+Fields (see [transaction reference](https://developer.algorand.org/docs/reference/transactions/))
+
+| Index | Name | Type | In | Notes |
+| - | ------ | -- | - | --------- |
+| 26 | ApplicationArgs | []byte | v2 | Arguments passed to the application in the ApplicationCall transaction |
+| 28 | Accounts | address | v2 | Accounts listed in the ApplicationCall transaction |
+| 48 | Assets | uint64 | v3 | Foreign Assets listed in the ApplicationCall transaction |
+| 50 | Applications | uint64 | v3 | Foreign Apps listed in the ApplicationCall transaction |
+| 58 | Logs | []byte | v5 | Log messages emitted by an application call (only with `itxn` in v5). Application mode only |
+| 64 | ApprovalProgramPages | []byte | v7 | Approval Program as an array of pages |
+| 66 | ClearStateProgramPages | []byte | v7 | ClearState Program as an array of pages |
+
+
+## gtxna
+
+- Syntax: `gtxna T F I` where T: transaction group index, F: [txna](#field-group-txna), I: transaction field array index
+- Bytecode: 0x37 {uint8}, {uint8}, {uint8}
+- Stack: ... → ..., any
+- Ith value of the array field F from the Tth transaction in the current group
`gtxna` can be called using `gtxn` with 3 immediates.
+- Availability: v2
+
+## gtxns
+
+- Syntax: `gtxns F` where F: [txn](#field-group-txn)
+- Bytecode: 0x38 {uint8}
+- Stack: ..., A: uint64 → ..., any
+- field F of the Ath transaction in the current group
+- Availability: v3
+
+for notes on transaction fields available, see `txn`. If top of stack is _i_, `gtxns field` is equivalent to `gtxn _i_ field`. gtxns exists so that _i_ can be calculated, often based on the index of the current transaction.
+
+## gtxnsa
+
+- Syntax: `gtxnsa F I` where F: [txna](#field-group-txna), I: transaction field array index
+- Bytecode: 0x39 {uint8}, {uint8}
+- Stack: ..., A: uint64 → ..., any
+- Ith value of the array field F from the Ath transaction in the current group
`gtxnsa` can be called using `gtxns` with 2 immediates.
+- Availability: v3
+
+## gload
+
+- Syntax: `gload T I` where T: transaction group index, I: position in scratch space to load from
+- Bytecode: 0x3a {uint8}, {uint8}
+- Stack: ... → ..., any
+- Ith scratch space value of the Tth transaction in the current group
+- Availability: v4
+- Mode: Application
+
+`gload` fails unless the requested transaction is an ApplicationCall and T < GroupIndex.
+
+## gloads
+
+- Syntax: `gloads I` where I: position in scratch space to load from
+- Bytecode: 0x3b {uint8}
+- Stack: ..., A: uint64 → ..., any
+- Ith scratch space value of the Ath transaction in the current group
+- Availability: v4
+- Mode: Application
+
+`gloads` fails unless the requested transaction is an ApplicationCall and A < GroupIndex.
+
+## gaid
+
+- Syntax: `gaid T` where T: transaction group index
+- Bytecode: 0x3c {uint8}
+- Stack: ... → ..., uint64
+- ID of the asset or application created in the Tth transaction of the current group
+- Availability: v4
+- Mode: Application
+
+`gaid` fails unless the requested transaction created an asset or application and T < GroupIndex.
+
+## gaids
+
+- Bytecode: 0x3d
+- Stack: ..., A: uint64 → ..., uint64
+- ID of the asset or application created in the Ath transaction of the current group
+- Availability: v4
+- Mode: Application
+
+`gaids` fails unless the requested transaction created an asset or application and A < GroupIndex.
+
+## loads
+
+- Bytecode: 0x3e
+- Stack: ..., A: uint64 → ..., any
+- Ath scratch space value. All scratch spaces are 0 at program start.
+- Availability: v5
+
+## stores
+
+- Bytecode: 0x3f
+- Stack: ..., A: uint64, B → ...
+- store B to the Ath scratch space
+- Availability: v5
+
+## bnz
+
+- Syntax: `bnz TARGET` where TARGET: branch offset
+- Bytecode: 0x40 {int16 (big-endian)}
+- Stack: ..., A: uint64 → ...
+- branch to TARGET if value A is not zero
+
+The `bnz` instruction opcode 0x40 is followed by two immediate data bytes which are a high byte first and low byte second which together form a 16 bit offset which the instruction may branch to. For a bnz instruction at `pc`, if the last element of the stack is not zero then branch to instruction at `pc + 3 + N`, else proceed to next instruction at `pc + 3`. Branch targets must be aligned instructions. (e.g. Branching to the second byte of a 2 byte op will be rejected.) Starting at v4, the offset is treated as a signed 16 bit integer allowing for backward branches and looping. In prior version (v1 to v3), branch offsets are limited to forward branches only, 0-0x7fff.
+
+At v2 it became allowed to branch to the end of the program exactly after the last instruction: bnz to byte N (with 0-indexing) was illegal for a TEAL program with N bytes before v2, and is legal after it. This change eliminates the need for a last instruction of no-op as a branch target at the end. (Branching beyond the end--in other words, to a byte larger than N--is still illegal and will cause the program to fail.)
+
+## bz
+
+- Syntax: `bz TARGET` where TARGET: branch offset
+- Bytecode: 0x41 {int16 (big-endian)}
+- Stack: ..., A: uint64 → ...
+- branch to TARGET if value A is zero
+- Availability: v2
+
+See `bnz` for details on how branches work. `bz` inverts the behavior of `bnz`.
+
+## b
+
+- Syntax: `b TARGET` where TARGET: branch offset
+- Bytecode: 0x42 {int16 (big-endian)}
+- Stack: ... → ...
+- branch unconditionally to TARGET
+- Availability: v2
+
+See `bnz` for details on how branches work. `b` always jumps to the offset.
+
+## return
+
+- Bytecode: 0x43
+- Stack: ..., A: uint64 → _exits_
+- use A as success value; end
+- Availability: v2
+
+## assert
+
+- Bytecode: 0x44
+- Stack: ..., A: uint64 → ...
+- immediately fail unless A is a non-zero number
+- Availability: v3
+
+## bury
+
+- Syntax: `bury N` where N: depth
+- Bytecode: 0x45 {uint8}
+- Stack: ..., A → ...
+- replace the Nth value from the top of the stack with A. bury 0 fails.
+- Availability: v8
+
+## popn
+
+- Syntax: `popn N` where N: stack depth
+- Bytecode: 0x46 {uint8}
+- Stack: ..., [N items] → ...
+- remove N values from the top of the stack
+- Availability: v8
+
+## dupn
+
+- Syntax: `dupn N` where N: copy count
+- Bytecode: 0x47 {uint8}
+- Stack: ..., A → ..., A, [N copies of A]
+- duplicate A, N times
+- Availability: v8
+
+## pop
+
+- Bytecode: 0x48
+- Stack: ..., A → ...
+- discard A
+
+## dup
+
+- Bytecode: 0x49
+- Stack: ..., A → ..., A, A
+- duplicate A
+
+## dup2
+
+- Bytecode: 0x4a
+- Stack: ..., A, B → ..., A, B, A, B
+- duplicate A and B
+- Availability: v2
+
+## dig
+
+- Syntax: `dig N` where N: depth
+- Bytecode: 0x4b {uint8}
+- Stack: ..., A, [N items] → ..., A, [N items], A
+- Nth value from the top of the stack. dig 0 is equivalent to dup
+- Availability: v3
+
+## swap
+
+- Bytecode: 0x4c
+- Stack: ..., A, B → ..., B, A
+- swaps A and B on stack
+- Availability: v3
+
+## select
+
+- Bytecode: 0x4d
+- Stack: ..., A, B, C: uint64 → ..., A or B
+- selects one of two values based on top-of-stack: B if C != 0, else A
+- Availability: v3
+
+## cover
+
+- Syntax: `cover N` where N: depth
+- Bytecode: 0x4e {uint8}
+- Stack: ..., [N items], A → ..., A, [N items]
+- remove top of stack, and place it deeper in the stack such that N elements are above it. Fails if stack depth <= N.
+- Availability: v5
+
+## uncover
+
+- Syntax: `uncover N` where N: depth
+- Bytecode: 0x4f {uint8}
+- Stack: ..., A, [N items] → ..., [N items], A
+- remove the value at depth N in the stack and shift above items down so the Nth deep value is on top of the stack. Fails if stack depth <= N.
+- Availability: v5
+
+## concat
+
+- Bytecode: 0x50
+- Stack: ..., A: []byte, B: []byte → ..., []byte
+- join A and B
+- Availability: v2
+
+`concat` fails if the result would be greater than 4096 bytes.
+
+## substring
+
+- Syntax: `substring S E` where S: start position, E: end position
+- Bytecode: 0x51 {uint8}, {uint8}
+- Stack: ..., A: []byte → ..., []byte
+- A range of bytes from A starting at S up to but not including E. If E < S, or either is larger than the array length, the program fails
+- Availability: v2
+
+## substring3
+
+- Bytecode: 0x52
+- Stack: ..., A: []byte, B: uint64, C: uint64 → ..., []byte
+- A range of bytes from A starting at B up to but not including C. If C < B, or either is larger than the array length, the program fails
+- Availability: v2
+
+## getbit
+
+- Bytecode: 0x53
+- Stack: ..., A, B: uint64 → ..., uint64
+- Bth bit of (byte-array or integer) A. If B is greater than or equal to the bit length of the value (8*byte length), the program fails
+- Availability: v3
+
+see explanation of bit ordering in setbit
+
+## setbit
+
+- Bytecode: 0x54
+- Stack: ..., A, B: uint64, C: uint64 → ..., any
+- Copy of (byte-array or integer) A, with the Bth bit set to (0 or 1) C. If B is greater than or equal to the bit length of the value (8*byte length), the program fails
+- Availability: v3
+
+When A is a uint64, index 0 is the least significant bit. Setting bit 3 to 1 on the integer 0 yields 8, or 2^3. When A is a byte array, index 0 is the leftmost bit of the leftmost byte. Setting bits 0 through 11 to 1 in a 4-byte-array of 0s yields the byte array 0xfff00000. Setting bit 3 to 1 on the 1-byte-array 0x00 yields the byte array 0x10.
+
+## getbyte
+
+- Bytecode: 0x55
+- Stack: ..., A: []byte, B: uint64 → ..., uint64
+- Bth byte of A, as an integer. If B is greater than or equal to the array length, the program fails
+- Availability: v3
+
+## setbyte
+
+- Bytecode: 0x56
+- Stack: ..., A: []byte, B: uint64, C: uint64 → ..., []byte
+- Copy of A with the Bth byte set to small integer (between 0..255) C. If B is greater than or equal to the array length, the program fails
+- Availability: v3
+
+## extract
+
+- Syntax: `extract S L` where S: start position, L: length
+- Bytecode: 0x57 {uint8}, {uint8}
+- Stack: ..., A: []byte → ..., []byte
+- A range of bytes from A starting at S up to but not including S+L. If L is 0, then extract to the end of the string. If S or S+L is larger than the array length, the program fails
+- Availability: v5
+
+## extract3
+
+- Bytecode: 0x58
+- Stack: ..., A: []byte, B: uint64, C: uint64 → ..., []byte
+- A range of bytes from A starting at B up to but not including B+C. If B+C is larger than the array length, the program fails
`extract3` can be called using `extract` with no immediates.
+- Availability: v5
+
+## extract_uint16
+
+- Bytecode: 0x59
+- Stack: ..., A: []byte, B: uint64 → ..., uint64
+- A uint16 formed from a range of big-endian bytes from A starting at B up to but not including B+2. If B+2 is larger than the array length, the program fails
+- Availability: v5
+
+## extract_uint32
+
+- Bytecode: 0x5a
+- Stack: ..., A: []byte, B: uint64 → ..., uint64
+- A uint32 formed from a range of big-endian bytes from A starting at B up to but not including B+4. If B+4 is larger than the array length, the program fails
+- Availability: v5
+
+## extract_uint64
+
+- Bytecode: 0x5b
+- Stack: ..., A: []byte, B: uint64 → ..., uint64
+- A uint64 formed from a range of big-endian bytes from A starting at B up to but not including B+8. If B+8 is larger than the array length, the program fails
+- Availability: v5
+
+## replace2
+
+- Syntax: `replace2 S` where S: start position
+- Bytecode: 0x5c {uint8}
+- Stack: ..., A: []byte, B: []byte → ..., []byte
+- Copy of A with the bytes starting at S replaced by the bytes of B. Fails if S+len(B) exceeds len(A)
`replace2` can be called using `replace` with 1 immediate.
+- Availability: v7
+
+## replace3
+
+- Bytecode: 0x5d
+- Stack: ..., A: []byte, B: uint64, C: []byte → ..., []byte
+- Copy of A with the bytes starting at B replaced by the bytes of C. Fails if B+len(C) exceeds len(A)
`replace3` can be called using `replace` with no immediates.
+- Availability: v7
+
+## base64_decode
+
+- Syntax: `base64_decode E` where E: [base64](#field-group-base64)
+- Bytecode: 0x5e {uint8}
+- Stack: ..., A: []byte → ..., []byte
+- decode A which was base64-encoded using _encoding_ E. Fail if A is not base64 encoded with encoding E
+- **Cost**: 1 + 1 per 16 bytes of A
+- Availability: v7
+
+### base64
+
+Encodings
+
+| Index | Name | Notes |
+| - | ------ | --------- |
+| 0 | URLEncoding | |
+| 1 | StdEncoding | |
+
+
+*Warning*: Usage should be restricted to very rare use cases. In almost all cases, smart contracts should directly handle non-encoded byte-strings. This opcode should only be used in cases where base64 is the only available option, e.g. interoperability with a third-party that only signs base64 strings.
+
+ Decodes A using the base64 encoding E. Specify the encoding with an immediate arg either as URL and Filename Safe (`URLEncoding`) or Standard (`StdEncoding`). See [RFC 4648 sections 4 and 5](https://rfc-editor.org/rfc/rfc4648.html#section-4). It is assumed that the encoding ends with the exact number of `=` padding characters as required by the RFC. When padding occurs, any unused pad bits in the encoding must be set to zero or the decoding will fail. The special cases of `\n` and `\r` are allowed but completely ignored. An error will result when attempting to decode a string with a character that is not in the encoding alphabet or not one of `=`, `\r`, or `\n`.
+
+## json_ref
+
+- Syntax: `json_ref R` where R: [json_ref](#field-group-json_ref)
+- Bytecode: 0x5f {uint8}
+- Stack: ..., A: []byte, B: []byte → ..., any
+- key B's value, of type R, from a [valid](../jsonspec.md) utf-8 encoded json object A
+- **Cost**: 25 + 2 per 7 bytes of A
+- Availability: v7
+
+### json_ref
+
+Types
+
+| Index | Name | Type | Notes |
+| - | ------ | -- | --------- |
+| 0 | JSONString | []byte | |
+| 1 | JSONUint64 | uint64 | |
+| 2 | JSONObject | []byte | |
+
+
+*Warning*: Usage should be restricted to very rare use cases, as JSON decoding is expensive and quite limited. In addition, JSON objects are large and not optimized for size.
+
+Almost all smart contracts should use simpler and smaller methods (such as the [ABI](https://arc.algorand.foundation/ARCs/arc-0004). This opcode should only be used in cases where JSON is only available option, e.g. when a third-party only signs JSON.
+
+## balance
+
+- Bytecode: 0x60
+- Stack: ..., A → ..., uint64
+- balance for account A, in microalgos. The balance is observed after the effects of previous transactions in the group, and after the fee for the current transaction is deducted. Changes caused by inner transactions are observable immediately following `itxn_submit`
+- Availability: v2
+- Mode: Application
+
+params: Txn.Accounts offset (or, since v4, an _available_ account address), _available_ application id (or, since v4, a Txn.ForeignApps offset). Return: value.
+
+## app_opted_in
+
+- Bytecode: 0x61
+- Stack: ..., A, B: uint64 → ..., bool
+- 1 if account A is opted in to application B, else 0
+- Availability: v2
+- Mode: Application
+
+params: Txn.Accounts offset (or, since v4, an _available_ account address), _available_ application id (or, since v4, a Txn.ForeignApps offset). Return: 1 if opted in and 0 otherwise.
+
+## app_local_get
+
+- Bytecode: 0x62
+- Stack: ..., A, B: stateKey → ..., any
+- local state of the key B in the current application in account A
+- Availability: v2
+- Mode: Application
+
+params: Txn.Accounts offset (or, since v4, an _available_ account address), state key. Return: value. The value is zero (of type uint64) if the key does not exist.
+
+## app_local_get_ex
+
+- Bytecode: 0x63
+- Stack: ..., A, B: uint64, C: stateKey → ..., X: any, Y: bool
+- X is the local state of application B, key C in account A. Y is 1 if key existed, else 0
+- Availability: v2
+- Mode: Application
+
+params: Txn.Accounts offset (or, since v4, an _available_ account address), _available_ application id (or, since v4, a Txn.ForeignApps offset), state key. Return: did_exist flag (top of the stack, 1 if the application and key existed and 0 otherwise), value. The value is zero (of type uint64) if the key does not exist.
+
+## app_global_get
+
+- Bytecode: 0x64
+- Stack: ..., A: stateKey → ..., any
+- global state of the key A in the current application
+- Availability: v2
+- Mode: Application
+
+params: state key. Return: value. The value is zero (of type uint64) if the key does not exist.
+
+## app_global_get_ex
+
+- Bytecode: 0x65
+- Stack: ..., A: uint64, B: stateKey → ..., X: any, Y: bool
+- X is the global state of application A, key B. Y is 1 if key existed, else 0
+- Availability: v2
+- Mode: Application
+
+params: Txn.ForeignApps offset (or, since v4, an _available_ application id), state key. Return: did_exist flag (top of the stack, 1 if the application and key existed and 0 otherwise), value. The value is zero (of type uint64) if the key does not exist.
+
+## app_local_put
+
+- Bytecode: 0x66
+- Stack: ..., A, B: stateKey, C → ...
+- write C to key B in account A's local state of the current application
+- Availability: v2
+- Mode: Application
+
+params: Txn.Accounts offset (or, since v4, an _available_ account address), state key, value.
+
+## app_global_put
+
+- Bytecode: 0x67
+- Stack: ..., A: stateKey, B → ...
+- write B to key A in the global state of the current application
+- Availability: v2
+- Mode: Application
+
+## app_local_del
+
+- Bytecode: 0x68
+- Stack: ..., A, B: stateKey → ...
+- delete key B from account A's local state of the current application
+- Availability: v2
+- Mode: Application
+
+params: Txn.Accounts offset (or, since v4, an _available_ account address), state key.
+
+Deleting a key which is already absent has no effect on the application local state. (In particular, it does _not_ cause the program to fail.)
+
+## app_global_del
+
+- Bytecode: 0x69
+- Stack: ..., A: stateKey → ...
+- delete key A from the global state of the current application
+- Availability: v2
+- Mode: Application
+
+params: state key.
+
+Deleting a key which is already absent has no effect on the application global state. (In particular, it does _not_ cause the program to fail.)
+
+## asset_holding_get
+
+- Syntax: `asset_holding_get F` where F: [asset_holding](#field-group-asset_holding)
+- Bytecode: 0x70 {uint8}
+- Stack: ..., A, B: uint64 → ..., X: any, Y: bool
+- X is field F from account A's holding of asset B. Y is 1 if A is opted into B, else 0
+- Availability: v2
+- Mode: Application
+
+### asset_holding
+
+Fields
+
+| Index | Name | Type | Notes |
+| - | ------ | -- | --------- |
+| 0 | AssetBalance | uint64 | Amount of the asset unit held by this account |
+| 1 | AssetFrozen | bool | Is the asset frozen or not |
+
+
+params: Txn.Accounts offset (or, since v4, an _available_ address), asset id (or, since v4, a Txn.ForeignAssets offset). Return: did_exist flag (1 if the asset existed and 0 otherwise), value.
+
+## asset_params_get
+
+- Syntax: `asset_params_get F` where F: [asset_params](#field-group-asset_params)
+- Bytecode: 0x71 {uint8}
+- Stack: ..., A: uint64 → ..., X: any, Y: bool
+- X is field F from asset A. Y is 1 if A exists, else 0
+- Availability: v2
+- Mode: Application
+
+### asset_params
+
+Fields
+
+| Index | Name | Type | In | Notes |
+| - | ------ | -- | - | --------- |
+| 0 | AssetTotal | uint64 | | Total number of units of this asset |
+| 1 | AssetDecimals | uint64 | | See AssetParams.Decimals |
+| 2 | AssetDefaultFrozen | bool | | Frozen by default or not |
+| 3 | AssetUnitName | []byte | | Asset unit name |
+| 4 | AssetName | []byte | | Asset name |
+| 5 | AssetURL | []byte | | URL with additional info about the asset |
+| 6 | AssetMetadataHash | [32]byte | | Arbitrary commitment |
+| 7 | AssetManager | address | | Manager address |
+| 8 | AssetReserve | address | | Reserve address |
+| 9 | AssetFreeze | address | | Freeze address |
+| 10 | AssetClawback | address | | Clawback address |
+| 11 | AssetCreator | address | v5 | Creator address |
+
+
+params: Txn.ForeignAssets offset (or, since v4, an _available_ asset id. Return: did_exist flag (1 if the asset existed and 0 otherwise), value.
+
+## app_params_get
+
+- Syntax: `app_params_get F` where F: [app_params](#field-group-app_params)
+- Bytecode: 0x72 {uint8}
+- Stack: ..., A: uint64 → ..., X: any, Y: bool
+- X is field F from app A. Y is 1 if A exists, else 0
+- Availability: v5
+- Mode: Application
+
+### app_params
+
+Fields
+
+| Index | Name | Type | In | Notes |
+| - | ------ | -- | - | --------- |
+| 0 | AppApprovalProgram | []byte | | Bytecode of Approval Program |
+| 1 | AppClearStateProgram | []byte | | Bytecode of Clear State Program |
+| 2 | AppGlobalNumUint | uint64 | | Number of uint64 values allowed in Global State |
+| 3 | AppGlobalNumByteSlice | uint64 | | Number of byte array values allowed in Global State |
+| 4 | AppLocalNumUint | uint64 | | Number of uint64 values allowed in Local State |
+| 5 | AppLocalNumByteSlice | uint64 | | Number of byte array values allowed in Local State |
+| 6 | AppExtraProgramPages | uint64 | | Number of Extra Program Pages of code space |
+| 7 | AppCreator | address | | Creator address |
+| 8 | AppAddress | address | | Address for which this application has authority |
+| 9 | AppVersion | uint64 | v12 | Version of the app, incremented each time the approval or clear program changes |
+
+
+params: Txn.ForeignApps offset or an _available_ app id. Return: did_exist flag (1 if the application existed and 0 otherwise), value.
+
+## acct_params_get
+
+- Syntax: `acct_params_get F` where F: [acct_params](#field-group-acct_params)
+- Bytecode: 0x73 {uint8}
+- Stack: ..., A → ..., X: any, Y: bool
+- X is field F from account A. Y is 1 if A owns positive algos, else 0
+- Availability: v6
+- Mode: Application
+
+### acct_params
+
+Fields
+
+| Index | Name | Type | In | Notes |
+| - | ------ | -- | - | --------- |
+| 0 | AcctBalance | uint64 | | Account balance in microalgos |
+| 1 | AcctMinBalance | uint64 | | Minimum required balance for account, in microalgos |
+| 2 | AcctAuthAddr | address | | Address the account is rekeyed to. |
+| 3 | AcctTotalNumUint | uint64 | v8 | The total number of uint64 values allocated by this account in Global and Local States. |
+| 4 | AcctTotalNumByteSlice | uint64 | v8 | The total number of byte array values allocated by this account in Global and Local States. |
+| 5 | AcctTotalExtraAppPages | uint64 | v8 | The number of extra app code pages used by this account. |
+| 6 | AcctTotalAppsCreated | uint64 | v8 | The number of existing apps created by this account. |
+| 7 | AcctTotalAppsOptedIn | uint64 | v8 | The number of apps this account is opted into. |
+| 8 | AcctTotalAssetsCreated | uint64 | v8 | The number of existing ASAs created by this account. |
+| 9 | AcctTotalAssets | uint64 | v8 | The numbers of ASAs held by this account (including ASAs this account created). |
+| 10 | AcctTotalBoxes | uint64 | v8 | The number of existing boxes created by this account's app. |
+| 11 | AcctTotalBoxBytes | uint64 | v8 | The total number of bytes used by this account's app's box keys and values. |
+| 12 | AcctIncentiveEligible | bool | v11 | Has this account opted into block payouts |
+| 13 | AcctLastProposed | uint64 | v11 | The round number of the last block this account proposed. |
+| 14 | AcctLastHeartbeat | uint64 | v11 | The round number of the last block this account sent a heartbeat. |
+
+
+## voter_params_get
+
+- Syntax: `voter_params_get F` where F: [voter_params](#field-group-voter_params)
+- Bytecode: 0x74 {uint8}
+- Stack: ..., A → ..., X: any, Y: bool
+- X is field F from online account A as of the balance round: 320 rounds before the current round. Y is 1 if A had positive algos online in the agreement round, else Y is 0 and X is a type specific zero-value
+- Availability: v11
+- Mode: Application
+
+### voter_params
+
+Fields
+
+| Index | Name | Type | Notes |
+| - | ------ | -- | --------- |
+| 0 | VoterBalance | uint64 | Online stake in microalgos |
+| 1 | VoterIncentiveEligible | bool | Had this account opted into block payouts |
+
+
+## online_stake
+
+- Bytecode: 0x75
+- Stack: ... → ..., uint64
+- the total online stake in the agreement round
+- Availability: v11
+- Mode: Application
+
+## min_balance
+
+- Bytecode: 0x78
+- Stack: ..., A → ..., uint64
+- minimum required balance for account A, in microalgos. Required balance is affected by ASA, App, and Box usage. When creating or opting into an app, the minimum balance grows before the app code runs, therefore the increase is visible there. When deleting or closing out, the minimum balance decreases after the app executes. Changes caused by inner transactions or box usage are observable immediately following the opcode effecting the change.
+- Availability: v3
+- Mode: Application
+
+params: Txn.Accounts offset (or, since v4, an _available_ account address), _available_ application id (or, since v4, a Txn.ForeignApps offset). Return: value.
+
+## pushbytes
+
+- Syntax: `pushbytes BYTES` where BYTES: a byte constant
+- Bytecode: 0x80 {varuint length, bytes}
+- Stack: ... → ..., []byte
+- immediate BYTES
+- Availability: v3
+
+pushbytes args are not added to the bytecblock during assembly processes
+
+## pushint
+
+- Syntax: `pushint UINT` where UINT: an int constant
+- Bytecode: 0x81 {varuint}
+- Stack: ... → ..., uint64
+- immediate UINT
+- Availability: v3
+
+pushint args are not added to the intcblock during assembly processes
+
+## pushbytess
+
+- Syntax: `pushbytess BYTES ...` where BYTES ...: a list of byte constants
+- Bytecode: 0x82 {varuint count, [varuint length, bytes ...]}
+- Stack: ... → ..., [N items]
+- push sequences of immediate byte arrays to stack (first byte array being deepest)
+- Availability: v8
+
+pushbytess args are not added to the bytecblock during assembly processes
+
+## pushints
+
+- Syntax: `pushints UINT ...` where UINT ...: a list of int constants
+- Bytecode: 0x83 {varuint count, [varuint ...]}
+- Stack: ... → ..., [N items]
+- push sequence of immediate uints to stack in the order they appear (first uint being deepest)
+- Availability: v8
+
+pushints args are not added to the intcblock during assembly processes
+
+## ed25519verify_bare
+
+- Bytecode: 0x84
+- Stack: ..., A: []byte, B: [64]byte, C: [32]byte → ..., bool
+- for (data A, signature B, pubkey C) verify the signature of the data against the pubkey => {0 or 1}
+- **Cost**: 1900
+- Availability: v7
+
+## falcon_verify
+
+- Bytecode: 0x85
+- Stack: ..., A: []byte, B: [1232]byte, C: [1793]byte → ..., bool
+- for (data A, compressed-format signature B, pubkey C) verify the signature of data against the pubkey => {0 or 1}
+- **Cost**: 1700
+- Availability: v12
+
+## callsub
+
+- Syntax: `callsub TARGET` where TARGET: branch offset
+- Bytecode: 0x88 {int16 (big-endian)}
+- Stack: ... → ...
+- branch unconditionally to TARGET, saving the next instruction on the call stack
+- Availability: v4
+
+The call stack is separate from the data stack. Only `callsub`, `retsub`, and `proto` manipulate it.
+
+## retsub
+
+- Bytecode: 0x89
+- Stack: ... → ...
+- pop the top instruction from the call stack and branch to it
+- Availability: v4
+
+If the current frame was prepared by `proto A R`, `retsub` will remove the 'A' arguments from the stack, move the `R` return values down, and pop any stack locations above the relocated return values.
+
+## proto
+
+- Syntax: `proto A R` where A: number of arguments, R: number of return values
+- Bytecode: 0x8a {uint8}, {uint8}
+- Stack: ... → ...
+- Prepare top call frame for a retsub that will assume A args and R return values.
+- Availability: v8
+
+Fails unless the last instruction executed was a `callsub`.
+
+## frame_dig
+
+- Syntax: `frame_dig I` where I: frame slot
+- Bytecode: 0x8b {int8}
+- Stack: ... → ..., any
+- Nth (signed) value from the frame pointer.
+- Availability: v8
+
+## frame_bury
+
+- Syntax: `frame_bury I` where I: frame slot
+- Bytecode: 0x8c {int8}
+- Stack: ..., A → ...
+- replace the Nth (signed) value from the frame pointer in the stack with A
+- Availability: v8
+
+## switch
+
+- Syntax: `switch TARGET ...` where TARGET ...: list of labels
+- Bytecode: 0x8d {varuint count, [int16 (big-endian) ...]}
+- Stack: ..., A: uint64 → ...
+- branch to the Ath label. Continue at following instruction if index A exceeds the number of labels.
+- Availability: v8
+
+## match
+
+- Syntax: `match TARGET ...` where TARGET ...: list of labels
+- Bytecode: 0x8e {varuint count, [int16 (big-endian) ...]}
+- Stack: ..., [A1, A2, ..., AN], B → ...
+- given match cases from A[1] to A[N], branch to the Ith label where A[I] = B. Continue to the following instruction if no matches are found.
+- Availability: v8
+
+`match` consumes N+1 values from the stack. Let the top stack value be B. The following N values represent an ordered list of match cases/constants (A), where the first value (A[0]) is the deepest in the stack. The immediate arguments are an ordered list of N labels (T). `match` will branch to target T[I], where A[I] = B. If there are no matches then execution continues on to the next instruction.
+
+## shl
+
+- Bytecode: 0x90
+- Stack: ..., A: uint64, B: uint64 → ..., uint64
+- A times 2^B, modulo 2^64
+- Availability: v4
+
+## shr
+
+- Bytecode: 0x91
+- Stack: ..., A: uint64, B: uint64 → ..., uint64
+- A divided by 2^B
+- Availability: v4
+
+## sqrt
+
+- Bytecode: 0x92
+- Stack: ..., A: uint64 → ..., uint64
+- The largest integer I such that I^2 <= A
+- **Cost**: 4
+- Availability: v4
+
+## bitlen
+
+- Bytecode: 0x93
+- Stack: ..., A → ..., uint64
+- The highest set bit in A. If A is a byte-array, it is interpreted as a big-endian unsigned integer. bitlen of 0 is 0, bitlen of 8 is 4
+- Availability: v4
+
+bitlen interprets arrays as big-endian integers, unlike setbit/getbit
+
+## exp
+
+- Bytecode: 0x94
+- Stack: ..., A: uint64, B: uint64 → ..., uint64
+- A raised to the Bth power. Fail if A == B == 0 and on overflow
+- Availability: v4
+
+## expw
+
+- Bytecode: 0x95
+- Stack: ..., A: uint64, B: uint64 → ..., X: uint64, Y: uint64
+- A raised to the Bth power as a 128-bit result in two uint64s. X is the high 64 bits, Y is the low. Fail if A == B == 0 or if the results exceeds 2^128-1
+- **Cost**: 10
+- Availability: v4
+
+## bsqrt
+
+- Bytecode: 0x96
+- Stack: ..., A: bigint → ..., bigint
+- The largest integer I such that I^2 <= A. A and I are interpreted as big-endian unsigned integers
+- **Cost**: 40
+- Availability: v6
+
+## divw
+
+- Bytecode: 0x97
+- Stack: ..., A: uint64, B: uint64, C: uint64 → ..., uint64
+- A,B / C. Fail if C == 0 or if result overflows.
+- Availability: v6
+
+The notation A,B indicates that A and B are interpreted as a uint128 value, with A as the high uint64 and B the low.
+
+## sha3_256
+
+- Bytecode: 0x98
+- Stack: ..., A: []byte → ..., [32]byte
+- SHA3_256 hash of value A, yields [32]byte
+- **Cost**: 130
+- Availability: v7
+
+## b+
+
+- Bytecode: 0xa0
+- Stack: ..., A: bigint, B: bigint → ..., []byte
+- A plus B. A and B are interpreted as big-endian unsigned integers
+- **Cost**: 10
+- Availability: v4
+
+## b-
+
+- Bytecode: 0xa1
+- Stack: ..., A: bigint, B: bigint → ..., bigint
+- A minus B. A and B are interpreted as big-endian unsigned integers. Fail on underflow.
+- **Cost**: 10
+- Availability: v4
+
+## b/
+
+- Bytecode: 0xa2
+- Stack: ..., A: bigint, B: bigint → ..., bigint
+- A divided by B (truncated division). A and B are interpreted as big-endian unsigned integers. Fail if B is zero.
+- **Cost**: 20
+- Availability: v4
+
+## b*
+
+- Bytecode: 0xa3
+- Stack: ..., A: bigint, B: bigint → ..., []byte
+- A times B. A and B are interpreted as big-endian unsigned integers.
+- **Cost**: 20
+- Availability: v4
+
+## b<
+
+- Bytecode: 0xa4
+- Stack: ..., A: bigint, B: bigint → ..., bool
+- 1 if A is less than B, else 0. A and B are interpreted as big-endian unsigned integers
+- Availability: v4
+
+## b>
+
+- Bytecode: 0xa5
+- Stack: ..., A: bigint, B: bigint → ..., bool
+- 1 if A is greater than B, else 0. A and B are interpreted as big-endian unsigned integers
+- Availability: v4
+
+## b<=
+
+- Bytecode: 0xa6
+- Stack: ..., A: bigint, B: bigint → ..., bool
+- 1 if A is less than or equal to B, else 0. A and B are interpreted as big-endian unsigned integers
+- Availability: v4
+
+## b>=
+
+- Bytecode: 0xa7
+- Stack: ..., A: bigint, B: bigint → ..., bool
+- 1 if A is greater than or equal to B, else 0. A and B are interpreted as big-endian unsigned integers
+- Availability: v4
+
+## b==
+
+- Bytecode: 0xa8
+- Stack: ..., A: bigint, B: bigint → ..., bool
+- 1 if A is equal to B, else 0. A and B are interpreted as big-endian unsigned integers
+- Availability: v4
+
+## b!=
+
+- Bytecode: 0xa9
+- Stack: ..., A: bigint, B: bigint → ..., bool
+- 0 if A is equal to B, else 1. A and B are interpreted as big-endian unsigned integers
+- Availability: v4
+
+## b%
+
+- Bytecode: 0xaa
+- Stack: ..., A: bigint, B: bigint → ..., bigint
+- A modulo B. A and B are interpreted as big-endian unsigned integers. Fail if B is zero.
+- **Cost**: 20
+- Availability: v4
+
+## b|
+
+- Bytecode: 0xab
+- Stack: ..., A: []byte, B: []byte → ..., []byte
+- A bitwise-or B. A and B are zero-left extended to the greater of their lengths
+- **Cost**: 6
+- Availability: v4
+
+## b&
+
+- Bytecode: 0xac
+- Stack: ..., A: []byte, B: []byte → ..., []byte
+- A bitwise-and B. A and B are zero-left extended to the greater of their lengths
+- **Cost**: 6
+- Availability: v4
+
+## b^
+
+- Bytecode: 0xad
+- Stack: ..., A: []byte, B: []byte → ..., []byte
+- A bitwise-xor B. A and B are zero-left extended to the greater of their lengths
+- **Cost**: 6
+- Availability: v4
+
+## b~
+
+- Bytecode: 0xae
+- Stack: ..., A: []byte → ..., []byte
+- A with all bits inverted
+- **Cost**: 4
+- Availability: v4
+
+## bzero
+
+- Bytecode: 0xaf
+- Stack: ..., A: uint64 → ..., []byte
+- zero filled byte-array of length A
+- Availability: v4
+
+## log
+
+- Bytecode: 0xb0
+- Stack: ..., A: []byte → ...
+- write A to log state of the current application
+- Availability: v5
+- Mode: Application
+
+`log` fails if called more than MaxLogCalls times in a program, or if the sum of logged bytes exceeds 1024 bytes.
+
+## itxn_begin
+
+- Bytecode: 0xb1
+- Stack: ... → ...
+- begin preparation of a new inner transaction in a new transaction group
+- Availability: v5
+- Mode: Application
+
+`itxn_begin` initializes Sender to the application address; Fee to the minimum allowable, taking into account MinTxnFee and credit from overpaying in earlier transactions; FirstValid/LastValid to the values in the invoking transaction, and all other fields to zero or empty values.
+
+## itxn_field
+
+- Syntax: `itxn_field F` where F: [txn](#field-group-txn)
+- Bytecode: 0xb2 {uint8}
+- Stack: ..., A → ...
+- set field F of the current inner transaction to A
+- Availability: v5
+- Mode: Application
+
+`itxn_field` fails if A is of the wrong type for F, including a byte array of the wrong size for use as an address when F is an address field. `itxn_field` also fails if A is an account, asset, or app that is not _available_, or an attempt is made extend an array field beyond the limit imposed by consensus parameters. (Addresses set into asset params of acfg transactions need not be _available_.)
+
+## itxn_submit
+
+- Bytecode: 0xb3
+- Stack: ... → ...
+- execute the current inner transaction group. Fail if executing this group would exceed the inner transaction limit, or if any transaction in the group fails.
+- Availability: v5
+- Mode: Application
+
+`itxn_submit` resets the current transaction so that it can not be resubmitted. A new `itxn_begin` is required to prepare another inner transaction.
+
+## itxn
+
+- Syntax: `itxn F` where F: [txn](#field-group-txn)
+- Bytecode: 0xb4 {uint8}
+- Stack: ... → ..., any
+- field F of the last inner transaction
+- Availability: v5
+- Mode: Application
+
+## itxna
+
+- Syntax: `itxna F I` where F: [txna](#field-group-txna), I: a transaction field array index
+- Bytecode: 0xb5 {uint8}, {uint8}
+- Stack: ... → ..., any
+- Ith value of the array field F of the last inner transaction
+- Availability: v5
+- Mode: Application
+
+## itxn_next
+
+- Bytecode: 0xb6
+- Stack: ... → ...
+- begin preparation of a new inner transaction in the same transaction group
+- Availability: v6
+- Mode: Application
+
+`itxn_next` initializes the transaction exactly as `itxn_begin` does
+
+## gitxn
+
+- Syntax: `gitxn T F` where T: transaction group index, F: [txn](#field-group-txn)
+- Bytecode: 0xb7 {uint8}, {uint8}
+- Stack: ... → ..., any
+- field F of the Tth transaction in the last inner group submitted
+- Availability: v6
+- Mode: Application
+
+## gitxna
+
+- Syntax: `gitxna T F I` where T: transaction group index, F: [txna](#field-group-txna), I: transaction field array index
+- Bytecode: 0xb8 {uint8}, {uint8}, {uint8}
+- Stack: ... → ..., any
+- Ith value of the array field F from the Tth transaction in the last inner group submitted
+- Availability: v6
+- Mode: Application
+
+## box_create
+
+- Bytecode: 0xb9
+- Stack: ..., A: boxName, B: uint64 → ..., bool
+- create a box named A, of length B. Fail if the name A is empty or B exceeds 32,768. Returns 0 if A already existed, else 1
+- Availability: v8
+- Mode: Application
+
+Newly created boxes are filled with 0 bytes. `box_create` will fail if the referenced box already exists with a different size. Otherwise, existing boxes are unchanged by `box_create`.
+
+## box_extract
+
+- Bytecode: 0xba
+- Stack: ..., A: boxName, B: uint64, C: uint64 → ..., []byte
+- read C bytes from box A, starting at offset B. Fail if A does not exist, or the byte range is outside A's size.
+- Availability: v8
+- Mode: Application
+
+## box_replace
+
+- Bytecode: 0xbb
+- Stack: ..., A: boxName, B: uint64, C: []byte → ...
+- write byte-array C into box A, starting at offset B. Fail if A does not exist, or the byte range is outside A's size.
+- Availability: v8
+- Mode: Application
+
+## box_del
+
+- Bytecode: 0xbc
+- Stack: ..., A: boxName → ..., bool
+- delete box named A if it exists. Return 1 if A existed, 0 otherwise
+- Availability: v8
+- Mode: Application
+
+## box_len
+
+- Bytecode: 0xbd
+- Stack: ..., A: boxName → ..., X: uint64, Y: bool
+- X is the length of box A if A exists, else 0. Y is 1 if A exists, else 0.
+- Availability: v8
+- Mode: Application
+
+## box_get
+
+- Bytecode: 0xbe
+- Stack: ..., A: boxName → ..., X: []byte, Y: bool
+- X is the contents of box A if A exists, else ''. Y is 1 if A exists, else 0.
+- Availability: v8
+- Mode: Application
+
+For boxes that exceed 4,096 bytes, consider `box_create`, `box_extract`, and `box_replace`
+
+## box_put
+
+- Bytecode: 0xbf
+- Stack: ..., A: boxName, B: []byte → ...
+- replaces the contents of box A with byte-array B. Fails if A exists and len(B) != len(box A). Creates A if it does not exist
+- Availability: v8
+- Mode: Application
+
+For boxes that exceed 4,096 bytes, consider `box_create`, `box_extract`, and `box_replace`
+
+## txnas
+
+- Syntax: `txnas F` where F: [txna](#field-group-txna)
+- Bytecode: 0xc0 {uint8}
+- Stack: ..., A: uint64 → ..., any
+- Ath value of the array field F of the current transaction
+- Availability: v5
+
+## gtxnas
+
+- Syntax: `gtxnas T F` where T: transaction group index, F: [txna](#field-group-txna)
+- Bytecode: 0xc1 {uint8}, {uint8}
+- Stack: ..., A: uint64 → ..., any
+- Ath value of the array field F from the Tth transaction in the current group
+- Availability: v5
+
+## gtxnsas
+
+- Syntax: `gtxnsas F` where F: [txna](#field-group-txna)
+- Bytecode: 0xc2 {uint8}
+- Stack: ..., A: uint64, B: uint64 → ..., any
+- Bth value of the array field F from the Ath transaction in the current group
+- Availability: v5
+
+## args
+
+- Bytecode: 0xc3
+- Stack: ..., A: uint64 → ..., []byte
+- Ath LogicSig argument
+- Availability: v5
+- Mode: Signature
+
+## gloadss
+
+- Bytecode: 0xc4
+- Stack: ..., A: uint64, B: uint64 → ..., any
+- Bth scratch space value of the Ath transaction in the current group
+- Availability: v6
+- Mode: Application
+
+## itxnas
+
+- Syntax: `itxnas F` where F: [txna](#field-group-txna)
+- Bytecode: 0xc5 {uint8}
+- Stack: ..., A: uint64 → ..., any
+- Ath value of the array field F of the last inner transaction
+- Availability: v6
+- Mode: Application
+
+## gitxnas
+
+- Syntax: `gitxnas T F` where T: transaction group index, F: [txna](#field-group-txna)
+- Bytecode: 0xc6 {uint8}, {uint8}
+- Stack: ..., A: uint64 → ..., any
+- Ath value of the array field F from the Tth transaction in the last inner group submitted
+- Availability: v6
+- Mode: Application
+
+## vrf_verify
+
+- Syntax: `vrf_verify S` where S: [vrf_verify](#field-group-vrf_verify)
+- Bytecode: 0xd0 {uint8}
+- Stack: ..., A: []byte, B: [80]byte, C: [32]byte → ..., X: [64]byte, Y: bool
+- Verify the proof B of message A against pubkey C. Returns vrf output and verification flag.
+- **Cost**: 5700
+- Availability: v7
+
+### vrf_verify
+
+Standards
+
+| Index | Name | Notes |
+| - | ------ | --------- |
+| 0 | VrfAlgorand | |
+
+
+`VrfAlgorand` is the VRF used in Algorand. It is ECVRF-ED25519-SHA512-Elligator2, specified in the IETF internet draft [draft-irtf-cfrg-vrf-03](https://datatracker.ietf.org/doc/draft-irtf-cfrg-vrf/03/).
+
+## block
+
+- Syntax: `block F` where F: [block](#field-group-block)
+- Bytecode: 0xd1 {uint8}
+- Stack: ..., A: uint64 → ..., any
+- field F of block A. Fail unless A falls between txn.LastValid-1002 and txn.FirstValid (exclusive)
+- Availability: v7
+
+### block
+
+Fields
+
+| Index | Name | Type | In | Notes |
+| - | ------ | -- | - | --------- |
+| 0 | BlkSeed | [32]byte | | |
+| 1 | BlkTimestamp | uint64 | | |
+| 2 | BlkProposer | address | v11 | |
+| 3 | BlkFeesCollected | uint64 | v11 | |
+| 4 | BlkBonus | uint64 | v11 | |
+| 5 | BlkBranch | [32]byte | v11 | |
+| 6 | BlkFeeSink | address | v11 | |
+| 7 | BlkProtocol | []byte | v11 | |
+| 8 | BlkTxnCounter | uint64 | v11 | |
+| 9 | BlkProposerPayout | uint64 | v11 | |
+
+
+## box_splice
+
+- Bytecode: 0xd2
+- Stack: ..., A: boxName, B: uint64, C: uint64, D: []byte → ...
+- set box A to contain its previous bytes up to index B, followed by D, followed by the original bytes of A that began at index B+C.
+- Availability: v10
+- Mode: Application
+
+Boxes are of constant length. If C < len(D), then len(D)-C bytes will be removed from the end. If C > len(D), zero bytes will be appended to the end to reach the box length.
+
+## box_resize
+
+- Bytecode: 0xd3
+- Stack: ..., A: boxName, B: uint64 → ...
+- change the size of box named A to be of length B, adding zero bytes to end or removing bytes from the end, as needed. Fail if the name A is empty, A is not an existing box, or B exceeds 32,768.
+- Availability: v10
+- Mode: Application
+
+## ec_add
+
+- Syntax: `ec_add G` where G: [EC](#field-group-ec)
+- Bytecode: 0xe0 {uint8}
+- Stack: ..., A: []byte, B: []byte → ..., []byte
+- for curve points A and B, return the curve point A + B
+- **Cost**: BN254g1=125; BN254g2=170; BLS12_381g1=205; BLS12_381g2=290
+- Availability: v10
+
+### EC
+
+Groups
+
+| Index | Name | Notes |
+| - | ------ | --------- |
+| 0 | BN254g1 | G1 of the BN254 curve. Points encoded as 32 byte X following by 32 byte Y |
+| 1 | BN254g2 | G2 of the BN254 curve. Points encoded as 64 byte X following by 64 byte Y |
+| 2 | BLS12_381g1 | G1 of the BLS 12-381 curve. Points encoded as 48 byte X following by 48 byte Y |
+| 3 | BLS12_381g2 | G2 of the BLS 12-381 curve. Points encoded as 96 byte X following by 96 byte Y |
+
+
+A and B are curve points in affine representation: field element X concatenated with field element Y. Field element `Z` is encoded as follows.
+For the base field elements (Fp), `Z` is encoded as a big-endian number and must be lower than the field modulus.
+For the quadratic field extension (Fp2), `Z` is encoded as the concatenation of the individual encoding of the coefficients. For an Fp2 element of the form `Z = Z0 + Z1 i`, where `i` is a formal quadratic non-residue, the encoding of Z is the concatenation of the encoding of `Z0` and `Z1` in this order. (`Z0` and `Z1` must be less than the field modulus).
+
+The point at infinity is encoded as `(X,Y) = (0,0)`.
+Groups G1 and G2 are denoted additively.
+
+Fails if A or B is not in G.
+A and/or B are allowed to be the point at infinity.
+Does _not_ check if A and B are in the main prime-order subgroup.
+
+## ec_scalar_mul
+
+- Syntax: `ec_scalar_mul G` where G: [EC](#field-group-ec)
+- Bytecode: 0xe1 {uint8}
+- Stack: ..., A: []byte, B: []byte → ..., []byte
+- for curve point A and scalar B, return the curve point BA, the point A multiplied by the scalar B.
+- **Cost**: BN254g1=1810; BN254g2=3430; BLS12_381g1=2950; BLS12_381g2=6530
+- Availability: v10
+
+A is a curve point encoded and checked as described in `ec_add`. Scalar B is interpreted as a big-endian unsigned integer. Fails if B exceeds 32 bytes.
+
+## ec_pairing_check
+
+- Syntax: `ec_pairing_check G` where G: [EC](#field-group-ec)
+- Bytecode: 0xe2 {uint8}
+- Stack: ..., A: []byte, B: []byte → ..., bool
+- 1 if the product of the pairing of each point in A with its respective point in B is equal to the identity element of the target group Gt, else 0
+- **Cost**: BN254g1=8000 + 7400 per 64 bytes of B; BN254g2=8000 + 7400 per 128 bytes of B; BLS12_381g1=13000 + 10000 per 96 bytes of B; BLS12_381g2=13000 + 10000 per 192 bytes of B
+- Availability: v10
+
+A and B are concatenated points, encoded and checked as described in `ec_add`. A contains points of the group G, B contains points of the associated group (G2 if G is G1, and vice versa). Fails if A and B have a different number of points, or if any point is not in its described group or outside the main prime-order subgroup - a stronger condition than other opcodes. AVM values are limited to 4096 bytes, so `ec_pairing_check` is limited by the size of the points in the groups being operated upon.
+
+## ec_multi_scalar_mul
+
+- Syntax: `ec_multi_scalar_mul G` where G: [EC](#field-group-ec)
+- Bytecode: 0xe3 {uint8}
+- Stack: ..., A: []byte, B: []byte → ..., []byte
+- for curve points A and scalars B, return curve point B0A0 + B1A1 + B2A2 + ... + BnAn
+- **Cost**: BN254g1=3600 + 90 per 32 bytes of B; BN254g2=7200 + 270 per 32 bytes of B; BLS12_381g1=6500 + 95 per 32 bytes of B; BLS12_381g2=14850 + 485 per 32 bytes of B
+- Availability: v10
+
+A is a list of concatenated points, encoded and checked as described in `ec_add`. B is a list of concatenated scalars which, unlike ec_scalar_mul, must all be exactly 32 bytes long.
+The name `ec_multi_scalar_mul` was chosen to reflect common usage, but a more consistent name would be `ec_multi_scalar_mul`. AVM values are limited to 4096 bytes, so `ec_multi_scalar_mul` is limited by the size of the points in the group being operated upon.
+
+## ec_subgroup_check
+
+- Syntax: `ec_subgroup_check G` where G: [EC](#field-group-ec)
+- Bytecode: 0xe4 {uint8}
+- Stack: ..., A: []byte → ..., bool
+- 1 if A is in the main prime-order subgroup of G (including the point at infinity) else 0. Program fails if A is not in G at all.
+- **Cost**: BN254g1=20; BN254g2=3100; BLS12_381g1=1850; BLS12_381g2=2340
+- Availability: v10
+
+## ec_map_to
+
+- Syntax: `ec_map_to G` where G: [EC](#field-group-ec)
+- Bytecode: 0xe5 {uint8}
+- Stack: ..., A: []byte → ..., []byte
+- maps field element A to group G
+- **Cost**: BN254g1=630; BN254g2=3300; BLS12_381g1=1950; BLS12_381g2=8150
+- Availability: v10
+
+BN254 points are mapped by the SVDW map. BLS12-381 points are mapped by the SSWU map.
+G1 element inputs are base field elements and G2 element inputs are quadratic field elements, with nearly the same encoding rules (for field elements) as defined in `ec_add`. There is one difference of encoding rule: G1 element inputs do not need to be 0-padded if they fit in less than 32 bytes for BN254 and less than 48 bytes for BLS12-381. (As usual, the empty byte array represents 0.) G2 elements inputs need to be always have the required size.
+
+## mimc
+
+- Syntax: `mimc C` where C: [Mimc Configurations](#field-group-mimc configurations)
+- Bytecode: 0xe6 {uint8}
+- Stack: ..., A: []byte → ..., [32]byte
+- MiMC hash of scalars A, using curve and parameters specified by configuration C
+- **Cost**: BN254Mp110=10 + 550 per 32 bytes of A; BLS12_381Mp111=10 + 550 per 32 bytes of A
+- Availability: v11
+
+### Mimc Configurations
+
+Parameters
+
+| Index | Name | Notes |
+| - | ------ | --------- |
+| 0 | BN254Mp110 | MiMC configuration for the BN254 curve with Miyaguchi-Preneel mode, 110 rounds, exponent 5, seed "seed" |
+| 1 | BLS12_381Mp111 | MiMC configuration for the BLS12-381 curve with Miyaguchi-Preneel mode, 111 rounds, exponent 5, seed "seed" |
+
+
+A is a list of concatenated 32 byte big-endian unsigned integer scalars. Fail if A's length is not a multiple of 32 or any element exceeds the curve modulus.
+
+The MiMC hash function has known collisions since any input which is a multiple of the elliptic curve modulus will hash to the same value. MiMC is thus not a general purpose hash function, but meant to be used in zero knowledge applications to match a zk-circuit implementation.
diff --git a/docs/get-details/dapps/avm/teal/opcodes/v6.md b/docs/get-details/dapps/avm/teal/opcodes/v6.md
index a9f779db5..522b0e5cf 100644
--- a/docs/get-details/dapps/avm/teal/opcodes/v6.md
+++ b/docs/get-details/dapps/avm/teal/opcodes/v6.md
@@ -424,7 +424,7 @@ Fields (see [transaction reference](https://developer.algorand.org/docs/referenc
| 60 | CreatedAssetID | uint64 | v5 | Asset ID allocated by the creation of an ASA (only with `itxn` in v5). Application mode only |
| 61 | CreatedApplicationID | uint64 | v5 | ApplicationID allocated by the creation of an application (only with `itxn` in v5). Application mode only |
| 62 | LastLog | []byte | v6 | The last message emitted. Empty bytes if none were emitted. Application mode only |
-| 63 | StateProofPK | []byte | v6 | 64 byte state proof public key |
+| 63 | StateProofPK | [64]byte | v6 | State proof public key |
## global
diff --git a/docs/get-details/dapps/avm/teal/opcodes/v7.md b/docs/get-details/dapps/avm/teal/opcodes/v7.md
index 513d3954a..d83f6632e 100644
--- a/docs/get-details/dapps/avm/teal/opcodes/v7.md
+++ b/docs/get-details/dapps/avm/teal/opcodes/v7.md
@@ -426,7 +426,7 @@ Fields (see [transaction reference](https://developer.algorand.org/docs/referenc
| 60 | CreatedAssetID | uint64 | v5 | Asset ID allocated by the creation of an ASA (only with `itxn` in v5). Application mode only |
| 61 | CreatedApplicationID | uint64 | v5 | ApplicationID allocated by the creation of an application (only with `itxn` in v5). Application mode only |
| 62 | LastLog | []byte | v6 | The last message emitted. Empty bytes if none were emitted. Application mode only |
-| 63 | StateProofPK | []byte | v6 | 64 byte state proof public key |
+| 63 | StateProofPK | [64]byte | v6 | State proof public key |
| 65 | NumApprovalProgramPages | uint64 | v7 | Number of Approval Program pages |
| 67 | NumClearStateProgramPages | uint64 | v7 | Number of ClearState Program pages |
diff --git a/docs/get-details/dapps/avm/teal/opcodes/v8.md b/docs/get-details/dapps/avm/teal/opcodes/v8.md
index 10b02981f..e749f8bd9 100644
--- a/docs/get-details/dapps/avm/teal/opcodes/v8.md
+++ b/docs/get-details/dapps/avm/teal/opcodes/v8.md
@@ -426,7 +426,7 @@ Fields (see [transaction reference](https://developer.algorand.org/docs/referenc
| 60 | CreatedAssetID | uint64 | v5 | Asset ID allocated by the creation of an ASA (only with `itxn` in v5). Application mode only |
| 61 | CreatedApplicationID | uint64 | v5 | ApplicationID allocated by the creation of an application (only with `itxn` in v5). Application mode only |
| 62 | LastLog | []byte | v6 | The last message emitted. Empty bytes if none were emitted. Application mode only |
-| 63 | StateProofPK | []byte | v6 | 64 byte state proof public key |
+| 63 | StateProofPK | [64]byte | v6 | State proof public key |
| 65 | NumApprovalProgramPages | uint64 | v7 | Number of Approval Program pages |
| 67 | NumClearStateProgramPages | uint64 | v7 | Number of ClearState Program pages |
diff --git a/docs/get-details/dapps/avm/teal/opcodes/v9.md b/docs/get-details/dapps/avm/teal/opcodes/v9.md
index 624424b1d..d940cb792 100644
--- a/docs/get-details/dapps/avm/teal/opcodes/v9.md
+++ b/docs/get-details/dapps/avm/teal/opcodes/v9.md
@@ -426,7 +426,7 @@ Fields (see [transaction reference](https://developer.algorand.org/docs/referenc
| 60 | CreatedAssetID | uint64 | v5 | Asset ID allocated by the creation of an ASA (only with `itxn` in v5). Application mode only |
| 61 | CreatedApplicationID | uint64 | v5 | ApplicationID allocated by the creation of an application (only with `itxn` in v5). Application mode only |
| 62 | LastLog | []byte | v6 | The last message emitted. Empty bytes if none were emitted. Application mode only |
-| 63 | StateProofPK | []byte | v6 | 64 byte state proof public key |
+| 63 | StateProofPK | [64]byte | v6 | State proof public key |
| 65 | NumApprovalProgramPages | uint64 | v7 | Number of Approval Program pages |
| 67 | NumClearStateProgramPages | uint64 | v7 | Number of ClearState Program pages |
diff --git a/docs/get-details/dapps/avm/teal/specification.md b/docs/get-details/dapps/avm/teal/specification.md
index a70a644ff..4cb629eba 100644
--- a/docs/get-details/dapps/avm/teal/specification.md
+++ b/docs/get-details/dapps/avm/teal/specification.md
@@ -81,7 +81,7 @@ In order to maintain existing semantics for previously written
programs, AVM code is versioned. When new opcodes are introduced, or
behavior is changed, a new version is introduced. Programs carrying
old versions are executed with their original semantics. In the AVM
-bytecode, the version is an incrementing integer, currently 6, and
+bytecode, the version is an incrementing integer, currently 12, and
denoted vX throughout this document.
## Execution Modes
@@ -93,7 +93,7 @@ Starting from v2, the AVM can run programs in two modes:
Differences between modes include:
1. Max program length (consensus parameters LogicSigMaxSize, MaxAppTotalProgramLen & MaxExtraAppProgramPages)
2. Max program cost (consensus parameters LogicSigMaxCost, MaxAppProgramCost)
-3. Opcode availability. Refer to [opcodes document](opcodes/v11.md) for details.
+3. Opcode availability. Refer to [opcodes document](opcodes/v12.md) for details.
4. Some global values, such as LatestTimestamp, are only available in stateful mode.
5. Only Applications can observe transaction effects, such as Logs or IDs allocated to ASAs or new Applications.
@@ -202,10 +202,27 @@ ClearStateProgram fails, and the app's state _is cleared_.
### Resource availability
-Smart contracts have limits on the amount of blockchain state they
-may examine. Opcodes may only access blockchain resources such as
-Accounts, Assets, Boxes, and contract state if the given resource is
-_available_.
+Smart contracts have limits on the amount of blockchain state they may
+examine. These limits are enforced by failing any opcode that
+attempts to access a resource unless the resource is
+_available_. These resources are:
+
+ * Accounts, which must be available to access their balance, or other
+ account parameters such as voting details.
+ * Assets, which must be available to access global asset parameters, such
+ the as the asset's URL, Name, or privileged addresses.
+ * Holdings, which must be available to access a particular address's
+ balance or frozen status for a particular asset.
+ * Applications, which must be available to read an application's
+ programs, parameters, or global state.
+ * Locals, which must be available to read a particular address's local
+ state for a particular application.
+ * Boxes, which must be available to read or write a box, designated
+ by an application and name for the box.
+
+Resources are _available_ based on the contents of the executing
+transaction and, in later versions, the contents of other transactions
+in the same group.
* A resource in the "foreign array" fields of the ApplicationCall
transaction (`txn.Accounts`, `txn.ForeignAssets`, and
@@ -214,32 +231,47 @@ _available_.
* The `txn.Sender`, `global CurrentApplicationID`, and `global
CurrentApplicationAddress` are _available_.
- * Prior to v4, all assets were considered _available_ to the
- `asset_holding_get` opcode, and all applications were _available_
- to the `app_local_get_ex` opcode.
-
- * Since v6, any asset or contract that was created earlier in the
- same transaction group (whether by a top-level or inner
- transaction) is _available_. In addition, any account that is the
- associated account of a contract that was created earlier in the
- group is _available_.
-
- * Since v7, the account associated with any contract present in the
- `txn.ForeignApplications` field is _available_.
-
- * Since v9, there is group-level resource sharing. Any resource that
- is available in _some_ top-level transaction in a transaction group
- is available in _all_ v9 or later application calls in the group,
- whether those application calls are top-level or inner.
-
+ * In pre-v4 applications, all holdings are _available_ to the
+ `asset_holding_get` opcode, and all locals are _available_ to the
+ `app_local_get_ex` opcode if the *account* of the resource is
+ _available_.
+
+ * In v6 and later applications, any asset or application that was
+ created earlier in the same transaction group (whether by a
+ top-level or inner transaction) is _available_. In addition, any
+ account that is the associated account of a contract that was
+ created earlier in the group is _available_.
+
+ * In v7 and later applications, the account associated with any
+ contract present in the `txn.ForeignApplications` field is
+ _available_.
+
+ * In v4 and above applications, Holdings and Locals are _available_
+ if, both components of the resource are available according to the
+ above rules.
+
+ * In v9 and later applications, there is group-level resource
+ sharing. Any resource that is available in _some_ top-level
+ transaction in a transaction group is available in _all_ v9 or
+ later application calls in the group, whether those application
+ calls are top-level or inner.
+
+ * v9 and later applications may use the `txn.Access` list instead of
+ the foreign arrays. When using `txn.Access` Holdings and Locals are
+ no longer made available automatically because their components
+ are. Application accounts are also not made available because of
+ the availability of their corresponding app. Each resource must be
+ listed explicitly. However, `txn.Access` allows for the listing of
+ more resources than the foreign arrays. Listed resources become
+ available to other (post-v8) applications through group sharing.
+
* When considering whether an asset holding or application local
- state is available by group-level resource sharing, the holding or
- local state must be available in a top-level transaction without
- considering group sharing. For example, if account A is made
- available in one transaction, and asset X is made available in
- another, group resource sharing does _not_ make A's X holding
- available.
-
+ state is available for group-level resource sharing, the holding or
+ local state must be available in a top-level transaction based on
+ pre-v9 rules. For example, if account A is made available in one
+ transaction, and asset X is made available in another, group
+ resource sharing does _not_ make A's X holding available.
+
* Top-level transactions that are not application calls also make
resources available to group-level resource sharing. The following
resources are made available by other transaction types.
@@ -263,10 +295,11 @@ _available_.
* A Box is _available_ to an Approval Program if _any_ transaction in
- the same group contains a box reference (`txn.Boxes`) that denotes
- the box. A box reference contains an index `i`, and name `n`. The
- index refers to the `ith` application in the transaction's
- ForeignApplications array, with the usual convention that 0
+ the same group contains a box reference (in `txn.Boxes` or
+ `txn.Access`) that denotes the box. A box reference contains an
+ index `i`, and name `n`. The index refers to the `ith` application
+ in the transaction's `ForeignApplications` or `Access` array (only
+ one of which can be used), with the usual convention that 0
indicates the application ID of the app called by that
transaction. No box is ever _available_ to a ClearStateProgram.
@@ -344,7 +377,7 @@ Most operations work with only one type of argument, uint64 or bytes, and fail i
Many instructions accept values to designate Accounts, Assets, or Applications. Beginning with v4, these values may be given as an _offset_ in the corresponding Txn fields (Txn.Accounts, Txn.ForeignAssets, Txn.ForeignApps) _or_ as the value itself (a byte-array address for Accounts, or a uint64 ID). The values, however, must still be present in the Txn fields. Before v4, most opcodes required the use of an offset, except for reading account local values of assets or applications, which accepted the IDs directly and did not require the ID to be present in the corresponding _Foreign_ array. (Note that beginning with v4, those IDs _are_ required to be present in their corresponding _Foreign_ array.) See individual opcodes for details. In the case of account offsets or application offsets, 0 is specially defined to Txn.Sender or the ID of the current application, respectively.
-This summary is supplemented by more detail in the [opcodes document](opcodes/v11.md).
+This summary is supplemented by more detail in the [opcodes document](opcodes/v12.md).
Some operations immediately fail the program.
A transaction checked by a program that fails is not valid.
@@ -467,6 +500,7 @@ these results may contain leading zero bytes.
| `keccak256` | Keccak256 hash of value A, yields [32]byte |
| `sha512_256` | SHA512_256 hash of value A, yields [32]byte |
| `sha3_256` | SHA3_256 hash of value A, yields [32]byte |
+| `falcon_verify` | for (data A, compressed-format signature B, pubkey C) verify the signature of data against the pubkey => {0 or 1} |
| `ed25519verify` | for (data A, signature B, pubkey C) verify the signature of ("ProgData" \|\| program_hash \|\| data) against the pubkey => {0 or 1} |
| `ed25519verify_bare` | for (data A, signature B, pubkey C) verify the signature of the data against the pubkey => {0 or 1} |
| `ecdsa_verify v` | for (data A, signature B, C and pubkey D, E) verify the signature of the data against the pubkey => {0 or 1} |
@@ -594,9 +628,10 @@ Some of these have immediate data in the byte or bytes after the opcode.
| 60 | CreatedAssetID | uint64 | v5 | Asset ID allocated by the creation of an ASA (only with `itxn` in v5). Application mode only |
| 61 | CreatedApplicationID | uint64 | v5 | ApplicationID allocated by the creation of an application (only with `itxn` in v5). Application mode only |
| 62 | LastLog | []byte | v6 | The last message emitted. Empty bytes if none were emitted. Application mode only |
-| 63 | StateProofPK | []byte | v6 | 64 byte state proof public key |
+| 63 | StateProofPK | [64]byte | v6 | State proof public key |
| 65 | NumApprovalProgramPages | uint64 | v7 | Number of Approval Program pages |
| 67 | NumClearStateProgramPages | uint64 | v7 | Number of ClearState Program pages |
+| 68 | RejectVersion | uint64 | v12 | Application version for which the txn must reject |
##### Array Fields
| Index | Name | Type | In | Notes |
@@ -610,7 +645,7 @@ Some of these have immediate data in the byte or bytes after the opcode.
| 66 | ClearStateProgramPages | []byte | v7 | ClearState Program as an array of pages |
-Additional details in the [opcodes document](opcodes/v11.md#txn) on the `txn` op.
+Additional details in the [opcodes document](opcodes/v12.md#txn) on the `txn` op.
**Global Fields**
@@ -673,17 +708,18 @@ Asset fields include `AssetHolding` and `AssetParam` fields that are used in the
App fields used in the `app_params_get` opcode.
-| Index | Name | Type | Notes |
-| - | ------ | -- | --------- |
-| 0 | AppApprovalProgram | []byte | Bytecode of Approval Program |
-| 1 | AppClearStateProgram | []byte | Bytecode of Clear State Program |
-| 2 | AppGlobalNumUint | uint64 | Number of uint64 values allowed in Global State |
-| 3 | AppGlobalNumByteSlice | uint64 | Number of byte array values allowed in Global State |
-| 4 | AppLocalNumUint | uint64 | Number of uint64 values allowed in Local State |
-| 5 | AppLocalNumByteSlice | uint64 | Number of byte array values allowed in Local State |
-| 6 | AppExtraProgramPages | uint64 | Number of Extra Program Pages of code space |
-| 7 | AppCreator | address | Creator address |
-| 8 | AppAddress | address | Address for which this application has authority |
+| Index | Name | Type | In | Notes |
+| - | ------ | -- | - | --------- |
+| 0 | AppApprovalProgram | []byte | | Bytecode of Approval Program |
+| 1 | AppClearStateProgram | []byte | | Bytecode of Clear State Program |
+| 2 | AppGlobalNumUint | uint64 | | Number of uint64 values allowed in Global State |
+| 3 | AppGlobalNumByteSlice | uint64 | | Number of byte array values allowed in Global State |
+| 4 | AppLocalNumUint | uint64 | | Number of uint64 values allowed in Local State |
+| 5 | AppLocalNumByteSlice | uint64 | | Number of byte array values allowed in Local State |
+| 6 | AppExtraProgramPages | uint64 | | Number of Extra Program Pages of code space |
+| 7 | AppCreator | address | | Creator address |
+| 8 | AppAddress | address | | Address for which this application has authority |
+| 9 | AppVersion | uint64 | v12 | Version of the app, incremented each time the approval or clear program changes |
**Account Fields**
diff --git a/docs/rest-apis/algod.md b/docs/rest-apis/algod.md
index 945181980..4bcd74c32 100644
--- a/docs/rest-apis/algod.md
+++ b/docs/rest-apis/algod.md
@@ -98,7 +98,7 @@ Returns the entire genesis file in json.
|HTTP Code|Description|Schema|
|---|---|---|
-|**200**|The genesis file in json.|string|
+|**200**|The genesis file in json.|[Genesis](#genesis)|
|**default**|Unknown Error|No Content|
@@ -243,7 +243,7 @@ Given a specific account public key, this call returns the account's status, bal
|Type|Name|Description|Schema|
|---|---|---|---|
-|**Path**|**address**
*required*|An account public key|string|
+|**Path**|**address**
*required*|An account public key.|string|
|**Query**|**exclude**
*optional*|When set to `all` will exclude asset holdings, application local state, created asset parameters, any created application parameters. Defaults to `none`.|enum (all, none)|
|**Query**|**format**
*optional*|Configures whether the response object is JSON or MessagePack encoded. If not provided, defaults to JSON.|enum (json, msgpack)|
@@ -287,8 +287,8 @@ Given a specific account public key and application ID, this call returns the ac
|Type|Name|Description|Schema|
|---|---|---|---|
-|**Path**|**address**
*required*|An account public key|string|
-|**Path**|**application-id**
*required*|An application identifier|integer|
+|**Path**|**address**
*required*|An account public key.|string|
+|**Path**|**application-id**
*required*|An application identifier.|integer|
|**Query**|**format**
*optional*|Configures whether the response object is JSON or MessagePack encoded. If not provided, defaults to JSON.|enum (json, msgpack)|
@@ -340,7 +340,7 @@ Lookup an account's asset holdings.
|Type|Name|Description|Schema|
|---|---|---|---|
-|**Path**|**address**
*required*|An account public key|string|
+|**Path**|**address**
*required*|An account public key.|string|
|**Query**|**limit**
*optional*|Maximum number of results to return.|integer|
|**Query**|**next**
*optional*|The next page of results. Use the next token provided by the previous results.|string|
@@ -392,8 +392,8 @@ Given a specific account public key and asset ID, this call returns the account'
|Type|Name|Description|Schema|
|---|---|---|---|
-|**Path**|**address**
*required*|An account public key|string|
-|**Path**|**asset-id**
*required*|An asset identifier|integer|
+|**Path**|**address**
*required*|An account public key.|string|
+|**Path**|**asset-id**
*required*|An asset identifier.|integer|
|**Query**|**format**
*optional*|Configures whether the response object is JSON or MessagePack encoded. If not provided, defaults to JSON.|enum (json, msgpack)|
@@ -445,7 +445,7 @@ Get the list of pending transactions by address, sorted by priority, in decreasi
|Type|Name|Description|Schema|
|---|---|---|---|
-|**Path**|**address**
*required*|An account public key|string|
+|**Path**|**address**
*required*|An account public key.|string|
|**Query**|**format**
*optional*|Configures whether the response object is JSON or MessagePack encoded. If not provided, defaults to JSON.|enum (json, msgpack)|
|**Query**|**max**
*optional*|Truncated number of transactions to display. If max=0, returns all pending txns.|integer|
@@ -498,7 +498,7 @@ Given a application ID, it returns application information including creator, ap
|Type|Name|Description|Schema|
|---|---|---|---|
-|**Path**|**application-id**
*required*|An application identifier|integer|
+|**Path**|**application-id**
*required*|An application identifier.|integer|
**Responses**
@@ -540,7 +540,7 @@ Given an application ID and box name, it returns the round, box name, and value
|Type|Name|Description|Schema|
|---|---|---|---|
-|**Path**|**application-id**
*required*|An application identifier|integer|
+|**Path**|**application-id**
*required*|An application identifier.|integer|
|**Query**|**name**
*required*|A box name, in the goal app call arg form 'encoding:value'. For ints, use the form 'int:1234'. For raw bytes, use the form 'b64:A=='. For printable strings, use the form 'str:hello'. For addresses, use the form 'addr:XYZ...'.|string|
@@ -583,7 +583,7 @@ Given an application ID, return all Box names. No particular ordering is guarant
|Type|Name|Description|Schema|
|---|---|---|---|
-|**Path**|**application-id**
*required*|An application identifier|integer|
+|**Path**|**application-id**
*required*|An application identifier.|integer|
|**Query**|**max**
*optional*|Max number of box names to return. If max is not set, or max == 0, returns all box-names.|integer|
@@ -632,7 +632,7 @@ Given a asset ID, it returns asset information including creator, name, total su
|Type|Name|Description|Schema|
|---|---|---|---|
-|**Path**|**asset-id**
*required*|An asset identifier|integer|
+|**Path**|**asset-id**
*required*|An asset identifier.|integer|
**Responses**
@@ -670,7 +670,7 @@ GET /v2/blocks/{round}
|Type|Name|Description|Schema|
|---|---|---|---|
-|**Path**|**round**
*required*|The round from which to fetch block information.|integer|
+|**Path**|**round**
*required*|A round number.|integer|
|**Query**|**format**
*optional*|Configures whether the response object is JSON or MessagePack encoded. If not provided, defaults to JSON.|enum (json, msgpack)|
|**Query**|**header-only**
*optional*|If true, only the block header (exclusive of payset or certificate) may be included in response.|boolean|
@@ -719,7 +719,7 @@ GET /v2/blocks/{round}/hash
|Type|Name|Description|Schema|
|---|---|---|---|
-|**Path**|**round**
*required*|The round from which to fetch block hash information.|integer|
+|**Path**|**round**
*required*|A round number.|integer|
**Responses**
@@ -764,7 +764,7 @@ GET /v2/blocks/{round}/lightheader/proof
|Type|Name|Description|Schema|
|---|---|---|---|
-|**Path**|**round**
*required*|The round to which the light block header belongs.|integer|
+|**Path**|**round**
*required*|A round number.|integer|
**Responses**
@@ -807,7 +807,7 @@ Get all of the logs from outer and inner app calls in the given round
|Type|Name|Description|Schema|
|---|---|---|---|
-|**Path**|**round**
*required*|The round from which to fetch block log information.|integer|
+|**Path**|**round**
*required*|A round number.|integer|
**Responses**
@@ -851,7 +851,7 @@ GET /v2/blocks/{round}/transactions/{txid}/proof
|Type|Name|Description|Schema|
|---|---|---|---|
-|**Path**|**round**
*required*|The round in which the transaction appears.|integer|
+|**Path**|**round**
*required*|A round number.|integer|
|**Path**|**txid**
*required*|The transaction ID for which to generate a proof.|string|
|**Query**|**format**
*optional*|Configures whether the response object is JSON or MessagePack encoded. If not provided, defaults to JSON.|enum (json, msgpack)|
|**Query**|**hashtype**
*optional*|The type of hash function used to create the proof, must be one of:
* sha512_256
* sha256|enum (sha512_256, sha256)|
@@ -861,24 +861,13 @@ GET /v2/blocks/{round}/transactions/{txid}/proof
|HTTP Code|Description|Schema|
|---|---|---|
-|**200**|Proof of transaction in a block.|[Response 200](#gettransactionproof-response-200)|
+|**200**|Proof of transaction in a block.|[TransactionProof](#transactionproof)|
|**400**|Malformed round number or transaction ID|[ErrorResponse](#errorresponse)|
|**401**|Invalid API token|[ErrorResponse](#errorresponse)|
|**404**|Non-existent block or transaction|[ErrorResponse](#errorresponse)|
|**500**|Internal error, including protocol not supporting proofs.|[ErrorResponse](#errorresponse)|
|**default**|Unknown error|No Content|
-
-**Response 200**
-
-|Name|Description|Schema|
-|---|---|---|
-|**hashtype**
*required*|The type of hash function used to create the proof, must be one of:
* sha512_256
* sha256|enum (sha512_256, sha256)|
-|**idx**
*required*|Index of the transaction in the block's payset.|integer|
-|**proof**
*required*|Proof of transaction membership.
**Pattern** : `"^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==\|[A-Za-z0-9+/]{3}=)?$"`|string (byte)|
-|**stibhash**
*required*|Hash of SignedTxnInBlock for verifying proof.
**Pattern** : `"^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==\|[A-Za-z0-9+/]{3}=)?$"`|string (byte)|
-|**treedepth**
*required*|Represents the depth of the tree that is being proven, i.e. the number of edges from a leaf to the root.|integer|
-
**Produces**
@@ -903,7 +892,7 @@ GET /v2/blocks/{round}/txids
|Type|Name|Description|Schema|
|---|---|---|---|
-|**Path**|**round**
*required*|The round from which to fetch block transaction IDs.|integer|
+|**Path**|**round**
*required*|A round number.|integer|
**Responses**
@@ -1103,7 +1092,7 @@ Get ledger deltas for a round.
|Type|Name|Description|Schema|
|---|---|---|---|
-|**Path**|**round**
*required*|The round for which the deltas are desired.|integer|
+|**Path**|**round**
*required*|A round number.|integer|
|**Query**|**format**
*optional*|Configures whether the response object is JSON or MessagePack encoded. If not provided, defaults to JSON.|enum (json, msgpack)|
@@ -1148,7 +1137,7 @@ Get ledger deltas for transaction groups in a given round.
|Type|Name|Description|Schema|
|---|---|---|---|
-|**Path**|**round**
*required*|The round for which the deltas are desired.|integer|
+|**Path**|**round**
*required*|A round number.|integer|
|**Query**|**format**
*optional*|Configures whether the response object is JSON or MessagePack encoded. If not provided, defaults to JSON.|enum (json, msgpack)|
@@ -1407,7 +1396,7 @@ Sets the minimum sync round on the ledger.
|Type|Name|Description|Schema|
|---|---|---|---|
-|**Path**|**round**
*required*|The round for which the deltas are desired.|integer|
+|**Path**|**round**
*required*|A round number.|integer|
**Responses**
@@ -1526,10 +1515,10 @@ POST /v2/participation/generate/{address}
|Type|Name|Description|Schema|
|---|---|---|---|
-|**Path**|**address**
*required*|An account public key|string|
-|**Query**|**dilution**
*optional*|Key dilution for two-level participation keys (defaults to sqrt of validity window).|integer|
-|**Query**|**first**
*required*|First round for participation key.|integer|
-|**Query**|**last**
*required*|Last round for participation key.|integer|
+|**Path**|**address**
*required*|An account public key.|string|
+|**Query**|**dilution**
*optional*|Key dilution for two-level participation keys (defaults to sqrt of validity window).|integer (uint64)|
+|**Query**|**first**
*required*|First round for participation key.|integer (uint64)|
+|**Query**|**last**
*required*|Last round for participation key.|integer (uint64)|
**Responses**
@@ -1726,7 +1715,7 @@ GET /v2/stateproofs/{round}
|Type|Name|Description|Schema|
|---|---|---|---|
-|**Path**|**round**
*required*|The round for which a state proof is desired.|integer|
+|**Path**|**round**
*required*|A round number.|integer|
**Responses**
@@ -1830,7 +1819,7 @@ Waits for a block to appear after round {round} and returns the node's status at
|Type|Name|Description|Schema|
|---|---|---|---|
-|**Path**|**round**
*required*|The round to wait until returning status|integer|
+|**Path**|**round**
*required*|A round number.|integer|
**Responses**
@@ -2384,10 +2373,10 @@ data/basics/userBalance.go : AccountData
|Name|Description|Schema|
|---|---|---|
|**address**
*required*|the account public key|string|
-|**amount**
*required*|\[algo\] total number of MicroAlgos in the account|integer|
-|**amount-without-pending-rewards**
*required*|specifies the amount of MicroAlgos in the account, without the pending rewards.|integer|
+|**amount**
*required*|\[algo\] total number of MicroAlgos in the account|integer (uint64)|
+|**amount-without-pending-rewards**
*required*|specifies the amount of MicroAlgos in the account, without the pending rewards.|integer (uint64)|
|**apps-local-state**
*optional*|\[appl\] applications local data stored in this account.
Note the raw object uses `map[int] -> AppLocalState` for this type.|< [ApplicationLocalState](#applicationlocalstate) > array|
-|**apps-total-extra-pages**
*optional*|\[teap\] the sum of all extra application program pages for this account.|integer|
+|**apps-total-extra-pages**
*optional*|\[teap\] the sum of all extra application program pages for this account.|integer (uint64)|
|**apps-total-schema**
*optional*|\[tsch\] stores the sum of all of the local schemas and global schemas in this account.
Note: the raw account uses `StateSchema` for this type.|[ApplicationStateSchema](#applicationstateschema)|
|**assets**
*optional*|\[asset\] assets held by this account.
Note the raw object uses `map[int] -> AssetHolding` for this type.|< [AssetHolding](#assetholding) > array|
|**auth-addr**
*optional*|\[spend\] the address against which signing should be checked. If empty, the address of the current account is used. This field can be updated in any transaction by setting the RekeyTo field.|string|
@@ -2396,20 +2385,20 @@ data/basics/userBalance.go : AccountData
|**incentive-eligible**
*optional*|Whether or not the account can receive block incentives if its balance is in range at proposal time.|boolean|
|**last-heartbeat**
*optional*|The round in which this account last went online, or explicitly renewed their online status.|integer|
|**last-proposed**
*optional*|The round in which this account last proposed the block.|integer|
-|**min-balance**
*required*|MicroAlgo balance required by the account.
The requirement grows based on asset and application usage.|integer|
+|**min-balance**
*required*|MicroAlgo balance required by the account.
The requirement grows based on asset and application usage.|integer (uint64)|
|**participation**
*optional*||[AccountParticipation](#accountparticipation)|
-|**pending-rewards**
*required*|amount of MicroAlgos of pending rewards in this account.|integer|
-|**reward-base**
*optional*|\[ebase\] used as part of the rewards computation. Only applicable to accounts which are participating.|integer|
-|**rewards**
*required*|\[ern\] total rewards of MicroAlgos the account has received, including pending rewards.|integer|
+|**pending-rewards**
*required*|amount of MicroAlgos of pending rewards in this account.|integer (uint64)|
+|**reward-base**
*optional*|\[ebase\] used as part of the rewards computation. Only applicable to accounts which are participating.|integer (uint64)|
+|**rewards**
*required*|\[ern\] total rewards of MicroAlgos the account has received, including pending rewards.|integer (uint64)|
|**round**
*required*|The round for which this information is relevant.|integer|
|**sig-type**
*optional*|Indicates what type of signature is used by this account, must be one of:
* sig
* msig
* lsig|enum (sig, msig, lsig)|
|**status**
*required*|\[onl\] delegation status of the account's MicroAlgos
* Offline - indicates that the associated account is delegated.
* Online - indicates that the associated account used as part of the delegation pool.
* NotParticipating - indicates that the associated account is neither a delegator nor a delegate.|string|
-|**total-apps-opted-in**
*required*|The count of all applications that have been opted in, equivalent to the count of application local data (AppLocalState objects) stored in this account.|integer|
-|**total-assets-opted-in**
*required*|The count of all assets that have been opted in, equivalent to the count of AssetHolding objects held by this account.|integer|
-|**total-box-bytes**
*optional*|\[tbxb\] The total number of bytes used by this account's app's box keys and values.|integer|
-|**total-boxes**
*optional*|\[tbx\] The number of existing boxes created by this account's app.|integer|
-|**total-created-apps**
*required*|The count of all apps (AppParams objects) created by this account.|integer|
-|**total-created-assets**
*required*|The count of all assets (AssetParams objects) created by this account.|integer|
+|**total-apps-opted-in**
*required*|The count of all applications that have been opted in, equivalent to the count of application local data (AppLocalState objects) stored in this account.|integer (uint64)|
+|**total-assets-opted-in**
*required*|The count of all assets that have been opted in, equivalent to the count of AssetHolding objects held by this account.|integer (uint64)|
+|**total-box-bytes**
*optional*|\[tbxb\] The total number of bytes used by this account's app's box keys and values.|integer (uint64)|
+|**total-boxes**
*optional*|\[tbx\] The number of existing boxes created by this account's app.|integer (uint64)|
+|**total-created-apps**
*required*|The count of all apps (AppParams objects) created by this account.|integer (uint64)|
+|**total-created-assets**
*required*|The count of all assets (AssetParams objects) created by this account.|integer (uint64)|
@@ -2529,10 +2518,11 @@ Stores the global information associated with an application.
|**approval-program**
*required*|\[approv\] approval program.
**Pattern** : `"^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==\|[A-Za-z0-9+/]{3}=)?$"`|string (byte)|
|**clear-state-program**
*required*|\[clearp\] approval program.
**Pattern** : `"^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==\|[A-Za-z0-9+/]{3}=)?$"`|string (byte)|
|**creator**
*required*|The address that created this application. This is the address where the parameters and global state for this application can be found.|string|
-|**extra-program-pages**
*optional*|\[epp\] the amount of extra program pages available to this app.|integer|
+|**extra-program-pages**
*optional*|\[epp\] the amount of extra program pages available to this app.|integer (uint64)|
|**global-state**
*optional*|\[gs\] global state|[TealKeyValueStore](#tealkeyvaluestore)|
|**global-state-schema**
*optional*|\[gsch\] global schema|[ApplicationStateSchema](#applicationstateschema)|
|**local-state-schema**
*optional*|\[lsch\] local schema|[ApplicationStateSchema](#applicationstateschema)|
+|**version**
*optional*|\[v\] the number of updates to the application programs|integer|
@@ -2556,8 +2546,8 @@ Specifies maximums on the number of each type that may be stored.
|Name|Description|Schema|
|---|---|---|
-|**num-byte-slice**
*required*|\[nbs\] num of byte slices.|integer|
-|**num-uint**
*required*|\[nui\] num of uints.|integer|
+|**num-byte-slice**
*required*|\[nbs\] num of byte slices.|integer (uint64)|
+|**num-uint**
*required*|\[nui\] num of uints.|integer (uint64)|
@@ -2581,7 +2571,7 @@ data/basics/userBalance.go : AssetHolding
|Name|Description|Schema|
|---|---|---|
-|**amount**
*required*|\[a\] number of units held.|integer|
+|**amount**
*required*|\[a\] number of units held.|integer (uint64)|
|**asset-id**
*required*|Asset ID of the holding.|integer|
|**is-frozen**
*required*|\[f\] whether or not the holding is frozen.|boolean|
@@ -2611,7 +2601,7 @@ data/transactions/asset.go : AssetParams
|---|---|---|
|**clawback**
*optional*|\[c\] Address of account used to clawback holdings of this asset. If empty, clawback is not permitted.|string|
|**creator**
*required*|The address that created this asset. This is the address where the parameters for this asset can be found, and also the address where unwanted asset units can be sent in the worst case.|string|
-|**decimals**
*required*|\[dc\] The number of digits to use after the decimal point when displaying this asset. If 0, the asset is not divisible. If 1, the base unit of the asset is in tenths. If 2, the base unit of the asset is in hundredths, and so on. This value must be between 0 and 19 (inclusive).
**Minimum value** : `0`
**Maximum value** : `19`|integer|
+|**decimals**
*required*|\[dc\] The number of digits to use after the decimal point when displaying this asset. If 0, the asset is not divisible. If 1, the base unit of the asset is in tenths. If 2, the base unit of the asset is in hundredths, and so on. This value must be between 0 and 19 (inclusive).
**Minimum value** : `0`
**Maximum value** : `19`|integer (uint64)|
|**default-frozen**
*optional*|\[df\] Whether holdings of this asset are frozen by default.|boolean|
|**freeze**
*optional*|\[f\] Address of account used to freeze holdings of this asset. If empty, freezing is not permitted.|string|
|**manager**
*optional*|\[m\] Address of account used to manage the keys of this asset and to destroy it.|string|
@@ -2619,7 +2609,7 @@ data/transactions/asset.go : AssetParams
|**name**
*optional*|\[an\] Name of this asset, as supplied by the creator. Included only when the asset name is composed of printable utf-8 characters.|string|
|**name-b64**
*optional*|Base64 encoded name of this asset, as supplied by the creator.
**Pattern** : `"^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==\|[A-Za-z0-9+/]{3}=)?$"`|string (byte)|
|**reserve**
*optional*|\[r\] Address of account holding reserve (non-minted) units of this asset.|string|
-|**total**
*required*|\[t\] The total number of units of this asset.|integer|
+|**total**
*required*|\[t\] The total number of units of this asset.|integer (uint64)|
|**unit-name**
*optional*|\[un\] Name of a unit of this asset, as supplied by the creator. Included only when the name of a unit of this asset is composed of printable utf-8 characters.|string|
|**unit-name-b64**
*optional*|Base64 encoded name of a unit of this asset, as supplied by the creator.
**Pattern** : `"^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==\|[A-Za-z0-9+/]{3}=)?$"`|string (byte)|
|**url**
*optional*|\[au\] URL where more information about the asset can be retrieved. Included only when the URL is composed of printable utf-8 characters.|string|
@@ -2646,7 +2636,7 @@ Represents an AVM value.
|---|---|---|
|**bytes**
*optional*|bytes value.
**Pattern** : `"^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==\|[A-Za-z0-9+/]{3}=)?$"`|string (byte)|
|**type**
*required*|value type. Value `1` refers to **bytes**, value `2` refers to **uint64**|integer|
-|**uint**
*optional*|uint value.|integer|
+|**uint**
*optional*|uint value.|integer (uint64)|
@@ -2656,9 +2646,9 @@ Box name and its content.
|Name|Description|Schema|
|---|---|---|
-|**name**
*required*|\[name\] box name, base64 encoded
**Pattern** : `"^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==\|[A-Za-z0-9+/]{3}=)?$"`|string (byte)|
+|**name**
*required*|The box name, base64 encoded
**Pattern** : `"^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==\|[A-Za-z0-9+/]{3}=)?$"`|string (byte)|
|**round**
*required*|The round for which this information is relevant|integer|
-|**value**
*required*|\[value\] box value, base64 encoded.
**Pattern** : `"^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==\|[A-Za-z0-9+/]{3}=)?$"`|string (byte)|
+|**value**
*required*|The box value, base64 encoded.
**Pattern** : `"^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==\|[A-Za-z0-9+/]{3}=)?$"`|string (byte)|
@@ -2688,11 +2678,11 @@ References a box of an application.
|Name|Schema|
|---|---|
|**branch**
*required*|string|
-|**build_number**
*required*|integer (int64)|
+|**build_number**
*required*|integer|
|**channel**
*required*|string|
|**commit_hash**
*required*|string|
-|**major**
*required*|integer (int64)|
-|**minor**
*required*|integer (int64)|
+|**major**
*required*|integer|
+|**minor**
*required*|integer|
@@ -2702,8 +2692,8 @@ algod mutex and blocking profiling state.
|Name|Description|Schema|
|---|---|---|
-|**block-rate**
*optional*|The rate of blocking events. The profiler aims to sample an average of one blocking event per rate nanoseconds spent blocked. To turn off profiling entirely, pass rate 0.
**Example** : `1000`|integer|
-|**mutex-rate**
*optional*|The rate of mutex events. On average 1/rate events are reported. To turn off profiling entirely, pass rate 0
**Example** : `1000`|integer|
+|**block-rate**
*optional*|The rate of blocking events. The profiler aims to sample an average of one blocking event per rate nanoseconds spent blocked. To turn off profiling entirely, pass rate 0.
**Example** : `1000`|integer (uint64)|
+|**mutex-rate**
*optional*|The rate of mutex events. On average 1/rate events are reported. To turn off profiling entirely, pass rate 0
**Example** : `1000`|integer (uint64)|
@@ -2715,7 +2705,7 @@ Request data type for dryrun endpoint. Given the Transactions and simulated ledg
|---|---|---|
|**accounts**
*required*||< [Account](#account) > array|
|**apps**
*required*||< [Application](#application) > array|
-|**latest-timestamp**
*required*|LatestTimestamp is available to some TEAL scripts. Defaults to the latest confirmed timestamp this algod is attached to.|integer (int64)|
+|**latest-timestamp**
*required*|LatestTimestamp is available to some TEAL scripts. Defaults to the latest confirmed timestamp this algod is attached to.
**Minimum value** : `0`|integer|
|**protocol-version**
*required*|ProtocolVersion specifies a specific version string to operate under, otherwise whatever the current protocol of the network this algod is running in.|string|
|**round**
*required*|Round is available to some TEAL scripts. Defaults to the current round on the network this algod is attached to.|integer|
|**sources**
*required*||< [DryrunSource](#dryrunsource) > array|
@@ -2787,9 +2777,9 @@ Represents a TEAL value delta.
|Name|Description|Schema|
|---|---|---|
-|**action**
*required*|\[at\] delta action.|integer|
+|**action**
*required*|\[at\] delta action.|integer (uint64)|
|**bytes**
*optional*|\[bs\] bytes value.|string|
-|**uint**
*optional*|\[ui\] uint value.|integer|
+|**uint**
*optional*|\[ui\] uint value.|integer (uint64)|
@@ -2803,15 +2793,44 @@ Key-value pairs for StateDelta.
|**value**
*required*|[EvalDelta](#evaldelta)|
-
-### KvDelta
-A single Delta containing the key, the previous value and the current value for a single round.
+
+### Genesis
+|Name|Schema|
+|---|---|
+|**alloc**
*required*|< [GenesisAllocation](#genesisallocation) > array|
+|**comment**
*optional*|string|
+|**devmode**
*optional*|boolean|
+|**fees**
*required*|string|
+|**id**
*required*|string|
+|**network**
*required*|string|
+|**proto**
*required*|string|
+|**rwd**
*required*|string|
+|**timestamp**
*required*|integer (int64)|
-|Name|Description|Schema|
-|---|---|---|
-|**key**
*optional*|The key, base64 encoded.
**Pattern** : `"^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==\|[A-Za-z0-9+/]{3}=)?$"`|string (byte)|
-|**value**
*optional*|The new value of the KV store entry, base64 encoded.
**Pattern** : `"^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==\|[A-Za-z0-9+/]{3}=)?$"`|string (byte)|
+
+
+### GenesisAllocation
+
+|Name|Schema|
+|---|---|
+|**addr**
*required*|string|
+|**comment**
*required*|string|
+|**state**
*required*|[state](#genesisallocation-state)|
+
+
+**state**
+
+|Name|Schema|
+|---|---|
+|**algo**
*required*|integer (uint64)|
+|**onl**
*required*|integer|
+|**sel**
*optional*|string|
+|**stprf**
*optional*|string|
+|**vote**
*optional*|string|
+|**voteFst**
*optional*|integer (uint64)|
+|**voteKD**
*optional*|integer (uint64)|
+|**voteLst**
*optional*|integer (uint64)|
@@ -3067,7 +3086,7 @@ Represents the message that the state proofs are attesting to.
|**BlockHeadersCommitment**
*required*|The vector commitment root on all light block headers within a state proof interval.
**Pattern** : `"^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==\|[A-Za-z0-9+/]{3}=)?$"`|string (byte)|
|**FirstAttestedRound**
*required*|The first round the message attests to.|integer|
|**LastAttestedRound**
*required*|The last round the message attests to.|integer|
-|**LnProvenWeight**
*required*|An integer value representing the natural log of the proven weight with 16 bits of precision. This value would be used to verify the next state proof.|integer|
+|**LnProvenWeight**
*required*|An integer value representing the natural log of the proven weight with 16 bits of precision. This value would be used to verify the next state proof.|integer (uint64)|
|**VotersCommitment**
*required*|The vector commitment root of the top N accounts to sign the next StateProof.
**Pattern** : `"^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==\|[A-Za-z0-9+/]{3}=)?$"`|string (byte)|
@@ -3098,7 +3117,21 @@ Represents a TEAL value.
|---|---|---|
|**bytes**
*required*|\[tb\] bytes value.|string|
|**type**
*required*|\[tt\] value type. Value `1` refers to **bytes**, value `2` refers to **uint**|integer|
-|**uint**
*required*|\[ui\] uint value.|integer|
+|**uint**
*required*|\[ui\] uint value.|integer (uint64)|
+
+
+
+### TransactionProof
+Proof of transaction in a block.
+
+
+|Name|Description|Schema|
+|---|---|---|
+|**hashtype**
*required*|The type of hash function used to create the proof, must be one of:
* sha512_256
* sha256|enum (sha512_256, sha256)|
+|**idx**
*required*|Index of the transaction in the block's payset.|integer|
+|**proof**
*required*|Proof of transaction membership.
**Pattern** : `"^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==\|[A-Za-z0-9+/]{3}=)?$"`|string (byte)|
+|**stibhash**
*required*|Hash of SignedTxnInBlock for verifying proof.
**Pattern** : `"^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==\|[A-Za-z0-9+/]{3}=)?$"`|string (byte)|
+|**treedepth**
*required*|Represents the depth of the tree that is being proven, i.e. the number of edges from a leaf to the root.|integer|
diff --git a/docs/rest-apis/indexer.md b/docs/rest-apis/indexer.md
index fcda5f909..7fd0ca6f1 100644
--- a/docs/rest-apis/indexer.md
+++ b/docs/rest-apis/indexer.md
@@ -50,6 +50,7 @@ Search for accounts.
|**Query**|**include-all**
*optional*|Include all items including closed accounts, deleted applications, destroyed assets, opted-out asset holdings, and closed-out application localstates.|boolean|
|**Query**|**limit**
*optional*|Maximum number of results to return. There could be additional pages even if the limit is not reached.|integer|
|**Query**|**next**
*optional*|The next page of results. Use the next token provided by the previous results.|string|
+|**Query**|**online-only**
*optional*|When this is set to true, return only accounts whose participation status is currently online.|boolean|
|**Query**|**round**
*optional*|Include results for the specified round. For performance reasons, this parameter may be disabled on some configurations. Using application-id or asset-id filters will return both creator and opt-in accounts. Filtering by include-all will return creator and opt-in accounts for deleted assets and accounts. Non-opt-in managers are not included in the results when asset-id is used.|integer|
@@ -1314,6 +1315,7 @@ Search for transactions. Transactions are returned oldest to newest unless the a
|**Query**|**currency-greater-than**
*optional*|Results should have an amount greater than this value. MicroAlgos are the default currency unless an asset-id is provided, in which case the asset will be used.|integer|
|**Query**|**currency-less-than**
*optional*|Results should have an amount less than this value. MicroAlgos are the default currency unless an asset-id is provided, in which case the asset will be used.|integer|
|**Query**|**exclude-close-to**
*optional*|Combine with address and address-role parameters to define what type of address to search for. The close to fields are normally treated as a receiver, if you would like to exclude them set this parameter to true.|boolean|
+|**Query**|**group-id**
*optional*|Lookup transactions by group ID. This field must be base64-encoded, and afterwards, base64 characters that are URL-unsafe (i.e. =, /, +) must be URL-encoded|string|
|**Query**|**limit**
*optional*|Maximum number of results to return. There could be additional pages even if the limit is not reached.|integer|
|**Query**|**max-round**
*optional*|Include results at or before the specified max-round.|integer|
|**Query**|**min-round**
*optional*|Include results at or after the specified min-round.|integer|
@@ -1573,6 +1575,7 @@ Stores the global information associated with an application.
|**global-state**
*optional*|global state|[TealKeyValueStore](#tealkeyvaluestore)|
|**global-state-schema**
*optional*|global schema|[ApplicationStateSchema](#applicationstateschema)|
|**local-state-schema**
*optional*|local schema|[ApplicationStateSchema](#applicationstateschema)|
+|**version**
*optional*|the number of updates to the application programs|integer|
@@ -1663,6 +1666,7 @@ data/bookkeeping/block.go : Block
|**genesis-id**
*required*|\[gen\] ID to which this block belongs.|string|
|**participation-updates**
*optional*||[ParticipationUpdates](#participationupdates)|
|**previous-block-hash**
*required*|\[prev\] Previous block hash.
**Pattern** : `"^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==\|[A-Za-z0-9+/]{3}=)?$"`|string (byte)|
+|**previous-block-hash-512**
*optional*|\[prev512\] Previous block hash, using SHA-512.
**Pattern** : `"^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==\|[A-Za-z0-9+/]{3}=)?$"`|string (byte)|
|**proposer**
*optional*|the proposer of this block.|string|
|**proposer-payout**
*optional*|the actual amount transferred to the proposer from the fee sink.|integer|
|**rewards**
*optional*||[BlockRewards](#blockrewards)|
@@ -1673,6 +1677,7 @@ data/bookkeeping/block.go : Block
|**transactions**
*optional*|\[txns\] list of transactions corresponding to a given round.|< [Transaction](#transaction) > array|
|**transactions-root**
*required*|\[txn\] TransactionsRoot authenticates the set of transactions appearing in the block. More specifically, it's the root of a merkle tree whose leaves are the block's Txids, in lexicographic order. For the empty block, it's 0. Note that the TxnRoot does not authenticate the signatures on the transactions, only the transactions themselves. Two blocks with the same transactions but in a different order and with different signatures will have the same TxnRoot.
**Pattern** : `"^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==\|[A-Za-z0-9+/]{3}=)?$"`|string (byte)|
|**transactions-root-sha256**
*required*|\[txn256\] TransactionsRootSHA256 is an auxiliary TransactionRoot, built using a vector commitment instead of a merkle tree, and SHA256 hash function instead of the default SHA512_256. This commitment can be used on environments where only the SHA256 function exists.
**Pattern** : `"^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==\|[A-Za-z0-9+/]{3}=)?$"`|string (byte)|
+|**transactions-root-sha512**
*optional*|\[txn512\] TransactionsRootSHA512 is an auxiliary TransactionRoot, built using a vector commitment instead of a merkle tree, and SHA512 hash function instead of the default SHA512_256.
**Pattern** : `"^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==\|[A-Za-z0-9+/]{3}=)?$"`|string (byte)|
|**txn-counter**
*optional*|\[tc\] TxnCounter counts the number of transactions committed in the ledger, from the time at which support for this feature was introduced.
Specifically, TxnCounter is the number of the next transaction that will be committed after this block. It is 0 when no transactions have ever been committed (since TxnCounter started being supported).|integer|
|**upgrade-state**
*optional*||[BlockUpgradeState](#blockupgradestate)|
|**upgrade-vote**
*optional*||[BlockUpgradeVote](#blockupgradevote)|
@@ -1741,6 +1746,17 @@ Box descriptor describes an app box without a value.
|**name**
*required*|Base64 encoded box name
**Pattern** : `"^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==\|[A-Za-z0-9+/]{3}=)?$"`|string (byte)|
+
+### BoxReference
+BoxReference names a box by its name and the application ID it belongs to.
+
+
+|Name|Description|Schema|
+|---|---|---|
+|**app**
*required*|Application ID to which the box belongs, or zero if referring to the called application.|integer|
+|**name**
*required*|Base64 encoded box name
**Pattern** : `"^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==\|[A-Za-z0-9+/]{3}=)?$"`|string (byte)|
+
+
### EvalDelta
Represents a TEAL value delta.
@@ -1811,6 +1827,17 @@ A health check response.
|**version**
*required*|Current version.|string|
+
+### HoldingRef
+HoldingRef names a holding by referring to an Address and Asset it belongs to.
+
+
+|Name|Description|Schema|
+|---|---|---|
+|**address**
*required*|\[d\] Address in access list, or the sender of the transaction.|string|
+|**asset**
*required*|\[s\] Asset ID for asset in access list.|integer|
+
+
### IndexerStateProofMessage
@@ -1823,6 +1850,17 @@ A health check response.
|**voters-commitment**
*optional*|\[v\]
**Pattern** : `"^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==\|[A-Za-z0-9+/]{3}=)?$"`|string (byte)|
+
+### LocalsRef
+LocalsRef names a local state by referring to an Address and App it belongs to.
+
+
+|Name|Description|Schema|
+|---|---|---|
+|**address**
*required*|\[d\] Address in access list, or the sender of the transaction.|string|
+|**app**
*required*|\[p\] Application ID for app in access list, or zero if referring to the called application.|integer|
+
+
### MerkleArrayProof
@@ -1875,6 +1913,21 @@ Participation account data that needs to be checked/acted on by the network.
|**expired-participation-accounts**
*optional*|\[partupdrmv\] a list of online accounts that needs to be converted to offline since their participation key expired.|< string > array|
+
+### ResourceRef
+ResourceRef names a single resource. Only one of the fields should be set.
+
+
+|Name|Description|Schema|
+|---|---|---|
+|**address**
*optional*|\[d\] Account whose balance record is accessible by the executing ApprovalProgram or ClearStateProgram.|string|
+|**application-id**
*optional*|\[p\] Application id whose GlobalState may be read by the executing
ApprovalProgram or ClearStateProgram.|integer|
+|**asset-id**
*optional*|\[s\] Asset whose AssetParams may be read by the executing
ApprovalProgram or ClearStateProgram.|integer|
+|**box**
*optional*||[BoxReference](#boxreference)|
+|**holding**
*optional*||[HoldingRef](#holdingref)|
+|**local**
*optional*||[LocalsRef](#localsref)|
+
+
### StateDelta
Application state delta.
@@ -2059,10 +2112,12 @@ data/transactions/application.go : ApplicationCallTxnFields
|Name|Description|Schema|
|---|---|---|
+|**access**
*optional*|\[al\] Access unifies `accounts`, `foreign-apps`, `foreign-assets`, and `box-references` under a single list. If access is non-empty, these lists must be empty. If access is empty, those lists may be non-empty.|< [ResourceRef](#resourceref) > array|
|**accounts**
*optional*|\[apat\] List of accounts in addition to the sender that may be accessed from the application's approval-program and clear-state-program.|< string > array|
|**application-args**
*optional*|\[apaa\] transaction specific arguments accessed from the application's approval-program and clear-state-program.|< string > array|
|**application-id**
*required*|\[apid\] ID of the application being configured or empty if creating.|integer|
|**approval-program**
*optional*|\[apap\] Logic executed for every application transaction, except when on-completion is set to "clear". It can read and write global state for the application, as well as account-specific local state. Approval programs may reject the transaction.
**Pattern** : `"^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==\|[A-Za-z0-9+/]{3}=)?$"`|string (byte)|
+|**box-references**
*optional*|\[apbx\] the boxes that can be accessed by this transaction (and others in the same group).|< [BoxReference](#boxreference) > array|
|**clear-state-program**
*optional*|\[apsu\] Logic executed for application transactions with on-completion set to "clear". It can read and write global state for the application, as well as account-specific local state. Clear state programs cannot reject the transaction.
**Pattern** : `"^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==\|[A-Za-z0-9+/]{3}=)?$"`|string (byte)|
|**extra-program-pages**
*optional*|\[epp\] specifies the additional app program len requested in pages.|integer|
|**foreign-apps**
*optional*|\[apfa\] Lists the applications in addition to the application-id whose global states may be accessed by this application's approval-program and clear-state-program. The access is read-only.|< integer > array|
@@ -2070,6 +2125,7 @@ data/transactions/application.go : ApplicationCallTxnFields
|**global-state-schema**
*optional*||[StateSchema](#stateschema)|
|**local-state-schema**
*optional*||[StateSchema](#stateschema)|
|**on-completion**
*required*||[OnCompletion](#oncompletion)|
+|**reject-version**
*optional*|\[aprv\] the lowest application version for which this transaction should immediately fail. 0 indicates that no version check should be performed.|integer|
@@ -2199,13 +2255,14 @@ data/transactions/logicsig.go
|---|---|---|
|**args**
*optional*|\[arg\] Logic arguments, base64 encoded.|< string > array|
|**logic**
*required*|\[l\] Program signed by a signature or multi signature, or hashed to be the address of ana ccount. Base64 encoded TEAL program.
**Pattern** : `"^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==\|[A-Za-z0-9+/]{3}=)?$"`|string (byte)|
+|**logic-multisig-signature**
*optional*||[TransactionSignatureMultisig](#transactionsignaturemultisig)|
|**multisig-signature**
*optional*||[TransactionSignatureMultisig](#transactionsignaturemultisig)|
|**signature**
*optional*|\[sig\] ed25519 signature.
**Pattern** : `"^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==\|[A-Za-z0-9+/]{3}=)?$"`|string (byte)|
### TransactionSignatureMultisig
-\[msig\] structure holding multiple subsignatures.
+structure holding multiple subsignatures.
Definition:
crypto/multisig.go : MultisigSig
diff --git a/docs/rest-apis/kmd.md b/docs/rest-apis/kmd.md
index 2178a4f00..69f2f24c4 100644
--- a/docs/rest-apis/kmd.md
+++ b/docs/rest-apis/kmd.md
@@ -1259,6 +1259,7 @@ APIV1POSTMultisigProgramSignRequest is the request for `POST /v1/multisig/signpr
|**data**
*optional*|**Pattern** : `"^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==\|[A-Za-z0-9+/]{3}=)?$"`|string (byte)|
|**partial_multisig**
*optional*||[MultisigSig](#multisigsig)|
|**public_key**
*optional*||[PublicKey](#publickey)|
+|**use_legacy_msig**
*optional*||boolean|
|**wallet_handle_token**
*optional*||string|
|**wallet_password**
*optional*||string|
diff --git a/docs/run-a-node/reference/config.md b/docs/run-a-node/reference/config.md
index 3b82274c3..491f05676 100644
--- a/docs/run-a-node/reference/config.md
+++ b/docs/run-a-node/reference/config.md
@@ -32,7 +32,7 @@ The `algod` process configuration parameters are shown in the table below.
| Property| Description | Default Value |
|------|------|------|
-| Version | Version tracks the current version of the defaults so we can migrate old -> new
This is specifically important whenever we decide to change the default value
for an existing parameter. This field tag must be updated any time we add a new version. | 35 |
+| Version | Version tracks the current version of the defaults so we can migrate old -> new
This is specifically important whenever we decide to change the default value
for an existing parameter. This field tag must be updated any time we add a new version. | 36 |
| Archival | Archival nodes retain a full copy of the block history. Non-Archival nodes will delete old blocks and only retain what's need to properly validate blockchain messages (the precise number of recent blocks depends on the consensus parameters. Currently the last 1321 blocks are required). This means that non-Archival nodes require significantly less storage than Archival nodes. If setting this to true for the first time, the existing ledger may need to be deleted to get the historical values stored as the setting only affects current blocks forward. To do this, shutdown the node and delete all .sqlite files within the data/testnet-version directory, except the crash.sqlite file. Restart the node and wait for the node to sync. | false |
| GossipFanout | GossipFanout sets the maximum number of peers the node will connect to with outgoing connections. If the list of peers is less than this setting, fewer connections will be made. The node will not connect to the same peer multiple times (with outgoing connections). | 4 |
| NetAddress | NetAddress is the address and/or port on which a node listens for incoming connections, or blank to ignore incoming connections. Specify an IP and port or just a port. For example, 127.0.0.1:0 will listen on a random port on the localhost. | |
@@ -176,6 +176,7 @@ The `algod` process configuration parameters are shown in the table below.
| P2PPrivateKeyLocation | P2PPrivateKeyLocation allows the user to specify a custom path to the private key used for the node's PeerID.
The private key provided must be an ed25519 private key.
This is only used when P2PEnable is true. If the parameter is not set, it uses the default location. | |
| DisableAPIAuth | DisableAPIAuth turns off authentication for public (non-admin) API endpoints. | false |
| GoMemLimit | GoMemLimit provides the Go runtime with a soft memory limit. The default behavior is no limit,
unless the GOMEMLIMIT environment variable is set. | 0 |
+| EnableVoteCompression | EnableVoteCompression controls whether vote compression is enabled for websocket networks | true |
diff --git a/docs/sdks/javascript/index.md b/docs/sdks/javascript/index.md
index bd9639336..0c1d4999c 100644
--- a/docs/sdks/javascript/index.md
+++ b/docs/sdks/javascript/index.md
@@ -56,9 +56,9 @@ In order to interact with the Algorand blockchain, you must have a funded accoun
```javascript
-const generatedAccount = algosdk.generateAccount();
-const passphrase = algosdk.secretKeyToMnemonic(generatedAccount.sk);
-console.log(`My address: ${generatedAccount.addr}`);
+const acct = algosdk.generateAccount();
+const passphrase = algosdk.secretKeyToMnemonic(acct.sk);
+console.log(`My address: ${acct.addr}`);
console.log(`My passphrase: ${passphrase}`);
```
[Snippet Source](https://github.com/algorand/js-algorand-sdk/blob/examples/examples/accounts.ts#L80-L84)
@@ -117,9 +117,9 @@ Transactions are used to interact with the Algorand network. To create a payment
```javascript
const suggestedParams = await algodClient.getTransactionParams().do();
const ptxn = algosdk.makePaymentTxnWithSuggestedParamsFromObject({
- from: acct.addr,
+ sender: acct.addr,
suggestedParams,
- to: acct2.addr,
+ receiver: acct.addr,
amount: 10000,
note: new Uint8Array(Buffer.from('hello world')),
});
@@ -135,7 +135,7 @@ Before the transaction is considered valid, it must be signed by a private key.
​
```javascript
-const signedTxn = ptxn.signTxn(acct.privateKey);
+const signedTxn = ptxn.signTxn(acct.sk);
```
[Snippet Source](https://github.com/algorand/js-algorand-sdk/blob/examples/examples/overview.ts#L34-L35)
@@ -151,10 +151,10 @@ The signed transaction can now be submitted to the network.`waitForConfirmation`
```javascript
-const { txId } = await algodClient.sendRawTransaction(signedTxn).do();
-const result = await algosdk.waitForConfirmation(algodClient, txId, 4);
+const { txid } = await algodClient.sendRawTransaction(signedTxn).do();
+const result = await algosdk.waitForConfirmation(algodClient, txid, 4);
console.log(result);
-console.log(`Transaction Information: ${result.txn}`);
+console.log(`Transaction Information: `, result.txn);
console.log(`Decoded Note: ${Buffer.from(result.txn.txn.note).toString()}`);
```
[Snippet Source](https://github.com/algorand/js-algorand-sdk/blob/examples/examples/overview.ts#L38-L43)