You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
373 lines
14 KiB
373 lines
14 KiB
package txselector
|
|
|
|
import (
|
|
"crypto/ecdsa"
|
|
"fmt"
|
|
"io/ioutil"
|
|
"math/big"
|
|
"os"
|
|
"strconv"
|
|
"testing"
|
|
"time"
|
|
|
|
ethCommon "github.com/ethereum/go-ethereum/common"
|
|
ethCrypto "github.com/ethereum/go-ethereum/crypto"
|
|
"github.com/hermeznetwork/hermez-node/common"
|
|
dbUtils "github.com/hermeznetwork/hermez-node/db"
|
|
"github.com/hermeznetwork/hermez-node/db/historydb"
|
|
"github.com/hermeznetwork/hermez-node/db/l2db"
|
|
"github.com/hermeznetwork/hermez-node/db/statedb"
|
|
"github.com/hermeznetwork/hermez-node/log"
|
|
"github.com/hermeznetwork/hermez-node/test"
|
|
"github.com/hermeznetwork/hermez-node/test/til"
|
|
"github.com/hermeznetwork/hermez-node/txprocessor"
|
|
"github.com/iden3/go-iden3-crypto/babyjub"
|
|
"github.com/jmoiron/sqlx"
|
|
"github.com/stretchr/testify/assert"
|
|
"github.com/stretchr/testify/require"
|
|
)
|
|
|
|
func initTest(t *testing.T, chainID uint16, hermezContractAddr ethCommon.Address, testSet string) (*TxSelector, *til.Context) {
|
|
pass := os.Getenv("POSTGRES_PASS")
|
|
db, err := dbUtils.InitSQLDB(5432, "localhost", "hermez", pass, "hermez")
|
|
require.NoError(t, err)
|
|
l2DB := l2db.NewL2DB(db, 10, 100, 24*time.Hour)
|
|
|
|
dir, err := ioutil.TempDir("", "tmpdb")
|
|
require.NoError(t, err)
|
|
defer assert.NoError(t, os.RemoveAll(dir))
|
|
sdb, err := statedb.NewStateDB(dir, 128, statedb.TypeTxSelector, 0)
|
|
require.NoError(t, err)
|
|
|
|
txselDir, err := ioutil.TempDir("", "tmpTxSelDB")
|
|
require.NoError(t, err)
|
|
defer assert.NoError(t, os.RemoveAll(dir))
|
|
|
|
// coordinator keys
|
|
var ethSk ecdsa.PrivateKey
|
|
ethSk.D = big.NewInt(int64(1)) // only for testing
|
|
ethSk.PublicKey.X, ethSk.PublicKey.Y = ethCrypto.S256().ScalarBaseMult(ethSk.D.Bytes())
|
|
ethSk.Curve = ethCrypto.S256()
|
|
addr := ethCrypto.PubkeyToAddress(ethSk.PublicKey)
|
|
var bjj babyjub.PublicKeyComp
|
|
err = bjj.UnmarshalText([]byte("c433f7a696b7aa3a5224efb3993baf0ccd9e92eecee0c29a3f6c8208a9e81d9e"))
|
|
require.NoError(t, err)
|
|
coordAccount := &CoordAccount{
|
|
Addr: addr,
|
|
BJJ: bjj,
|
|
AccountCreationAuth: nil,
|
|
}
|
|
auth := common.AccountCreationAuth{
|
|
EthAddr: addr,
|
|
BJJ: bjj,
|
|
}
|
|
err = auth.Sign(func(hash []byte) ([]byte, error) {
|
|
return ethCrypto.Sign(hash, ðSk)
|
|
}, chainID, hermezContractAddr)
|
|
assert.NoError(t, err)
|
|
coordAccount.AccountCreationAuth = auth.Signature
|
|
|
|
txsel, err := NewTxSelector(coordAccount, txselDir, sdb, l2DB)
|
|
require.NoError(t, err)
|
|
|
|
test.WipeDB(txsel.l2db.DB())
|
|
|
|
tc := til.NewContext(chainID, common.RollupConstMaxL1UserTx)
|
|
|
|
return txsel, tc
|
|
}
|
|
|
|
func addAccCreationAuth(t *testing.T, tc *til.Context, txsel *TxSelector, chainID uint16, hermezContractAddr ethCommon.Address, username string) []byte {
|
|
user := tc.Users[username]
|
|
auth := &common.AccountCreationAuth{
|
|
EthAddr: user.Addr,
|
|
BJJ: user.BJJ.Public().Compress(),
|
|
}
|
|
err := auth.Sign(func(hash []byte) ([]byte, error) {
|
|
return ethCrypto.Sign(hash, user.EthSk)
|
|
}, chainID, hermezContractAddr)
|
|
assert.NoError(t, err)
|
|
|
|
err = txsel.l2db.AddAccountCreationAuth(auth)
|
|
assert.NoError(t, err)
|
|
return auth.Signature
|
|
}
|
|
|
|
func addL2Txs(t *testing.T, txsel *TxSelector, poolL2Txs []common.PoolL2Tx) {
|
|
for i := 0; i < len(poolL2Txs); i++ {
|
|
err := txsel.l2db.AddTxTest(&poolL2Txs[i])
|
|
if err != nil {
|
|
log.Error(err)
|
|
}
|
|
require.NoError(t, err)
|
|
}
|
|
}
|
|
|
|
func addTokens(t *testing.T, tc *til.Context, db *sqlx.DB) {
|
|
var tokens []common.Token
|
|
for i := 0; i < int(tc.LastRegisteredTokenID); i++ {
|
|
tokens = append(tokens, common.Token{
|
|
TokenID: common.TokenID(i + 1),
|
|
EthBlockNum: 1,
|
|
EthAddr: ethCommon.BytesToAddress([]byte{byte(i + 1)}),
|
|
Name: strconv.Itoa(i),
|
|
Symbol: strconv.Itoa(i),
|
|
Decimals: 18,
|
|
})
|
|
}
|
|
|
|
hdb := historydb.NewHistoryDB(db)
|
|
assert.NoError(t, hdb.AddBlock(&common.Block{
|
|
Num: 1,
|
|
}))
|
|
assert.NoError(t, hdb.AddTokens(tokens))
|
|
}
|
|
|
|
func checkBalance(t *testing.T, tc *til.Context, txsel *TxSelector, username string, tokenid int, expected string) {
|
|
// Accounts.Idx does not match with the TxSelector tests as we are not
|
|
// using the Til L1CoordinatorTxs (as are generated by the TxSelector
|
|
// itself when processing the txs, so the Idxs does not match the Til
|
|
// idxs). But the Idx is obtained through StateDB.GetIdxByEthAddrBJJ
|
|
user := tc.Users[username]
|
|
idx, err := txsel.localAccountsDB.GetIdxByEthAddrBJJ(user.Addr, user.BJJ.Public().Compress(), common.TokenID(tokenid))
|
|
require.NoError(t, err)
|
|
checkBalanceByIdx(t, txsel, idx, expected)
|
|
}
|
|
|
|
func checkBalanceByIdx(t *testing.T, txsel *TxSelector, idx common.Idx, expected string) {
|
|
acc, err := txsel.localAccountsDB.GetAccount(idx)
|
|
require.NoError(t, err)
|
|
assert.Equal(t, expected, acc.Balance.String())
|
|
}
|
|
|
|
// checkSortedByNonce takes as input testAccNonces map, and the array of
|
|
// common.PoolL2Txs, and checks if the nonces correspond to the accumulated
|
|
// values of the map. Also increases the Nonces computed on the map.
|
|
func checkSortedByNonce(t *testing.T, testAccNonces map[common.Idx]common.Nonce, txs []common.PoolL2Tx) {
|
|
for _, tx := range txs {
|
|
assert.True(t, testAccNonces[tx.FromIdx] == tx.Nonce,
|
|
fmt.Sprintf("Idx: %d, expected: %d, tx.Nonce: %d",
|
|
tx.FromIdx, testAccNonces[tx.FromIdx], tx.Nonce))
|
|
testAccNonces[tx.FromIdx] = testAccNonces[tx.FromIdx] + 1
|
|
}
|
|
}
|
|
|
|
func TestGetL2TxSelectionMinimumFlow0(t *testing.T) {
|
|
chainID := uint16(0)
|
|
hermezContractAddr := ethCommon.HexToAddress("0xc344E203a046Da13b0B4467EB7B3629D0C99F6E6")
|
|
txsel, tc := initTest(t, chainID, hermezContractAddr, til.SetPool0)
|
|
|
|
// generate test transactions, the L1CoordinatorTxs generated by Til
|
|
// will be ignored at this test, as will be the TxSelector who
|
|
// generates them when needed
|
|
blocks, err := tc.GenerateBlocks(til.SetBlockchainMinimumFlow0)
|
|
assert.NoError(t, err)
|
|
|
|
// restart nonces of TilContext, as will be set by generating directly
|
|
// the PoolL2Txs for each specific batch with tc.GeneratePoolL2Txs
|
|
tc.RestartNonces()
|
|
testAccNonces := make(map[common.Idx]common.Nonce)
|
|
|
|
// add tokens to HistoryDB to avoid breaking FK constrains
|
|
addTokens(t, tc, txsel.l2db.DB())
|
|
|
|
tpc := txprocessor.Config{
|
|
NLevels: 16,
|
|
MaxFeeTx: 10,
|
|
MaxTx: 20,
|
|
MaxL1Tx: 10,
|
|
ChainID: chainID,
|
|
}
|
|
selectionConfig := &SelectionConfig{
|
|
MaxL1UserTxs: 5,
|
|
TxProcessorConfig: tpc,
|
|
}
|
|
|
|
// coordIdxs, accAuths, l1UserTxs, l1CoordTxs, l2Txs, err
|
|
|
|
log.Debug("block:0 batch:0")
|
|
l1UserTxs := []common.L1Tx{}
|
|
_, _, oL1UserTxs, oL1CoordTxs, oL2Txs, err := txsel.GetL1L2TxSelection(selectionConfig, l1UserTxs)
|
|
require.NoError(t, err)
|
|
assert.Equal(t, 0, len(oL1UserTxs))
|
|
assert.Equal(t, 0, len(oL1CoordTxs))
|
|
assert.Equal(t, 0, len(oL2Txs))
|
|
assert.Equal(t, common.BatchNum(1), txsel.localAccountsDB.CurrentBatch())
|
|
assert.Equal(t, common.Idx(255), txsel.localAccountsDB.CurrentIdx())
|
|
|
|
log.Debug("block:0 batch:1")
|
|
l1UserTxs = []common.L1Tx{}
|
|
_, _, oL1UserTxs, oL1CoordTxs, oL2Txs, err = txsel.GetL1L2TxSelection(selectionConfig, l1UserTxs)
|
|
require.NoError(t, err)
|
|
assert.Equal(t, 0, len(oL1UserTxs))
|
|
assert.Equal(t, 0, len(oL1CoordTxs))
|
|
assert.Equal(t, 0, len(oL2Txs))
|
|
assert.Equal(t, common.BatchNum(2), txsel.localAccountsDB.CurrentBatch())
|
|
assert.Equal(t, common.Idx(255), txsel.localAccountsDB.CurrentIdx())
|
|
|
|
log.Debug("block:0 batch:2")
|
|
l1UserTxs = til.L1TxsToCommonL1Txs(tc.Queues[*blocks[0].Rollup.Batches[2].Batch.ForgeL1TxsNum])
|
|
_, _, oL1UserTxs, oL1CoordTxs, oL2Txs, err = txsel.GetL1L2TxSelection(selectionConfig, l1UserTxs)
|
|
require.NoError(t, err)
|
|
assert.Equal(t, 2, len(oL1UserTxs))
|
|
assert.Equal(t, 0, len(oL1CoordTxs))
|
|
assert.Equal(t, 0, len(oL2Txs))
|
|
assert.Equal(t, common.BatchNum(3), txsel.localAccountsDB.CurrentBatch())
|
|
assert.Equal(t, common.Idx(257), txsel.localAccountsDB.CurrentIdx())
|
|
checkBalance(t, tc, txsel, "A", 0, "500")
|
|
checkBalance(t, tc, txsel, "C", 1, "0")
|
|
|
|
log.Debug("block:0 batch:3")
|
|
l1UserTxs = til.L1TxsToCommonL1Txs(tc.Queues[*blocks[0].Rollup.Batches[3].Batch.ForgeL1TxsNum])
|
|
_, _, oL1UserTxs, oL1CoordTxs, oL2Txs, err = txsel.GetL1L2TxSelection(selectionConfig, l1UserTxs)
|
|
require.NoError(t, err)
|
|
assert.Equal(t, 1, len(oL1UserTxs))
|
|
assert.Equal(t, 0, len(oL1CoordTxs))
|
|
assert.Equal(t, 0, len(oL2Txs))
|
|
assert.Equal(t, common.BatchNum(4), txsel.localAccountsDB.CurrentBatch())
|
|
assert.Equal(t, common.Idx(258), txsel.localAccountsDB.CurrentIdx())
|
|
checkBalance(t, tc, txsel, "A", 0, "500")
|
|
checkBalance(t, tc, txsel, "A", 1, "500")
|
|
checkBalance(t, tc, txsel, "C", 1, "0")
|
|
|
|
log.Debug("block:0 batch:4")
|
|
l1UserTxs = til.L1TxsToCommonL1Txs(tc.Queues[*blocks[0].Rollup.Batches[4].Batch.ForgeL1TxsNum])
|
|
_, _, oL1UserTxs, oL1CoordTxs, oL2Txs, err = txsel.GetL1L2TxSelection(selectionConfig, l1UserTxs)
|
|
require.NoError(t, err)
|
|
assert.Equal(t, 0, len(oL1UserTxs))
|
|
assert.Equal(t, 0, len(oL1CoordTxs))
|
|
assert.Equal(t, 0, len(oL2Txs))
|
|
assert.Equal(t, common.BatchNum(5), txsel.localAccountsDB.CurrentBatch())
|
|
assert.Equal(t, common.Idx(258), txsel.localAccountsDB.CurrentIdx())
|
|
checkBalance(t, tc, txsel, "A", 0, "500")
|
|
checkBalance(t, tc, txsel, "A", 1, "500")
|
|
checkBalance(t, tc, txsel, "C", 1, "0")
|
|
|
|
log.Debug("block:0 batch:5")
|
|
l1UserTxs = til.L1TxsToCommonL1Txs(tc.Queues[*blocks[0].Rollup.Batches[5].Batch.ForgeL1TxsNum])
|
|
_, _, oL1UserTxs, oL1CoordTxs, oL2Txs, err = txsel.GetL1L2TxSelection(selectionConfig, l1UserTxs)
|
|
require.NoError(t, err)
|
|
assert.Equal(t, 1, len(oL1UserTxs))
|
|
assert.Equal(t, 0, len(oL1CoordTxs))
|
|
assert.Equal(t, 0, len(oL2Txs))
|
|
assert.Equal(t, common.BatchNum(6), txsel.localAccountsDB.CurrentBatch())
|
|
assert.Equal(t, common.Idx(259), txsel.localAccountsDB.CurrentIdx())
|
|
checkBalance(t, tc, txsel, "A", 0, "600")
|
|
checkBalance(t, tc, txsel, "A", 1, "500")
|
|
checkBalance(t, tc, txsel, "B", 0, "400")
|
|
checkBalance(t, tc, txsel, "C", 1, "0")
|
|
|
|
log.Debug("block:0 batch:6")
|
|
// simulate the PoolL2Txs of the batch6
|
|
batchPoolL2 := `
|
|
Type: PoolL2
|
|
PoolTransfer(1) A-B: 200 (126)
|
|
PoolTransfer(0) B-C: 100 (126)`
|
|
poolL2Txs, err := tc.GeneratePoolL2Txs(batchPoolL2)
|
|
require.NoError(t, err)
|
|
// add AccountCreationAuths that will be used at the next batch
|
|
accAuthSig0 := addAccCreationAuth(t, tc, txsel, chainID, hermezContractAddr, "B")
|
|
accAuthSig1 := addAccCreationAuth(t, tc, txsel, chainID, hermezContractAddr, "C")
|
|
// add ToEthAddr for the corresponent ToIdx, and remove ToIdx for Batches[6].L2Tx
|
|
poolL2Txs[0].ToEthAddr = tc.Users["B"].Addr
|
|
poolL2Txs[0].ToIdx = common.Idx(0)
|
|
poolL2Txs[1].ToEthAddr = tc.Users["C"].Addr
|
|
poolL2Txs[1].ToIdx = common.Idx(0)
|
|
// add the PoolL2Txs to the l2DB
|
|
addL2Txs(t, txsel, poolL2Txs)
|
|
|
|
l1UserTxs = til.L1TxsToCommonL1Txs(tc.Queues[*blocks[0].Rollup.Batches[6].Batch.ForgeL1TxsNum])
|
|
coordIdxs, accAuths, oL1UserTxs, oL1CoordTxs, oL2Txs, err := txsel.GetL1L2TxSelection(selectionConfig, l1UserTxs)
|
|
require.NoError(t, err)
|
|
assert.Equal(t, []common.Idx{261, 262}, coordIdxs)
|
|
assert.Equal(t, txsel.coordAccount.AccountCreationAuth, accAuths[0])
|
|
assert.Equal(t, txsel.coordAccount.AccountCreationAuth, accAuths[1])
|
|
assert.Equal(t, accAuthSig0, accAuths[2])
|
|
assert.Equal(t, accAuthSig1, accAuths[3])
|
|
assert.Equal(t, 1, len(oL1UserTxs))
|
|
assert.Equal(t, 4, len(oL1CoordTxs))
|
|
assert.Equal(t, 2, len(oL2Txs))
|
|
assert.Equal(t, len(oL1CoordTxs), len(accAuths))
|
|
assert.Equal(t, common.BatchNum(7), txsel.localAccountsDB.CurrentBatch())
|
|
assert.Equal(t, common.Idx(264), txsel.localAccountsDB.CurrentIdx())
|
|
checkBalanceByIdx(t, txsel, 261, "20") // CoordIdx for TokenID=1
|
|
checkBalanceByIdx(t, txsel, 262, "10") // CoordIdx for TokenID=0
|
|
checkBalance(t, tc, txsel, "A", 0, "600")
|
|
checkBalance(t, tc, txsel, "A", 1, "280")
|
|
checkBalance(t, tc, txsel, "B", 0, "290")
|
|
checkBalance(t, tc, txsel, "B", 1, "200")
|
|
checkBalance(t, tc, txsel, "C", 0, "100")
|
|
checkBalance(t, tc, txsel, "D", 0, "800")
|
|
checkSortedByNonce(t, testAccNonces, oL2Txs)
|
|
err = txsel.l2db.StartForging(common.TxIDsFromPoolL2Txs(poolL2Txs), txsel.localAccountsDB.CurrentBatch())
|
|
require.NoError(t, err)
|
|
|
|
log.Debug("block:0 batch:7")
|
|
// simulate the PoolL2Txs of the batch7
|
|
batchPoolL2 = `
|
|
Type: PoolL2
|
|
PoolTransfer(0) A-B: 100 (126)
|
|
PoolTransfer(0) C-A: 50 (126)
|
|
PoolTransfer(1) B-C: 100 (126)
|
|
PoolExit(0) A: 100 (126)`
|
|
poolL2Txs, err = tc.GeneratePoolL2Txs(batchPoolL2)
|
|
require.NoError(t, err)
|
|
addL2Txs(t, txsel, poolL2Txs)
|
|
l1UserTxs = til.L1TxsToCommonL1Txs(tc.Queues[*blocks[0].Rollup.Batches[7].Batch.ForgeL1TxsNum])
|
|
coordIdxs, accAuths, oL1UserTxs, oL1CoordTxs, oL2Txs, err = txsel.GetL1L2TxSelection(selectionConfig, l1UserTxs)
|
|
require.NoError(t, err)
|
|
assert.Equal(t, []common.Idx{261, 262}, coordIdxs)
|
|
assert.Equal(t, 0, len(accAuths))
|
|
assert.Equal(t, 0, len(oL1UserTxs))
|
|
assert.Equal(t, 0, len(oL1CoordTxs))
|
|
assert.Equal(t, 4, len(oL2Txs))
|
|
assert.Equal(t, len(oL1CoordTxs), len(accAuths))
|
|
assert.Equal(t, common.BatchNum(8), txsel.localAccountsDB.CurrentBatch())
|
|
assert.Equal(t, common.Idx(264), txsel.localAccountsDB.CurrentIdx())
|
|
checkBalanceByIdx(t, txsel, 261, "30")
|
|
checkBalanceByIdx(t, txsel, 262, "35")
|
|
checkBalance(t, tc, txsel, "A", 0, "430")
|
|
checkBalance(t, tc, txsel, "A", 1, "280")
|
|
checkBalance(t, tc, txsel, "B", 0, "390")
|
|
checkBalance(t, tc, txsel, "B", 1, "90")
|
|
checkBalance(t, tc, txsel, "C", 0, "45")
|
|
checkBalance(t, tc, txsel, "C", 1, "100")
|
|
checkBalance(t, tc, txsel, "D", 0, "800")
|
|
checkSortedByNonce(t, testAccNonces, oL2Txs)
|
|
err = txsel.l2db.StartForging(common.TxIDsFromPoolL2Txs(poolL2Txs), txsel.localAccountsDB.CurrentBatch())
|
|
require.NoError(t, err)
|
|
|
|
log.Debug("block:1 batch:0")
|
|
// simulate the PoolL2Txs of the batch6
|
|
batchPoolL2 = `
|
|
Type: PoolL2
|
|
PoolTransfer(0) D-A: 300 (126)
|
|
PoolTransfer(0) B-D: 100 (126)
|
|
`
|
|
poolL2Txs, err = tc.GeneratePoolL2Txs(batchPoolL2)
|
|
require.NoError(t, err)
|
|
addL2Txs(t, txsel, poolL2Txs)
|
|
l1UserTxs = til.L1TxsToCommonL1Txs(tc.Queues[*blocks[1].Rollup.Batches[0].Batch.ForgeL1TxsNum])
|
|
coordIdxs, accAuths, oL1UserTxs, oL1CoordTxs, oL2Txs, err = txsel.GetL1L2TxSelection(selectionConfig, l1UserTxs)
|
|
require.NoError(t, err)
|
|
assert.Equal(t, []common.Idx{262}, coordIdxs)
|
|
assert.Equal(t, 0, len(accAuths))
|
|
assert.Equal(t, 4, len(oL1UserTxs))
|
|
assert.Equal(t, 0, len(oL1CoordTxs))
|
|
assert.Equal(t, 2, len(oL2Txs))
|
|
assert.Equal(t, len(oL1CoordTxs), len(accAuths))
|
|
assert.Equal(t, common.BatchNum(9), txsel.localAccountsDB.CurrentBatch())
|
|
assert.Equal(t, common.Idx(264), txsel.localAccountsDB.CurrentIdx())
|
|
checkBalanceByIdx(t, txsel, 261, "30")
|
|
checkBalanceByIdx(t, txsel, 262, "75")
|
|
checkBalance(t, tc, txsel, "A", 0, "730")
|
|
checkBalance(t, tc, txsel, "A", 1, "280")
|
|
checkBalance(t, tc, txsel, "B", 0, "380")
|
|
checkBalance(t, tc, txsel, "B", 1, "90")
|
|
checkBalance(t, tc, txsel, "C", 0, "845")
|
|
checkBalance(t, tc, txsel, "C", 1, "100")
|
|
checkBalance(t, tc, txsel, "D", 0, "470")
|
|
checkSortedByNonce(t, testAccNonces, oL2Txs)
|
|
err = txsel.l2db.StartForging(common.TxIDsFromPoolL2Txs(poolL2Txs), txsel.localAccountsDB.CurrentBatch())
|
|
require.NoError(t, err)
|
|
}
|