From c34adb7235c93b22fd95e977e9a778ecaf1b6900 Mon Sep 17 00:00:00 2001
From: William Banfield <wbanfield@gmail.com>
Date: Mon, 7 Mar 2022 17:48:48 -0500
Subject: [PATCH] check-in finalize block hash tests

---
 abci/types/types_test.go | 41 ++++++++++++++++++++++++++++++++++++++++
 1 file changed, 41 insertions(+)
 create mode 100644 abci/types/types_test.go

diff --git a/abci/types/types_test.go b/abci/types/types_test.go
new file mode 100644
index 000000000..a35c56b5a
--- /dev/null
+++ b/abci/types/types_test.go
@@ -0,0 +1,41 @@
+package types_test
+
+import (
+	"testing"
+
+	"github.com/stretchr/testify/assert"
+	"github.com/stretchr/testify/require"
+
+	abci "github.com/tendermint/tendermint/abci/types"
+)
+
+func TestHashAndProveResults(t *testing.T) {
+	trs := []*abci.ExecTxResult{
+		{Code: 0, Data: nil},
+		{Code: 0, Data: []byte{}},
+		{Code: 0, Data: []byte("one")},
+		{Code: 14, Data: nil},
+		{Code: 14, Data: []byte("foo")},
+		{Code: 14, Data: []byte("bar")},
+	}
+
+	// Nil and []byte{} should produce the same bytes
+	bz0, err := trs[0].Marshal()
+	require.NoError(t, err)
+	bz1, err := trs[1].Marshal()
+	require.NoError(t, err)
+	require.Equal(t, bz0, bz1)
+
+	// Make sure that we can get a root hash from results and verify proofs.
+	root := abci.MustHashResults(trs)
+	assert.NotEmpty(t, root)
+
+	for i, tr := range trs {
+		bz, err := tr.Marshal()
+		require.NoError(t, err)
+
+		proof := abci.MustProveResult(trs, i)
+		valid := proof.Verify(root, bz)
+		assert.NoError(t, valid, "%d", i)
+	}
+}