1. Home
  2. zk-STARK

zk-STARK

ZK community aligned with the core Web3 mission: ZkDay Istanbul roundup

The ZkDay Istanbul event offered exposure and networking opportunities to new and upcoming ZK-based projects and entrepreneurs.

As zero-knowledge (ZK) technology marches its way toward solving mainstream use cases, the community backing the disruptive tech continues to grow stronger. Over 1,200 ZK developers, community members and enthusiasts, including Ethereum co-founder Vitalik Buterin, attended the latest zkDay Istanbul event. 

ZK meetups attract 1,500 to 4,000 attendees, and zkDay Istanbul — as a platform for knowledge sharing and collaboration — witnessed a significant increase in enthusiasm as well. The event was built on top of the success of zkDay Paris, which attracted early-stage ZK startups and market leaders.

ZK-focused projects from various stages built connections and interacted with top members of zkDay sponsor projects, such as Manta Network, co-hosted by Polyhedra Network and =nil; Foundation. Kenny Li, the chief operating officer and co-founder of the Manta Network, spoke to Cointelegraph about zkDay. He said:

“The interest and attendance for zkDay is a testament to the community’s interest in the space, and we are excited to see that interest continuing to grow from country to country.”

Additionally, zkDay Istanbul ran alongside Devconnect 2023, an event dedicated to Ethereum community, builders and researchers.

Manta Network co-founder Kenny Li (left) and Ethereum co-founder Vitalik Buterin (right) at zkDay Istanbul 2023. Source: Cointelegraph

The zkDay Pitch competition saw participation from numerous high-quality projects, many of which have previously topped competitive events such as ETHGlobal. Li anticipates future collaborations with zkDay Pitch sponsor ETHGlobal to provide greater exposure to promising upcoming projects.

Abner Jia, the CEO of Polyhedra Network, echoed Li’s optimism about the ZK community’s growth, highlighting the surge in interest in ZK technology:

“With more projects and enthusiasts joining the ZK ecosystem, it’s clear that the community is on a strong growth trajectory.”

Improving user experience remains a common goal across the ZK community as projects strive to onboard users into the next-generation consumer products. Li added:

“That’s why we are so focused on our universal circuits at Manta Pacific, where we can offer ZK-as-a-service so developers can hit the ground running, launching EVM [Ethereum Virtual Machine]-compatible decentralized applications that leverage ZK without having to figure out the cryptographic elements.”

Attendees of zkDay Istanbul highlighted the ZK community’s strong convergence to the core mission of developers, users and community in Web3 in general. Despite the surface-level differences in focus areas and priorities, such as privacy, scalability and real-world applications, the fundamental ethos of decentralization and innovation remains consistent between the two communities.

The year-over-year growth in the ZK dev community suggests that the future of ZK technology holds incredible promise. Jia believes that collaboration remains key for the ZK ecosystem to thrive. “We are all striving for a fair, decentralized future. Leveraging zk is just another step to get there!,” added Li. 

Speaking about the future of ZK, Jia also revealed Polyhedra’s newly deployed distributed proof system on zkBridge, named deVirgo. “We are open for collaborations. Entrepreneurs looking to make a mark in this space should closely watch our progress and implementations. It’s essential to keep up with the latest developments in zk technology, as it’s a rapidly evolving field,” he concluded.

The budding ZK community is exploring use cases that can be directly applied to drive next-generation consumer products using intuitive EVM-compatible decentralized applications.

Canadian court orders $1.2M Bitcoin loan repayment

Can crypto Privacy Pools help balance privacy and regulation?

When it comes to privacy and regulation, could Vitalik Buterin’s Privacy Pools be the answer?

Ethereum co-founder Vitalik Buterin recently authored a research paper, the primary focus of which was integrating privacy features into blockchain transactions while ensuring compliance with a range of regulatory requirements.

Experts from various backgrounds collaborated on this research project, including early Tornado Cash contributor Ameen Soleimani, Chainalysis chief scientist Jacob Illum, and researchers from the University of Basel.

The diverse team reflects the interdisciplinary nature of the research, drawing insights from cryptocurrency, blockchain security and academic scholarship.

