This is a collection of tools, provided by team Wizkit, for working with the SIEVE IR. It In addition to a few command-line tools, it has an extensive C++ API for manipulating the SIEVE IR.
The WizToolKit Manual is available by clicking here. Here are a few highlights.
-
Intro An overview of WizToolKit and the IR
-
NAILS: an interpreter API to bridge ZK backends into the Circuit-IR
-
Plugins the Circuit-IR plugins
-
Tools
-
wtk-firealarm A non-ZK interpreter for the SIEVE IR, useful for debugging.
-
wtk-press A format converter for the SIEVE IR (text to flatbuffer or flatbuffer to text).
-
-
Backend Sample Code to get started with a backend implementation/integration.
It uses cmake but a Makefile wraps everything up, downloads a few dependencies, calls tools which cmake can’t use, etc.
Install should be as simple as make and make install.
See the installation guide for more info.
- WARNING
-
If you just ran
git pull, and all of a sudden you can’t build anymore trymake deps-clean && make.
Copyright © 2020-2022 Stealth Software Technologies, Inc. Licensed to you under the MIT License.
This research was developed with funding from the Defense Advanced Research Projects Agency (DARPA) under Contract No. HR001120C0087. The views, opinions, and/or findings expressed are those of the author(s) and should not be interpreted as representing the official views or policies of the Department of Defense or the U.S. Government.
Distribution Statement "A": Approved for Public Release, Distribution Unlimited.
For questions, comments, or bugs please contact Kimberlee Model via email or on SIEVE internal Slack.