Nikita Kaskov

Toolchain on this stage has to be able to provide circuits compilation of different types of logic not being limited to some predefined cases such as zk-Bridges or something. It...

We need to support std::vector to reduce the required changes in the compiled algorithms. Let's think about how we can add its support.

We need to have an optimized circuit version of keccak hash support. - [ ] To finish this task, we need the blueprint component: https://github.com/NilFoundation/zkllvm-blueprint/issues/183 - [ ] Custom intrinsic...

We originally added `--gen-test-proof` option to `transpiler` for two reasons: - because there was no local prover available. Now we have it and do not need it in the transpiler....

Here are listed all the known issues, which block the development of zkGaming apps and zkDoom in particular. - https://github.com/NilFoundation/zkLLVM/issues/391 - https://github.com/NilFoundation/zkLLVM/issues/357 - https://github.com/NilFoundation/zkLLVM/issues/388

Sometimes we need to call `assigner` from python/Typescript code. In these cases, it might be much more convenient to put its input parameter in JSON form.

The toolchain of ours consists of three parts: - Proof-Market with CLI - zkLLVM and transpiler - EVM verifier Our nearest goal for the project is to stabilize the whole...

It seems, that in some cases we do not need to run all the tests on each commit. Sometimes (for example, for `debug` tests) we might even want to run...

We need `bls12-381` to allow the implementation of different protocols, including Casper as the first use case. First part (enough for the C++ integrations to start building smth): - https://github.com/NilFoundation/zkLLVM/issues/288...

We have some components mocked because of ongoing research on flexible gates. Until now, we added their definitions into `assigner`, but it's time to move them to `blueprint`. This will...