l1_bridge_processor.go 10.7 KB
Newer Older
1 2 3 4 5 6
package bridge

import (
	"fmt"
	"math/big"

7
	"github.com/ethereum-optimism/optimism/indexer/bigint"
8 9
	"github.com/ethereum-optimism/optimism/indexer/config"
	"github.com/ethereum-optimism/optimism/indexer/database"
10
	"github.com/ethereum-optimism/optimism/indexer/processors/contracts"
11

Hamdi Allam's avatar
Hamdi Allam committed
12
	"github.com/ethereum/go-ethereum/common"
13 14 15 16
	"github.com/ethereum/go-ethereum/core/types"
	"github.com/ethereum/go-ethereum/log"
)

17
// L1ProcessInitiatedBridgeEvents will query the database for bridge events that have been initiated between
18 19 20 21
// the specified block range. This covers every part of the multi-layered stack:
//  1. OptimismPortal
//  2. L1CrossDomainMessenger
//  3. L1StandardBridge
Hamdi Allam's avatar
Hamdi Allam committed
22
func L1ProcessInitiatedBridgeEvents(log log.Logger, db *database.DB, metrics L1Metricer, l1Contracts config.L1Contracts, fromHeight, toHeight *big.Int) error {
23
	// (1) OptimismPortal
24
	optimismPortalTxDeposits, err := contracts.OptimismPortalTransactionDepositEvents(l1Contracts.OptimismPortalProxy, db, fromHeight, toHeight)
25 26 27
	if err != nil {
		return err
	}
Hamdi Allam's avatar
Hamdi Allam committed
28 29 30
	if len(optimismPortalTxDeposits) > 0 {
		log.Info("detected transaction deposits", "size", len(optimismPortalTxDeposits))
	}
31

32
	mintedGWEI := bigint.Zero
33
	portalDeposits := make(map[logKey]*contracts.OptimismPortalTransactionDepositEvent, len(optimismPortalTxDeposits))
Hamdi Allam's avatar
Hamdi Allam committed
34
	transactionDeposits := make([]database.L1TransactionDeposit, len(optimismPortalTxDeposits))
35 36 37
	for i := range optimismPortalTxDeposits {
		depositTx := optimismPortalTxDeposits[i]
		portalDeposits[logKey{depositTx.Event.BlockHash, depositTx.Event.LogIndex}] = &depositTx
38
		mintedGWEI = new(big.Int).Add(mintedGWEI, depositTx.Tx.Amount)
39

Hamdi Allam's avatar
Hamdi Allam committed
40
		transactionDeposits[i] = database.L1TransactionDeposit{
41 42 43 44 45 46 47
			SourceHash:           depositTx.DepositTx.SourceHash,
			L2TransactionHash:    types.NewTx(depositTx.DepositTx).Hash(),
			InitiatedL1EventGUID: depositTx.Event.GUID,
			GasLimit:             depositTx.GasLimit,
			Tx:                   depositTx.Tx,
		}
	}
48

49 50 51 52
	if len(transactionDeposits) > 0 {
		if err := db.BridgeTransactions.StoreL1TransactionDeposits(transactionDeposits); err != nil {
			return err
		}
53 54

		// Convert to from wei to eth
55 56
		mintedETH, _ := bigint.WeiToETH(mintedGWEI).Float64()
		metrics.RecordL1TransactionDeposits(len(transactionDeposits), mintedETH)
57 58 59
	}

	// (2) L1CrossDomainMessenger
60
	crossDomainSentMessages, err := contracts.CrossDomainMessengerSentMessageEvents("l1", l1Contracts.L1CrossDomainMessengerProxy, db, fromHeight, toHeight)
61 62 63
	if err != nil {
		return err
	}
Hamdi Allam's avatar
Hamdi Allam committed
64 65
	if len(crossDomainSentMessages) > 0 {
		log.Info("detected sent messages", "size", len(crossDomainSentMessages))
66 67 68
	}

	sentMessages := make(map[logKey]*contracts.CrossDomainMessengerSentMessageEvent, len(crossDomainSentMessages))
Hamdi Allam's avatar
Hamdi Allam committed
69
	bridgeMessages := make([]database.L1BridgeMessage, len(crossDomainSentMessages))
70 71 72 73 74 75 76
	for i := range crossDomainSentMessages {
		sentMessage := crossDomainSentMessages[i]
		sentMessages[logKey{sentMessage.Event.BlockHash, sentMessage.Event.LogIndex}] = &sentMessage

		// extract the deposit hash from the previous TransactionDepositedEvent
		portalDeposit, ok := portalDeposits[logKey{sentMessage.Event.BlockHash, sentMessage.Event.LogIndex - 1}]
		if !ok {
Hamdi Allam's avatar
Hamdi Allam committed
77
			return fmt.Errorf("expected TransactionDeposit preceding SentMessage event. tx_hash = %s", sentMessage.Event.TransactionHash.String())
78
		} else if portalDeposit.Event.TransactionHash != sentMessage.Event.TransactionHash {
Hamdi Allam's avatar
Hamdi Allam committed
79
			return fmt.Errorf("correlated events tx hash mismatch. deposit_tx_hash = %s, message_tx_hash = %s", portalDeposit.Event.TransactionHash, sentMessage.Event.TransactionHash)
80 81
		}

Hamdi Allam's avatar
Hamdi Allam committed
82 83 84 85
		bridgeMessages[i] = database.L1BridgeMessage{
			TransactionSourceHash: portalDeposit.DepositTx.SourceHash,
			BridgeMessage:         sentMessage.BridgeMessage,
		}
86
	}
Hamdi Allam's avatar
Hamdi Allam committed
87 88
	if len(bridgeMessages) > 0 {
		if err := db.BridgeMessages.StoreL1BridgeMessages(bridgeMessages); err != nil {
89 90
			return err
		}
Hamdi Allam's avatar
Hamdi Allam committed
91
		metrics.RecordL1CrossDomainSentMessages(len(bridgeMessages))
92 93 94
	}

	// (3) L1StandardBridge
95
	initiatedBridges, err := contracts.StandardBridgeInitiatedEvents("l1", l1Contracts.L1StandardBridgeProxy, db, fromHeight, toHeight)
96 97 98
	if err != nil {
		return err
	}
Hamdi Allam's avatar
Hamdi Allam committed
99 100
	if len(initiatedBridges) > 0 {
		log.Info("detected bridge deposits", "size", len(initiatedBridges))
101 102
	}

Hamdi Allam's avatar
Hamdi Allam committed
103 104
	bridgedTokens := make(map[common.Address]int)
	bridgeDeposits := make([]database.L1BridgeDeposit, len(initiatedBridges))
105 106 107 108 109 110
	for i := range initiatedBridges {
		initiatedBridge := initiatedBridges[i]

		// extract the cross domain message hash & deposit source hash from the following events
		portalDeposit, ok := portalDeposits[logKey{initiatedBridge.Event.BlockHash, initiatedBridge.Event.LogIndex + 1}]
		if !ok {
Hamdi Allam's avatar
Hamdi Allam committed
111
			return fmt.Errorf("expected TransactionDeposit following BridgeInitiated event. tx_hash = %s", initiatedBridge.Event.TransactionHash)
112
		} else if portalDeposit.Event.TransactionHash != initiatedBridge.Event.TransactionHash {
Hamdi Allam's avatar
Hamdi Allam committed
113
			return fmt.Errorf("correlated events tx hash mismatch, bridge_tx_hash = %s, deposit_tx_hash = %s", initiatedBridge.Event.TransactionHash, portalDeposit.Event.TransactionHash)
114
		}
115

116 117
		sentMessage, ok := sentMessages[logKey{initiatedBridge.Event.BlockHash, initiatedBridge.Event.LogIndex + 2}]
		if !ok {
Hamdi Allam's avatar
Hamdi Allam committed
118
			return fmt.Errorf("expected SentMessage following BridgeInitiated event. tx_hash = %s", initiatedBridge.Event.TransactionHash)
119
		} else if sentMessage.Event.TransactionHash != initiatedBridge.Event.TransactionHash {
Hamdi Allam's avatar
Hamdi Allam committed
120
			return fmt.Errorf("correlated events tx hash mismatch. bridge_tx_hash = %s, message_tx_hash = %s", initiatedBridge.Event.TransactionHash, sentMessage.Event.TransactionHash)
121 122
		}

Hamdi Allam's avatar
Hamdi Allam committed
123
		bridgedTokens[initiatedBridge.BridgeTransfer.TokenPair.LocalTokenAddress]++
124

125
		initiatedBridge.BridgeTransfer.CrossDomainMessageHash = &sentMessage.BridgeMessage.MessageHash
Hamdi Allam's avatar
Hamdi Allam committed
126
		bridgeDeposits[i] = database.L1BridgeDeposit{
127 128 129 130
			TransactionSourceHash: portalDeposit.DepositTx.SourceHash,
			BridgeTransfer:        initiatedBridge.BridgeTransfer,
		}
	}
Hamdi Allam's avatar
Hamdi Allam committed
131 132
	if len(bridgeDeposits) > 0 {
		if err := db.BridgeTransfers.StoreL1BridgeDeposits(bridgeDeposits); err != nil {
133 134
			return err
		}
Hamdi Allam's avatar
Hamdi Allam committed
135 136 137
		for tokenAddr, size := range bridgedTokens {
			metrics.RecordL1InitiatedBridgeTransfers(tokenAddr, size)
		}
138 139 140 141 142 143 144 145 146
	}

	return nil
}

