zkSync launches new proof system called Boojum for Era mainnet

Matter Labs, the core developer of Ethereum Layer 2 zkSync Era, has unveiled Boojum, a STARK-powered proof system capable of being run on consumer-grade GPU hardware, promising superior performance.

The proof system is based on a new Rust-based cryptographic library from zkSync that powers the prover’s upgraded Zero-Knowledge (ZK) circuits — vital components of zkSync Era and ZK Stack.

Until now, zkSync Era has relied on a proof system (prover) leveraging a type of zero-knowledge proof called SNARKs. This system helps its Layer 2 sequencer (off-chain transaction aggregator) process more than 100 transactions per second (TPS) currently. Boojum, which is based on STARKs, promises several times more throughput, according to the team.

In the context of Layer 2 solutions for blockchains, a prover is a component responsible for creating a proof of computation. This proof is then verified by the main blockchain (Layer 1) or other validators. The aim is to offload computational work from the main blockchain, thus enhancing scalability for apps.

Faster transaction proofs

"The increased performance from Boojum means the system can prove transactions faster, and the reduced hardware requirements improve the network’s access to cheaper machines for increased horizontal scalability," Anthony Rose, SVP of technology at Matter Labs, told The Block. 

A key highlight of Boojum is its ability to run on consumer-grade GPUs, requiring only 16 GB of GPU RAM. This feature promotes accessibility and inclusivity by enabling users with regular hardware to participate in the network.

The Boojum upgrade is currently live on the mainnet in an experimental phase. During the early phase, it’s generating and verifying ‘shadow proofs’ using real production data. This testing process will help zkSync Era fine-tune the system, identify any potential issues, and mitigate risks ahead of the full migration.