Merge branch 'master' into uncompressed

rln/src/public.rs

@@ -554,7 +554,8 @@ impl RLN<'_> {
         // [ proof<128> | root<32> | epoch<32> | share_x<32> | share_y<32> | nullifier<32> | rln_identifier<32> ]
         let mut input_byte: Vec<u8> = Vec::new();
         input_data.read_to_end(&mut input_byte)?;
-        let proof = ArkProof::deserialize_compressed(&mut Cursor::new(&input_byte[..128]))?;
+        let proof =
+            ArkProof::deserialize_compressed_unchecked(&mut Cursor::new(&input_byte[..128]))?;
 
         let (proof_values, _) = deserialize_proof_values(&input_byte[128..]);
 
@@ -684,8 +685,9 @@ impl RLN<'_> {
         let mut serialized: Vec<u8> = Vec::new();
         input_data.read_to_end(&mut serialized)?;
         let mut all_read = 0;
-        let proof =
-            ArkProof::deserialize_compressed(&mut Cursor::new(&serialized[..128].to_vec()))?;
+        let proof = ArkProof::deserialize_compressed_unchecked(&mut Cursor::new(
+            &serialized[..128].to_vec(),
+        ))?;
         all_read += 128;
         let (proof_values, read) = deserialize_proof_values(&serialized[all_read..]);
         all_read += read;
@@ -762,8 +764,9 @@ impl RLN<'_> {
         let mut serialized: Vec<u8> = Vec::new();
         input_data.read_to_end(&mut serialized)?;
         let mut all_read = 0;
-        let proof =
-            ArkProof::deserialize_compressed(&mut Cursor::new(&serialized[..128].to_vec()))?;
+        let proof = ArkProof::deserialize_compressed_unchecked(&mut Cursor::new(
+            &serialized[..128].to_vec(),
+        ))?;
         all_read += 128;
         let (proof_values, read) = deserialize_proof_values(&serialized[all_read..]);
         all_read += read;
@@ -1430,7 +1433,8 @@ mod test {
         let serialized_proof = output_buffer.into_inner();
 
         // Before checking public verify API, we check that the (deserialized) proof generated by prove is actually valid
-        let proof = ArkProof::deserialize_compressed(&mut Cursor::new(&serialized_proof)).unwrap();
+        let proof = ArkProof::deserialize_compressed_unchecked(&mut Cursor::new(&serialized_proof))
+            .unwrap();
         let verified = verify_proof(&rln.verification_key, &proof, &proof_values);
         assert!(verified.unwrap());