🔀 add new dojang type for VerifyCode

Author: ihooni

README.md

@@ -3,11 +3,11 @@
 
 Dojang is a service that issues offchain information (outside the blockchain) as onchain attestations on the GIWA chain. It plays an important role in linking onchain wallet addresses with offchain information. This allows users to hold an onchain identity without revealing Personally Identifiable Information (PII) from their wallet.
 
-Dojang aims to establish the trust layer of the Giwa ecosystem by leveraging Ethereum Attestation Service (EAS).
+Dojang aims to establish the trust layer of the GIWA ecosystem by leveraging Ethereum Attestation Service (EAS).
 
 ## Contracts
 
-### Giwa Testnet (Sepolia)
+### GIWA Testnet (Sepolia)
 
 - Schemas
 
@@ -16,7 +16,7 @@ Dojang aims to establish the trust layer of the Giwa ecosystem by leveraging Eth
 | Verified Address | Wallet address which is verified by a trusted issuer | `bool isVerified`                                                                       | `0x568eb581cdf80b03d3bdfa414f3203bfdcc4bba4e66355612bd0e879da812f06` | `0x072d75e18b2be4f89a13a7147240477481c4b526d5795802acba59046b426e08` |
 | Balance Root     | Root of a Merkle tree of balances                    | `uint256 coinType,uint64 snapshotAt,uint192 leafCount,uint256 totalAmount,bytes32 root` | `0xf09c1384d860519bb4ea5bb2a45ab64b00a8d900d47fb79203663be6da21e06c` | `0x369faa9c2cd261c45be3db5e230b585f5f1abecf8e12be575bb543e917e6db52` |
 | Verified Balance | User's balance verified by a trusted issuer          | `uint256 balance,bytes32 salt,bytes32[] proofs`                                         | `0x06c3bd846f5ea60b0b6f5a835ef85fd8253b53f67917d6c690be628d032f841b` | `0x77bf88ca262cc63e1b185dccd870aacc5320b8987ef6c7169920f265fe6ab5e9` |
-
+| Verified Code    | Authentication code verified by a trusted issuer     | `bytes32 codeHash,string domain`                                                        | `0x68053e055c01ce9b3577f3162b36324bb195ebcb574c48e823480d205f06af9b` | `0x55ac1369dac97522d062b89ffdc4e752b48fbeba86915fdb956c7c2d0501d280` |
 
 - Contracts
 
