Algorand’s Forthcoming Technology

Silvio Micali
Apr 26 · 9 min read

The Algorand Foundation will soon launch the Algo from Singapore. At that time, thanks to its innovative technology, the Algorand blockchain will enjoy three important properties.

This is just a start. Before I share a few highlights of Algorand’s forthcoming technology, I find it important to explain why these technologies have been prioritized as the most important early advancements to the Algorand blockchain protocol.

Our Development Philosophy

Our development philosophy at Algorand adheres to four fundamental principles. These help us prioritize the innovations we build for a blockchain that aims to provide sustainable and boundless opportunity for all.

VAULT: ALGORAND’S SOLUTION TO THE BLOCKCHAIN STORAGE PROBLEM

Storing the entire blockchain is necessary in order to retrieve past transactions, as is required in the normal course of business. But for some projects, like Bitcoin, it is also necessary to establish the validity of new transactions.

As a blockchain grows, however, storing all its blocks may prove challenging. Even blockchains that produce a block only every 10 minutes will ultimately consist of more than a terabyte of data. Downloading so much data, in order to catch up to the blockchain, deters new users from actively participating in the generation of new blocks. And relying on other users who store the entire chain to provide you with the occasional past blocks you wish to retrieve is not as simple as it seems. In fact, to avoid being cheated, you would also need to ask for a proof that the information they provide is correct. With currently technology, such a proof may itself be cumbersome, once the blockchain is long enough.

The way traditional blockchains handle the storage and retrieval of blocks does not scale for a decentralized architecture and will ultimately prevent the growth of a borderless economy.

Algorand’s Vault System provides a unique solution to these problems.

In sum, Vault safeguards both the decentralization of the Algorand blockchain and the accessibility of the chain to parties who never stored it.

We all know how valuable random-access memory is for computation. Vault will bring the same value to the Algorand blockchain.

PIXEL: Algorand’s Bandwidth Reduction via Better Signatures

To operate in a consensual, decentralized, and secure manner, the Algorand protocol often asks multiple users to sign a common message. (For instance, a new block is added to the blockchain only after it has been signed by multiple and randomly selected verifiers, who have ascertained its validity.)

To reduce the associated bandwidth while keeping the required security, Algorand uses a new digital signature scheme, Pixel.

Pixel-signatures simultaneously enjoy the following two properties:

¹A bit more precisely, let SIGa(M), SIGb(M), … be the digital signatures of M relative to public keys a, b, … Then, Pixel lets one substitute (a,b,…; SIGa(M), SIGb(M), …) with (a,b,… ; SIGa,b,…(M)).

To be sure, aggregatable signatures, such as BLS signatures, already exist. However, their usability is limited due to the lack of a common reference standard. To bridge the gap between theory and implementation, Algorand has put together a standard of BLS signatures that is currently under review by the International Engineering Task Force (IETF). Algorand will use BLS signatures to authenticate individual transactions.

Also, forward-secure signatures already exist in the literature. However, we have been lacking signatures schemes that enjoy both aggregation and forward-security.

Algorand will use Pixel signatures for the entire block generation process. Modern blockchains will be the first — but not the last!— beneficiaries of this innovation.

SELF-VALIDATING TRANSACTIONS: Algorand’s Separation of Consensus and Storage

Algorand’s self-validating transactions is a new technology that finally achieves a clean separation between consensus and storage. Such a separation has been long sought. Achieving it enhances the efficiency and the logical structure of the Algorand blockchain.

Algorand users may certainly check whether payments are valid by constantly maintaining the balance of each public key in the system; that is, how many algos each key has available to spend. As the number of keys grows, however, accurately and efficiently maintaining all balances may become the most demanding computational task for an Algorand node. (Indeed, the other computational requirements are, in the case of our blockchain, quite trivial.)

Algorand’s self-validating payment technology totally dispenses with the need to maintain balances for the purpose of verifying blocks and/or individual payments.

At a very high level, in order to be included in block N + 1, a payment P is propagated together with a very short and easily verifiable proof of its validity, up to — and including — block N. These proofs can (1) be easily and publicly computed given the balances involved in P and (2) be trivially checked by anyone, even those who have no prior knowledge of any current balance in the Algorand system.

Algorand’s self-validating technology extends, beyond payments, to other transactions as well. In particular, it will be crucial to guarantee the efficiency and interoperability of non-fungible tokens in the Algorand blockchain.

ATOMIC² SWAPS: Algorand’s (Truly Atomic) Atomic Swaps

