Zargo is a project managing tool, which can create and build projects,
generate and verify proofs, publish smart contracts and call their methods.
All the commands have default values, so you may omit them in normal circumstances.
zargo --help for more detail.
Creates a new project directory with
Zargo.toml manifest file and
application entry point module.
Initializes a new project in an existing directory, creates missing files.
Builds the project. The build consists of:
- the bytecode file
- input JSON template
- output JSON template
Removes the build directory.
Build and runs the application on the Zinc VM, writes the result to the terminal.
Runs the application unit tests.
Generates parameters for the prover using the application bytecode.
Generates the proof using the application bytecode, parameters generated with
and provided public data.
Verifies the proof using the application bytecode, parameters generated with
proof generated with
prove, and provided public data.
Executes the full cycle of proof verification, that is, performs
verify. Mostly for testing purposes.
Publishes the smart contract to the Zandbox server on the specified network.
Queries a smart contract storage or calls an immutable method.
Calls a mutable smart contract method, that is, one modifying its storage and making operations with tokens and balances.
Uploads the project to the Zandbox server on the specified network.
Downloads the project from the Zandbox server on the specified network.