About Team Wizkit
Wizkit is a team of industry and academic leaders in the field of ZK, formed to advance the leading edge through participation in DARPA’s SIEVE Program. Wizkit has and is developing languages for writing ZK statements and backends for proving their truthfulness.
Open Source
We have developed and released the following projects as open source.
- EMP-ZK
-
The QuickSilver backend implemented as a ZK extension to the popular EMP Toolkit.
- WizToolKit
-
A software library and toolkit for processing, manipulating, and validating the SIEVE IR.
- EMP-IR
-
An integration of EMP-ZK and the SIEVE IR enabling a user to prove statements written in the IR using the EMP-ZK backend.