Presentation flow distributions

Flow Distributions Overview

⚠ This file is automatically generated from this org file using this script.

The exported presentation can be accessed via this githack link.

REVISIONS:

Date	Notes
2023-03-30	Internal demo day presentation

New Concepts

Overview

• Proportional Distribution Pools.
• Flow Distributions.
• What About Instant Distribution? Yes.

An Example

• Microsoft is distributing dividends as flows to all their sharehodlers.
• Each quarter Mictrosoft adjusts the distribution flow rate once, and all shareholders’ flow rates get updated!

Another Example: Aqueduct!

Payment Primitives-First vs Agreements-First

Overview

• In SuperToken v1: We Think of Agreements (Data/Objects)
• In SuperToken v2: We Think of Payment Primitives (Functions)

GDA (SuperToken v1)

New Agreement: General Distribution Agreement

Functionality: Instant Distributions + Flow Distributions

Deprecating: IDA

Formal Verifiability

• To prove the following properties mathematically:
  1. Total Sum of Flow Rates is ALWAYS ZERO.
  2. You always get deposit back, modulo liquidation rules.
  3. Liquidation rules.
• Yes, Certora has already been able to prove property (1)

Current Status & Demo Time

Starknet

• We are half way into the project, and we are on good track.
• @godspower also has a UI demo for our work in progress smart contracts.
• Demo

GDA in SuperToken v1

• Demo