jakiro
Author: nairolf, Sensei Wu Source: Substack Translation: Shan Ouba, Bit Chain Vision Realm
ZK this, zk, brother, please don’t say these.Starknet has only 8 months users. This is a failed airdrop. No one cares about ZK Rollups.Well, let me take your time, haha.This technology is really great.
Let’s start with a simple start to understand what is zero -knowledge proof, or ZK proof.For example!
John likes to draw a beautiful tiger, but he dare not show the painting to his friends.He is shy!
His friends suspected his skills.They have never seen him painting!But John has a plan.A large tiger painting competition is about to hold.To participate, you must draw a amazing tiger painting.
If John participates and passes the qualification review, his friends will know that he can draw a tiger.Although they did not see him draw, they would eventually believe him.
John participated in the competition, drew a tiger, and won praise from the judges.His friends finally believed him!This person can really draw a tiger.marvelous!
This is like ZK proof.It is not directly displaying something, but to prove it without revealing any details.John’s proof is his qualification review.His friends did not see him draw, but they knew he could draw.
You may have understood that the advantage of ZK’s proof is that they provide privacy.
But this is not the only advantage.We will not go deep into details, but remember that the ZK certificate is faster.This actually makes sense.If we return to this example, John does not need to show his friends how to draw a tiger to his friends one by one.He only needs to show his invitation.
In addition, ZK proves that it saves memory.These proofs can be easier to verify a larger calculation amount than other proof systems.
However, there is a problem: these proof must be verified at some point.Suppose James tells you that he was accepted to participate in the competition.Very good, but do you want to confirm that this is true?
Unfortunately, Ethereum is more precisely EVM. Its virtual machine (the large computer behind Ethereum) is not designed for ZK.This makes the verification cost very high, and sometimes ZK is proved to be unavailable.
At this time Aligned Layer appeared.
Aligned
You don’t need to verify your proof directly on Ethereum, but submit these proofs to Aligned Layer.
What do you want to know?Well, Aligned Layer specifically verified the certificate.Aligning Aligned as a special verification person in a network, ready to confirm that the proof you submit is correct.
Aligned plays the role of Ethereum here.But don’t worry, they use Eigenlayer’s re -pledge to maintain the same security level as Ethereum.The same security as Ethereum has no restrictions on EVM.Cool?
So Aligned verify your proof.The next step is to publish the verification results on Ethereum.Yes, I am talking about the “verification results”.It has been verified, why should it be verified for the second time?
Now, you still have your data, that is, it is proved to be published to a certain place.Well, Aligned will publish it to Ethereum or Altda similar to Celestia.You choose.
The process of verifying the proof through Aligned Layer has become much cheaper.We are talking about the reduction of more than 10 times, really!
This is slightly faster.You don’t have to wait for your proof to be verified on Ethereum; you have received the first (soft) confirmation from Aligned Layer.
No longer restricted by EVM, many new potential cases, and the target that makes ZK prove to be the mainstream: Aligned Layer will become one of the most important participants in the field of zero -knowledge.But it is not the only one.
Nebra
Nebra is a universal zero -knowledge proof aggregation agreement based on Ethereum.It sounds a bit crazy, right?Let me explain it.
The verification of zero knowledge on Ethereum proves that it is very expensive.With Nebra, you can reduce these costs by five times.
Nebra proposed: “Why don’t we verify a large number of zero knowledge proof under the chain and pack them into a large bundle in batches, and then only verify one aggregation proof on the chain? In this way, we maintain the safety of Ethereum, but also reduce the security of Ethereum, but also reduceThe cost of each unit is very smart, right?
In addition, Nebra is common.This means that it proves that it can come from any source.Whether it is Zkroll, ZKCOPROCESSOR, ZKML or any other source, Nebra accepts these proofs.
Nebra is also no license, which means that any project can use it without applying to the team first, so that this technology can be applied on a large scale.
Several projects have used Nebra, such as WorldCoin and a brand new ZK Coprocessor -Brevis.I don’t know what Coprocessor is?Please check our previous article.
And this is the end … Wait a minute, you don’t even believe this is the end?
Succinct
Succinct is a layer of zero -knowledge proof of any blockchain.That’s right, it’s any blockchain.Its goal is to become the basic layer of zero -knowledge proof.It is impressive, right?
You may want to know how they do -or maybe you don’t want to know; let me explain it anyway.Succinct runs as an authenticator network.These verificationrs generate zero -knowledge proof on the SuccinCT network and then send proof to customers.
In order to ensure that customers get the best price, the SUCCINCT layer is divided into two parts: one market, which provides the most preferential prices for each request, and a polymerization system to reduce the unit cost by zooming each generated proof.Simple!
In essence, Succinct is like a contractor you hired to handle the proof of your proof for you.Imagine that if you do n’t draw emoticons or do n’t have time to learn this skill, then you can hire someone to complete it for you.Succinct is like this, it just exists for proof.
This article is a bit long!But as the proverb says, “big innovation requires a large space.”What can be determined is that zero knowledge proves that there is huge potential.Although we have some distance from wide adoption, these projects introduced today are helping to reduce this gap.
