Make Frictionless Money

What You Will Hear About

• What is Super Token?
• What's needed to build it?
• Where are we?
• How to get involved?

Concepts of Super Token

New Payment Semantics

Instant 1to1

Bob requests to send €42 to Alice now.

Streaming 1to1

Bob requests to send a constant flow of money at €420 per 30 day to Alice now.

Instant 1toN

Microsoft requests to send $0.42 per share to all its share holders on the next ex-dividend date.

Streaming 1toN

Elon Musk requests to send a constant flow of money at €4.2B per 360 days to all Dogecoin hodlers with individual flow rates proportional to their number of share units, from 20st April.

And More Ideas!

• Sending money at a slower rate over time. (E.g. half-life time in Radioactivity)
• Quadratic funding between 3 groups: the matcher, receipients and voters:
  • recipients receive funding from the matcher and voters.
  • proportions sent from the matcher to recipients are determined by voters' streams.
  • voters' influence is not linear, hence small voters matter too.

Defining Characteristics of Its Implementation

• Network Efficiency
• Correctness - Law of Conservation of Value

Characteristic 1: Network Efficiency

• Micro transactions vs. Function of time:
• Ad-hoc Automation vs. Built-in Automation:
  • Ad-hoc automation: permission system + off-chain backends.
  • Built-in automation:
    • smart contract level: callbacks/hooks.
    • blockchain level?: conditional executions, state machine transitions.

Characteristic 2: Correctness - Law of Conservation of Value

• Constant balance sum of all accounts (== 0).

Powerful Compositionality

Instant Available Liquidity

• You should not need to withdraw liquidity from 1000 payees 1000 times, they should be available for you to use immediately.

Conditional Payments

• Payment at a future date:
  • Lack of EVM-level support.
  • Access control (analogous to ERC20.approve).
  • Off-chain automation.
• Collateral as a condition:
  • A "buffer" to be reserved for each stream, and can be taken away by anyone if sender of the stream runs out of money.

Bundled Payments

• Conditional payment + atomicity:
  • If a stream of $DAI is being sent from Bob to an investment contract, a stream of $ETH is sent back to Bob.
  • At the event the stream is stopped from Bob, the stream of $ETH is stopped in the same transaction.

New Paradigm

Continuous > Discrete

• Enables network efficiency.
• On-going relations is useful information available on-chain for free.

Compositionality => Endless Possibilities

Decentralized Ledgers == Platforms for Internet Native Superfluid Money

What's Needed

Denotational Semantics & Functional Reactive Approach

• Denotational: design expressions first, hence the new payment semantics.
• Functional Reactive: model payments over continuous time.

Compositionality & Categories

• "Here's a categorical rule of thumb: every time you have composition, you should look for a category" - Bartosz Milewski
• "Category theory is the study of compositionality: building big things out of little things, preserving guarantees. - Ken Scambler

Ethereum & EVM

• An internet native smart contract platform that is censorship resistant.
• Awash with capital historically.
• Most developed tooling.
• Vibrant developer community.
• But it is just the beginning…

Where Are We?

Superfluid Protocol v1

• Feature set:
  • ERC20 compatible (1to1 instant transfer).
  • 1to1 constant stream.
  • 1toN instant transfer.
  • 1toN constant stream is coming.
  • Compositionality framework using callbacks: "Super Apps".
• Live on: Polygon, Gnosis chain, Arbitrum, Optimism, Avalanche, BSC, CELO.
• Continue to develop new features, strengthening its security & bootstrapping the Super App ecosystem.

Superfluid Starknet Prototype

• "Starknet is a Validity Rollup Layer 2. It provides high throughput, low gas costs, and retains Ethereum Layer 1 levels of security."

SuperToken v2

• Experimenting Functional Programming using Solidity.
• Formal Verification using Certora (.
• Native Many-Chain Streaming Support.

Haskell Specification

• A project that was born to:
  • Model ideas with concise definitions and their properties.
  • A reference for new implementations.
• Or even as a source to compile "the core" to any target VM?
• For stronger correctness proof, some even suggest to use Agda & the dependently typed way.

Get Involved

It is still early Let's build real time finance together.

• https://github.com/superfluid-finance/protocol-monorepo
• https://docs.superfluid.finance/superfluid/resources/contribute
• http://discord.superfluid.finance