The paper suggests a protocol known as “Privacy Pools,” which can act as a regulation-compliant tool aimed at improving the confidentiality of user transactions.

How do Privacy Pools work?

Privacy Pools, as Buterin and the team explain in the research paper, aim to protect the privacy of transactions while separating criminal activities from lawful funds by organizing them into isolated sets or categories, allowing users to prove to regulators that their funds are not mixed with illicit funds.

This is accomplished through the use of techniques like zero-knowledge proofs to demonstrate the legitimacy of the transactions and the absence of involvement with criminal activities.

Zero-knowledge proofs are cryptographic techniques that allow one party (the prover) to demonstrate knowledge of a specific piece of information to another party (the verifier) without revealing any details about the information itself.

When users want to take their money out of the Privacy Pool, they can choose to create a zero-knowledge proof. This proof does two things: First, it confirms that the user’s transaction is legitimate and doesn’t involve a blockchain address associated with criminal activity. Second — and more importantly for users — it keeps their identities private.

Association sets

Another crucial part of how Privacy Pools work is the idea of “association sets,” subsets of wallet addresses within a cryptocurrency pool. When making withdrawals from the pool, users specify which association set to use. These sets are designed to include only noncritical or “good” depositors’ wallet addresses while excluding those considered “bad” depositors.

The purpose of association sets is to maintain anonymity, as withdrawn funds can’t be precisely traced to their source. However, it can still be proven that the funds come from a noncritical source.

Association set providers (ASPs) create these sets and are trusted third parties responsible for analyzing and evaluating the pool’s contributing wallets. They rely on blockchain analytics tools and technologies used in Anti-Money Laundering and transaction analysis.

Association sets are formed through two distinct processes: inclusion (membership) proofs and exclusion proofs.

Membership proofs include “good” transactions, while exclusion proofs include “bad” transactions. Source: Buterin et al., 2023

Inclusion, also known as membership, is the process of curating a selection based on positive criteria, much like creating a “good” list. When considering deposits, for instance, you examine various options and identify those with clear evidence of being secure and low-risk.

Recent: Multiple buyers consider purchase and relaunch of ‘irreparable’ FTX

Exclusion involves forming a selection by focusing on negative criteria, much like compiling a “bad” list. In the context of deposits, ASPs evaluate different options and pinpoint those that are evidently risky or unsafe. Subsequently, they generate a list that comprises all deposits except for the ones categorized as risky, thereby excluding them from the list.

Eve’s deposit comes from an untrusted source. Source: Buterin et al., 2023

The paper takes an example of a group of five people: Alice, Bob, Carl, David and Eve. Four are honest, law-abiding individuals who want to keep their financial activities private. 

However, Eve is a thief or hacker, and this is well known. People may not know who Eve really is, but they have enough proof to know that the coins sent to the address labeled “Eve” come from a “bad” source.

When these individuals use the Privacy Pool to withdraw money, they will be grouped together by ASPs with other users based on their deposit history via association sets.

Alice, Bob, Carl and David want to make sure their transactions are kept private while reducing the chances of their transactions looking suspicious at the same time. Their deposits have not been linked to any potential malicious activity, so the ASP chooses for them to be associated only with each other. So, a group is created with just their deposits: Alice, Bob, Carl and David.

Eve, on the other hand, also wants to protect her privacy, but her own deposit — which comes from a bad source — cannot be left out. So, she’s added to a separate association set that includes her deposit and the others, forming a group with all five user’s deposits: Alice, Bob, Carl, David and Eve.

Essentially, Eve is excluded from the original group with the trusted deposits (Alice, Bob, Carl and David) but is instead added to a separate group that includes her transactions and the others. However this doesn’t mean that Eve can use the privacy pool to mix her funds.

Now, here’s the interesting part: Even though Eve doesn’t provide any direct information about herself, it becomes clear by the process of elimination that the fifth withdrawal must be from Eve, as she’s the only one associated with all five accounts in the withdrawal records (since she was added to the separate group that included all five deposits).

Association sets help Privacy Pools by separating trustworthy users from questionable ones.

This way, transactions from reliable sources stay private, while any shady or suspicious ones become more visible and easier to spot.

