2 years ago
Zero-knowledge (ZK) proofs person rapidly go 1 of blockchain technology’s astir talked astir items.
In caller days, the exertion has been deployed to the Ethereum (ETH) mainnet, but present a big of caller teams are astatine enactment scaling and optimizing the exertion for Bitcoin.
A Swiss non-profit called the ZeroSync Association — based successful Zug, Switzerland — is 1 of respective entities present astatine enactment connected processing zero-knowledge proofs for Bitcoin (BTC).
What are zero-knowledge proofs?
The halfway exertion of ZK proofs theoretically enables users to validate the authorities and transaction past of the Bitcoin blockchain without downloading the full concatenation oregon trusting a 3rd party.
While galore reports of different rollups person focused connected furniture 2s deployed to the Ethereum mainnet, the ZeroSync association–composed of Robin Linus, Tino Steffens and Lukas George–has program to beef up optimization and information of their ZK rollup successful the coming weeks.
“It’s precise overmuch successful the prototype stage,” ZeroSync co-founder Robin Linus said to CoinDesk, adding “the expansive imaginativeness is that you download that 1 megabyte of impervious and that is arsenic bully arsenic if you had downloaded the 500 gigabytes.”
ZK proofs are fundamentally 2 parties confirming their individuality to each different — without disclosing immoderate different accusation to a 3rd enactment who mightiness beryllium watching.
Competition successful zero-knowledge exertion is heating up
ZeroSync is joined by others successful what is an progressively crowded tract of developers funny successful privacy, information and entree to the world’s largest and astir important blockchains.
Others similar StarkWare, having archetypal tested connected Ethereum, person besides started to migrate to Bitcoin.
With ZK rollups present overhauling web authorities validation models, the contention is connected to unafraid marketplace stock arsenic recently formed ZK developers optimize and statesman to scale.
StarkWare’s co-founder, Eli Ben-Sasson, has a Ph.D. successful theoretical machine subject and has been studying ZK proofs since 2001. He has held probe positions astatine prestigious institutions specified arsenic the Institute for Advanced Study astatine Princeton, Harvard, and MIT, and is considered to beryllium 1 of the starring experts of the maths successful the field.
StarkWare uses what is known arsenic an off-chain Prover and on-chain Verifier attack to unlock wide scalability by allowing off-chain processing of ample computations portion ensuring their integrity on-chain with minimal overhead.
StarkEx, Cairo, and Starknet are immoderate of the products they person developed to execute this and — on with ZeroSync and others similar Polygon with their caller instauration of a zkEVM — the contention is connected to make optimized and scaleable solutions for fashionable mainnets.
The station Zero-knowledge proofs present unrecorded connected Bitcoin appeared archetypal connected CryptoSlate.
English (US) 