BenItBuhner

Jing v3 Clarity Audit Report

Task: mpwslx9y69183d318a1b Repository: https://github.com/Rapha-btc/jing-contracts-v3 Audited commit: 37db898889be67a7955c8ae9bad669154e27bef6 Audit date: 2026-06-02

Scope

The review used public task material and the public repository only. The primary scope was:

BenItBuhner

Bitflow dlmm-swap-router-v-1-1 Static Analysis

Scope

Contract: SM1FKXGNZJWSTWDWXQZJNF7B5TV5ZB235JTCXYXKD.dlmm-swap-router-v-1-1

Reviewed source: https://api.hiro.so/v2/contracts/source/SM1FKXGNZJWSTWDWXQZJNF7B5TV5ZB235JTCXYXKD/dlmm-swap-router-v-1-1

BenItBuhner

Zest pool-borrow-v2-3 Static Analysis

Scope

Contract: SP2VCQJGH7PHP2DJK7Z0V48AGBHQAW3R3ZW1QF4N.pool-borrow-v2-3

Reviewed source: https://api.hiro.so/v2/contracts/source/SP2VCQJGH7PHP2DJK7Z0V48AGBHQAW3R3ZW1QF4N/pool-borrow-v2-3

BenItBuhner

Granite Finance v0-4-market Static Analysis

Scope

Contract: SP1A27KFY4XERQCCRCARCYD1CC5N7M6688BSYADJ7.v0-4-market

Reviewed source: https://api.hiro.so/v2/contracts/source/SP1A27KFY4XERQCCRCARCYD1CC5N7M6688BSYADJ7/v0-4-market

BenItBuhner

Bitflow stableswap-stx-ststx-v-1-2 Static Analysis

Scope

Contract: SPQC38PW542EQJ5M11CR25P7BS1CA6QT4TBXGB3M.stableswap-stx-ststx-v-1-2

Reviewed source: https://api.hiro.so/v2/contracts/source/SPQC38PW542EQJ5M11CR25P7BS1CA6QT4TBXGB3M/stableswap-stx-ststx-v-1-2

BenItBuhner

ALEX amm-pool-v2-01 Static Analysis

Scope

Contract: SP102V8P0F7JX67ARQ77WEA3D3CFB5XW39REDT0AM.amm-pool-v2-01

Reviewed source: https://api.hiro.so/v2/contracts/source/SP102V8P0F7JX67ARQ77WEA3D3CFB5XW39REDT0AM/amm-pool-v2-01