Stable toolchain

[nkaskov]

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 toolchain. By stabilization at this stage, two main goals are assumed: predictability and essential documentation.

We don't add Rust full support at this point - we only require it to be in a stable condition and have basic examples.

• Review zkLLVM Readme #213
• 101 educational guides #206
• Add initial Unit-tests #181
• Required rows are missing in multi prover test #350
• Add CI testing evm-placeholder-verification#56
• Fix Rust examples #203
• Balance_tree example is subtly broken #184
• Rewrite readme instruction evm-placeholder-verification#58
• Automatically deploy binary npm packages evm-placeholder-verification#59
• Remove bc files hardcoded support #294
• Transpiler segfaults on empty proof #153
• Deal with potentially existing index.lock file #316
• Support passing constants to components directly without writing to assignment table #313
• Build fails with static linking on MacOS x86-64 #353
• Add testing with proof-producer #375
• Add CI for deb package #380
• Error when installing zkLLVM from deb package #382
• Replace assigner's logging with Boost.Log2 #224
• Separate private inputs from public ones in JSON #388
• Move mocked components to blueprint module #395
• Avoid crashes during parsing of input flie #358
• And epic: Stable proof market proof-market-toolchain#104