format

Author: connorstake

stacks/contracts/executor-state.clar

@@ -13,32 +13,38 @@
 ;; Map to track relayer addresses for payments
 ;; Universal address is keccak256(stacks-principal-as-string)
 (define-map relayer-to-stacks
-  (buff 32)  ;; Universal address (32-byte hash)
-  principal  ;; Stacks principal for STX payments
+  (buff 32) ;; Universal address (32-byte hash)
+  principal ;; Stacks principal for STX payments
 )
 
 ;;;; Public functions
 
 ;; @desc Register a relayer's Stacks address for their universal address
 ;;       Anyone can call this to register themselves as a relayer
 (define-public (register-relayer (stacks-addr principal))
-  (let ((p-as-string (principal-to-string stacks-addr))
-        (universal-addr (keccak256 (string-ascii-to-buff p-as-string))))
-    
+  (let (
+      (p-as-string (principal-to-string stacks-addr))
+      (universal-addr (keccak256 (string-ascii-to-buff p-as-string)))
+    )
     ;; Check if relayer already exists
-    (asserts! (is-none (relayer-to-stacks-get universal-addr)) ERR_STATE_RELAYER_EXISTS)
-    
+    (asserts! (is-none (relayer-to-stacks-get universal-addr))
+      ERR_STATE_RELAYER_EXISTS
+    )
+
     ;; Register the mapping
     (map-set relayer-to-stacks universal-addr stacks-addr)
-    
+
     ;; Return the universal address for confirmation
-    (ok universal-addr)))
+    (ok universal-addr)
+  )
+)
 
 ;;;; Read-only functions
 
 ;; @desc Convert universal address to Stacks principal
 (define-read-only (universal-addr-to-principal (universal-addr (buff 32)))
-  (relayer-to-stacks-get universal-addr))
+  (relayer-to-stacks-get universal-addr)
+)
 
 ;; @desc Helper function to convert string to buffer for hashing
 ;;       Matches the exact implementation from Wormhole Core
@@ -48,47 +54,119 @@
     ;;   bytes[0]:     Consensus Buff Type
     ;;   bytes[1..4]:  String length
     ;;   bytes[5..]:   String data
-    (unwrap-panic (slice? cb u5 (len cb)))))
+    (unwrap-panic (slice? cb u5 (len cb)))
+  )
+)
 
 ;; principle to string conversion from https://explorer.hiro.so/txid/0xa0988bb5f2aa6179e61e7735b91f7276cf70106f05781a0c1c7dee663be5dc7c?chain=mainnet
 ;; @desc Convert principal to string representation (C32 encoding)
 (define-read-only (principal-to-string (p principal))
-  (let ((destructed (unwrap-panic (principal-destruct? p)))
-        (checksum (unwrap-panic (slice? (sha256 (sha256 (concat (get version destructed) (get hash-bytes destructed)))) u0 u4)))
-        (data (unwrap-panic (as-max-len? (concat (get hash-bytes destructed) checksum) u24)))
-        (result (concat (concat "S" (unwrap-panic (element-at? C32 (buff-to-uint-be (get version destructed))))) (append-leading-0 data (trim-leading-0 (hash-bytes-to-string data))))))
-    (match (get name destructed) n (concat (concat result ".") n) result)))
+  (let (
+      (destructed (unwrap-panic (principal-destruct? p)))
+      (checksum (unwrap-panic (slice?
+        (sha256 (sha256 (concat (get version destructed) (get hash-bytes destructed))))
+        u0 u4
+      )))
+      (data (unwrap-panic (as-max-len? (concat (get hash-bytes destructed) checksum) u24)))
+      (result (concat
+        (concat "S"
+          (unwrap-panic (element-at? C32 (buff-to-uint-be (get version destructed))))
+        )
+        (append-leading-0 data (trim-leading-0 (hash-bytes-to-string data)))
+      ))
+    )
+    (match (get name destructed)
+      n (concat (concat result ".") n)
+      result
+    )
+  )
+)
 
 ;; Constants and helpers for C32 encoding
 (define-constant C32 "0123456789ABCDEFGHJKMNPQRSTVWXYZ")
 (define-constant LIST_15 (list 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0))
 (define-constant LIST_24 (list 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0))
 (define-constant LIST_39 (concat LIST_24 LIST_15))
 
