Runnable example programs for the Rialo network, built with the Venus PDK.
This repository is a generated, read-only mirror of
developer-frameworks/examples/ in the SubzeroLabs/rialo monorepo, produced
by the rialo-examples-release tool. Every sync wipes and rewrites the whole
tree, so pull requests against this repository are lost; to change an
example, contribute in the monorepo. Dependencies are pinned to the published
crate versions in the root Cargo.toml, so everything builds standalone with
a stock Rust toolchain.
The Venus tutorial track walks through these examples in order, from a single HTTP GET to TEE-backed WASM pipelines:
| Example | Tutorial |
|---|---|
venus/http-fetch/ |
Fetch web data from a program |
venus/price-alert/ |
Build a recurring price monitor |
venus/websocket-feed/ |
Stream data over WebSockets |
venus/rex-wasm-pipeline/ |
Run Wasm components in the TEE |
venus/rex-wasm-crypto/ |
Encrypt data for the TEE |
venus/multi-http-post/ |
Companion example: sequential HTTP POSTs from workflow state |
The other venus/ directories cover further patterns (events, swaps, a
prediction market, a compliant stablecoin, and more); each ships complete,
type-checkable source.
# Type-check everything with a stock Rust toolchain
cargo check --workspaceDeploying to a network needs the Rialo toolchain. Install
rialoman,
generate a keypair (rialo keytool generate), fund it from the DevNet
faucet (rialo client airdrop), then follow the tutorial for the example
you are deploying. The
CLI quickstart
covers the setup in more detail.
- Rialo user documentation
- Venus PDK track
- Agents: see
AGENTS.md, and https://docs.rialo.io/user/latest/llms-full.txt for single-fetch context
Apache-2.0