Nikita Kaskov
Nikita Kaskov
It looks like basic components require usage of `set_input_sizes` functions to be compatible with zk's r1cs_gg_ppzksnark. This hypothesis has to be checked and after that it's important to write corresponding...
The current memory model version allowed us to implement multiple complex algorithms. Now, we need to upgrade it according to our needs and make it more suitable for usage in...
Toolchain on this stage will achieve flexibility in many ways: - https://github.com/NilFoundation/zkllvm/issues/244 - [x] First version of components adjustment policy (place components in the table depending on some primitive cost...
One day our toolchain will cover any circuit developer's needs. To achieve this ultimate goal, we need to give developers maximum transparency of what their zk-enabled application is doing. This...
We must add full support for the circuit aggregation mode to the toolchain. This involves both functionality updates and debug info to simplify features debug. The issues to be solved:...
We need to support the direct compilation of the Placeholder verifier. This is crucial for recursion support and continuous prover performance updates. - https://github.com/NilFoundation/zkLLVM/issues/433 - https://github.com/NilFoundation/zkLLVM/issues/138 - https://github.com/NilFoundation/crypto3/issues/107 - https://github.com/NilFoundation/crypto3/issues/112
Recently, we have added flexible components manifest functionality to `blueprint`: https://github.com/NilFoundation/zkllvm-blueprint/pull/172 Now, it allows us to start building the parametrization algorithm using this manifest. The first step is to add...
Production-ready circuit version `bls12-381` sig verification has to be part of the SDK, so the users could use by including a header without re-implementing it. Depends on: https://github.com/NilFoundation/zkLLVM/issues/371
We need to support many primitives to simplify building of EVM-targeted apps. In practice, that means that we need to study most common algorithms and types and add them either...
Our toolchain has to keep an extremely high level of flexibility and modularity. This makes the industry standard and allows anyone to adjust it to their needs. The idea is...