feat(logic)!: add max_variables limits params

Author: bdeneux

docs/proto/logic.md

@@ -279,6 +279,7 @@ Limits defines the limits of the logic module.
 | `max_size` | [string](#string) |  | max_size specifies the maximum size, in bytes, that is accepted for a program. nil value remove size limitation. |
 | `max_result_count` | [string](#string) |  | max_result_count specifies the maximum number of results that can be requested for a query. nil value remove max result count limitation. |
 | `max_user_output_size` | [string](#string) |  | max_user_output_size specifies the maximum number of bytes to keep in the user output. If the user output exceeds this size, the interpreter will overwrite the oldest bytes with the new ones to keep the size constant. nil value or 0 value means that no user output is used at all. |
+| `max_variables` | [string](#string) |  | max_variables specifies the maximum number of variables that can be create by the interpreter. nil value or 0 value means that no limit is set. |
 
 <a name="logic.v1beta2.Params"></a>
 

proto/logic/v1beta2/params.proto

@@ -59,6 +59,14 @@ message Limits {
     (gogoproto.customtype) = "cosmossdk.io/math.Uint",
     (gogoproto.nullable) = true
   ];
+
+  // max_variables specifies the maximum number of variables that can be create by the interpreter.
+  // nil value or 0 value means that no limit is set.
+  string max_variables = 5 [
+    (gogoproto.moretags) = "yaml:\"max_variables\"",
+    (gogoproto.customtype) = "cosmossdk.io/math.Uint",
+    (gogoproto.nullable) = true
+  ];
 }
 
 // Filter defines the parameters for filtering the set of strings which can designate anything.

x/logic/interpreter/interpreter.go

@@ -2,6 +2,7 @@ package interpreter
 
 import (
 	goctx "context"
+	"cosmossdk.io/math"
 	"fmt"
 	"io"
 	"io/fs"
@@ -68,6 +69,17 @@ func WithFS(fs fs.FS) Option {
 	}
 }
 
+func WithMaxVariables(maxVariables *math.Uint) Option {
+	return func(i *prolog.Interpreter) error {
+		if maxVariables != nil {
+			i.SetMaxVariables(maxVariables.Uint64())
+		} else {
+			i.SetMaxVariables(0)
+		}
+		return nil
+	}
+}
+
 // New creates a new prolog.Interpreter with the specified options.
 func New(
 	opts ...Option,

x/logic/keeper/interpreter.go

@@ -133,6 +133,7 @@ func (k Keeper) newInterpreter(ctx context.Context, params types.Params) (*prolo
 		interpreter.WithBootstrap(ctx, util.NonZeroOrDefault(interpreterParams.GetBootstrap(), bootstrap.Bootstrap())),
 		interpreter.WithFS(filtered.NewFS(k.fsProvider(ctx), whitelistUrls, blacklistUrls)),
 		interpreter.WithUserOutputWriter(userOutputBuffer),
+		interpreter.WithMaxVariables(limits.MaxVariables),
 	}
 
 	i, err := interpreter.New(options...)

x/logic/types/params.go

@@ -17,6 +17,7 @@ var (
 	DefaultPredicatesBlacklist = make([]string, 0)
 	DefaultMaxSize             = math.NewUint(uint64(5000))
 	DefaultMaxResultCount      = math.NewUint(uint64(1))
+	DefaultMaxVariables        = math.NewUint(uint64(100000))
 )
 
 // NewParams creates a new Params object.
@@ -146,6 +147,13 @@ func WithMaxUserOutputSize(maxUserOutputSize math.Uint) LimitsOption {
 	}
 }
 
+// WithMaxVariables sets the maximum number of variables that can be created by the interpreter.
+func WithMaxVariables(maxVariables math.Uint) LimitsOption {
+	return func(i *Limits) {
+		i.MaxVariables = &maxVariables
+	}
+}
+
 // NewLimits creates a new Limits object.
 func NewLimits(opts ...LimitsOption) Limits {
 	l := Limits{}
@@ -161,6 +169,10 @@ func NewLimits(opts ...LimitsOption) Limits {
 		l.MaxResultCount = &DefaultMaxResultCount
 	}
 
+	if l.MaxVariables == nil {
+		l.MaxVariables = &DefaultMaxVariables
+	}
+
 	return l
 }