1 files changed, 111 insertions, 0 deletions
diff --git a/data/transactions/teal.go b/data/transactions/teal.go
new file mode 100644
index 000000000..e2f6718b7
--- /dev/null
+++ b/data/transactions/teal.go
@@ -0,0 +1,111 @@
+// Copyright (C) 2019-2021 Algorand, Inc.
+// This file is part of go-algorand
+//
+// go-algorand is free software: you can redistribute it and/or modify
+// it under the terms of the GNU Affero General Public License as
+// published by the Free Software Foundation, either version 3 of the
+// License, or (at your option) any later version.
+//
+// go-algorand is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU Affero General Public License for more details.
+//
+// You should have received a copy of the GNU Affero General Public License
+// along with go-algorand.  If not, see <https://www.gnu.org/licenses/>.
+
+package transactions
+
+import (
+	"bytes"
+
+	"github.com/algorand/go-algorand/data/basics"
+	"github.com/algorand/go-algorand/protocol"
+)
+
+// EvalDelta stores StateDeltas for an application's global key/value store, as
+// well as StateDeltas for some number of accounts holding local state for that
+// application
+type EvalDelta struct {
+	_struct struct{} `codec:",omitempty,omitemptyarray"`
+
+	GlobalDelta basics.StateDelta `codec:"gd"`
+
+	// When decoding EvalDeltas, the integer key represents an offset into
+	// [txn.Sender, txn.Accounts[0], txn.Accounts[1], ...]
+	LocalDeltas map[uint64]basics.StateDelta `codec:"ld,allocbound=config.MaxEvalDeltaAccounts"`
+
+	Logs []string `codec:"lg,allocbound=config.MaxLogCalls"`
+
+	// Intentionally, temporarily wrong - need to decide how to
+	// allocbound properly when structure is recursive.  Even a bound
+	// of 2 would allow arbitrarily large object if deep.
+	InnerTxns []SignedTxnWithAD `codec:"itx,allocbound=config.MaxInnerTransactions"`
+}
+
+// Equal compares two EvalDeltas and returns whether or not they are
+// equivalent. It does not care about nilness equality of LocalDeltas,
+// because the msgpack codec will encode/decode an empty map as nil, and we want
+// an empty generated EvalDelta to equal an empty one we decode off the wire.
+func (ed EvalDelta) Equal(o EvalDelta) bool {
+	// LocalDeltas length should be the same
+	if len(ed.LocalDeltas) != len(o.LocalDeltas) {
+		return false
+	}
+
+	// All keys and local StateDeltas should be the same
+	for k, v := range ed.LocalDeltas {
+		// Other LocalDelta must have value for key
+		ov, ok := o.LocalDeltas[k]
+		if !ok {
+			return false
+		}
+
+		// Other LocalDelta must have same value for key
+		if !ov.Equal(v) {
+			return false
+		}
+	}
+
+	// GlobalDeltas must be equal
+	if !ed.GlobalDelta.Equal(o.GlobalDelta) {
+		return false
+	}
+
+	// Logs must be equal
+	if len(ed.Logs) != len(o.Logs) {
+		return false
+	}
+	for i, l := range ed.Logs {
+		if l != o.Logs[i] {
+			return false
+		}
+	}
+
+	// InnerTxns must be equal
+	if len(ed.InnerTxns) != len(o.InnerTxns) {
+		return false
+	}
+	for i, txn := range ed.InnerTxns {
+		if !txn.SignedTxn.equal(o.InnerTxns[i].SignedTxn) {
+			return false
+		}
+		if !txn.ApplyData.Equal(o.InnerTxns[i].ApplyData) {
+			return false
+		}
+	}
+
+	return true
+}
+
+// equal compares two SignedTransactions for equality.  It's not
+// exported because it ought to be written as (many, very, very
+// tedious) field comparisons. == is not defined on almost any of the
+// subfields because of slices.
+func (stx SignedTxn) equal(o SignedTxn) bool {
+	stxenc := stx.MarshalMsg(protocol.GetEncodingBuf())
+	defer protocol.PutEncodingBuf(stxenc)
+	oenc := o.MarshalMsg(protocol.GetEncodingBuf())
+	defer protocol.PutEncodingBuf(oenc)
+	return bytes.Equal(stxenc, oenc)
+}