hermez-node/common/l1tx_test.go
common/l1tx_test.goRaw
1package common
2
3import (
4 "crypto/ecdsa"
5 "encoding/hex"
6 "log"
7 "math/big"
8 "testing"
9
10 ethCommon "github.com/ethereum/go-ethereum/common"
11 "github.com/ethereum/go-ethereum/crypto"
12 "github.com/iden3/go-iden3-crypto/babyjub"
13 "github.com/iden3/go-iden3-crypto/utils"
14 "github.com/stretchr/testify/assert"
15 "github.com/stretchr/testify/require"
16)
17
18func TestNewL1UserTx(t *testing.T) {
19 toForge := int64(123456)
20 l1Tx := &L1Tx{
21 ToForgeL1TxsNum: &toForge,
22 Position: 71,
23 UserOrigin: true,
24 ToIdx: 301,
25 TokenID: 5,
26 Amount: big.NewInt(1),
27 LoadAmount: big.NewInt(2),
28 FromIdx: Idx(300),
29 }
30 l1Tx, err := NewL1Tx(l1Tx)
31 assert.Nil(t, err)
32 assert.Equal(t, "0x00000000000001e240004700", l1Tx.TxID.String())
33}
34
35func TestNewL1CoordinatorTx(t *testing.T) {
36 batchNum := BatchNum(51966)
37 l1Tx := &L1Tx{
38 Position: 88,
39 UserOrigin: false,
40 ToIdx: 301,
41 TokenID: 5,
42 Amount: big.NewInt(1),
43 LoadAmount: big.NewInt(2),
44 FromIdx: Idx(300),
45 BatchNum: &batchNum,
46 }
47 l1Tx, err := NewL1Tx(l1Tx)
48 assert.Nil(t, err)
49 assert.Equal(t, "0x01000000000000cafe005800", l1Tx.TxID.String())
50}
51
52func TestL1TxCompressedData(t *testing.T) {
53 tx := L1Tx{
54 FromIdx: 2,
55 ToIdx: 3,
56 Amount: big.NewInt(4),
57 TokenID: 5,
58 }
59 txCompressedData, err := tx.TxCompressedData()
60 assert.Nil(t, err)
61
62 // test vector value generated from javascript implementation
63 expectedStr := "7307597389635308713748674793997299267459594577423"
64 assert.Equal(t, expectedStr, txCompressedData.String())
65 assert.Equal(t, "0500040000000000030000000000020000c60be60f", hex.EncodeToString(txCompressedData.Bytes()))
66}
67
68func TestBytesDataAvailability(t *testing.T) {
69 tx := L1Tx{
70 FromIdx: 2,
71 ToIdx: 3,
72 Amount: big.NewInt(4),
73 TokenID: 5,
74 }
75 txCompressedData, err := tx.BytesDataAvailability(32)
76 assert.Nil(t, err)
77 assert.Equal(t, "0000000200000003000000", hex.EncodeToString(txCompressedData))
78
79 tx = L1Tx{
80 FromIdx: 2,
81 ToIdx: 3,
82 EffectiveAmount: big.NewInt(4),
83 TokenID: 5,
84 }
85 txCompressedData, err = tx.BytesDataAvailability(32)
86 assert.Nil(t, err)
87 assert.Equal(t, "0000000200000003000400", hex.EncodeToString(txCompressedData))
88}
89
90func TestL1userTxByteParsers(t *testing.T) {
91 var pkComp babyjub.PublicKeyComp
92 pkCompL := []byte("0x56ca90f80d7c374ae7485e9bcc47d4ac399460948da6aeeb899311097925a72c")
93 err := pkComp.UnmarshalText(pkCompL)
94 require.Nil(t, err)
95
96 pk, err := pkComp.Decompress()
97 require.Nil(t, err)
98
99 l1Tx := &L1Tx{
100 UserOrigin: true,
101 ToIdx: 3,
102 TokenID: 5,
103 Amount: big.NewInt(1),
104 LoadAmount: big.NewInt(2),
105 FromIdx: 2,
106 FromBJJ: pk,
107 FromEthAddr: ethCommon.HexToAddress("0xc58d29fA6e86E4FAe04DDcEd660d45BCf3Cb2370"),
108 }
109
110 encodedData, err := l1Tx.BytesUser()
111 require.Nil(t, err)
112 decodedData, err := L1UserTxFromBytes(encodedData)
113 require.Nil(t, err)
114 assert.Equal(t, l1Tx, decodedData)
115 encodedData2, err := decodedData.BytesUser()
116 require.Nil(t, err)
117 assert.Equal(t, encodedData, encodedData2)
118
119 // expect error if length!=68
120 _, err = L1UserTxFromBytes(encodedData[:66])
121 require.NotNil(t, err)
122 _, err = L1UserTxFromBytes([]byte{})
123 require.NotNil(t, err)
124 _, err = L1UserTxFromBytes(nil)
125 require.NotNil(t, err)
126}
127
128func TestL1TxByteParsersCompatibility(t *testing.T) {
129 // Data from compatibility test
130 var pkComp babyjub.PublicKeyComp
131 pkCompB, err := hex.DecodeString("0dd02deb2c81068e7a0f7e327df80b4ab79ee1f41a7def613e73a20c32eece5a")
132 require.Nil(t, err)
133 pkCompL := SwapEndianness(pkCompB)
134 err = pkComp.UnmarshalText([]byte(hex.EncodeToString(pkCompL)))
135 require.Nil(t, err)
136
137 pk, err := pkComp.Decompress()
138 require.Nil(t, err)
139
140 loadAmount := new(big.Int)
141 loadAmount.SetString("100000000000000000000", 10)
142 l1Tx := &L1Tx{
143 ToIdx: 87865485,
144 TokenID: 2098076,
145 Amount: big.NewInt(2400000000000000000),
146 LoadAmount: loadAmount,
147 FromIdx: Idx(29767899),
148 FromBJJ: pk,
149 FromEthAddr: ethCommon.HexToAddress("0x85dab5b9e2e361d0c208d77be90efcc0439b0a53"),
150 UserOrigin: true,
151 }
152
153 expected, err := utils.HexDecode("85dab5b9e2e361d0c208d77be90efcc0439b0a530dd02deb2c81068e7a0f7e327df80b4ab79ee1f41a7def613e73a20c32eece5a000001c638db8be880f00020039c0000053cb88d")
154 require.Nil(t, err)
155
156 encodedData, err := l1Tx.BytesUser()
157 require.Nil(t, err)
158 assert.Equal(t, expected, encodedData)
159}
160
161func TestL1CoordinatorTxByteParsers(t *testing.T) {
162 hermezAddress := ethCommon.HexToAddress("0xD6C850aeBFDC46D7F4c207e445cC0d6B0919BDBe")
163 chainID := big.NewInt(1337)
164 chainIDBytes := ethCommon.LeftPadBytes(chainID.Bytes(), 2)
165
166 privateKey, err := crypto.HexToECDSA("fad9c8855b740a0b7ed4c221dbad0f33a83a49cad6b3fe8d5817ac83d38b6a19")
167 require.Nil(t, err)
168
169 publicKey := privateKey.Public()
170 publicKeyECDSA, ok := publicKey.(*ecdsa.PublicKey)
171 if !ok {
172 log.Fatal("error casting public key to ECDSA")
173 }
174 publicKeyBytes := crypto.FromECDSAPub(publicKeyECDSA)
175 pubKey, err := crypto.UnmarshalPubkey(publicKeyBytes)
176 require.Nil(t, err)
177 fromEthAddr := crypto.PubkeyToAddress(*pubKey)
178 var pkComp babyjub.PublicKeyComp
179 pkCompL := []byte("56ca90f80d7c374ae7485e9bcc47d4ac399460948da6aeeb899311097925a72c")
180 err = pkComp.UnmarshalText(pkCompL)
181 require.Nil(t, err)
182 pk, err := pkComp.Decompress()
183 require.Nil(t, err)
184 bytesMessage1 := []byte("\x19Ethereum Signed Message:\n120")
185 bytesMessage2 := []byte("I authorize this babyjubjub key for hermez rollup account creation")
186
187 babyjub := pk.Compress()
188 babyjubB := SwapEndianness(babyjub[:])
189 var data []byte
190 data = append(data, bytesMessage1...)
191 data = append(data, bytesMessage2...)
192 data = append(data, babyjubB[:]...)
193 data = append(data, chainIDBytes...)
194 data = append(data, hermezAddress.Bytes()...)
195 hash := crypto.Keccak256Hash(data)
196 signature, err := crypto.Sign(hash.Bytes(), privateKey)
197 require.Nil(t, err)
198 // Ethereum adds 27 to v
199 v := int(signature[64])
200 signature[64] = byte(v + 27)
201
202 l1Tx := &L1Tx{
203 TokenID: 231,
204 FromBJJ: pk,
205 FromEthAddr: fromEthAddr,
206 Amount: big.NewInt(0),
207 LoadAmount: big.NewInt(0),
208 }
209
210 bytesCoordinatorL1, err := l1Tx.BytesCoordinatorTx(signature)
211 require.Nil(t, err)
212 l1txDecoded, err := L1CoordinatorTxFromBytes(bytesCoordinatorL1, chainID, hermezAddress)
213 require.Nil(t, err)
214 assert.Equal(t, l1Tx, l1txDecoded)
215 bytesCoordinatorL12, err := l1txDecoded.BytesCoordinatorTx(signature)
216 require.Nil(t, err)
217 assert.Equal(t, bytesCoordinatorL1, bytesCoordinatorL12)
218
219 // expect error if length!=68
220 _, err = L1CoordinatorTxFromBytes(bytesCoordinatorL1[:66], chainID, hermezAddress)
221 require.NotNil(t, err)
222 _, err = L1CoordinatorTxFromBytes([]byte{}, chainID, hermezAddress)
223 require.NotNil(t, err)
224 _, err = L1CoordinatorTxFromBytes(nil, chainID, hermezAddress)
225 require.NotNil(t, err)
226}
227
228func TestL1CoordinatorTxByteParsersCompatibility(t *testing.T) {
229 // Data from compatibility test
230 var signature []byte
231 r, err := hex.DecodeString("da71e5eb097e115405d84d1e7b464009b434b32c014a2df502d1f065ced8bc3b")
232 require.Nil(t, err)
233 s, err := hex.DecodeString("186d7122ff7f654cfed3156719774898d573900c86599a885a706dbdffe5ea8c")
234 require.Nil(t, err)
235 v, err := hex.DecodeString("1b")
236 require.Nil(t, err)
237
238 signature = append(signature, r[:]...)
239 signature = append(signature, s[:]...)
240 signature = append(signature, v[:]...)
241
242 var pkComp babyjub.PublicKeyComp
243 pkCompB, err := hex.DecodeString("a2c2807ee39c3b3378738cff85a46a9465bb8fcf44ea597c33da9719be7c259c")
244 require.Nil(t, err)
245 pkCompL := SwapEndianness(pkCompB)
246 err = pkComp.UnmarshalText([]byte(hex.EncodeToString(pkCompL)))
247 require.Nil(t, err)
248 // Data from the compatibility test
249 require.Nil(t, err)
250 pk, err := pkComp.Decompress()
251 require.Nil(t, err)
252 l1Tx := &L1Tx{
253 TokenID: 231,
254 FromBJJ: pk,
255 }
256
257 encodeData, err := l1Tx.BytesCoordinatorTx(signature)
258 require.Nil(t, err)
259
260 expected, err := utils.HexDecode("1b186d7122ff7f654cfed3156719774898d573900c86599a885a706dbdffe5ea8cda71e5eb097e115405d84d1e7b464009b434b32c014a2df502d1f065ced8bc3ba2c2807ee39c3b3378738cff85a46a9465bb8fcf44ea597c33da9719be7c259c000000e7")
261 require.Nil(t, err)
262
263 assert.Equal(t, expected, encodeData)
264}