A deeper look into Cairo 1.0, StarkNet's turing-complete programming language for ZK-STARK provable computation

If you’ve been here long enough, you would have already heard of the blockchain trilemma where you can only pick two out of three between security, speed, and decentralization. But that is so 2020.

In da past two weeks, I have encountered at least 3 people who talk about quantum menace as if it will be the end of all existing blockchains today. So here are some facts:

An overview of one of my favorite ZK based protocols: Tornado Cash

Lato-lato is the current craze where I live as of the time of this writing. And thank goodness coz while the ear-splitting clacks of this toy can be heard all over the town, it gave me an epiphany about a certain DeFi protocol that I’ve been dying to understand.

Depending on who you ask, the definition of Web3 wildly varies from “a new buzzword that crypto scammers use” to “the next big thing in the history of interwebz”.

Long, mathy ramblings about the story of Uniswap V1-V4... their defining mechanisms and how it evolved overtime

I’ve always thought that not being able to use your staked assets was sort of the catch in earning your staking rewards. That’s the way it works with time deposits in banks, or even in securities where if more people hold the asset the stronger it becomes. On hindsight, having all that liquidity locked up in a validator is kind of a bummer for the whole ETH ecosystem.

How cross-chain bridges work. Also some stories from Dankiverse