This way, malicious actors can be tracked, which can satisfy regulatory requirements since the bad users won’t be able to use the pools to hide their activities.

What are others saying about the proposals?

Buterin’s paper has sparked discussions and garnered attention from the blockchain community and industry experts. Ankur Banerjee, co-founder and chief technology officer of Cheqd — a privacy-preserving payment network — believes Privacy Pools can make it easier for noncentralized entities to identify bad actors.

Banerjee told Cointelegraph, “The approach outlined could make this kind of money laundering analysis more democratized, and available to DeFi protocols as well. In fact, in the case of crypto hacks, it’s very hard to prevent hackers from trying to launder what they’ve stolen via DeFi protocols — it’s only centralized exchanges where they can be more easily caught/stopped.”

Seth Simmons (aka Seth For Privacy), host of the privacy-focused podcast Opt Out, told Cointelegraph, “While the concept is technically interesting in that it does minimize the data given over to regulated entities, it asks and answers the wrong question. It asks the question ‘What privacy are we allowed to have?’ instead of ‘What privacy do we need to have?’”

Simmons continued, saying, “For years now, there has been no balance between user anonymity and regulatory compliance, with the current ruling powers having an almost total visibility into the actions we take and the ways we use our money.”

“Privacy Pools must seek to right this imbalance by providing the maximum privacy for users possible today instead of attempting to lessen that privacy to please regulators.”

Banerjee expressed concerns about the built-in delays for adding deposits to association sets, stating, “Tokens can’t immediately get included in a ‘good’ or ‘bad’ set since it takes some time to figure out whether they are ‘good’ or ‘bad.’ The paper suggests a delay similar to seven days before inclusion (this could be higher or lower).”

Banerjee continued, “But what’s the right amount of time to wait? Sometimes, like in the case of crypto hacks, it’s very obvious soon after the hack that the coins might be bad. But in the case of complex money laundering cases, it might be weeks, months or even years before tokens are figured out to be bad.”

Despite these concerns, the paper says deposits won’t be included if they are linked to known bad behavior such as thefts and hacks. So, as long as malicious behavior is detected, this should not be a concern.

Additionally, people with “good” deposits can prove they belong to a trusted group and gain rewards. Those with “bad” funds can’t prove their trustworthiness, so even if they deposit them in a shared pool, they won’t gain any benefits. People can easily spot that these bad funds came from questionable sources when they’re withdrawn from a privacy-enhancing system.

Recent regulatory actions

Recent actions within the blockchain space have underscored the critical need for privacy and compliance solutions. One notable incident involved the United States government imposing sanctions on Tornado Cash, a cryptocurrency mixing service.

This move was prompted by allegations that Tornado Cash had facilitated transactions for the North Korea-linked hacking group Lazarus. These sanctions effectively signaled the U.S. government’s heightened scrutiny of privacy-focused cryptocurrency services and their potential misuse for illicit purposes.

Chris Blec, host of the Chris Blec Conversations podcast, told Cointelegraph, “It’s the easy way out to just look at recent news and decide that you need to start building to government specifications, but sadly, that’s how many devs will react. They’re not here for the principle but for the profit. My advice to those who care: Build unstoppable tech and separate it from your real-world identity as much as possible.”

Magazine: Slumdog billionaire 2: ‘Top 10… brings no satisfaction’ says Polygon’s Sandeep Nailwal

As the adoption of cryptocurrencies and decentralized applications continues to grow, governments and regulatory bodies worldwide grapple with balancing enabling innovation and safeguarding against illegal activities.

Simmons believes it is better to have tools governments cannot shut down: “Regulators will continue to push the imbalance of privacy and surveillance further in their direction unless we actively seek to build tools that give power back to the individual.”

He continued, “Tornado Cash is a perfect example of this, as they even went above and beyond and complied with regulators as much as was technically possible, and yet that wasn’t enough for ‘them.’ Even after supposedly becoming compliant, they remained a target of the U.S. government because governments do not want a balance between compliance and privacy — they want total surveillance, which leads to total power.”

