feat(prover): Remove circuit-synthesizer (matter-labs#801)

This change cleans circuit synthesizer which belongs to old prover subsystems. All old prover subsystems is to be removed as era uses boojum now. ## Checklist - [x] PR title corresponds to the body of PR (we generate changelog entries from PRs). - [x] Tests for the changes have been added / updated. - [x] Documentation comments have been added / updated. - [x] Code has been formatted via `zk fmt` and `zk lint`. - [x] Spellcheck has been run via `cargo spellcheck --cfg=./spellcheck/era.cfg --code 1`.
whwweb3 · Jan 2, 2024 · 1426b1b · 1426b1b
1 parent 357fa98
commit 1426b1b
Show file tree

Hide file tree

Showing 16 changed files with 59 additions and 701 deletions.
diff --git a/core/lib/config/src/configs/circuit_synthesizer.rs b/core/lib/config/src/configs/circuit_synthesizer.rs
diff --git a/core/lib/config/src/configs/mod.rs b/core/lib/config/src/configs/mod.rs
@@ -3,7 +3,6 @@ pub use self::{
     alerts::AlertsConfig,
     api::ApiConfig,
     chain::ChainConfig,
-    circuit_synthesizer::CircuitSynthesizerConfig,
     contract_verifier::ContractVerifierConfig,
     contracts::ContractsConfig,
     database::{DBConfig, PostgresConfig},
@@ -27,7 +26,6 @@ pub use self::{
 pub mod alerts;
 pub mod api;
 pub mod chain;
-pub mod circuit_synthesizer;
 pub mod contract_verifier;
 pub mod contracts;
 pub mod database;

diff --git a/core/lib/env_config/src/circuit_synthesizer.rs b/core/lib/env_config/src/circuit_synthesizer.rs
diff --git a/core/lib/env_config/src/lib.rs b/core/lib/env_config/src/lib.rs
@@ -4,7 +4,6 @@ use serde::de::DeserializeOwned;
 mod alerts;
 mod api;
 mod chain;
-mod circuit_synthesizer;
 mod contract_verifier;
 mod contracts;
 mod database;

diff --git a/docker/circuit-synthesizer/Dockerfile b/docker/circuit-synthesizer/Dockerfile
diff --git a/etc/env/base/circuit_synthesizer.toml b/etc/env/base/circuit_synthesizer.toml
diff --git a/etc/env/base/rust.toml b/etc/env/base/rust.toml
@@ -25,7 +25,6 @@ block_sizes_test=info,\
 zksync_verification_key_generator_and_server=info,\
 zksync_object_store=info,\
 setup_key_generator_and_server=info,\
-zksync_circuit_synthesizer=info,\
 en_playground=info,\
 zksync_external_node=info,\
 cross_nodes_checker=debug,\

diff --git a/infrastructure/zk/src/config.ts b/infrastructure/zk/src/config.ts
@@ -20,7 +20,6 @@ const CONFIG_FILES = [
     'rust.toml',
     'private.toml',
     'witness_generator.toml',
-    'circuit_synthesizer.toml',
     'prover_group.toml',
     'house_keeper.toml',
     'fri_prover.toml',