Stellar Community Fund

Soroban Contract Source Verification Service

SCF #44

Description

We are proposing a public, trustless contract source verification service for Soroban that allows developers to submit source code, deterministically rebuild the corresponding Wasm artifacts, and verify the match against deployed contracts. The system is designed to support reproducible rebuilds, retroactive verification for contracts deployed before the service launch, a public API and developer-facing submission flow, independent verifier instances, mirrored artifact storage, and an open-source, self-hostable deployment model.

Beyond simple verification, the service is intended to provide a shared verification result layer that can be consumed by explorers, Stellar Lab, wallets, and other ecosystem tools without requiring each integrator to run its own rebuild pipeline. The architecture emphasizes deterministic build environments, decentralized verification and artifact storage, strong sandboxing and tarball safety, queue-based concurrency, and production-grade security controls.