ZisK Development CLI

A comprehensive command-line interface for ZisK zkVM development with full macOS support. This tool provides project initialization, building, execution, proof generation, and environment diagnostics for ZisK zero-knowledge virtual machine development.

Overview

The ZisK Development CLI is a personal development tool designed to streamline ZisK zkVM project workflows. It automates common development tasks including project setup, building, execution, proof generation, and verification while providing comprehensive error handling and environment diagnostics.

Note: This is a personal development tool for testing and learning purposes. It is not an official ZisK product.

Features

- Project Management: Initialize new ZisK projects with proper structure
- Build System: Compile ZisK programs with configurable profiles and targets
- Execution Pipeline: Run programs with input processing and metrics
- Proof Generation: Generate zero-knowledge proofs with concurrency control
- Environment Diagnostics: Comprehensive system health checks and validation
- Real-time Monitoring: Watch mode with automatic rebuilds and execution
- Error Handling: Structured error reporting with recovery suggestions
- Security: Input validation, path sanitization, and secure process management

Installation

``bash
npm install -g @abix/zisk-dev-cli
`

Prerequisites

- Node.js 16.0.0 or higher
- Rust toolchain with cargo-zisk installed
- ZisK zkVM runtime environment

Quick Start

1. Initialize a new project:
`bash
zisk-dev init my-project
cd my-project
`

2. Run the complete pipeline (recommended):
`bash
zisk-dev run --input data.json
`
This command will: build → execute → generate proofs → verify

3. Alternative: Step-by-step workflow:
`bash
# Build the program
zisk-dev build

# Execute to generate witnesses
zisk-dev execute --input data.json

# Generate proofs from witnesses
zisk-dev prove --input data.json
`

Workflow Overview

The ZisK CLI supports two main workflows:

$3


`bash
zisk-dev run --input data.json
`
- Builds the program
- Executes with input data
- Generates witnesses
- Creates zero-knowledge proofs
- Verifies the proofs

$3

`bash

1. Build

zisk-dev build

2. Execute (generates witnesses)

zisk-dev execute --input data.json

3. Generate proofs from witnesses

zisk-dev prove --input data.json

4. Verify proofs (optional)

zisk-dev verify --proof ./proofs/proof.json
`

Commands

$3

#### zisk-dev init
Initialize a new ZisK project with proper structure and configuration.

Options:
- --template