0
Skip to Content
Audit Labs
Home
Store
Blog
About
Contact
Audit Labs
Home
Store
Blog
About
Contact
Home
Store
Blog
About
Contact
Store Aqua Network / Aquarius
Aquarius.png Image 1 of
Aquarius.png
Aquarius.png

Aqua Network / Aquarius

$29.00

Everything you need to learn Aqua Network’s Soroban AMM protocol: 95 comprehensive code tours totaling over 1000 steps, formulas presented in LaTeX, and a detailed glossary.

Click here to watch video preview

Cantina, 07 May → 19 Jun 2025

Add To Cart

Everything you need to learn Aqua Network’s Soroban AMM protocol: 95 comprehensive code tours totaling over 1000 steps, formulas presented in LaTeX, and a detailed glossary.

Click here to watch video preview

Cantina, 07 May → 19 Jun 2025

Everything you need to learn Aqua Network’s Soroban AMM protocol: 95 comprehensive code tours totaling over 1000 steps, formulas presented in LaTeX, and a detailed glossary.

Click here to watch video preview

Cantina, 07 May → 19 Jun 2025

Product Preview

Tours

  • 1.1: Soroban-AMM: Bird’s-Eye Tour

  • 2.1: Access Control: Overview

  • 2.2: Roles & Constants

  • 2.3: Storage Layout

  • 2.4: Access Checks & Convenience Helpers

  • 2.5: Managing Role Addresses

  • 2.6: Ownership Transfer Flow

  • 2.7: Emergency Mode & System-wide Overrides

  • 3.1: Upgrade Module: Overview

  • 3.2: Upgrade Storage

  • 3.3: Upgrade Constants & Errors

  • 3.4: Upgrade Events

  • 3.5: UpgradeableContract Trait

  • 3.6: Core Logic – commit, apply & revert

  • 4.1: Locker Feed: Overview

  • 4.2: Initialization & Storage Basics

  • 4.3: Privileged Roles & Address Management

  • 4.4: Ownership Transfer, Upgrade Path & Emergency Mode

  • 4.5: Testing Security Invariants

  • 5.1: Fees Collector: Overview

  • 5.2: Bootstrapping & Access Control

  • 5.3: Upgrade Flow & Emergency Mode

  • 5.4: Two-Step Ownership Transfer

  • 5.5: Test Utilities & Helper Patterns

  • 6.1: Liquidity Pool Plane: Overview

  • 6.2: Plane Storage Schema & TTL

  • 6.3: Public Interface Trait

  • 6.4: Core Plane Logic

  • 6.5: Upgrade & Emergency Control

  • 6.6: Ownership Transfer Flow

  • 6.7: Tests as Living Documentation

  • 7.1: Token: Overview

  • 7.2: Token Contract API

  • 7.3: Admin: Upgrade & Ownership Transfer

  • 7.4: Allowance Mechanics

  • 7.5: Balance Storage

  • 7.6: Metadata & Error Codes

  • 7.7: Pool Reward Checkpoint Hooks

  • 8.1: Rewards System: Overview

  • 8.2: Rewards Storage Layout

  • 8.3: Configuring Rewards – Admin Flow

  • 8.4: Working Balances & Boost Mechanics

  • 8.5: Accruing Rewards over Time

  • 8.6: User Checkpoints & Claiming

  • 8.7: Aggregated Reward Pages – Data Structure Deep-Dive

  • 8.8: Constants, Errors, Events & External Feeds

  • 9.1: Standard Liquidity Pool – Overview

  • 9.2: State & Failure Basics

  • 9.3: Constant-Product Math Helpers

  • 9.4: LP-Token Deployment & Safe Transfers

  • 9.5: Plane Cache & Public Interfaces

  • 9.6: Rewards Glue Points

  • 9.7: Core Contract – Initialization, Deposit & Withdraw

  • 9.8: Core Contract – Swap Paths & Invariant Enforcement

  • 9.9: Admin Controls, Killswitches & Upgrades

  • 9.10: Tests & Test Utilities

  • 10.1: StableSwap Liquidity Pool: Overview

  • 10.2: Core Entry Points & Math (contract.rs)

  • 10.3: Persistent State Layout (storage.rs)

  • 10.4: Decimal & Precision Handling (normalize.rs)

  • 10.5: Rewards Integration (rewards.rs)

  • 10.6: Publishing State to the Plane (plane.rs & plane_interface.rs)

  • 10.7: LP Token Deployment & Callbacks (token.rs)

  • 10.8: Error & Event Definitions

  • 10.9: Interfaces & Constants (pool_interface.rs & pool_constants.rs)

  • 10.10: Testing Harness & Permissions (test.rs, test_permissions.rs, testutils.rs)

  • 11.1: Liquidity Pool Liquidity Calculator: Overview

  • 11.2: Admin, Upgrade & Entry Points in contract.rs

  • 11.3: Closed-Form Liquidity for Constant Product Pools

  • 11.4: Shared Math Helpers & Reserve Normalisation

  • 11.5: StableSwap Liquidity Estimation Algorithm

  • 11.6: Plane Integration and Local Storage

  • 12.1: Liquidity Pool Router: Overview

  • 12.2: Router State & Constants

  • 12.3: Utility Helpers & Deterministic Salts

  • 12.4: Public Interfaces (Traits)

  • 12.5: Single-Hop Operations

  • 12.6: Pool Creation & Registry Management

  • 12.7: Multi-Hop Swap Algorithms

  • 12.8: Rewards Configuration & Distribution

  • 12.9: Administration, Ownership & Upgrades

  • 12.10: Calculator & Plane Integration

  • 13.1: Provider Swap Fee Factory: Overview

  • 13.2: Factory Contract – Deploy Time & Collector Creation

  • 13.3: Factory Contract – Governance, Upgrades, Emergency Mode

  • 13.4: Storage Anatomy – DataKey & TTL Bumping

  • 13.5: Event Emission – Observability Hooks

  • 13.6: End-to-End Usage – Functional Test Walkthrough

  • 13.7: Permissions & Safety Nets – Ownership, Upgrades, Emergency Tests

  • 14.1: Provider Swap Fee Collector: Overview

  • 14.2: Persistent State & Configuration

  • 14.3: Constants, Errors & Events

  • 14.4: Administrative Functions: Claiming Collected Fees

  • 14.5: User-Facing Flow #1 – swap_chained (with provider fee)

  • 14.6: User-Facing Flow #2 – swap_chained_strict_receive (target-out, provider fee on top)

Happy Auditing!

Powered by UpToSpeed

Join our community on Discord!

Discord logo

Let’s talk!