-(define-read-only (c32-to-string-iter (idx int) (it { s: (string-ascii 39), r: uint }))
-  { s: (unwrap-panic (as-max-len? (concat (unwrap-panic (element-at? C32 (mod (get r it) u32))) (get s it)) u39)), r: (/ (get r it) u32) })
+(define-read-only (c32-to-string-iter
+    (idx int)
+    (it {
+      s: (string-ascii 39),
+      r: uint,
+    })
+  )
+  {
+    s: (unwrap-panic (as-max-len?
+      (concat (unwrap-panic (element-at? C32 (mod (get r it) u32))) (get s it))
+      u39
+    )),
+    r: (/ (get r it) u32),
+  }
+)
 
 (define-read-only (hash-bytes-to-string (data (buff 24)))
-  (let ((low-part (get s (fold c32-to-string-iter LIST_24 { s: "", r: (buff-to-uint-be (unwrap-panic (as-max-len? (unwrap-panic (slice? data u9 u24)) u16)))})))
-        (high-part (get s (fold c32-to-string-iter LIST_15 { s: "", r: (buff-to-uint-be (unwrap-panic (as-max-len? (unwrap-panic (slice? data u0 u9)) u16)))}))))
-    (unwrap-panic (as-max-len? (concat high-part low-part) u39))))
+  (let (
+      (low-part (get s
+        (fold c32-to-string-iter LIST_24 {
+          s: "",
+          r: (buff-to-uint-be (unwrap-panic (as-max-len? (unwrap-panic (slice? data u9 u24)) u16))),
+        })
+      ))
+      (high-part (get s
+        (fold c32-to-string-iter LIST_15 {
+          s: "",
+          r: (buff-to-uint-be (unwrap-panic (as-max-len? (unwrap-panic (slice? data u0 u9)) u16))),
+        })
+      ))
+    )
+    (unwrap-panic (as-max-len? (concat high-part low-part) u39))
+  )
+)
 
-(define-read-only (trim-leading-0-iter (idx int) (it (string-ascii 39)))
-  (if (is-eq (element-at? it u0) (some "0")) (unwrap-panic (slice? it u1 (len it))) it))
+(define-read-only (trim-leading-0-iter
+    (idx int)
+    (it (string-ascii 39))
+  )
+  (if (is-eq (element-at? it u0) (some "0"))
+    (unwrap-panic (slice? it u1 (len it)))
+    it
+  )
+)
 
 (define-read-only (trim-leading-0 (s (string-ascii 39)))
-  (fold trim-leading-0-iter LIST_39 s))
+  (fold trim-leading-0-iter LIST_39 s)
+)
 
-(define-read-only (append-leading-0-iter (idx int) (it { hash-bytes: (buff 24), address: (string-ascii 39)}))
+(define-read-only (append-leading-0-iter
+    (idx int)
+    (it {
+      hash-bytes: (buff 24),
+      address: (string-ascii 39),
+    })
+  )
   (if (is-eq (element-at? (get hash-bytes it) u0) (some 0x00))
-    { hash-bytes: (unwrap-panic (slice? (get hash-bytes it) u1 (len (get hash-bytes it)))), address: (unwrap-panic (as-max-len? (concat "0" (get address it)) u39)) }
-    it))
+    {
+      hash-bytes: (unwrap-panic (slice? (get hash-bytes it) u1 (len (get hash-bytes it)))),
+      address: (unwrap-panic (as-max-len? (concat "0" (get address it)) u39)),
+    }
+    it
+  )
+)
 
-(define-read-only (append-leading-0 (hash-bytes (buff 24)) (s (string-ascii 39)))
-  (get address (fold append-leading-0-iter LIST_24 { hash-bytes: hash-bytes, address: s })))
+(define-read-only (append-leading-0
+    (hash-bytes (buff 24))
+    (s (string-ascii 39))
+  )
+  (get address
+    (fold append-leading-0-iter LIST_24 {
+      hash-bytes: hash-bytes,
+      address: s,
+    })
+  )
+)
 
 ;;;; Map getters
 
 (define-read-only (relayer-to-stacks-get (universal-addr (buff 32)))
-  (map-get? relayer-to-stacks universal-addr))
-
+  (map-get? relayer-to-stacks universal-addr)
+)