Solution example with zkLLVM

Requirements

Make an example solution for an isolated zero-knowledge problem using zkLLVM.

Some examples of such problems:

• Merkelized state verification
• Ethereum historical data proving (data compression with SSZ)
• zk-Gaming proving

Feel free to discuss your ideas with us.

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