Update README.md

Co-authored-by: Han <[email protected]>

README.md

@@ -11,7 +11,7 @@ Additionally, within this repository, there is an example provided for verifying
 As this effort is continuously evolving, there are multiple repository variants to choose from. For optimal results:
 
 - For production use, it is recommended to use [axiom’s fork](https://github.com/axiom-crypto/snark-verifier), which has been audited.
-- In the future, consider using [halo2-solidity-verifier](https://github.com/privacy-scaling-explorations/halo2-solidity-verifier). However, please note the following:
+- In the future, consider using [halo2-solidity-verifier](https://github.com/privacy-scaling-explorations/halo2-solidity-verifier) for solidity verifier generation. However, please note the following:
   - The plan is to phase out snark-verifier and shift focus to halo2-solidity-verifier
   - Keep in mind halo2-solidity-verifier is currently unaudited and has certain limitations, refer to the project README for details.
   - snark-verifier may encounter issues generating Solidity code due to hitting the contract size limit with large circuits, a problem addressed by halo2-solidity-verifier.