#+Title: Flow Distributions Overview
# +Author: Miao, ZhiCheng / Co-founder & CTO of Superfluid
#+Author:
#+Email: miao@superfluid.finance
#+OPTIONS: num:nil toc:nil timestamp:nil
#+REVEAL_THEME: night
#+REVEAL_TRANS: fade
#+REVEAL_EXTRA_CSS: ../css/sf-slide-dark2022.css
#+REVEAL_TITLE_SLIDE_BACKGROUND: ../images/sf-slide-dark2022-bg1.png
#+REVEAL_DEFAULT_SLIDE_BACKGROUND: ../images/sf-slide-dark2022-bg1.png

#+begin_notes :revisions
|       Date | Notes                          |
| 2023-03-30 | Internal demo day presentation |
#+end_notes

* New Concepts
** Overview
#+ATTR_ORG: :width 480
#+ATTR_HTML: :width 40% :height 40%
[[file:distributeflow-overview-new-concepts.drawio.png]]

#+ATTR_REVEAL: :frag (appear)
- Proportional Distribution Pools.
- Flow Distributions.
- What About Instant Distribution? Yes.
** An Example
#+ATTR_REVEAL: :frag (appear)
- 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
#+ATTR_ORG: :width 480
#+ATTR_HTML: :width 50% :height 50%
[[file:supertoken-v1-vs-v2.drawio.png]]

#+ATTR_REVEAL: :frag (appear)
- 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
#+ATTR_REVEAL: :frag (appear)
- 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
#+ATTR_REVEAL: :frag (appear)
- *Demo*