Draft zkEVM indexer implementation

pull/7584/head
POA 2 years ago
parent 27d923266d
commit e630e51939
  1. 9
      apps/explorer/lib/explorer/chain/import/runner/zkevm_lifecycle_txns.ex
  2. 26
      apps/explorer/lib/explorer/chain/import/stage/block_referencing.ex
  3. 2
      apps/explorer/priv/repo/migrations/20230420110800_create_zkevm_tables.exs
  4. 267
      apps/indexer/lib/indexer/fetcher/zkevm_txn_batch.ex
  5. 4
      apps/indexer/lib/indexer/supervisor.ex

@ -71,7 +71,7 @@ defmodule Explorer.Chain.Import.Runner.ZkevmLifecycleTxns do
returning: true,
timeout: timeout,
timestamps: timestamps,
conflict_target: :id,
conflict_target: :hash,
on_conflict: on_conflict
)
@ -83,8 +83,8 @@ defmodule Explorer.Chain.Import.Runner.ZkevmLifecycleTxns do
tx in ZkevmLifecycleTxn,
update: [
set: [
# don't update `id` as it is a primary key and used for the conflict target
hash: fragment("EXCLUDED.hash"),
# don't update `id` as it is a primary key
# don't update `hash` as it is a unique index and used for the conflict target
is_verify: fragment("EXCLUDED.is_verify"),
inserted_at: fragment("LEAST(?, EXCLUDED.inserted_at)", tx.inserted_at),
updated_at: fragment("GREATEST(?, EXCLUDED.updated_at)", tx.updated_at)
@ -92,8 +92,7 @@ defmodule Explorer.Chain.Import.Runner.ZkevmLifecycleTxns do
],
where:
fragment(
"(EXCLUDED.hash, EXCLUDED.is_verify) IS DISTINCT FROM (?, ?)",
tx.hash,
"(EXCLUDED.is_verify) IS DISTINCT FROM (?)",
tx.is_verify
)
)

@ -21,16 +21,22 @@ defmodule Explorer.Chain.Import.Stage.BlockReferencing do
@impl Stage
def runners do
if System.get_env("CHAIN_TYPE") == "polygon_edge" do
@default_runners ++
[
Runner.PolygonEdge.Deposits,
Runner.PolygonEdge.DepositExecutes,
Runner.PolygonEdge.Withdrawals,
Runner.PolygonEdge.WithdrawalExits
]
else
@default_runners
case System.get_env("CHAIN_TYPE") do
"polygon_edge" ->
@default_runners ++
[
Runner.PolygonEdge.Deposits,
Runner.PolygonEdge.DepositExecutes,
Runner.PolygonEdge.Withdrawals,
Runner.PolygonEdge.WithdrawalExits
]
"polygon_zkevm" ->
@default_runners ++
[
Runner.ZkevmLifecycleTxns,
Runner.ZkevmTxnBatches
]
_ -> @default_runners
end
end

@ -9,6 +9,8 @@ defmodule Explorer.Repo.Migrations.CreateZkevmTables do
timestamps(null: false, type: :utc_datetime_usec)
end
create(unique_index(:zkevm_lifecycle_l1_transactions, :hash))
create table(:zkevm_transaction_batches, primary_key: false) do
add(:number, :integer, null: false, primary_key: true)
add(:timestamp, :"timestamp without time zone", null: false)