// L1ProcessFinalizedBridgeEvent will query the database for all the finalization markers for all initiated
// bridge events. This covers every part of the multi-layered stack:
//  1. OptimismPortal (Bedrock prove & finalize steps)
//  2. L1CrossDomainMessenger (relayMessage marker)
Hamdi Allam's avatar
Hamdi Allam committed
147
//  3. L1StandardBridge (no-op, since this is simply a wrapper over the L1CrossDomainMessenger)
Hamdi Allam's avatar
Hamdi Allam committed
148
func L1ProcessFinalizedBridgeEvents(log log.Logger, db *database.DB, metrics L1Metricer, l1Contracts config.L1Contracts, fromHeight, toHeight *big.Int) error {
149
	// (1) OptimismPortal (proven withdrawals)
150
	provenWithdrawals, err := contracts.OptimismPortalWithdrawalProvenEvents(l1Contracts.OptimismPortalProxy, db, fromHeight, toHeight)
151 152 153
	if err != nil {
		return err
	}
Hamdi Allam's avatar
Hamdi Allam committed
154 155 156
	if len(provenWithdrawals) > 0 {
		log.Info("detected proven withdrawals", "size", len(provenWithdrawals))
	}
157 158 159 160 161 162 163

	for i := range provenWithdrawals {
		proven := provenWithdrawals[i]
		withdrawal, err := db.BridgeTransactions.L2TransactionWithdrawal(proven.WithdrawalHash)
		if err != nil {
			return err
		} else if withdrawal == nil {
Hamdi Allam's avatar
Hamdi Allam committed
164
			return fmt.Errorf("missing indexed withdrawal! tx_hash = %s", proven.Event.TransactionHash)
165 166 167
		}

		if err := db.BridgeTransactions.MarkL2TransactionWithdrawalProvenEvent(proven.WithdrawalHash, provenWithdrawals[i].Event.GUID); err != nil {
Hamdi Allam's avatar
Hamdi Allam committed
168
			return fmt.Errorf("failed to mark withdrawal as proven. tx_hash = %s: %w", proven.Event.TransactionHash, err)
169 170
		}
	}
Hamdi Allam's avatar
Hamdi Allam committed
171 172 173
	if len(provenWithdrawals) > 0 {
		metrics.RecordL1ProvenWithdrawals(len(provenWithdrawals))
	}
174 175

	// (2) OptimismPortal (finalized withdrawals)
176
	finalizedWithdrawals, err := contracts.OptimismPortalWithdrawalFinalizedEvents(l1Contracts.OptimismPortalProxy, db, fromHeight, toHeight)
177 178 179
	if err != nil {
		return err
	}
Hamdi Allam's avatar
Hamdi Allam committed
180 181 182
	if len(finalizedWithdrawals) > 0 {
		log.Info("detected finalized withdrawals", "size", len(finalizedWithdrawals))
	}
183 184

	for i := range finalizedWithdrawals {
185 186
		finalizedWithdrawal := finalizedWithdrawals[i]
		withdrawal, err := db.BridgeTransactions.L2TransactionWithdrawal(finalizedWithdrawal.WithdrawalHash)
187 188 189
		if err != nil {
			return err
		} else if withdrawal == nil {
Hamdi Allam's avatar
Hamdi Allam committed
190
			return fmt.Errorf("missing indexed withdrawal on finalization! tx_hash = %s", finalizedWithdrawal.Event.TransactionHash.String())
191 192 193
		}

		if err = db.BridgeTransactions.MarkL2TransactionWithdrawalFinalizedEvent(finalizedWithdrawal.WithdrawalHash, finalizedWithdrawal.Event.GUID, finalizedWithdrawal.Success); err != nil {
Hamdi Allam's avatar
Hamdi Allam committed
194
			return fmt.Errorf("failed to mark withdrawal as finalized. tx_hash = %s: %w", finalizedWithdrawal.Event.TransactionHash, err)
195 196
		}
	}
Hamdi Allam's avatar
Hamdi Allam committed
197 198 199
	if len(finalizedWithdrawals) > 0 {
		metrics.RecordL1FinalizedWithdrawals(len(finalizedWithdrawals))
	}
200 201

	// (3) L1CrossDomainMessenger
202
	crossDomainRelayedMessages, err := contracts.CrossDomainMessengerRelayedMessageEvents("l1", l1Contracts.L1CrossDomainMessengerProxy, db, fromHeight, toHeight)
203 204 205
	if err != nil {
		return err
	}
Hamdi Allam's avatar
Hamdi Allam committed
206 207 208
	if len(crossDomainRelayedMessages) > 0 {
		log.Info("detected relayed messages", "size", len(crossDomainRelayedMessages))
	}
209 210 211 212 213 214 215

	for i := range crossDomainRelayedMessages {
		relayed := crossDomainRelayedMessages[i]
		message, err := db.BridgeMessages.L2BridgeMessage(relayed.MessageHash)
		if err != nil {
			return err
		} else if message == nil {
Hamdi Allam's avatar
Hamdi Allam committed
216
			return fmt.Errorf("missing indexed L2CrossDomainMessager message! tx_hash = %s", relayed.Event.TransactionHash.String())
217 218 219
		}

		if err := db.BridgeMessages.MarkRelayedL2BridgeMessage(relayed.MessageHash, relayed.Event.GUID); err != nil {
Hamdi Allam's avatar
Hamdi Allam committed
220
			return fmt.Errorf("failed to relay cross domain message. tx_hash = %s: %w", relayed.Event.TransactionHash, err)
221 222
		}
	}
Hamdi Allam's avatar
Hamdi Allam committed
223 224 225
	if len(crossDomainRelayedMessages) > 0 {
		metrics.RecordL1CrossDomainRelayedMessages(len(crossDomainRelayedMessages))
	}
226 227

	// (4) L1StandardBridge
228 229 230
	// - Nothing actionable on the database. Since the StandardBridge is layered ontop of the
	// CrossDomainMessenger, there's no need for any sanity or invariant checks as the previous step
	// ensures a relayed message (finalized bridge) can be linked with a sent message (initiated bridge).
231
	finalizedBridges, err := contracts.StandardBridgeFinalizedEvents("l1", l1Contracts.L1StandardBridgeProxy, db, fromHeight, toHeight)
232 233 234 235
	if err != nil {
		return err
	}

Hamdi Allam's avatar
Hamdi Allam committed
236
	finalizedTokens := make(map[common.Address]int)
237 238
	for i := range finalizedBridges {
		finalizedBridge := finalizedBridges[i]
Hamdi Allam's avatar
Hamdi Allam committed
239 240 241
		finalizedTokens[finalizedBridge.BridgeTransfer.TokenPair.LocalTokenAddress]++
	}
	if len(finalizedBridges) > 0 {
242
		log.Info("detected finalized bridge withdrawals", "size", len(finalizedBridges))
Hamdi Allam's avatar
Hamdi Allam committed
243 244 245
		for tokenAddr, size := range finalizedTokens {
			metrics.RecordL1FinalizedBridgeTransfers(tokenAddr, size)
		}
246 247 248 249 250
	}

	// a-ok!
	return nil
}