Soroban Upgrades
Soroban Upgrades is a safety gate for contract releases. It compares compiled WASM and produces a deterministic plan before a signer approves an upgrade.
45 engine and CLI tests in the showcase
8 adversarial Protocol 28 tests
6 documented release decisions
Apache-2.0 licensed
The release or operating risk.
Soroban replaces contract WASM but keeps the contract address and ledger state. A source diff does not prove that the compiled artifact is safe. Teams must review interfaces, stored data, upgrade paths, and protocol capabilities.
The technical approach.
The CLI uses compiled WASM as the release boundary. It inspects artifact hashes, Contract Spec XDR, metadata, imports, exports, storage schemas, migrations, and rollback requirements. Each finding identifies a fact, an inference, or an unknown.
The available evidence.
The alpha includes a reproducible showcase, JSON reports, adversarial fixtures, and a release plan that cannot sign transactions. Historical Testnet evidence shows an upgrade at the same address. The project is ready for evaluation and Testnet pilots. It is not audited or ready for Mainnet.
Stack and evidence
- Rust
- Soroban SDK
- WASM
- Stellar CLI
- Contract Spec XDR