Add AMM safety check to ensure no leakage

x/market/keeper/msg_server_create_drop.go

@@ -2,6 +2,8 @@ package keeper
 
 import (
 	"context"
+	"fmt"
+	"math/big"
 	"sort"
 	"strings"
 
@@ -60,6 +62,21 @@ func (k msgServer) CreateDrop(goCtx context.Context, msg *types.MsgCreateDrop) (
 
 	dropProduct := dropAmtMember1.Mul(dropAmtMember2)
 
+	tmp := big.NewInt(0)
+	tmp.Sqrt(dropProduct.BigInt())
+	sqrtDropProduct := sdk.NewIntFromBigInt(tmp)
+
+	// Drops basis is sqrt(XY)
+	// Change in XY should always be positive
+	// As XY total increases then in order to get proportional
+	// share (drop) then should pay the same per drop or more
+	// than Pool Creator.  Pool creator drops = sqrt(XY).
+	if sqrtDropProduct.LT(drops) {
+		fmt.Printf("Sqrt Product: %s", sqrtDropProduct)
+		fmt.Printf("Drops: %s", drops)
+		return nil, sdkerrors.Wrapf(types.ErrProductLessThanDrops, "Sqrt of Product not greater than or equal to drops.")
+	}
+
 	coin1 := sdk.NewCoin(denom1, dropAmtMember1)
 	coin2 := sdk.NewCoin(denom2, dropAmtMember2)