Miao ZhiCheng

Re-imagining real-time finance & building a decentralized future

Miao has studied Computer Science, and worked in both startups (Skype, Twilio) and big tech (Microsoft). 5 years ago, he co-founded a web3 payment infrastructure project called Superfluid where he has been focusing on a mission to fundamentally advance the experience of money in a world where money is Superfluid.

Additionally, Miao is working on releasing Yolc: "A Safe, Expressive, Fun Language for Ethereum."

Generalizing Payment as Types

Payment as we know it is a discrete amount of money units transferred one to one, either as banknotes, coins or through a bank. In Superfluid, we have generalized it to continuous money units transferred not only one to one but also one to many. The system is live on various EVM blockchains. In the next iteration, these concepts of new types of money transfer are being defined and made type-safe using Haskell.  

Why Specification?

 It serves as a reference implementation which will help to port the protocol to different blockchain implementations.

It allows faster prototyping of new ideas in abstraction without being limited by any specific blockchain.

Why Haskell?  

First of all, haskell is a pure, strongly typed, concise, high level, memory-managed modular language.

Because of that, it is well suited for the job of writing the specification for the protocol where abstraction, precision and succinctness matter.

Having a higher level of abstractions gets Superfluid protocol closer to being able to formal concepts, where deeper relations between entities, patterns of interactions and composability of categories may emerge. 

Slides
Video ←Back