Allow cost model to be called without an actual witness (#30)

* Update Cost model

* Support only one polynomial commitments scheme.
* Rename ModelCircuit -> CircuitModel

* Update Cost model

Avoid running MockProver for cost model

We copied the `Assignment` implementation of the MockProver, but in here we do not need to unwrap the witnesses (which was why the MockProver always needed `Value::known` instead of `Value::unknown`.

Now we can run the cost model without assigned values.

* Run apt-get update before installing libfontconfig

* Remove instance from cost model (use only nb_instances)

Author: iquerejeta

.github/workflows/ci.yml

@@ -28,7 +28,7 @@ jobs:
           override: false
       - name: Install libfontconfig1-dev
         if: runner.os == 'Linux'
-        run: sudo apt-get install -y libfontconfig1-dev
+        run: sudo apt-get update && sudo apt-get install -y libfontconfig1-dev
       - name: Run tests
         uses: actions-rs/cargo@v1
         with:
@@ -45,7 +45,7 @@ jobs:
           - wasm32-wasi
 
     steps:
-      - run: sudo apt-get install -y libfontconfig1-dev
+      - run: sudo apt-get update && sudo apt-get install -y libfontconfig1-dev
       - uses: actions/checkout@v3
       - uses: actions-rs/toolchain@v1
         with:
@@ -63,7 +63,7 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - run: sudo apt-get install -y libfontconfig1-dev
+      - run: sudo apt-get update && sudo apt-get install -y libfontconfig1-dev
       - uses: actions/checkout@v3
       - uses: actions-rs/toolchain@v1
         with:
@@ -80,7 +80,7 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - run: sudo apt-get install -y libfontconfig1-dev
+      - run: sudo apt-get update && sudo apt-get install -y libfontconfig1-dev
       - uses: actions/checkout@v3
       - uses: actions-rs/toolchain@v1
         with:
@@ -103,7 +103,7 @@ jobs:
     timeout-minutes: 30
     runs-on: ubuntu-latest
     steps:
-      - run: sudo apt-get install -y libfontconfig1-dev
+      - run: sudo apt-get update && sudo apt-get install -y libfontconfig1-dev
       - uses: actions/checkout@v3
       - uses: actions-rs/toolchain@v1
         with:

.github/workflows/lints-beta.yml

@@ -12,7 +12,7 @@ jobs:
     continue-on-error: true
 
     steps:
-      - run: sudo apt-get install -y libfontconfig1-dev
+      - run: sudo apt-get update && sudo apt-get install -y libfontconfig1-dev
       - uses: actions/checkout@v3
       - uses: actions-rs/toolchain@v1
         with:

.github/workflows/lints-stable.yml

@@ -10,7 +10,7 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - run: sudo apt-get install -y libfontconfig1-dev
+      - run: sudo apt-get update && sudo apt-get install -y libfontconfig1-dev
       - uses: actions/checkout@v3
       - uses: actions-rs/toolchain@v1
         with:

examples/proof-size.rs

@@ -5,7 +5,7 @@ use halo2_proofs::{
 };
 use halo2curves::pasta::Fp;
 
-use halo2_proofs::dev::cost_model::{from_circuit_to_model_circuit, CommitmentScheme};
+use halo2_proofs::dev::cost_model::from_circuit_to_circuit_model;
 use halo2_proofs::plonk::{Expression, Selector, TableColumn};
 use halo2_proofs::poly::Rotation;
 
@@ -88,12 +88,7 @@ const K: u32 = 11;
 fn main() {
     let circuit = TestCircuit {};
 
-    let model = from_circuit_to_model_circuit::<_, _, 32, 32>(
-        Some(K),
-        &circuit,
-        vec![],
-        CommitmentScheme::KZGGWC,
-    );
+    let model = from_circuit_to_circuit_model::<_, _, 32, 32>(Some(K), &circuit, 10);
     println!(
         "Cost of circuit with 8 bit lookup table: \n{}",
         serde_json::to_string_pretty(&model).unwrap()