cleanup

examples/notebooks/ezkl_demo.ipynb

@@ -546,7 +546,7 @@
         "\n",
         "proof_path = os.path.join('proof.json')\n",
         "\n",
-        "proof = ezkl.prove(proof_type=\"single\", proof_path=proof_path)\n",
+        "proof = ezkl.prove(proof_path=proof_path)\n",
         "\n",
         "print(proof)\n",
         "assert os.path.isfile(proof_path)"
@@ -736,4 +736,4 @@
   },
   "nbformat": 4,
   "nbformat_minor": 0
-}
+}

examples/notebooks/ezkl_demo_batch.ipynb

@@ -574,7 +574,7 @@
                 "\n",
                 "proof_path = os.path.join('proof.json')\n",
                 "\n",
-                "proof = ezkl.prove(proof_type=\"single\", proof_path=proof_path)\n",
+                "proof = ezkl.prove(proof_path=proof_path)\n",
                 "\n",
                 "print(proof)\n",
                 "assert os.path.isfile(proof_path)"
@@ -768,4 +768,4 @@
     },
     "nbformat": 4,
     "nbformat_minor": 0
-}
+}

ezkl.pyi

@@ -545,7 +545,6 @@ def prove(
     model: str | os.PathLike | pathlib.Path,
     pk_path: str | os.PathLike | pathlib.Path,
     proof_path: typing.Optional[str | os.PathLike | pathlib.Path],
-    proof_type: str,
     srs_path: typing.Optional[str | os.PathLike | pathlib.Path],
 ) -> typing.Any:
     r"""
@@ -565,9 +564,6 @@ def prove(
     proof_path: str
         Path to create the proof file
 
-    proof_type: str
-        Accepts `single`
-
     srs_path: str
         Path to the SRS file
 

src/bindings/python.rs

@@ -14,7 +14,6 @@ use crate::graph::{
 };
 use crate::pfsys::{
     load_pk, load_vk, save_params, save_vk, srs::gen_srs as ezkl_gen_srs, srs::load_srs_prover,
-    ProofType, TranscriptType,
 };
 use crate::Commitments;
 use crate::RunArgs;

src/pfsys/mod.rs

@@ -245,7 +245,6 @@ where
         dict.set_item("instances", field_elems).unwrap();
         let hex_proof = hex::encode(&self.proof);
         dict.set_item("proof", format!("0x{}", hex_proof)).unwrap();
-        dict.set_item("transcript_type", self.transcript_type.into_pyobject(py)?)
             .unwrap();
         Ok(dict.into_any())
     }

tests/python/binding_tests.py

@@ -289,7 +289,6 @@ def test_prove_and_verify():
         proof_path,
         srs_path=srs_path,
     )
-    assert res["transcript_type"] == "poseidon"
     assert os.path.isfile(proof_path)
 
     settings_path = os.path.join(folder_path, "settings.json")
@@ -310,14 +309,13 @@ def test_prove_evm():
 
     pk_path = os.path.join(folder_path, "test_evm.pk")
     proof_path = os.path.join(folder_path, "test_evm.pf")
-    res = ezkl.prove(
+    ezkl.prove(
         data_path,
         model_path,
         pk_path,
         proof_path,
         srs_path=srs_path,
     )
-    assert res["transcript_type"] == "evm"
     assert os.path.isfile(proof_path)