Zero-knowledge proofs now live on Bitcoin

Competition in zero-knowledge technology is heating up

ZeroSync is joined by others in what is an increasingly crowded field of developers interested in privacy, security and access to the world’s largest and most important blockchains.

Others like StarkWare, having first tested on Ethereum, have also started to migrate to Bitcoin.

With ZK rollups now overhauling network state validation models, the race is on to secure market share as newly formed ZK developers optimize and begin to scale.

StarkWare’s co-founder, Eli Ben-Sasson, has a Ph.D. in theoretical computer science and has been studying ZK proofs since 2001. He has held research positions at prestigious institutions such as the Institute for Advanced Study at Princeton, Harvard, and MIT, and is considered to be one of the leading experts of the maths in the field.

StarkWare uses what is known as an off-chain Prover and on-chain Verifier approach to unlock mass scalability by allowing off-chain processing of large computations while ensuring their integrity on-chain with minimal overhead.

StarkEx, Cairo, and Starknet are some of the products they have developed to achieve this and — along with ZeroSync and others like Polygon with their recent introduction of a zkEVM — the race is on to develop optimized and scaleable solutions for popular mainnets.