diff --git a/examples/notebooks/ezkl_demo.ipynb b/examples/notebooks/ezkl_demo.ipynb index 6ccdb3fb..075c4755 100644 --- a/examples/notebooks/ezkl_demo.ipynb +++ b/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 -} \ No newline at end of file +} diff --git a/examples/notebooks/ezkl_demo_batch.ipynb b/examples/notebooks/ezkl_demo_batch.ipynb index 915370fe..4747ee55 100644 --- a/examples/notebooks/ezkl_demo_batch.ipynb +++ b/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 -} \ No newline at end of file +} diff --git a/ezkl.pyi b/ezkl.pyi index e669321d..12c4b481 100644 --- a/ezkl.pyi +++ b/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 diff --git a/src/bindings/python.rs b/src/bindings/python.rs index 62df6ee9..0382217d 100644 --- a/src/bindings/python.rs +++ b/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; diff --git a/src/pfsys/mod.rs b/src/pfsys/mod.rs index 7b082654..53d90329 100644 --- a/src/pfsys/mod.rs +++ b/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()) } diff --git a/tests/python/binding_tests.py b/tests/python/binding_tests.py index b56021e9..b51f1076 100644 --- a/tests/python/binding_tests.py +++ b/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)