pseudotheos

Jan 18

zkSNARKs vs zkSTARKs: a primer

Trying out a longer form article this time to allow a deeper dive into some areas of blockchain research. There are a lot of articles on zero knowledge proofs, and a lot of research papers on SNARKs or STARKs, but very little bridging the intermediate gap. If you haven’t read my introduction to zero knowledge proofs Twitter thread, I strongly recommend it before going further, as a lot of this article builds on top of it. pseudo 🇺🇦 @pseudotheos all these zk terms... what do they mean? what'...

pseudotheos

Oct 12

PBS: Neutralizing the Dark Forest

Domothy and I co-authored this article. PBS is still an active area of research, but this comprehensive post aims to aggregate and summarize where research is so far- and where it’s headed. In the existing architecture, block proposers (previously miners) select transactions in the mempool to build a block. On Ethereum, these consist of validators running a consensus and execution client in tandem. Theoretically, a block builder would select transactions paying the highest fee- but this is no...

pseudotheos

Dec 28

Distinguishing zkEVMs

The Ethereum Virtual Machine (EVM) is the virtual machine that manages state and executes smart contracts on the Ethereum blockchain. zkEVMs, which aim to prove EVM execution through zero-knowledge (ZK) circuitry, have seen significant growth and expansion as an industry over the past year. Many different projects and community efforts have emerged in this space, each taking its own unique approach to the challenges and opportunities presented by the intersection of these two technologies. On...