Remove unused inner-product feature

Cargo.toml

@@ -8,15 +8,10 @@ ark-bls12-381 = { version = "0.4.0", default-features = false }
 ark-ec = { version = "0.4.0", default-features = false }
 ark-serialize = { version = "0.4.0", default-features = false }
 bincode = "1"
-blitzar = { version = "3.1.0", default-features = false, optional = true }
 indexmap = { version = "2.1" }
-curve25519-dalek = { version = "4", optional = true }
 proof-of-sql = { version = "0.22.7", default-features = false }
 proof-of-sql-parser = { version = "0.22.7" }
 
 [dev-dependencies]
 proof-of-sql = { version = "0.22.7", default-features = false, features = ["test"] }
 rstest = { version = "0.22.0" }
-
-[features]
-inner-product = ["dep:blitzar", "dep:curve25519-dalek", "proof-of-sql/blitzar"]

src/lib.rs

@@ -27,9 +27,3 @@ pub use proof::*;
 pub use pubs::*;
 pub use verification_key::*;
 pub use verify_generic::*;
-
-#[cfg(feature = "inner-product")]
-pub mod inner_product;
-
-#[cfg(feature = "inner-product")]
-pub use inner_product::*;

tests/integration.rs

@@ -114,45 +114,6 @@ fn build_query_non_existant_record<T: Commitment>(accessor: &impl SchemaAccessor
     .unwrap()
 }
 
-#[cfg(feature = "inner-product")]
-mod inner_product {
-    use super::*;
-
-    use blitzar::{self, proof::InnerProductProof};
-
-    /// Tests the generation and verification of an inner product proof.
-    #[test]
-    fn generate_and_verify_proof() {
-        blitzar::compute::init_backend();
-
-        let prover_setup = ();
-        let verifier_setup = ();
-
-        let accessor: OwnedTableTestAccessor<InnerProductProof> = build_accessor(prover_setup);
-        let query = build_query(&accessor);
-
-        let proof = VerifiableQueryResult::<InnerProductProof>::new(
-            query.proof_expr(),
-            &accessor,
-            &prover_setup,
-        );
-
-        let query_data = proof
-            .verify(query.proof_expr(), &accessor, &verifier_setup)
-            .unwrap();
-        let query_commitments = compute_query_commitments(&query, &accessor);
-
-        let result = proof_of_sql_verifier::verify_inner_product_proof(
-            proof,
-            query.proof_expr(),
-            &query_commitments,
-            &query_data,
-        );
-
-        assert!(result.is_ok());
-    }
-}
-
 mod dory {
     use super::*;