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 engineering constraint.
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.
How the system works.
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.
What the current release proves.
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.
Technology and primary sources
- Rust
- Soroban SDK
- WASM
- Stellar CLI
- Contract Spec XDR