EthereumZuri.ch 2025

Miao ZC
.ical

"I believe in rational self-interest. I love to work with productive minds. I make things happen."

Currently, Miao focuses on a mission that he believes in to fundamentally advance the experience of money in a world where money is superfluid.

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

The speaker’s profile picture
Please provide the name of the project(s) or organization(s) you would like us to mention as your affiliation in announcements and tag them on social media. –

Miao

Session

01-31
12:00
60min
Yolc - A safe, expressive, fun language for Ethereum
Miao ZC

The main motivation behind Yolc is to strike a balance between these values for building Ethereum smart contracts:

  • /Safe/ -Yolc is purely functional with linear type safety, made for the Ethereum virtual machine.
  • /Expressive/ - YulDSL provides an EDSL called 'YulDSL' for transpiling Haskell code to Solidiy/Yul code.
  • /Fun/ - Yolc allows you to write safe code in production, a joyful experience for super coders.
Industry / Security and Audits
Sepolia Stage