Unified binary interface for ABIs

[bilboquet]

This quickly presents my current understanding of the dependencies (aka architecture) of a SC (implemented in AS with hand written bindings) and how the architecture would be transformed to support wit interface/bindings.

Current architecture

New architecture

                                                        +---------------------------------------------+
+----------------+    /----------------------------\    |                                             |
| Smart Contract |   /      Run inside              \   +------------------+                          |
| assemblyscript |  /                                \  |     wasmer       |     massa-sc-runtime     |
+----------------+ /                                  \ +------------------+            ^             |
|  massa-as-sdk  | \                        +------>  / | wit-ffi-bindings |            |             |
+---transform----+  \                       |        /  +-------^----------+            |             |
|  massa-wit-sdk |   \  < "extern calls" ---+       /   |       |                       |             |
+----------------+    \-------------------  |      /    |  "escape wasmer"              |             |
                                         /  |     /     |       +-----------------------+             |
                                        /   |    /      +---------------------------------------------+
                                       /   /    /
+----------------+   /----------------/   /    /
| Smart Contract |  /      Run inside    /    /
|    wit based   | /                    /    /
+----------------+ \                    |   /
|  massa-wit-sdk |  \  < "extern calls" +  /
+----------------+   \--------------------/

"extern calls" include:

• calls from smart contracts to Massa ABI (function in abi.rs inside massa-sc-runtime repos)
• calls between smart contracts

Smart Contract "wit based" means: a SC compiled into wasm and written in any language that is supported by wai-bindgen (https://github.com/wasmerio/wai).
massa-wit-sdk: is a generic term that correspond to the bindings generated by wai-bindgen for the chosen language (provided it is in the supported list ^^).
So one can see this as*:

*: check compatibility list