“What we need to build in the space are tools (like Tornado Cash) that are resistant to state-level attacks and impossible to shut down or censor, as this is the only way to ensure we have tools at our disposal to defend our freedoms and keep governments in check. Privacy or bust.”

Canadian court orders $1.2M Bitcoin loan repayment

DeFi liquidity protocol adds Consensys-developed zkEVM rollup Linea

The co-founder of the liquidity protocol said the zk roll-up-based scalable solution has the potential to solve the scalability dilemma put forward by Ethereum co-founder Vitalik Buterin.

Amid the growing popularity of zero-knowledge (ZK) proof based layer-2 scalable solution, decentralized finance liquidity protocol Symbiosis has added support for Linea, a zkEVM-based Consensys-developed scalable solution for cross-chain swaps.

Symbiosis said in a statement that Linea is a developer-ready zkEVM roll-up type, which means it is Ethereum-compatible and thus lets developers reuse a lot of existing infrastructure for creating multi-asset-based solutions. Linea comprises 100+ protocols, developer tools, and decentralized applications (Dapps), making it a useful scalable tool for developers in the Ethereum ecosystem.

Symbiosis Finance broke into the mainstream with its stablecoin liquidity solution in March 2022. Since then the cross-chain liquidity provider has integrated several other layer-2 scalable solutions.

Earlier in April, the protocol integrated zkSync, another zk rollup developed by Matter Labs. The integration helped the protocol to provide one-click swaps from Ethereum, Polygon, Avalanche, BNB Chain, Telos and other blockchains to zkSync and back. Apart from zkSync, the cross–chain liquidity protocol has also added other popular L2 solutions, including Polygon’s zkEVM, Optimism, and Arbitrum since April.

Cointelegraph contacted Symbiosis co-founder Nick Avramov to get insight into the protocol’s experience with L2 solutions, what made them choose Linea and how the solution stands in comparison to other L2s. Avramov told Cointelegraph that Linea perfectly aligns with the protocol’s strategy to support the most popular L2s and the decision to integrate it was based on the community feedback and requests from partners such as OpenOcean, OKX DEX and more, that are using Symbiosis SDK/API.

Talking about the rise of ZK rollups as a prominent L2 force, Avramov said:

“zk roll-ups have better user onboarding capabilities as they are targeting new domains like Gamefi, Social etc. to engage more people without security sacrifice as most of these new domains rely on Ethereum + cost less."

Zk solutions are a natural evolution of rollups, he said, adding "I believe at some point Optimistic rollups will cease to exist."

Related: ConsenSys zkEVM set for public testnet to deliver secure settlements on Ethereum

Avramov noted that zk rollups are the true L2 solutions and have the potential to resolve the cross-chain/multi-chain dilemma, an issue that was raised by Ethereum co-founder Vitalik Buterin in January 2022.

Symbiosis said the integration of zk rollups has already helped it scale and increase its transaction throughput by 300% month on month with cross-chain trading volume soaring past $500 million. The liquidity provider believes with the integration of Linea, cross-chain swaps can surpass the billion dollars in volume in the coming couple of months.

Collect this article as an NFT to preserve this moment in history and show your support for independent journalism in the crypto space.

Magazine: Crypto audits and bug bounties are broken: Here’s how to fix them

Canadian court orders $1.2M Bitcoin loan repayment

ZkSync launches new STARK-based proof system with a focus on mass usability

The latest proof system promises better throughput than the current 100 TPS rate and reduces costs in the long term.

Ethereum layer-2 scaling solution zkSync Era has launched a new Scalable Transparent Argument of Knowledge (STARK)-based proof system called Boojum that promises to run on consumer-grade general processing units (GPUs).

ZkSync Era is one of a handful of Ethereum scaling protocols using zero-knowledge rollups (ZK-rollups) to increase capacity and speed while reducing fees. ZK-rollups mostly use two prominent proof systems: zk-STARKs and Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (zk-SNARKs).

The new Boojum proof system is based on a Rust-based cryptographic library from zkSync that implements an upgraded version of arithmetic circuits for zkSync Era and its ZK developer stack. Most importantly, it allows Boojum provers to be run on everyday personal computers instead of powerful hardware and servers.

