Snarkify
  • 🏗️GPU Prover Network
    • Introduction
    • Deploy a Elastic Prover
      • Integrate Elastic Prover SDK
    • Snakrify CLI
      • Installation
      • Authentication
      • Service Initialization
      • Build & Deployment
      • Proof Generation
      • Team Management
      • GPU Shell Management
    • Advanced Topics
      • Webhook
  • 🏚️High-Performance ZKP
    • zkEVM Halo2 GPU Prover
      • MSM
      • NTT
      • Quotient Polynomial Evaluation
      • KZG Multiopen
      • Polynomial Inversion
      • Permutation Generation
    • ZPrize
  • 🐺Sirius Folding
    • Introduction
    • Quickstart
    • Examples
      • Fold a Summation Circuit
      • Fold a Fibonacci Circuit
      • Fold a Halo2 Circuit
      • Fold the zkevm-circuits
    • Terminologies
    • Sirius Folding APIs
      • `StepCircuit` trait
      • `PublicParams` Struct
      • `IVC` struct
  • LInks
    • Github
    • Telegram Group
    • snarkify.io
Powered by GitBook
On this page
  • Create a Shell
  • Query a Shell
  • Access a Shell
  • List Shells
  • Delete a Shell
  1. GPU Prover Network
  2. Snakrify CLI

GPU Shell Management

A GPU Shell is a managed GPU container on our platform with ssh capability, providing developers isolated development environments with various GPU configurations. Developers could use shells to develop and test their code while integrating with our SDK before deploying as a service in production.

Create a Shell

You can create a shell with selected GPUs to accelerate your project development:

snarkify shell create {shell_name}

You'll be prompted to select the type of GPU during shell creation.

Note the the shell_name is optional. If it is not provided, a default name will be assigned based on the shell ID.

It may take a few minutes for a new Shell to become READY

Query a Shell

You can use the info command to check the status of your shell and retrieve the necessary access information.

snarkify shell info {shell_id}

Access a Shell

Once you get the shell_id you would like to connect to, you can run the following command to ssh into it

snarkify shell connect {shell_id}

It will then prompt for the password, the default password is randomly generated and retrievable using the same snarkfy sell info command above.

List Shells

You can use the list command to list all shells under your team.

snarkify shell list

Delete a Shell

You can permanently delete a shell using the following command:

snarkify shell delete {shell_id}
PreviousTeam ManagementNextAdvanced Topics

Last updated 7 months ago

🏗️