A SNARK player actually announced that he was following STARK? The STARK era with @zksync is coming so soon @Starknet is trembling!
So, what is the new version Boojum of zkSync upgrade? Why did zkSync announce its Stark upgrade so quickly? What is the essential difference between snark and stark? What impact will this upgrade have on the L2 market?
From the perspective of technical discussion, let’s quickly comment and discuss. 1/5
Simply put, Boojum is the transition version of zkSync from SNARK to STARK proof system.
This means that for a long time to come, zkSync’s Prover certification system will have the interface capability of Stark. Most mainstream needs will still use SNARK mature certification. Individual applications, especially those in the zk Stack multi-chain environment, must use the zk certification system. This can be achieved by connecting to boojum. 2/5
The key point in this circle is that Boojum is an inevitable choice for zkSync to implement the zk Stack multi-chain strategy.
Compared with STARK, SNARK proof method relies on recursive verification, which is suitable for zk deduction proof based on the same public key under the same system, while STARK proof can be based on non-interactive verification method, allowing complex non-recursive implementation in cross-chain state. verify. 3/5
This is the core difference between the two proof systems SNARK and STARK.
Compared with SNARK's verification method based on mathematical assumptions, STARK's proof process contains a large amount of redundant information, so the computational algorithm resources are relatively high and the rates are also high.
Therefore, the zkSync main chain will use SNARK as the main certification system in the future, and STARK is just an extension of its multi-chain strategy. 4/5
This is in line with zkSync's lightweight and efficient development spirit.
Therefore, zkSync’s Boojum is not in the same strategic dimension as Starknet, but it will pose certain threats to others such as Op Stark, Arbitrum orbit and polygon2.0.
You must know that zkSync's transition to STARK is equivalent to acknowledging SNARK's technical shortcomings and using the trump cards of competing products to break through its own ceiling. The pattern and ambition of this wave of L2 players are really one after another. 5/5