The typical goal of a cross-chain atomic swap is to enable two users of different blockchains to exchange the cryptocurrencies they hold in a peer-to-peer fashion; that is, without the help of any intermediaries. For instance, a user in the Ethereum blockchain may wish to exchange some of his Ether for Algos owned by a user in the Algorand blockchain.

Such swaps aspire to be ‘atomic’: namely, one party cannot get what he wants without the other party getting what she wants. However, they are very far from being atomic in their implementation. In existing blockchains, transactions can be reverted, history can be changed, forked, etc. Hence, existing atomic swaps must rely on complicated multi-step protocols with long delays and cumbersome time locks. A cross-chain atomic swap may indeed take 3 hours to complete.

In Algorand, all transactions are final and instantly confirmed. Hence Algorand can offer cross-chain atomic swaps that are both faster and truly atomic.

But it can do even better.

Atomic swaps are possible between users of the same blockchain. For instance, they may be used to swap a non-fungible token — e.g., a city apartment posted on the chain— for money or for another non-fungible token and possibly additional money.

Today, same-chain atomic swaps could be implemented with potentially fewer steps, but they are still cumbersome, and they still have multiple steps and long time locks. Accordingly, these swaps are still slow and not truly atomic.

Algorand will dramatically change this state of affairs. Indeed, Algorand’s atomic² swaps will implement same-chain atomic swaps in a single transaction! Thus, thanks to Algorand’s instant finality guarantee, these transactions are ‘atomic’ also from an implementation point of view.

Atomic² swaps will provide additional value to the Algorand blockchain. Indeed, they provide the most efficient implementation of the most basic and crucial form of trade.

POST-AND-SALE TRADES: Algorand’s Non-Interactive Trade Mechanism

Traditional trades typically take time. First, two parties must find each other. Then, they negotiate terms. Finally, they need to execute a trade.

Algorand’s atomic² swaps will vastly simply the final execution, but still presuppose that seller and buyer have already found each other (and agreed on a price).

Sometimes, however, one party may want to save herself the time to find a trading partner. For instance, she may advertise a specific good (e.g., a real-estate property) that she owns on the blockchain and offer it for sale at a price chosen by her.

Algorand allows her to post her property for sale, together with a proof of ownership, her chosen price, and an expiration date for her offer. As soon as a buyer spots the offer and agrees to the price, Algorand allows him to make the trade without involving the seller at all.

Algorand essentially provides sellers the option of a non-interactive atomic² swap. As usual, this special swap also continues to guarantee all of Algorand’s security properties — for example, against “double spending”, “uncertainty of ownership”, etc.

Algorand’s Post-and-Sale trades also apply to the case of multiple distinct goods, where the seller names different prices for different subsets of the goods. As soon as a subset is sold, previously offered subsets that include some of the goods that have just been sold are automatically taken off the market.

Finally, Algorand’s Post-and-Sale trades include non-interactive auctions, where the price is determined by the market, not by the seller.

Post-and-Sale trades realize e-commerce on the blockchain and, due to their speed and ease of use, will provide tremendous value to the Algorand blockchain.

NEXT

Algorand’s technology roadmap is deep. The above innovations are just those we plan to add to our blockchain in the first months following launch. Other technologies, just as innovative, will be added next.

In particular, we will add smart² contracts, quantum-resiliency, and more.

IN SUM

Blockchains have largely remained aspirational, but ultimately, are sophisticated technological products. It is only good and proper to raise the bar of our aspirations. But, without sustaining them with proper technology, aspirations risk remaining a pie in the sky.

Algorand has already deployed much innovative technology and will continue to do so. Indeed, Algorand is wholeheartedly committed to research: theory research, economic research, security research, mathematics research, and systems research.

Powered by its general and flexible consensus protocol, the Algorand blockchain can evolve in a consensual manner. It is therefore uniquely poised to take advantage of new technological breakthroughs. Providing these breakthroughs to Algorand’s blockchain and enabling a truly borderless economy is our cherished mission.

We are and will remain open to collaborations with anyone who shares this mission.

Algorand

Algorand is an open-source software company building technical innovation for the borderless economy with a platform that delivers decentralization, scalability & security. Founded by cryptography pioneer and Turing award winner Silvio Micali.

Silvio Micali

Written by

Silvio Micali is the Founder of @Algorand. He is one of the co-inventors of zero-knowledge proofs and is a Turing Award-Winning MIT professor.

Algorand

Algorand

Algorand is an open-source software company building technical innovation for the borderless economy with a platform that delivers decentralization, scalability & security. Founded by cryptography pioneer and Turing award winner Silvio Micali.