@@ -30,7 +30,8 @@ Dojang aims to establish the trust layer of the Giwa ecosystem by leveraging Eth
 | AddressDojangResolver     | Triggered on issuance or revocation of a Verified Address attestation | [`0x692009FE206C3F897867F6BF7B5B45506B747F9e`](https://sepolia-explorer.giwa.io/address/0x692009FE206C3F897867F6BF7B5B45506B747F9e) | v0.2.0        |
 | BalanceRootDojangResolver | Triggered on issuance or revocation of a Balance Root attestation     | [`0xD90a964aB65bc02397De1E7fcBd230803bC1bEd0`](https://sepolia-explorer.giwa.io/address/0xD90a964aB65bc02397De1E7fcBd230803bC1bEd0) | v0.4.0        |
 | BalanceDojangResolver     | Triggered on issuance or revocation of a Verified Balance attestation | [`0x6FFa7ABc1E380Bb967C78D5E648EF804e1fE6dAd`](https://sepolia-explorer.giwa.io/address/0x6FFa7ABc1E380Bb967C78D5E648EF804e1fE6dAd) | v0.4.0        |
-| DojangScroll              | Provides convenient read access to Dojang data                        | [`0xd5077b67dcb56caC8b270C7788FC3E6ee03F17B9`](https://sepolia-explorer.giwa.io/address/0xd5077b67dcb56caC8b270C7788FC3E6ee03F17B9) | v0.4.0        |
+| VerifyCodeDojangResolver  | Triggered on issuance or revocation of a Verified Code attestation    | [`0x843fF433f7657901118fF3E2Eca915abb9BC12Df`](https://sepolia-explorer.giwa.io/address/0x843fF433f7657901118fF3E2Eca915abb9BC12Df) | v0.5.0        |
+| DojangScroll              | Provides convenient read access to Dojang data                        | [`0xd5077b67dcb56caC8b270C7788FC3E6ee03F17B9`](https://sepolia-explorer.giwa.io/address/0xd5077b67dcb56caC8b270C7788FC3E6ee03F17B9) | v0.5.0        |
 
 
 ## Usage

broadcast/03-DeployVerifyCodeDojang.s.sol/91342/run-1764576757886.json

@@ -5,5 +5,6 @@
   "DojangAttesterBook": "0xDA282E89244424E297Ce8e78089B54D043FB28B6",
   "DojangScroll": "0xd5077b67dcb56caC8b270C7788FC3E6ee03F17B9",
   "SchemaBook": "0x78cBb3413FBb6aF05EF1D21e646440e56baE3AD6",
-  "BalanceRootDojangResolver": "0xD90a964aB65bc02397De1E7fcBd230803bC1bEd0"
+  "BalanceRootDojangResolver": "0xD90a964aB65bc02397De1E7fcBd230803bC1bEd0",
+  "VerifyCodeDojangResolver": "0x843fF433f7657901118fF3E2Eca915abb9BC12Df"
 }

broadcast/03-DeployVerifyCodeDojang.s.sol/91342/run-latest.json

@@ -5,5 +5,6 @@
   "DojangAttesterBook": "0xDA282E89244424E297Ce8e78089B54D043FB28B6",
   "DojangScroll": "0xd5077b67dcb56caC8b270C7788FC3E6ee03F17B9",
   "SchemaBook": "0x78cBb3413FBb6aF05EF1D21e646440e56baE3AD6",
-  "BalanceRootDojangResolver": "0xD90a964aB65bc02397De1E7fcBd230803bC1bEd0"
+  "BalanceRootDojangResolver": "0xD90a964aB65bc02397De1E7fcBd230803bC1bEd0",
+  "VerifyCodeDojangResolver": "0x843fF433f7657901118fF3E2Eca915abb9BC12Df"
 }

broadcast/Upgrade.s.sol/91342/run-1764577197151.json

@@ -0,0 +1,4 @@
+# Dojang Off-chain Specs
+
+This directory contains **reference implementations** and **formal specs**
+for off-chain logic that must be consistent across all issuers and verifiers.

broadcast/Upgrade.s.sol/91342/run-latest.json

@@ -0,0 +1,41 @@
+// SPDX-License-Identifier: MIT
+pragma solidity ^0.8.28;
+
+/// @notice Off-chain reference implementation for VerifyCode Dojang.
+/// @dev This contract is NEVER deployed on-chain. It exists solely as a spec.
+library VerifyCodeSpec {
+    /// @notice Computes the codeHash from a user-facing code string.
+    /// @dev Rule: codeHash = keccak256(bytes(code))
+    function computeCodeHash(string memory code) internal pure returns (bytes32) {
+        return keccak256(bytes(code));
+    }
+
+    /// @notice Canonicalizes a domain string for VerifyCode usage.
+    /// @dev Rule: trim leading/trailing spaces, remove all internal spaces (0x20),
+    ///      and lowercase ASCII characters only. Non-ASCII (e.g., Korean) characters are preserved as-is.
+    function canonicalizeDomain(string memory domain) internal pure returns (string memory) {
+        bytes memory b = bytes(domain);
+        uint256 start = 0;
+        uint256 end = b.length;
+
+        // trim leading/trailing spaces (0x20)
+        while (start < end && b[start] == 0x20) start++;
+        while (end > start && b[end - 1] == 0x20) end--;
+
+        // build canonicalized output: remove all spaces and lowercase ASCII
+        bytes memory out = new bytes(end - start);
+        uint256 n = 0;
+        for (uint256 i = start; i < end; i++) {
+            bytes1 c = b[i];
+            // skip any whitespace (0x20)
+            if (c == 0x20) continue;
+            // lowercase ASCII only
+            if (c >= 0x41 && c <= 0x5A) {
+                c = bytes1(uint8(c) + 32);
+            }
+            out[n++] = c;
+        }
+        assembly { mstore(out, n) }
+        return string(out);
+    }
+}

deploy-config/91342.json

@@ -1,6 +1,6 @@
 {
   "name": "dojang",
-  "version": "0.4.0",
+  "version": "0.5.0",
   "description": "Contracts for Dojang Service",
   "engines": {
     "node": ">=22.0.0"