diff --git a/core/statecheck/statecheck.go b/core/statecheck/statecheck.go
new file mode 100644
index 0000000..35612fb
--- /dev/null
+++ b/core/statecheck/statecheck.go
@@ -0,0 +1,99 @@
+package statecheck
+
+import (
+	"errors"
+	"reflect"
+	"runtime/debug"
+	"sort"
+	"sync"
+)
+
+// StateCheck is a helper tool that should only be used in development environment.
+// The main purpose of this tool is to check if there are any changes in the state
+// that are not reflected in the MPT.
+//
+// How to manage the nodes that acquired from the state checker, and then re-copied and used
+// in SC. In that case, any changes to that copied node will be reflected in the state checker.
+//
+// Options are:
+// 1. Update the node acquired from the state checker with functions/methods provided by the
+// state checker. In this way, we can make sure that all changes are reflected, well the disadvantage
+// is that we need to refact all the places to use the functions/methods, which is a lot of work.
+// 2. Thinking about other options.
+
+// type StateChecker interface {
+// 	Add(key []byte, value interface{}) error
+// 	Get(key []byte) (interface{}, error)
+// }
+
+// StateCheck is a state checker
+type StateCheck struct {
+	lock       sync.Mutex
+	stateNodes map[string]interface{}
+	stacks     map[string][]byte
+}
+
+// NewStateCheck creates a new state checker
+func NewStateCheck() *StateCheck {
+	return &StateCheck{
+		stateNodes: make(map[string]interface{}),
+		stacks:     make(map[string][]byte),
+	}
+}
+
+// Add adds a new key-value pair to the state checker
+func (sc *StateCheck) Add(key string, value interface{}) error {
+	// the value must be a pointer
+	sc.lock.Lock()
+	defer sc.lock.Unlock()
+	if reflect.TypeOf(value).Kind() != reflect.Ptr {
+		return errors.New("value must be a pointer")
+	}
+
+	sc.stateNodes[key] = value
+	sc.stacks[key] = debug.Stack()
+	return nil
+}
+
+// Get returns the value associated with the key
+func (sc *StateCheck) Get(key string) (interface{}, error) {
+	sc.lock.Lock()
+	defer sc.lock.Unlock()
+	value, ok := sc.stateNodes[key]
+	if !ok {
+		return nil, errors.New("key not found")
+	}
+
+	return value, nil
+}
+
+// GetStack returns the stack trace associated with the key
+func (sc *StateCheck) GetStack(key string) []byte {
+	return sc.stacks[key]
+}
+
+func (sc *StateCheck) Remove(key string) {
+	sc.lock.Lock()
+	delete(sc.stateNodes, key)
+	sc.lock.Unlock()
+}
+
+// ForEach iterates over all the keys in the state checker
+func (sc *StateCheck) ForEach(handler func(key string, value interface{}) error) error {
+	sc.lock.Lock()
+	defer sc.lock.Unlock()
+	// sort by keys
+	keys := make([]string, 0, len(sc.stateNodes))
+	for k := range sc.stateNodes {
+		keys = append(keys, k)
+	}
+	sort.Strings(keys)
+
+	for _, k := range keys {
+		if err := handler(k, sc.stateNodes[k]); err != nil {
+			return err
+		}
+	}
+
+	return nil
+}
diff --git a/core/statecheck/statecheck_test.go b/core/statecheck/statecheck_test.go
new file mode 100644
index 0000000..94bbb0c
--- /dev/null
+++ b/core/statecheck/statecheck_test.go
@@ -0,0 +1,61 @@
+package statecheck
+
+import (
+	"testing"
+
+	"github.com/stretchr/testify/require"
+)
+
+// Add unit tests for StateCheck
+
+func TestAdd(t *testing.T) {
+	sck := NewStateCheck()
+	v := []byte("b")
+	err := sck.Add("a", &v)
+	require.NoError(t, err)
+
+	t.Run("none pointer value", func(t *testing.T) {
+		v := []byte("b")
+		err := sck.Add("a", v)
+		require.Error(t, err)
+	})
+}
+
+func TestGet(t *testing.T) {
+	sck := NewStateCheck()
+	v := []byte("b")
+	err := sck.Add("a", &v)
+	require.NoError(t, err)
+
+	vb, err := sck.Get("a")
+	require.NoError(t, err)
+	require.Equal(t, vb, &v)
+
+	// update the acquired value should be reflected on the state check
+	*vb.(*[]byte) = []byte("c")
+
+	require.Equal(t, []byte("c"), *sck.stateNodes["a"].(*[]byte))
+
+	// get missing value
+
+	_, err = sck.Get("b")
+	require.Error(t, err)
+}
+
+func TestForEach(t *testing.T) {
+	sck := NewStateCheck()
+	v := []byte("b")
+	err := sck.Add("a", &v)
+	require.NoError(t, err)
+	err = sck.Add("b", &v)
+	require.NoError(t, err)
+
+	var count int
+	err = sck.ForEach(func(key string, value interface{}) error {
+		count++
+		return nil
+	})
+
+	require.NoError(t, err)
+	require.Equal(t, 2, count)
+}