PoC: WebAssembly API

go.mod

@@ -4,7 +4,7 @@ go 1.20
 
 require (
 	github.com/bits-and-blooms/bitset v1.5.0
-	github.com/bytecodealliance/wasmtime-go/v7 v7.0.0
+	github.com/bytecodealliance/wasmtime-go/v12 v12.0.0
 	github.com/c-bata/go-prompt v0.2.6
 	github.com/dave/dst v0.27.2
 	github.com/fxamacker/cbor/v2 v2.4.1-0.20230228173756-c0c9f774e40c

go.sum

@@ -2,8 +2,8 @@ github.com/SaveTheRbtz/mph v0.1.2 h1:5l3W496Up+7BNOVJQnJhzcGBh+wWfxWdmPUAkx3WmaM
 github.com/SaveTheRbtz/mph v0.1.2/go.mod h1:V4+WtKQPe2+dEA5os1WnGsEB0NR9qgqqgIiSt73+sT4=
 github.com/bits-and-blooms/bitset v1.5.0 h1:NpE8frKRLGHIcEzkR+gZhiioW1+WbYV6fKwD6ZIpQT8=
 github.com/bits-and-blooms/bitset v1.5.0/go.mod h1:gIdJ4wp64HaoK2YrL1Q5/N7Y16edYb8uY+O0FJTyyDA=
-github.com/bytecodealliance/wasmtime-go/v7 v7.0.0 h1:/rBNjgFju2HCZnkPb1eL+W4GBwP8DMbaQu7i+GR9DH4=
-github.com/bytecodealliance/wasmtime-go/v7 v7.0.0/go.mod h1:bu6fic7trDt20w+LMooX7j3fsOwv4/ln6j8gAdP6vmA=
+github.com/bytecodealliance/wasmtime-go/v12 v12.0.0 h1:Wga02UaZXYF3p0LIeL5xFp09/RI7UhjfT2uB0mLrwlw=
+github.com/bytecodealliance/wasmtime-go/v12 v12.0.0/go.mod h1:a3PRoftJxxUzkQvgjC6sv7pKyJJK0ZsFVmH+eeEKQC4=
 github.com/c-bata/go-prompt v0.2.6 h1:POP+nrHE+DfLYx370bedwNhsqmpCUynWPxuHi0C5vZI=
 github.com/c-bata/go-prompt v0.2.6/go.mod h1:/LMAke8wD2FsNu9EXNdHxNLbd9MedkPnCdfpU9wwHfY=
 github.com/creack/pty v1.1.9/go.mod h1:oKZEueFk5CKHvIhNR5MUki03XCEU+Q6VDXinZuGJ33E=

runtime/account_test.go

@@ -497,7 +497,7 @@ func TestRuntimeAuthAccountKeysAdd(t *testing.T) {
 	err := rt.ExecuteTransaction(
 		Script{
 			Source:    []byte(code),
-			Arguments: encodeArgs([]cadence.Value{pubKey}),
+			Arguments: encodeArgs(pubKey),
 		},
 		Context{
 			Location:  nextTransactionLocation(),
@@ -1048,7 +1048,7 @@ func addPublicKeyValidation(runtimeInterface *TestRuntimeInterface, returnError
 	}
 }
 
-func encodeArgs(argValues []cadence.Value) [][]byte {
+func encodeArgs(argValues ...cadence.Value) [][]byte {
 	args := make([][]byte, len(argValues))
 	for i, arg := range argValues {
 		var err error
@@ -1071,7 +1071,7 @@ func (test accountKeyTestCase) executeTransaction(
 	runtimeInterface *TestRuntimeInterface,
 	location Location,
 ) error {
-	args := encodeArgs(test.args)
+	args := encodeArgs(test.args...)
 
 	err := runtime.ExecuteTransaction(
 		Script{
@@ -1091,7 +1091,7 @@ func (test accountKeyTestCase) executeScript(
 	runtimeInterface *TestRuntimeInterface,
 ) (cadence.Value, error) {
 
-	args := encodeArgs(test.args)
+	args := encodeArgs(test.args...)
 
 	value, err := runtime.ExecuteScript(
 		Script{

runtime/cmd/cmd.go

@@ -407,6 +407,10 @@ func (*StandardLibraryHandler) BLSAggregateSignatures(_ [][]byte) ([]byte, error
 	return nil, goerrors.New("crypto functionality is not available in this environment")
 }
 
+func (*StandardLibraryHandler) CompileWebAssembly(_ []byte) (stdlib.WebAssemblyModule, error) {
+	return nil, goerrors.New("WebAssembly functionality is not available in this environment")
+}
+
 func (h *StandardLibraryHandler) NewOnEventEmittedHandler() interpreter.OnEventEmittedFunc {
 	return func(
 		inter *interpreter.Interpreter,

runtime/common/computationkind.go

@@ -142,4 +142,8 @@ const (
 	// RLP
 	ComputationKindSTDLIBRLPDecodeString
 	ComputationKindSTDLIBRLPDecodeList
+	_
+	_
+	// WebAssembly
+	ComputationKindWebAssemblyFuel
 )

runtime/config.go

@@ -37,4 +37,6 @@ type Config struct {
 	CoverageReport *CoverageReport
 	// AttachmentsEnabled specifies if attachments are enabled
 	AttachmentsEnabled bool
+	// WebAssemblyEnabled specifies if the WebAssembly API is enabled
+	WebAssemblyEnabled bool
 }

runtime/contract_update_test.go

@@ -382,10 +382,10 @@ func TestRuntimeInvalidContractRedeploy(t *testing.T) {
 	err := runtime.ExecuteTransaction(
 		Script{
 			Source: tx,
-			Arguments: encodeArgs([]cadence.Value{
+			Arguments: encodeArgs(
 				cadence.String(foo1),
 				cadence.String(foo2),
-			}),
+			),
 		},
 		Context{
 			Interface: runtimeInterface,

runtime/crypto_test.go

@@ -349,7 +349,7 @@ func TestRuntimeSignatureAlgorithmImport(t *testing.T) {
 		value, err := runtime.ExecuteScript(
 			Script{
 				Source: []byte(script),
-				Arguments: encodeArgs([]cadence.Value{
+				Arguments: encodeArgs(
 					cadence.NewEnum([]cadence.Value{
 						cadence.UInt8(algo.RawValue()),
 					}).WithType(&cadence.EnumType{
@@ -362,7 +362,7 @@ func TestRuntimeSignatureAlgorithmImport(t *testing.T) {
 							},
 						},
 					}),
-				}),
+				),
 			},
 			Context{
 				Interface: runtimeInterface,
@@ -428,7 +428,7 @@ func TestRuntimeHashAlgorithmImport(t *testing.T) {
 		value, err := runtime.ExecuteScript(
 			Script{
 				Source: []byte(script),
-				Arguments: encodeArgs([]cadence.Value{
+				Arguments: encodeArgs(
 					cadence.NewEnum([]cadence.Value{
 						cadence.UInt8(algo.RawValue()),
 					}).WithType(&cadence.EnumType{
@@ -441,7 +441,7 @@ func TestRuntimeHashAlgorithmImport(t *testing.T) {
 							},
 						},
 					}),
-				}),
+				),
 			},
 			Context{
 				Interface: runtimeInterface,
@@ -802,7 +802,7 @@ func TestRuntimeTraversingMerkleProof(t *testing.T) {
 	_, err := runtime.ExecuteScript(
 		Script{
 			Source:    script,
-			Arguments: encodeArgs([]cadence.Value{rootHash, address, accountProof}),
+			Arguments: encodeArgs(rootHash, address, accountProof),
 		},
 		Context{
 			Interface: runtimeInterface,

runtime/environment.go

@@ -120,6 +120,12 @@ func newInterpreterEnvironment(config Config) *interpreterEnvironment {
 	}
 	env.InterpreterConfig = env.newInterpreterConfig()
 	env.CheckerConfig = env.newCheckerConfig()
+
+	if config.WebAssemblyEnabled {
+		env.DeclareValue(stdlib.NewWebAssemblyContract(nil, env))
+		env.DeclareType(stdlib.WebAssemblyContractType)
+	}
+
 	return env
 }
 
@@ -694,6 +700,10 @@ func (e *interpreterEnvironment) Hash(data []byte, tag string, algorithm sema.Ha
 	return e.runtimeInterface.Hash(data, tag, algorithm)
 }
 
+func (e *interpreterEnvironment) CompileWebAssembly(bytes []byte) (stdlib.WebAssemblyModule, error) {
+	return e.runtimeInterface.CompileWebAssembly(bytes)
+}
+
 func (e *interpreterEnvironment) DecodeArgument(argument []byte, argumentType cadence.Type) (cadence.Value, error) {
 	return e.runtimeInterface.DecodeArgument(argument, argumentType)
 }

runtime/ft_test.go

@@ -619,10 +619,10 @@ func BenchmarkRuntimeFungibleTokenTransfer(b *testing.B) {
 	err = runtime.ExecuteTransaction(
 		Script{
 			Source: []byte(realMintFlowTokenTransaction),
-			Arguments: encodeArgs([]cadence.Value{
+			Arguments: encodeArgs(
 				cadence.Address(senderAddress),
 				mintAmount,
-			}),
+			),
 		},
 		Context{
 			Interface:   runtimeInterface,
@@ -647,10 +647,10 @@ func BenchmarkRuntimeFungibleTokenTransfer(b *testing.B) {
 		err = runtime.ExecuteTransaction(
 			Script{
 				Source: []byte(realFlowTokenTransferTransaction),
-				Arguments: encodeArgs([]cadence.Value{
+				Arguments: encodeArgs(
 					sendAmount,
 					cadence.Address(receiverAddress),
-				}),
+				),
 			},
 			Context{
 				Interface:   runtimeInterface,
@@ -677,9 +677,9 @@ func BenchmarkRuntimeFungibleTokenTransfer(b *testing.B) {
 		result, err := runtime.ExecuteScript(
 			Script{
 				Source: []byte(realFlowTokenBalanceScript),
-				Arguments: encodeArgs([]cadence.Value{
+				Arguments: encodeArgs(
 					cadence.Address(address),
-				}),
+				),
 			},
 			Context{
 				Interface:   runtimeInterface,

runtime/imported_values_memory_metering_test.go

@@ -58,7 +58,7 @@ func TestRuntimeImportedValueMemoryMetering(t *testing.T) {
 		_, err := runtime.ExecuteScript(
 			Script{
 				Source:    script,
-				Arguments: encodeArgs(args),
+				Arguments: encodeArgs(args...),
 			},
 			Context{
 				Interface: runtimeInterface,
@@ -510,9 +510,9 @@ func TestRuntimeImportedValueMemoryMeteringForSimpleTypes(t *testing.T) {
 			_, err := runtime.ExecuteScript(
 				Script{
 					Source: script,
-					Arguments: encodeArgs([]cadence.Value{
+					Arguments: encodeArgs(
 						test.TypeInstance,
-					}),
+					),
 				},
 				Context{
 					Interface: runtimeInterface,
@@ -585,7 +585,7 @@ func TestRuntimeScriptDecodedLocationMetering(t *testing.T) {
 			_, err := runtime.ExecuteScript(
 				Script{
 					Source:    script,
-					Arguments: encodeArgs([]cadence.Value{value}),
+					Arguments: encodeArgs(value),
 				},
 				Context{
 					Interface: runtimeInterface,

runtime/interface.go

@@ -27,6 +27,7 @@ import (
 	"github.com/onflow/cadence"
 	"github.com/onflow/cadence/runtime/common"
 	"github.com/onflow/cadence/runtime/interpreter"
+	"github.com/onflow/cadence/runtime/stdlib"
 )
 
 type Interface interface {
@@ -143,6 +144,7 @@ type Interface interface {
 	)
 	// GenerateAccountID generates a new, *non-zero*, unique ID for the given account.
 	GenerateAccountID(address common.Address) (uint64, error)
+	CompileWebAssembly(bytes []byte) (stdlib.WebAssemblyModule, error)
 }
 
 type MeterInterface interface {

runtime/rlp_test.go

@@ -135,14 +135,14 @@ func TestRuntimeRLPDecodeString(t *testing.T) {
 			result, err := runtime.ExecuteScript(
 				Script{
 					Source: script,
-					Arguments: encodeArgs([]cadence.Value{
+					Arguments: encodeArgs(
 						cadence.Array{
 							ArrayType: &cadence.VariableSizedArrayType{
 								ElementType: cadence.UInt8Type,
 							},
 							Values: test.input,
 						},
-					}),
+					),
 				},
 				Context{
 					Interface: runtimeInterface,
@@ -291,14 +291,14 @@ func TestRuntimeRLPDecodeList(t *testing.T) {
 			result, err := runtime.ExecuteScript(
 				Script{
 					Source: script,
-					Arguments: encodeArgs([]cadence.Value{
+					Arguments: encodeArgs(
 						cadence.Array{
 							ArrayType: &cadence.VariableSizedArrayType{
 								ElementType: cadence.UInt8Type,
 							},
 							Values: test.input,
 						},
-					}),
+					),
 				},
 				Context{
 					Interface: runtimeInterface,