Payment systems in the information age are still modeled after their analog predecessors. We can modernize it.
Vision
The vision for Semantic Money is to be a leading group in exploring modern payment systems, primarily in the context of fintech blockchain space. We are born out of the industrial experience, which seeded the idea. We seek a balanced confluence between researching a stronger foundation for modern payment systems and practical implementations in the fintech blockchain space.
Structure
Semantic Money group is currently being formed by Miao, ZhiCheng, CTO of Superfluid Finance.
We are looking for able and passionate frontier explorers to join the journey.
We have yet to get job posts public. However, if the areas of interest of this group intersect with yours, please send your CV to jobs@superfluid.finance!
Areas of Interest
- Software Architecture
- System Specification in Denotational Semantics
- Functional Reactive Programming
- Distributed Systems
- Blockchain Technology
- Building on Layer 1 Chains (EVM, Solana, Fuel, Kadena, Cardano, etc.)
- Building App-Chains (Cosmos, Polkadot, Tezos, etc.)
- Formal Methods
- Dependently Typed Languages and Type-Driven Development
- Formal Verification
- Cryptography
- Zero Knowledge Proofs
- Fully Homomorphic Encryption
TOREX Whitepaper
Abstract:
TOREX stands for T(WAP) OR(acle) EX(change).
Building open protocols on Blockchain is a compositional process: combining the capability of one protocol with another often solves new problems. One such problem is swapping one asset for another time-continuously at the fairest prices. This whitepaper introduces TOREX which solves this problem by combining the Uniswap V3 protocol as price oracle and the Superfluid Protocol for composable money flows.
(Yellowpaper 1) Denotational Semantics of General Payment Primitives, and Its Payment System
Abstract:
Payment systems in the information age are still modeled after their analog predecessors. While electronic money payment systems do utilize computing technology and the Internet, this paper presents a case that true modernization can be reached by (a) making payments happening continuously over time, (b) involving more than two parties in payment if necessary, (c) having compositional financial contracts.
This paper first explores the foundation of modern payment systems, which consists of a money distribution model, payment primitives, payment execution systems of financial contracts, and different forms of money mediums. Then, the paper uses denotational semantics to formally define payment primitives for modern payment systems. By the end, this paper includes an overview of the Superfluid protocol, a reference implementation of the payment primitives, and its payment system.
This paper is the first in the series of yellowpapers about modern payment systems dubbed "semantic money."