feat: release v1.2

Author: HrikB

README.md

@@ -4,6 +4,13 @@ This repository contains OpenVM verifier contracts generated from official relea
 
 The contracts are built on every _minor_ release as OpenVM guarantees verifier backward compatibility across patch releases.
 
+> ⚠️ **Security Notice**
+>
+> The **v1.1** release of OpenVM contained a **critical security vulnerability** and should **not be used**.
+>
+> Only use versions **v1.2 or later**. If you are using v1.1, please upgrade immediately.
+
+
 ## Installation
 
 To install `openvm-solidity-sdk` as a dependency in your forge project, run the following:
@@ -17,7 +24,7 @@ forge install openvm-org/openvm-solidity-sdk
 If you are using a deployed instance of the verifier contract, then you can import the interfaces in your contract directly.
 
 ```solidity
-import { IOpenVmHalo2Verifier } from "openvm-solidity-sdk/v1.1/interfaces/IOpenVmHalo2Verifier.sol";
+import { IOpenVmHalo2Verifier } from "openvm-solidity-sdk/v1.2/interfaces/IOpenVmHalo2Verifier.sol";
 
 contract MyContract {
     function myFunction() public view {
@@ -34,7 +41,7 @@ contract MyContract {
 If you want to deploy your own instance of the verifier contract, you can use `forge create`:
 
 ```bash
-forge create src/v1.1/OpenVmHalo2Verifier.sol:OpenVmHalo2Verifier --rpc-url $RPC --private-key $PRIVATE_KEY --broadcast
+forge create src/v1.2/OpenVmHalo2Verifier.sol:OpenVmHalo2Verifier --rpc-url $RPC --private-key $PRIVATE_KEY --broadcast
 ```
 
 If you want to import the verifier contract into your own repository for testing purposes, note that it is locked to Solidity version `0.8.19`. If your project uses a different version, the import may not compile. As a workaround, you can compile the contract separately and use `vm.etch()` to inject the raw bytecode into your tests.