Open in app

Sign In

Write

Sign In

Vitalik Buterin
Vitalik Buterin

52K Followers

Home

About

Published in Infinitism

·Sep 29, 2021

ERC 4337: account abstraction without Ethereum protocol changes

Account abstraction has for a long time been a dream of the Ethereum developer community. Instead of EVM code just being used to implement the logic of applications, it would also be used to implement the verification logic (nonces, signatures…) of individual users’ wallets. This would open the door for…

Ethereum

7 min read

ERC 4337: account abstraction without Ethereum protocol changes
ERC 4337: account abstraction without Ethereum protocol changes
Ethereum

7 min read


Apr 1, 2019

Cantor was Wrong: debunking the infinite set hierarchy

By Vitalik Buterin, PhD at University of Basel A common strand of mathematics argues that, rather than being one single kind of infinity, there are actually an infinite hierarchy of different levels of infinity. Whereas the size of the set of integers is just plain infinite, and the set of…

Mathematics

3 min read

Cantor was Wrong: debunking the infinite set hierarchy
Cantor was Wrong: debunking the infinite set hierarchy
Mathematics

3 min read


May 21, 2018

Liberation Through Radical Decentralization

By Vitalik Buterin and Glen Weyl Wealthy societies around the world are facing a growing crisis of confidence in established authorities. Stagnating economies, mounting inequality, political corruption and the increasing monopolization of technology for the benefit of elites have provoked a populist backlash. We share and are driven by these…

Blockchain

5 min read

Blockchain

5 min read


Mar 4, 2017

Safety Under Dynamic Validator Sets

Traditional consensus algorithms, whether they operate in a synchronous, partially asynchronous or fully asynchronous network model, and whether they are designed around simple faults, Byzantine faults or accountable faults, generally operate in a model where there is a fixed set of participants in the protocol, with the assumption that at…

Blockchain

9 min read

Safety Under Dynamic Validator Sets
Safety Under Dynamic Validator Sets
Blockchain

9 min read


Mar 2, 2017

Minimal Slashing Conditions

Last week Yoichi released a blog post detailing the process of formally proving safety and liveness properties of my “minimal slashing conditions”. This is a key component of a Byzantine-fault-tolerant, safe-under-asynchrony and cryptoeconomically safe consensus algorithm that is at the core of my proof of stake roadmap. In this post…

Blockchain

14 min read

Minimal Slashing Conditions
Minimal Slashing Conditions
Blockchain

14 min read


Feb 6, 2017

The Meaning of Decentralization

“Decentralization” is one of the words that is used in the cryptoeconomics space the most frequently, and is often even viewed as a blockchain’s entire raison d’être, but it is also one of the words that is perhaps defined the most poorly. Thousands of hours of research, and billions of…

Blockchain

11 min read

The Meaning of Decentralization
The Meaning of Decentralization
Blockchain

11 min read


Feb 3, 2017

Zk-SNARKs: Under the Hood

This is the third part of a series of articles explaining how the technology behind zk-SNARKs works; the previous articles on quadratic arithmetic programs and elliptic curve pairings are required reading, and this article will assume knowledge of both concepts. Basic knowledge of what zk-SNARKs are and what they do…

Security

10 min read

Zk-SNARKs: Under the Hood
Zk-SNARKs: Under the Hood
Security

10 min read


Jan 16, 2017

Exploring Elliptic Curve Pairings

Trigger warning: math. One of the key cryptographic primitives behind various constructions, including deterministic threshold signatures, zk-SNARKs and other simpler forms of zero-knowledge proofs is the elliptic curve pairing. Elliptic curve pairings (or “bilinear maps”) are a recent addition to a 30-year-long history of using elliptic curves for cryptographic applications…

Security

14 min read

Exploring Elliptic Curve Pairings
Exploring Elliptic Curve Pairings
Security

14 min read


Jan 15, 2017

Parametrizing Casper: the decentralization/finality time/overhead tradeoff

As Casper continues to reach an increasingly stabilized form, there has been increased interest in the various parameters that are going to be set in the protocol, including the interest rate, fees, withdrawal period, speed, the minimum amount of ETH needed to stake, etc. This article will be the first…

Blockchain

8 min read

Blockchain

8 min read


Dec 30, 2016

A Proof of Stake Design Philosophy

Systems like Ethereum (and Bitcoin, and NXT, and Bitshares, etc) are a fundamentally new class of cryptoeconomic organisms — decentralized, jurisdictionless entities that exist entirely in cyberspace, maintained by a combination of cryptography, economics and social consensus. They are kind of like BitTorrent, but they are also not like BitTorrent…

Blockchain

7 min read

Blockchain

7 min read

Vitalik Buterin

Vitalik Buterin

52K Followers
Following
  • Vinay Gupta

    Vinay Gupta

  • Christoph Jentzsch

    Christoph Jentzsch

  • Emin Gün Sirer

    Emin Gün Sirer

  • Ariel Gabizon

    Ariel Gabizon

  • Glen Weyl

    Glen Weyl

Help

Status

Writers

Blog

Careers

Privacy

Terms

About

Text to speech