Nikita Kaskov

Implement standalone proof producer

1

It seems that proof-market toolchain would be more convenient to use if the user could easily substitute the proof-producer binaries. Because many teams will inevitably do custom implementations and optimizations...

Currently, different types of assertions are used across blueprint. In zkLLVM we develop different [asserts](https://github.com/NilFoundation/zkllvm-assigner/blob/master/include/nil/blueprint/asserts.hpp) and profiliers. It makes sense to reuse them and normalize the tests.

Implement both circuit and assignments separation into small parts

1

For some tasks, including parallelization, we need to add many components to circuit and generate assignments for them independently or even at the same time. Since it's not possible with...

Many circuits we added for Mina are in-fact high-level wrappers on our components. They will be substituted by the code written upon the zkLLVM compiler. Since we need to use...

R1CS blueprint is outdated and requires update according to new repository structure and PLONK-blueprint-alike concepts.

If we would implement all the constraints as constexpr, we could use std::array's and other constexpr-demanding types in the zk for processing circuit without runtime information about the wires (witnesses).