diff --git a/README.md b/README.md
index 3d07720..948c344 100644
--- a/README.md
+++ b/README.md
@@ -20,15 +20,17 @@ To implement cryptographic primitives in the simplest form without using any opt
   - Inner product argument
 - Ed25519
   - Key generation, EdDSA sign/veriry
-- Weierstrass curve
-  - Affine coordinate operations
-  - Jacobian coordinate operations
 - Secp256k1
   - Key generation, ECDSA sign/verify
 - SHA256 and SHA512 hashers
 - Generic HMAC
+- Weierstrass curve
+  - Affine coordinate operations
+  - Jacobian coordinate operations
+- Prime finite field
+  - Scalar and vector operations
 
 ## What's NOT implemented so far
-- Big number
+- Arbitrary-precision unsigned integer
 - Random number generator
 
diff --git a/src/zk/w_trusted_setup/pinocchio/pinocchio_verifier.rs b/src/zk/w_trusted_setup/pinocchio/pinocchio_verifier.rs
index 475d7fa..15ada0d 100644
--- a/src/zk/w_trusted_setup/pinocchio/pinocchio_verifier.rs
+++ b/src/zk/w_trusted_setup/pinocchio/pinocchio_verifier.rs
@@ -44,8 +44,6 @@ impl PinocchioVerifier {
     println!("----> Checking if e(E(βy y_mid(s)), E(γ)) =? e(y_mid(s),E(βyγ))...");
     fail_if_ne!(e(&p.beta_y_mid, &vk.e_gamma), e(&p.y_mid, &vk.beta_y_gamma));
  
-    let f = &witness_io.f;
-
     macro_rules! add_io_x_wit_to_mid {
       ($io_polys:expr, $mid_zk:expr) => {{
         let mut sum = $mid_zk.clone();
@@ -69,4 +67,3 @@ impl PinocchioVerifier {
   }
 }
 
-