Template Rust+zkLLVM project

Requirements

Make a template Rust project using zkLLVM toolchain. This project should become a good starting point for other developers and teams building zk-circuits with zkLLVM.

As it’s a template project, there’s no need to write a complex circuit. A simple arithmetic example is enough.

Definition of done / judging criteria

• Code that can be compiled with zkLLVM into a zk-circuit. The code should be comprehensible, bonus points for explanatory comments.
• A reproducible pipleline for producing and verifying a proof from the circuit and provided input examples: can be in the form of a bash script or a Makefile.
• Readme should have an overview of the solution and steps to reproduce the result. It should also explain the source and structure of the input data.
• Code and readme should be published in a public repository on github.com under a license that would allow using the example in other projects, such as MIT, Apache 2.0, or BSD.

If you have any questions or feedback on the bounties before the hackathon, please share them in our Discord channel #zkhack or message @nick_volynkin_nil in Telegram.

Resources

• Read the docs at =nil; Developer Hub
• See the example project with C++ and Crypto3 library: https://github.com/nilfoundation/zkllvm-template
• See more circuit & input examples at https://github.com/NilFoundation/zkLLVM/tree/master/examples
• Join our Discord https://discord.gg/qPj3DsrQH4

Mentors

• Misha Komarov
• Nikita Kaskov
• Alexander Evgin
• Alexander Cherenkov