The upgrade can run on computers with only 16 gigabytes (GB) of GPU random-access memory (RAM), ensuring regular users can participate in network activity. For context, zkSync currently runs on a cluster of 100 GPUs, each with 80 GB of RAM.

Before the launch of Boojum, zkSync was mainly dependent on zk-SNARKs, which were capable but comparatively less transparent than zk-STARK-based systems. The earlier system processed about 100 transactions per second, while Boojum promises to offer superior processing capabilities.

Related: Privacy, scaling drives use cases for zero-knowledge technology

In the final stage of the implementation, the new proof will wrap the STARK proofs with a non-transparent pairing-based SNARK. It will essentially be a slightly upgraded version of the current SNARK-based proof system. This proof requires less storage and is cheaper to verify, which drives down the cost of the proof system, and, therefore, the transactions themselves.

Boojum is currently live on the zkSync Era mainnet for testing, generating and verifying “shadow proofs.“ Developers are currently testing shadow proofs with real production data before complete migration and larger use. The new system will be upgraded without any regenesis.

Collect this article as an NFT to preserve this moment in history and show your support for independent journalism in the crypto space.

Magazine: Here’s how Ethereum’s ZK-rollups can become interoperable

Canadian court orders $1.2M Bitcoin loan repayment

Vitalik Buterin wants Bitcoin to experiment with layer2 solutions just like Ethereum

Buterin also lauded the recent rise of Ordinals and believes it has brought the builder culture back to the Bitcoin ecosystem.

Ethereum co-founder Vitalik Buterin believes the Bitcoin network needs scalable solutions like the zero-knowledge (ZK) rollups to become more than another payment network. Buterin’s comments came during a Twitter space hosted by Bitcoin developer Udi Wertheimer with discussions revolving around Ethereum’s scaling experiments.

A ZK-rollup chain is an off-chain protocol that operates on top of the Ethereum blockchain and is managed by on-chain Ethereum smart contracts. It offers a more scalable and faster way to verify transactions without sharing critical user information.

The Ethereum co-founder shed light on how Ethereum has managed to incorporate various scaling solutions over the years and the recent experiment with ZK rollups and Plasma has given better throughput. Buterin cited the example of Optimism and Arbitrum as two successful examples of “rollups” that could be looked as case studies for Bitcoin.

“I think if we want Bitcoin to be more than payments, it needs more scaling solutions,” Buterin added,

Scalability has been a long-drawn point of discussion for Bitcoin and Ethereum over the years. While the Ethereum network has shifted from a proof-of-work to a proof-of-stake network, it is also experimenting with various layer-2 solutions like ZK roll-ups and Plasma.

Related: Zero-knowledge proofs coming to Bitcoin, overhauling network state validation

On the other hand, Bitcoin’s layer-2 solution lightning network has been crucial to its scalability aspirations and lately, Bitcoin ordinals have also joined in on the scalability bandwagon and helped the Bitcoin network become more than just another payment layer. Buterin also lauded the rise of Ordinals and said that he thinks Ordinals have brought back the builder culture into the Bitcoin ecosystem.

Bitcoin Ordinals are the latest layer-2 solution enabling decentralized storage of digital art on the Bitcoin blockchain. Its popularity soared fast and by the end of June, Bitcoin Ordinals inscriptions led to more than $210 million in trading volume.

Collect this article as an NFT to preserve this moment in history and show your support for independent journalism in the crypto space.

Magazine: ‘Moral responsibility’ — Can blockchain really improve trust in AI?

Canadian court orders $1.2M Bitcoin loan repayment

Zero Barriers podcast series: Crypto adoption fueled by ZK-rollups

The podcast series is produced in collaboration with StarkWare and explores the future of ZK-rollups as an Ethereum layer-2 solution.

Cointelegraph is launching Zero Barriers, a special six-part podcast series in collaboration with StarkWare. The series, which features as part of the Decentralize with Cointelegraph podcast, will explore the evolving world of zero-knowledge rollups (ZK-rollups) and the next steps for the adoption of blockchain technology.

Throughout the series, three different hosts from the Cointelegraph team will be joined by different guests from the StarkWare ecosystem. Zero-knowledge protocols or rollups have become a prominent layer-2 scaling feature in the crypto ecosystem, especially for the Ethereum blockchain.

