Audits#

Hightop's trust model rests on open-source smart contracts. These are the independent audits of those contracts. All reports are published in full.

Audits are not a guarantee of safety. They are one of the inputs that should inform how you use the product.

Underscore Protocol#

Underscore Protocol powers Hightop's wallet infrastructure, control layer, and earn vaults.

• Certora — Underscore Vaults
• Certora — Underscore Wallets

Ripe Protocol#

Ripe Protocol powers Hightop's borrowing infrastructure.

• ChainSecurity — Ripe
• Anatomist — Ripe

Where to Go Next#

• Why Onchain Enforcement Matters for the trust argument behind onchain controls
• Technical References for protocol repos, developer docs, and live params tools