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 task
  • Query a task
  1. GPU Prover Network
  2. Snakrify CLI

Proof Generation

Create a task

To generate a proof, you need to create a task. The input for this task should be in JSON format. You can provide this either as a JSON string using --json or as a path to a JSON file using --file.

In your project's root directory, execute the following command:

snarkify task create --json {input_of_your_proof}

After successfully executing this command, it will display snarkify task info {task_id}, which you can use to check the status of your task and retrieve the proof later.

Query a task

To check the status of your task and access the proof once it's successfully completed, use the snarkify task info command. Here's an example of the output:

┌──────────────┬───────────────────────────────────────────────────────────────────────────────────────────────┐
│ service name │ poseidon_test                                                                                 │
├──────────────┼───────────────────────────────────────────────────────────────────────────────────────────────┤
│ task id      │ e5ec45e4682b424b9204a116ba009fc9                                                              │
├──────────────┼───────────────────────────────────────────────────────────────────────────────────────────────┤
│ state        │ SUCCESS                                                                                       │
├──────────────┼───────────────────────────────────────────────────────────────────────────────────────────────┤
│ result url   │ https://snarkify-task-result-test.s3.us-west-2.amazonaws.com/e5ec45e4682b424b9204a116ba009fc9 │
└──────────────┴───────────────────────────────────────────────────────────────────────────────────────────────┘

For more detailed information about the task, including the proof in the result field, use the -d flag.

PreviousBuild & DeploymentNextTeam Management

Last updated 11 months ago

🏗️