1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
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)
}
|