@ -0,0 +1,267 @@
defmodule Indexer.Fetcher.ZkevmTxnBatch do
@moduledoc """
Fills zkevm_transaction_batches DB table.
"""
use GenServer
use Indexer.Fetcher
require Logger
import Ecto.Query
import EthereumJSONRPC, only: [integer_to_quantity: 1, json_rpc: 2, quantity_to_integer: 1]
alias Explorer.{Chain, Repo}
alias Explorer.Chain.{ZkevmLifecycleTxn, ZkevmTxnBatch}
@batch_range_size 20
@recheck_latest_batch_interval 1
def child_spec(start_link_arguments) do
spec = %{
id: __MODULE__,
start: {__MODULE__, :start_link, start_link_arguments},
restart: :transient,
type: :worker
}
Supervisor.child_spec(spec, [])
end
def start_link(args, gen_server_options \\ []) do
GenServer.start_link(__MODULE__, args, Keyword.put_new(gen_server_options, :name, __MODULE__))
end
@impl GenServer
def init(args) do
Logger.metadata(fetcher: :zkevm_txn_batches)
#Logger.configure(truncate: :infinity)
#enabled = Application.get_all_env(:indexer)[Indexer.Fetcher.ZkevmTxnBatch][:enabled]
Process.send(self(), :continue, [])
{:ok,
%{
json_rpc_named_arguments: args[:json_rpc_named_arguments],
prev_latest_batch_number: 0
}}
end
@impl GenServer
def handle_info(
:continue,
%{
json_rpc_named_arguments: json_rpc_named_arguments,
prev_latest_batch_number: prev_latest_batch_number
} = state
) do
latest_batch_number = fetch_latest_batch_number(json_rpc_named_arguments)
if latest_batch_number > prev_latest_batch_number do
start_batch_number = get_last_verified_batch_number() + 1
end_batch_number = latest_batch_number
handle_batch_range(start_batch_number, end_batch_number, json_rpc_named_arguments)
Process.send_after(self(), :continue, :timer.minutes(@recheck_latest_batch_interval))
{:noreply, %{state | prev_latest_batch_number: latest_batch_number}}
else
Process.send_after(self(), :continue, :timer.minutes(@recheck_latest_batch_interval))
{:noreply, state}
end
end
defp get_last_verified_batch_number do
query =
from(tb in ZkevmTxnBatch,
select: tb.number,
where: not is_nil(tb.verify_id),
order_by: [desc: tb.number],
limit: 1
)
query
|> Repo.one()
|> Kernel.||(0)
end
defp get_next_id do
query =
from(lt in ZkevmLifecycleTxn,
select: lt.id,
order_by: [desc: lt.id],
limit: 1
)
last_id =
query
|> Repo.one()
|> Kernel.||(0)
last_id + 1
end
defp handle_batch_range(start_batch_number, end_batch_number, json_rpc_named_arguments) do
chunks_number = ceil((end_batch_number - start_batch_number + 1) / @batch_range_size)
chunk_range = Range.new(0, max(chunks_number - 1, 0), 1)
Enum.each(chunk_range, fn current_chunk ->
chunk_start = start_batch_number + @batch_range_size * current_chunk
chunk_end = min(chunk_start + @batch_range_size - 1, end_batch_number)
fetch_and_save_batches(chunk_start, chunk_end, json_rpc_named_arguments)
end)
end
defp fetch_and_save_batches(batch_start, batch_end, json_rpc_named_arguments) do
requests =
batch_start
|> Range.new(batch_end, 1)
|> Enum.map(fn batch_number ->
EthereumJSONRPC.request(%{id: batch_number, method: "zkevm_getBatchByNumber", params: [integer_to_quantity(batch_number), false]})
end)
error_message = &"Cannot call zkevm_getBatchByNumber for the batch range #{batch_start}..#{batch_end}. Error: #{inspect(&1)}"
{:ok, responses} = repeated_call(&json_rpc/2, [requests, json_rpc_named_arguments], error_message, 3)
#Logger.warn("Hashes for the batch range #{batch_start}..#{batch_end}:")
{sequence_hashes, verify_hashes} =
responses
|> Enum.reduce({[], []}, fn res, {sequences, verifies} = _acc ->
"0x" <> send_sequences_tx_hash = Map.get(res.result, "sendSequencesTxHash")
"0x" <> verify_batch_tx_hash = Map.get(res.result, "verifyBatchTxHash")
sequences =
if send_sequences_tx_hash != "0000000000000000000000000000000000000000000000000000000000000000" do
[Base.decode16!(send_sequences_tx_hash, case: :mixed) | sequences]
else
sequences
end
verifies =
if verify_batch_tx_hash != "0000000000000000000000000000000000000000000000000000000000000000" do
[Base.decode16!(verify_batch_tx_hash, case: :mixed) | verifies]
else
verifies
end
{sequences, verifies}
end)
l1_tx_hashes = Enum.uniq(sequence_hashes ++ verify_hashes)
query =
from(
lt in ZkevmLifecycleTxn,
select: {lt.hash, lt.id},
where: lt.hash in ^l1_tx_hashes
)
hash_to_id =
query
|> Repo.all(timeout: :infinity)
|> Enum.reduce(%{}, fn {hash, id}, acc ->
Map.put(acc, hash.bytes, id)
end)
{batches_to_import, l1_txs_to_import, _, _} =
responses
|> Enum.reduce({[], [], get_next_id(), hash_to_id}, fn res, {batches, l1_txs, next_id, hash_to_id} = _acc ->
number = quantity_to_integer(Map.get(res.result, "number"))
{:ok, timestamp} = DateTime.from_unix(quantity_to_integer(Map.get(res.result, "timestamp")))
l2_transaction_hashes = Map.get(res.result, "transactions")
global_exit_root = Map.get(res.result, "globalExitRoot")
acc_input_hash = Map.get(res.result, "accInputHash")
state_root = Map.get(res.result, "stateRoot")
"0x" <> send_sequences_tx_hash = Map.get(res.result, "sendSequencesTxHash")
"0x" <> verify_batch_tx_hash = Map.get(res.result, "verifyBatchTxHash")
{sequence_id, l1_txs, next_id, hash_to_id} =
if send_sequences_tx_hash != "0000000000000000000000000000000000000000000000000000000000000000" do
sequence_tx_hash = Base.decode16!(send_sequences_tx_hash, case: :mixed)
id = Map.get(hash_to_id, sequence_tx_hash)
if is_nil(id) do
{next_id, l1_txs ++ [%{id: next_id, hash: sequence_tx_hash, is_verify: false}], next_id + 1, Map.put(hash_to_id, sequence_tx_hash, next_id)}
else
{id, l1_txs, next_id, hash_to_id}
end
else
{nil, l1_txs, next_id, hash_to_id}
end
{verify_id, l1_txs, next_id, hash_to_id} =
if verify_batch_tx_hash != "0000000000000000000000000000000000000000000000000000000000000000" do
verify_tx_hash = Base.decode16!(verify_batch_tx_hash, case: :mixed)
id = Map.get(hash_to_id, verify_tx_hash)
if is_nil(id) do
{next_id, l1_txs ++ [%{id: next_id, hash: verify_tx_hash, is_verify: true}], next_id + 1, Map.put(hash_to_id, verify_tx_hash, next_id)}
else
{id, l1_txs, next_id, hash_to_id}
end
else
{nil, l1_txs, next_id, hash_to_id}
end
batch = %{
number: number,
timestamp: timestamp,
l2_transaction_hashes: l2_transaction_hashes || [],
global_exit_root: global_exit_root,
acc_input_hash: acc_input_hash,
state_root: state_root,
sequence_id: sequence_id,
verify_id: verify_id
}
{batches ++ [batch], l1_txs, next_id, hash_to_id}
end)
{:ok, _} =
Chain.import(%{
zkevm_lifecycle_txns: %{params: l1_txs_to_import},
zkevm_txn_batches: %{params: batches_to_import},
timeout: :infinity
})
end
defp fetch_latest_batch_number(json_rpc_named_arguments) do
req = EthereumJSONRPC.request(%{id: 0, method: "zkevm_batchNumber", params: []})
error_message = &"Cannot call zkevm_batchNumber. Error: #{inspect(&1)}"
{:ok, latest_batch_number} = repeated_call(&json_rpc/2, [req, json_rpc_named_arguments], error_message, 3)
quantity_to_integer(latest_batch_number)
end
defp repeated_call(func, args, error_message, retries_left) do
case apply(func, args) do
{:ok, _} = res ->
res
{:error, message} = err ->
retries_left = retries_left - 1
if retries_left <= 0 do
Logger.error(error_message.(message))
err
else
Logger.error("#{error_message.(message)} Retrying...")
:timer.sleep(3000)
repeated_call(func, args, error_message, retries_left)
end
end
end
end

@ -34,7 +34,8 @@ defmodule Indexer.Supervisor do
TokenUpdater,
TransactionAction,
UncleBlock,
Withdrawal
Withdrawal,
ZkevmTxnBatch
}
alias Indexer.Temporary.{
@ -132,6 +133,7 @@ defmodule Indexer.Supervisor do
{Indexer.Fetcher.PolygonEdge.Withdrawal.Supervisor,
[[memory_monitor: memory_monitor, json_rpc_named_arguments: json_rpc_named_arguments]]},
{Indexer.Fetcher.PolygonEdge.WithdrawalExit.Supervisor, [[memory_monitor: memory_monitor]]},
{ZkevmTxnBatch.Supervisor, [[json_rpc_named_arguments: json_rpc_named_arguments, memory_monitor: memory_monitor]]},
# Out-of-band fetchers
{EmptyBlocksSanitizer.Supervisor, [[json_rpc_named_arguments: json_rpc_named_arguments]]},

Loading…
Cancel
Save