Alex Metelli
Work

Case Study

Voyager Verifier

Starknet contract verification tooling with compiler integration and status tracking.

Role
Software Engineer at Nethermind
Stack
  • Rust
  • Starknet
  • Cairo
  • Scarb
  • AWS Console
  • CloudWatch
Current state
Open-source verifier tooling maintained under Nethermind.

Overview

Voyager Verifier is contract verification tooling for the Voyager Starknet block explorer. It helps developers submit verification data, track status, and diagnose compiler or metadata issues.

Problem

Contract verification workflows are sensitive to compiler versions, package metadata, network selection, and explorer API behavior. Small mismatches can create confusing failures for developers.

My role

I maintained and improved verification workflows, compiler compatibility, metadata validation, status handling, and developer diagnostics.

Technical details

  • Integrated compiler and package metadata handling for Starknet verification flows.
  • Improved status tracking and error reporting around verifier API responses.
  • Used cloud logs and operational tooling to debug production verification failures.

Hard parts and tradeoffs

  • The tooling needed to stay strict enough for correctness while still giving developers actionable diagnostics.
  • Compatibility work had to account for evolving Starknet, Cairo, and Scarb versions without masking real verification errors.

Current state

The project is public under Nethermind and has release artifacts and documentation.

Evidence