feat: release v1.2

Author: HrikB

README.md

@@ -4,6 +4,15 @@ 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
+
+> **Do not use version v1.1 of this SDK.**
+>
+> The `v1.1` release contains a **critical security vulnerability** and must **not be used under any circumstances**.
+>
+> Please use **v1.2 or later**. If you're currently using `v1.1`, upgrade immediately.
+
+
 ## Installation
 
 To install `openvm-solidity-sdk` as a dependency in your forge project, run the following:
@@ -17,7 +26,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 +43,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.