Soroban Contract Verification Demo

The sample contract lives in contracts/verified-demo and exposes a single hello function.

Project Structure

This repository uses the recommended structure for a Soroban project:

.
├── contracts
│   └── verified-demo
│       ├── src
│       │   ├── lib.rs
│       │   └── test.rs
│       └── Cargo.toml
├── Cargo.toml
└── README.md

• New Soroban contracts can be put in contracts, each in their own directory.
• Contracts should have their own Cargo.toml files that rely on the top-level Cargo.toml workspace for their dependencies.

Local Build

With the released Stellar CLI:

stellar contract build --manifest-path contracts/verified-demo/Cargo.toml --package verified-demo

With the PR #2525 CLI build, use the Docker backend:

$STELLAR contract build \
  --backend docker \
  --manifest-path contracts/verified-demo/Cargo.toml \
  --package verified-demo