add domain_vk query

Author: keyleu

contracts/middleware/verification/sp1-verifier/schema/valence-sp1-verifier.json

@@ -65,6 +65,19 @@
           }
         },
         "additionalProperties": false
+      },
+      {
+        "type": "object",
+        "required": [
+          "domain_vk"
+        ],
+        "properties": {
+          "domain_vk": {
+            "type": "object",
+            "additionalProperties": false
+          }
+        },
+        "additionalProperties": false
       }
     ],
     "definitions": {
@@ -77,6 +90,12 @@
   "migrate": null,
   "sudo": null,
   "responses": {
+    "domain_vk": {
+      "$schema": "http://json-schema.org/draft-07/schema#",
+      "title": "Binary",
+      "description": "Binary is a wrapper around Vec<u8> to add base64 de/serialization with serde. It also adds some helper methods to help encode inline.\n\nThis is only needed as serde-json-{core,wasm} has a horrible encoding for Vec<u8>. See also <https://github.com/CosmWasm/cosmwasm/blob/main/docs/MESSAGE_TYPES.md>.",
+      "type": "string"
+    },
     "verify": {
       "$schema": "http://json-schema.org/draft-07/schema#",
       "title": "Boolean",

contracts/middleware/verification/sp1-verifier/src/contract.rs

@@ -37,6 +37,11 @@ pub fn query(deps: Deps, _env: Env, msg: QueryMsg) -> StdResult<Binary> {
             proof,
             payload,
         } => to_json_binary(&verify(deps, &vk, proof, inputs, payload)?),
+        QueryMsg::DomainVk {} => {
+            // Return the stored domain verification key
+            let domain_vk = DOMAIN_VK.load(deps.storage)?;
+            to_json_binary(&domain_vk)
+        }
     }
 }
 

packages/verification-utils/src/verifier.rs

@@ -16,4 +16,7 @@ pub enum QueryMsg {
         proof: Binary,
         payload: Binary,
     },
+
+    #[returns(Binary)]
+    DomainVk {},
 }