fix single-threaded include

[AndreyMlashkin]

No description provided.

[github-actions]

Clang Test Results

  156 files    156 suites   10m 55s ⏱️
3 230 tests 3 224 ✅ 6 💤 0 ❌
3 297 runs  3 291 ✅ 6 💤 0 ❌

Results for commit 91220e7.

♻️ This comment has been updated with latest results.

[github-actions]

Gcc Test Results

  156 files    156 suites   12m 24s ⏱️
3 230 tests 3 224 ✅ 6 💤 0 ❌
3 297 runs  3 291 ✅ 6 💤 0 ❌

Results for commit 91220e7.

♻️ This comment has been updated with latest results.

[notion-workspace]

Fix build mutlithread proof-producer

[akokoshn]

which kind of proof-producer used on CI? if only multi threaded - make sense add single threaded too

[martun]

@AndreyMlashkin I ran "nix develop .#proof-producer", which is supposed to use multi-threaded crypto3, but I'm still able to build target proof-producer-single-threaded. Can we change something in such a way, that only proof-producer-multi-threaded is available? Or just have 1 target now, "proof-producer", which will be single or multi-threaded based on the nix environment.

[akokoshn]

After nix build assigner still used single threaded headers.
By the way nix build install both crypto3 and parallel-crypto3