diff --git a/Cargo.lock b/Cargo.lock
index 2dbc33bc..a338c0d8 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -3208,7 +3208,7 @@ dependencies = [
 
 [[package]]
 name = "zokrates_js"
-version = "1.1.0"
+version = "1.1.1"
 dependencies = [
  "console_error_panic_hook",
  "indexmap",
diff --git a/zokrates_ark/src/gm17.rs b/zokrates_ark/src/gm17.rs
index 2e4fc842..209a1abd 100644
--- a/zokrates_ark/src/gm17.rs
+++ b/zokrates_ark/src/gm17.rs
@@ -25,7 +25,7 @@ impl<T: Field + ArkFieldExtensions> NonUniversalBackend<T, GM17> for Ark {
         let (pk, vk) = ArkGM17::<T::ArkEngine>::circuit_specific_setup(computation, rng).unwrap();
 
         let mut pk_vec: Vec<u8> = Vec::new();
-        pk.serialize_uncompressed(&mut pk_vec).unwrap();
+        pk.serialize_unchecked(&mut pk_vec).unwrap();
 
         let vk = VerificationKey {
             h: parse_g2::<T>(&vk.h_g2),
@@ -54,7 +54,7 @@ impl<T: Field + ArkFieldExtensions> Backend<T, GM17> for Ark {
             .map(parse_fr::<T>)
             .collect::<Vec<_>>();
 
-        let pk = ProvingKey::<<T as ArkFieldExtensions>::ArkEngine>::deserialize_uncompressed(
+        let pk = ProvingKey::<<T as ArkFieldExtensions>::ArkEngine>::deserialize_unchecked(
             &mut proving_key.as_slice(),
         )
         .unwrap();
diff --git a/zokrates_ark/src/groth16.rs b/zokrates_ark/src/groth16.rs
index 69e12ba1..617d34ed 100644
--- a/zokrates_ark/src/groth16.rs
+++ b/zokrates_ark/src/groth16.rs
@@ -34,7 +34,7 @@ impl<T: Field + ArkFieldExtensions> Backend<T, G16> for Ark {
             .map(parse_fr::<T>)
             .collect::<Vec<_>>();
 
-        let pk = ProvingKey::<<T as ArkFieldExtensions>::ArkEngine>::deserialize_uncompressed(
+        let pk = ProvingKey::<<T as ArkFieldExtensions>::ArkEngine>::deserialize_unchecked(
             &mut proving_key.as_slice(),
         )
         .unwrap();
@@ -97,7 +97,7 @@ impl<T: Field + ArkFieldExtensions> NonUniversalBackend<T, G16> for Ark {
         let (pk, vk) = Groth16::<T::ArkEngine>::circuit_specific_setup(computation, rng).unwrap();
 
         let mut pk_vec: Vec<u8> = Vec::new();
-        pk.serialize_uncompressed(&mut pk_vec).unwrap();
+        pk.serialize_unchecked(&mut pk_vec).unwrap();
 
         let vk = VerificationKey {
             alpha: parse_g1::<T>(&vk.alpha_g1),
diff --git a/zokrates_ark/src/marlin.rs b/zokrates_ark/src/marlin.rs
index 823e91dd..cc85f6a2 100644
--- a/zokrates_ark/src/marlin.rs
+++ b/zokrates_ark/src/marlin.rs
@@ -164,7 +164,7 @@ impl<T: Field + ArkFieldExtensions> UniversalBackend<T, marlin::Marlin> for Ark
         })?;
 
         let mut serialized_pk: Vec<u8> = Vec::new();
-        pk.serialize_uncompressed(&mut serialized_pk).unwrap();
+        pk.serialize_unchecked(&mut serialized_pk).unwrap();
 
         // Precompute some useful values for solidity contract
         let fs_seed = to_bytes![&MarlinInst::<T>::PROTOCOL_NAME, &vk].unwrap();
@@ -225,7 +225,7 @@ impl<T: Field + ArkFieldExtensions> Backend<T, marlin::Marlin> for Ark {
                 T::ArkEngine,
                 DensePolynomial<<<T as ArkFieldExtensions>::ArkEngine as PairingEngine>::Fr>,
             >,
-        >::deserialize_uncompressed(&mut proving_key.as_slice())
+        >::deserialize_unchecked(&mut proving_key.as_slice())
         .unwrap();
 
         let public_inputs = computation.public_inputs_values();