Deploy smart contracts on Filecoin’s Virtual Machine →

Reviving Halo 2 with Protocol Labs, Filecoin Foundation, Ethereum Foundation, and Electric Coin Co.

Recently Electric Coin Co. (ECC) announced that Protocol Labs, the Filecoin Foundation, the Ethereum Foundation, and ECC would be collaborating to explore research and development of Halo — a solution to zero knowledge recursive proofs without requiring a trusted setup.

Quick primer on zero knowledge, recursive proofs, and Halo

Zero knowledge is a branch of cryptography focused on methods of verifying solutions (“answers”) without needing to see the underlying data.

Consider the example of needing to prove your age at a bar in New York. In zero knowledge transactions, there are two parties: the prover and the verifier. The prover is the person or entity attempting to, well, prove something — in this case, the individual wanting to prove they are of legal age to drink. The verifier is the person or entity who must verify that information — i.e., the bartender.

In a zero knowledge transaction, the bartender would be able to prove that the patron is of legal age without needing to know the patron’s precise age, or even see their ID. They would simply be able to trust the situation without seeing the underlying data (the ID). To drive the point home, with no (zero) knowledge, they can complete their transaction confidently.

Zero knowledge (zk) transactions result in zk-proofs, which can be referenced to prove that a transaction occurred. When zk is used within a distributed network like a blockchain, this means each block will have multiple zk proofs within.

Should a future transaction wish to verify information, a naive solution would be to verify each prior block separately. Recursive proofs provide a workaround, allowing essentially “proofs of proofs” — in a sense, creating a connecting history of proofs, so only small numbers of proofs need to be verified.

Halo is ECC’s recursive proof research, initially presented in 2019 as a solution to setting up recursive proofs on blockchain networks without running a trusted setup (a complex and costly process). Halo 2 is the next iteration of recursive proof research.

Halo 2 in Action: Filecoin

Perhaps not obvious to many, the Filecoin network is the largest deployed zero knowledge network in the world. Zero knowledge is fundamental to the Filecoin network, providing critical scalability solutions that have been in play since the network first launched on testnet.

The engagement between the ECC, the Filecion Foundation, the Ethereum Foundation, and Protocol Labs will partly focus on exploring the integration of Halo 2 into the existing Filecoin proof system.

Successful implementation of Halo 2’s recursive proof solution would mean significantly less proof data stored on-chain, freeing up Filecoin’s network to store more of humanity’s most valuable information. This means greater network scalability and greater access to cheap, efficient, and user-friendly storage solutions.

Learn more about the Protocol Labs x ECC x EF x Filecoin Foundation collaboration.

Filecoin is an open-source cloud storage marketplace, protocol, and incentive layer.