In the first episode, titled: “How blockchain is taking on the world,” StarkWare CEO and co-founder Uri Kolodny sits down with its chief architect Eli Ben-Sasson to explore the future of Ethereum and why they believe in the success of blockchain technology. The episode is co-hosted with Nathan Jeffay of StarkWare.

ZK technology allows one party to prove the existence of information to another party without revealing the data itself. Multiple scaling solution providers have developed their own ZK-rollup protocols, with StarkWare launching Starknet in November 2021.

Starknet is a decentralized validity rollup or ZK-rollup, which operates as an Ethereum layer 2, enabling any app to scale on the network. Recently, Starknet moved one step closer to becoming fully Ethereum Virtual Machine (EVM) compatible, pending an August testnet launch of Kakarot, a new zero-knowledge EVM.

ZK-rollups increase throughput on the Ethereum mainnet by moving computation and state storage off-chain. The technology can process thousands of transactions per second (TPS), greatly improving the roughly 30 TPS handled by the Ethereum mainnet. And it can achieve this without sharing sensitive transaction data, making it a prominent privacy-focused scaling solution.

ZK has emerged as an effective scaling technology, and this podcast series aims to offer exclusive insights into the ZK ecosystem from those building the technology. Tune in and listen to the Zero Barriers series on Spotify, Apple PodcastsGoogle Podcasts, or your podcast platform of choice.

Cointelegraph does not endorse the content of this article nor any product mentioned herein. Readers should do their own research before taking any action related to any product or company mentioned and carry full responsibility for their decisions.

Canadian court orders $1.2M Bitcoin loan repayment

Are ZK-proofs the answer to Bitcoin’s Ordinal and BRC-20 problem?

Zero-knowledge proofs could be a viable means to address recent network congestion and high fees on the Bitcoin blockchain.

The Bitcoin (BTC) network has faced a litmus test in recent weeks due to the increased demands of Ordinals and BRC-20 tokens being inscribed onto the preeminent blockchain. 

The resulting increase in fees and transaction congestion has left the wider Bitcoin community frustrated, considering that some BRC-20 tokens involve meme tokens that have attracted billions of dollars in capital in recent weeks.

The Ethereum ecosystem has benefitted from the development of scaling solutions that have brought massive improvements in network capacity and processing ability. Zero-knowledge proofs (zk-proofs) in particular have grabbed headlines over the past few months, with a number of projects adopting the scaling technology.

Cointelegraph spoke exclusively to Eli Ben-Sasson, the co-founder of Ethereum-focused StarkWare and the pioneer of zk-STARKs (zero-knowledge Scalable Transparent Argument of Knowledge), to explore whether the technology could be the answer to Bitcoin’s latest challenge.

Zk-proofs are cryptographic protocols that allow a party to prove a statement or data is true without revealing any information. The technology assures privacy and security while adding capacity to blockchains in particular, by reducing the computational load needed to verify transactions and other data and information stored on chain.

Related: zk-STARKs vs. zk-SNARKs explained

The renowned mathematician and cryptographer credits Bitcoin for starting his journey of exploration around the promise of validity, cryptographic and zero-knowledge proofs to improve blockchain technology. Highlighting the "deeply entwined" nature of the scaling solutions and blockchains, Ben-Sasson summed up the potential for zk-proofs to benefit the Bitcoin network:

“Validity proofs and STARKs allow you in a very efficient way to use the integrity of math to extend the orbit of integrity that a blockchain covers to invite anyone to participate and add more capacity to the network.”

Bitcoin’s blockchain will continue to act as an inner circle of integrity, while zk-proofs extend the origin of integrity and bring in more capacity, creating what Ben-Sasson described as a "positive flywheel" effect:

“The more capacity you bring, the more social functions can be used, even if it's money, you can do micro payments, or you can add new things if you allow smart contracts. And then there's more trust in the system and it adds more value.”

