logos-blockchain/lez-programs
1
0
Fork 0
mirror of https://github.com/logos-blockchain/lez-programs.git synced 2026-05-18 15:09:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

skills: update spel-cli references to use spel

Browse Source
This commit is contained in:
r4bbit 2026-03-31 00:16:34 +02:00
parent 6287bd9df9
commit cb8426cbf1
2 changed files with 13 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
CLAUDE.md
View File

@ -36,22 +36,22 @@ Built binaries output to: `<program>/methods/guest/target/riscv32im-risc0-zkvm-e
## IDL Generation
```bash
spel-cli generate-idl token/methods/guest/src/bin/token.rs > token/token-idl.json
spel-cli generate-idl amm/methods/guest/src/bin/amm.rs > amm/amm-idl.json
spel generate-idl token/methods/guest/src/bin/token.rs > token/token-idl.json
spel generate-idl amm/methods/guest/src/bin/amm.rs > amm/amm-idl.json
```
## Deployment
`wallet` and `spel-cli` are CLI tools that ship with the [SPEL](https://github.com/logos-co/spel.git) toolchain. `wallet` requires `NSSA_WALLET_HOME_DIR` to point to a directory containing the wallet config.
`wallet` and `spel` are CLI tools that ship with the [SPEL](https://github.com/logos-co/spel.git) toolchain. `wallet` requires `NSSA_WALLET_HOME_DIR` to point to a directory containing the wallet config.
**Note:** `spel-cli` and `wallet` may use different versions of the wallet package. If `spel-cli --idl <IDL> <PROGRAM_FUNCTION> ...` fails, ensure `seq_poll_timeout_millis` is set in the wallet config at `~/.nssa/wallet`.
**Note:** `spel` and `wallet` may use different versions of the wallet package. If `spel --idl <IDL> <PROGRAM_FUNCTION> ...` fails, ensure `seq_poll_timeout_millis` is set in the wallet config at `~/.nssa/wallet`.
```bash
# Deploy a program binary to the sequencer
wallet deploy-program <path-to-binary>
# Inspect the ProgramId of a built binary
spel-cli inspect <path-to-binary>
spel inspect <path-to-binary>
```
## Workspace Structure

16
README.md
View File

@ -11,7 +11,7 @@ Essential programs for the **Logos Execution Zone (LEZ)** — a zkVM-based execu
cargo install cargo-risczero
cargo risczero install
```
- **SPEL toolchain** — provides `spel-cli` tools. Install from [logos-co/spel](https://github.com/logos-co/spel).
- **SPEL toolchain** — provides `spel` and `wallet` CLI tools. Install from [logos-co/spel](https://github.com/logos-co/spel).
- **LEZ** — provides `wallet` CLI. Install from [logos-blockchain/logos-execution-zone](https://github.com/logos-blockchain/logos-execution-zone)
## Build & Test
@ -67,10 +67,10 @@ wallet deploy-program amm/methods/guest/target/riscv32im-risc0-zkvm-elf/docker/a
To inspect the `ProgramId` of a built binary:
```bash
spel-cli inspect <path-to-binary>
spel inspect <path-to-binary>
```
## Interacting with Programs via `spel-cli`
## Interacting with Programs via `spel`
### Generate an IDL
@ -78,15 +78,15 @@ The IDL describes the program's instructions and can be used to interact with a
```bash
# Example
spel-cli generate-idl token/methods/guest/src/bin/token.rs > token/token-idl.json
spel-cli generate-idl amm/methods/guest/src/bin/amm.rs > amm/amm-idl.json
spel generate-idl token/methods/guest/src/bin/token.rs > token/token-idl.json
spel generate-idl amm/methods/guest/src/bin/amm.rs > amm/amm-idl.json
```
### Invoke Instructions
Use `spel-cli --idl <IDL> <INSTRUCTION> [ARGS...]` to call a deployed program instruction:
Use `spel --idl <IDL> <INSTRUCTION> [ARGS...]` to call a deployed program instruction:
```bash
spel-cli --idl token/token-idl.json <instruction> [args...]
spel-cli --idl amm/amm-idl.json <instruction> [args...]
spel --idl token/token-idl.json <instruction> [args...]
spel --idl amm/amm-idl.json <instruction> [args...]
```