Skip to content

Instantly share code, notes, and snippets.

@silentgeckoaudit3801
silentgeckoaudit3801 / arkadiko-freddie-v1-1-static-analysis.md
Last active June 22, 2026 17:05
Arkadiko Freddie v1.1 static analysis

Arkadiko arkadiko-freddie-v1-1 Static Analysis

Target: SP2C2YFP12AJZB4MABJBAJ55XECVS7E4PMMZ89YZR.arkadiko-freddie-v1-1

Source: Hiro mainnet source

Review date: 2026-06-20

Scope: all 1,060 source lines, including vault creation, debt changes, stability-fee accounting, liquidation, stacking release, redemption, shutdown, and migration.

@silentgeckoaudit3801
silentgeckoaudit3801 / velar-univ2-core-static-analysis.md
Last active June 22, 2026 16:59
Velar univ2-core static analysis

Velar univ2-core Static Analysis

Target: SP1Y5YSTAHZ88XYK1VPDH24GY0HPX5J4JECTMY4A1.univ2-core

Source: Hiro mainnet source

Review date: 2026-06-20

Scope: all 629 source lines, with special attention to pool creation, liquidity accounting, fee authority, constant-product enforcement, and caller-provided trait contracts. No high or critical issue was identified; private disclosure was not triggered.

@silentgeckoaudit3801
silentgeckoaudit3801 / sbtc-deposit-static-analysis.md
Last active June 22, 2026 16:59
Static analysis of the canonical sBTC deposit wrapper

sBTC Deposit Contract Static Analysis

Target: SM3VDXK3WZZSA84XXFKAFAF15NNZX32CTSG82JFQ4.sbtc-deposit

Source: Hiro mainnet source endpoint

Review date: 2026-06-20

Scope: the 115-line deposit wrapper, with read-only interface checks against the deployed sbtc-registry and sbtc-token contracts. This is static analysis only. No high or critical issue was identified, so private disclosure was not triggered.

@silentgeckoaudit3801
silentgeckoaudit3801 / granite-finance-v04-audit.md
Created June 9, 2026 03:23
Static analysis: Granite Finance v0-4 market

Static Analysis: Granite Finance v0-4 Market

Contract: SP1A27KFY4XERQCCRCARCYD1CC5N7M6688BSYADJ7.v0-4-market
Audit date: 2026-06-09
Scope: Deployed market source returned by the Hiro mainnet contract-source API.

Executive summary

The market orchestrates collateral, borrowing, repayment, liquidation, oracle resolution, vault accrual, and bad-debt socialization across six underlying

@silentgeckoaudit3801
silentgeckoaudit3801 / ststx-stx-stableswap-audit.md
Created June 9, 2026 02:40
Static analysis: stSTX-STX stableswap v1.2

Static Analysis: stSTX-STX Stableswap v1.2

Contract: SPQC38PW542EQJ5M11CR25P7BS1CA6QT4TBXGB3M.stableswap-stx-ststx-v-1-2
Audit date: 2026-06-08
Scope: Deployed source returned by the Hiro mainnet contract-source API.

Executive summary

The contract custodies STX and stSTX, issues LP shares through a caller-supplied LP trait, calculates a two-asset stable invariant, and distributes swap fees to

@silentgeckoaudit3801
silentgeckoaudit3801 / alex-amm-v2-audit.md
Created June 8, 2026 04:38
Static analysis: ALEX AMM pool v2-01

Static Analysis: ALEX AMM Pool v2-01

Contract: SP102V8P0F7JX67ARQ77WEA3D3CFB5XW39REDT0AM.amm-pool-v2-01
Audit date: 2026-06-08
Scope: amm-pool-v2-01, with directly relevant authorization and mutation paths in amm-registry-v2-01 and amm-vault-v2-01.

Executive summary

The AMM pool contract is a routing and calculation layer over a separate

@silentgeckoaudit3801
silentgeckoaudit3801 / bitflow-dlmm-router-audit.md
Created June 8, 2026 04:33
Static analysis: Bitflow DLMM swap router v1.1

Static Analysis: Bitflow DLMM Swap Router v1.1

Contract: SM1FKXGNZJWSTWDWXQZJNF7B5TV5ZB235JTCXYXKD.dlmm-swap-router-v-1-1
Audit date: 2026-06-08
Scope: Router source plus the directly relevant interfaces and swap paths in dlmm-pool-trait-v-1-1, sip-010-trait-ft-standard-v-1-1, and SP1PFR4V08H1RAZXREBGFFQ59WB739XM8VVGTFSEA.dlmm-core-v-1-1.

Executive summary