Ben-Sasson reiterated his belief that the Bitcoin network could see greater integrity and efficiency from the mathematical benefits afforded by validity proofs. He added that the likes of Bitcoin developers Greg Maxwell, Gavin Andresen and Mike Hearn had been early proponents of STARK transparent proofs of validity and privacy, which do not require trusted setup and remain quantum secure.

Related: Ordinals and BRC-20 will disappear in a matter of months, says JAN3 CEO

The potential for Bitcoin, which first and foremost acts as decentralized hard money, to allow more general forms of computation and social functions remains a discussion point for its community. For Ben-Sasson, the potential of incorporating zk-proofs is clearly being driven by the demand in the market for extra functionality on top of Bitcoin that is being powered by BRC-20 tokens:

“For it (BRC-20) to really have the level of integrity that is offered by Bitcoin, there must be a hard fork that allows these things to be verified and validated and have the integrity of Bitcoin. And that's a huge decision and a huge debate point.”

As previously reported by Cointelegraph, ZeroSync Association is a newly formed startup that is developing zk-proof powered tools allowing users to validate the state of the Bitcoin network without having to download the blockchain or trust a third party for verification.

ZeroSync’s validity proof allows users to verify Bitcoin’s chain state instantly, removing the need to download over 500GB of blockchain data currently required to sync a Bitcoin node.

ZeroSync co-founder Robin Linus told Cointelegraph that its chain state proof does not solve network congestion directly, but would remove the need for users to download inscriptions that have been clogging up the Bitcoin blockchain.

However zk-proofs still hold promise in helping remedy current network congestion. Linus said ZeroSync has also developed a Bitcoin client-side validation protocol dubbed zkCoins, which allows processing up to 100 token transactions per second:

“It uses inscriptions, but the on-chain footprint is much lower than BRC-20, and it does not bloat the UTXO set.”

Linus added that a SNARK (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) verifier on Bitcoin’s main layer could enable an entire spectrum of scaling solutions including zk-rollups, trustless bridges to sidechains as well as the potential to peg BTC onto zkCoins to enhance privacy and increase throughput:

“It's fantastic to see that validity proofs are gaining more traction in the Bitcoin community now. People have already started discussing a new opcode on the bitcoin-dev mailing list.”

Linus also noted that other Bitcoin layer-2 scaling solutions such as the Lightning Network, Fedimint and Chashu, which are privacy-preserving custodians based on Chaumian eCash, have seen increased interest following network congestion driven by Ordinals and BRC-20 minting. 

Magazine: ZK-rollups are ‘the endgame’ for scaling blockchains: Polygon Miden founder

Canadian court orders $1.2M Bitcoin loan repayment

Polygon launches a zk-STARK scaling solution for DApp deployment

The move is expected to improve the validation process for DApps on the Polygon network.

Polygon, a layer two scaling solution for Ethereum compatible blockchains, stated in a press release provided to Cointelegraph that it has launched its zk-STARK powered Miden Virtual Machine for the development of decentralized applications, also known as DApps.

zk-STARK stands for zero-knowledge Scalable Transparent ARgument of Knowledge. In layman's terms, zero-knowledge technology allows one party to prove to another that they hold private information (such as a password) without revealing what that information is. STARK is one such method to algorithmically obfuscate, prove or verify such information. Polygon has committed over $1 billion for the development of zero-knowledge technology.

One application of zk-STARK is for use in complex decentralized finance, or DeFi, such as decentralized car insurance or healthcare products, due to the need for identity verification. zk-STARK and similar schemes can redact sensitive information on digitized assets, such as driver's license or passport copies, as well as reduce their size for fast verification by blockchain participants.

It would ensure that nodes can certify the authenticity of such documents without them coming into contact with users' actual personal data — thereby diminishing privacy concerns and establishing trust for the DeFi product. But it can also be used to simplify cryptographic proofs in consensus mechanisms and improve computational performance.

Sandeep Nailwal, co-founder of Polygon, said the following in regards to the development:

ZK is the way ahead for Ethereum and Miden VM is one of the most important elements in Polygon’s roadmap for Ethereum scalability. It will simplify and accelerate validation for DeFi apps and cryptocurrencies — enhancing the speed and scale of the Polygon ecosystem.

Canadian court orders $1.2M Bitcoin loan repayment