darkfi/bin/zkrunner

What is this?

zkrunner is a simple Python script that calls into the Darkfi Python SDK. The Python SDK provides APIs such as creating a circuit, assigning the witness to the circuit and more.

zkrunner uses the Python SDK to create a developement environment for zkas developer where:

• the ZKAS developer provides the ZKAS binary code
• the ZKAS developer provides the witness and assigns it accordingly
• zkrunner:
  • sets up the circuit from the binary
  • generates both proving and verifying key
  • creates the proof from the witness and proving key
  • creates the public inputs from the witness
  • verifies the proof using the public inputs and verifying key
• zkrunner times each step as a basic performance benchmark

This is so developers have an easier time to test their zkas circuit.

Installation

Follow the guide in src/sdk/python/README.md to install the Python bindings and virtual environment.

Getting Started

• Compile the ZKAS source to ZKAS binary

  cd <darkmap>
  zkas proof/set_v1.zk
  

• Open up zkrunner.py, read over the TODOs and comments, provide the path to zkas binary code, witness and assign accordingly.

• After installing Python bindings in your Python installation, simply run python zkrunner.py [--verbose].

Notes

• "witness" and "witnesses" are used interchangablely.