Presentation make frictionless money
⚠ 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 |
| 2022-09-01 | ETHWarsaw 2022 |
| 2023-05-07 | ETHTallinn 2023 |
- What is Super Token?
- What’s needed to build it?
- Where are we?
- How to get involved?
Bob requests to send €42 to Alice now.
Bob requests to send a constant flow of money at €420 per 30 day to Alice now.
Microsoft requests to send $0.42 per share to all its share holders on the next ex-dividend date.
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.
- 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.
- Network Efficiency
- Correctness - Law of Conservation of Value
- 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.
- Constant balance sum of all accounts (== 0).
- You should not need to withdraw liquidity from 1000 payees 1000 times, they should be available for you to use immediately.
- 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.
- 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.
- Enables network efficiency.
- On-going relations is useful information available on-chain for free.
- Denotational: design expressions first, hence the new payment semantics.
- Functional Reactive: model payments over continuous time.
- “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
- 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…
- 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.
- “Starknet is a Validity Rollup Layer 2. It provides high throughput, low gas costs, and retains Ethereum Layer 1 levels of security.”
- Experimenting Functional Programming using Solidity.
- Formal Verification using Certora (.
- Native Many-Chain Streaming Support.
- 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.
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
Transcript available from https://github.com/superfluid-finance/protocol-monorepo/wiki:
