Add contract verification flow (#54)

* Add contract verification flow

* Fix CI lint and clippy failures

* Add multi-file contract verification via file picker

Adds a Single file / Multi-file toggle to the verification form.
In multi-file mode, users select .sol files directly via a native
file picker instead of manually typing filenames and pasting content.
Files are read with FileReader and submitted as source_files to the
existing API endpoint.

* Fix contract verification regressions

* Simplify contract verification inputs

* Fix stale proxy implementation address after upgrades

* Fix contract verification source persistence

* Format contract verification handler

* Address contract verification review comments

* Fix ABI decoder edge cases

Author: pthmas

backend/Cargo.toml

@@ -57,6 +57,7 @@ async-stream = "0.3"
 bigdecimal = { version = "0.4", features = ["serde"] }
 hex = "0.4"
 chrono = { version = "0.4", features = ["serde"] }
+tempfile = "3"
 
 # Testing
 testcontainers = { version = "0.27", features = ["blocking"] }

backend/Dockerfile

@@ -11,7 +11,7 @@ RUN cargo build --release
 # Server image
 FROM alpine:3.21 AS server
 
-RUN apk add --no-cache ca-certificates postgresql16-client
+RUN apk add --no-cache ca-certificates gcompat postgresql16-client
 
 COPY --from=builder /app/target/release/atlas-server /usr/local/bin/
 

backend/crates/atlas-common/src/types.rs

@@ -239,6 +239,24 @@ pub struct ContractAbi {
     pub verified_at: DateTime<Utc>,
 }
 
+/// Full contract ABI including all verification metadata columns
+#[derive(Debug, Clone, Serialize, Deserialize, FromRow)]
+pub struct FullContractAbi {
+    pub address: String,
+    pub abi: serde_json::Value,
+    pub source_code: Option<String>,
+    pub compiler_version: Option<String>,
+    pub optimization_used: Option<bool>,
+    pub runs: Option<i32>,
+    pub verified_at: DateTime<Utc>,
+    pub contract_name: Option<String>,
+    pub constructor_args: Option<Vec<u8>>,
+    pub evm_version: Option<String>,
+    pub license_type: Option<String>,
+    pub is_multi_file: bool,
+    pub source_files: Option<serde_json::Value>,
+}
+
 /// SQL column list for the `blocks` table, matching the field order in [`Block`].
 pub const BLOCK_COLUMNS: &str =
     "number, hash, parent_hash, timestamp, gas_used, gas_limit, base_fee_per_gas::text AS base_fee_per_gas, transaction_count, indexed_at";

backend/crates/atlas-server/Cargo.toml

@@ -29,6 +29,7 @@ dotenvy = { workspace = true }
 bigdecimal = { workspace = true }
 hex = { workspace = true }
 chrono = { workspace = true }
+tempfile = { workspace = true }
 tokio-stream = { workspace = true }
 futures = { workspace = true }
 async-stream = { workspace = true }
@@ -48,4 +49,4 @@ tokio = { workspace = true }
 tower = { workspace = true, features = ["util"] }
 serde_json = { workspace = true }
 sqlx = { workspace = true }
-tempfile = "3"
+tempfile = { workspace = true }