当前位置:网站首页>Starkware: to build ZK "universe"
Starkware: to build ZK "universe"
2022-07-05 16:25:00 【chinadefi】
StarkWare: To construct ZK“ The universe ”
summary
StarkWare Is a ZK company , Focus on building large-scale Ethereum based on ZK Of rollup Solution . Their first product StarkEx On 2020 Launched in 2013 , And in 2021 year 11 In September, it released StarkNet.
StarkEx It's an independent ZK-rollup SaaS product , Provide specific use cases for some applications through smart contracts , Such as trading (dYdX)、NFT (ImmutableX, Sorare) and DeFi (DiversiFi).StarkNet Next iteration , Is a no permission 、 Decentralized and completely composable Networks . Composability refers to the interconnection of applications 、 The ability to coordinate and build on each other .
technology
StarkWare Built a new technology , Compress thousands of transactions into one called STARK Single validity proof of , And submit it to Ethereum L1. And SNARK comparison ,STARK There are two main advantages :
- It does not require initial trust settings .
- Comparable ratio SNARK Faster computing time . Because less computation is required , It can improve the scalability of Ethereum by several orders of magnitude .
Architecture
StarkWare The stack is mainly shared by certifiers (SHARP) And the verifier ( Exist in L1 On ) form .SHARP Bundled from different dapp Multiple transactions , And generate a proof . Then it and L1 Verifiers on share certificates . This saves costs , Because computing is shared between different applications . The verifier checks SHARP Whether the certificate is valid . If yes , Then they will be in Fact Registry share . The application can work with StarkEx Interface or directly with SHARP (StarkNet Applications ) Connect .
StarkNet Of L2 node ( Sequencer ) Every transaction will be executed , And regularly update the status to Ethereum main network . It should be noted that ,StarkNet The finality of the transaction with L1 binding , It means L2 Nodes must be verified at the same time StarkNet And etheric fang .StarkNet A solution involving Ethereum main network checkpoints is introduced , Make it very fast in rollup End to achieve effective termination . therefore , all L2 Each node contains a L1 Full nodes .
Besides , Because the state transition is controlled by the sequencer “STARK-approved” Of , In terms of encryption , Fraudulent transactions cannot be accepted on Ethereum main network . This eliminates the existence of OR Medium “ Challenge ” The necessity of cycle . All reconstruction StarkNet The complete data required for the status is published on the chain .
Data availability
StarkNet Use Validium Mechanism to achieve data availability . It is associated with ZK-rollup Almost the same , It just keeps the data down the chain , and ZK-rollup and Optimistic Rollup (OR) Keep data on the chain .Validium Only in L1 Release the validity certificate on , At the same time, keep the data off the chain . This makes Validium It can achieve quite high throughput , And reduce the cost of each transaction .
The cost of storing data off the chain is , It requires trust in third parties , This may prevent users from accessing their balances .StarkWare The goal of is through the data availability committee (DAC) Solve this problem , The committee consists of 8 Independent members , They have a copy of the transaction . They also need to maintain data by making it available at all times . If operators prevent users from using their funds , Committee members will confirm whether their request is valid .
StarkWare It is also planned to implement a Volition Mechanism , Users can choose whether to send data on the chain . It shifts data availability decisions from the application level to the user level , Even for a single transaction . If the user wants to send a high value containing all the data on the chain NFT, They can pay extra costs to transfer it to the chain . This will go through ImmutableX and Sorare To achieve .
Cairo programing language
New technology brings new requirements .Cairo It's for STARK A Turing complete programming language . It is better in performance and scalability , But this is very new . Many developers are not familiar with it , This makes it difficult for existing applications to migrate to StarkNet On . from Nethermind Developed Warp yes Cairo transpiler Of EVM.Warp Allows you to Solidity The contract is seamlessly converted into Cairo.
Cairo A breakthrough in language is , It allows only one verifier to use a certificate to confirm the integrity of the execution of many different programs .
StarkNet Vs OR
And OR Of 7 Compared with waiting time ,StarkNet Not only is there a faster cash out window , And the underlying architecture is also different .StarkNet It uses “ No state ”, You just need to L1 Store the state root of the entire state on , Users need to provide Merkle Proof to access specific status items .OR Follow a “ A stateful ” Solutions for , Each of these status items is recorded on the chain . This will lead to greater state expansion , And may prove not to be well extended when it is adopted in the future .
From the perspective of scalability ,ZK - rollup Than OR Better performance , Because they compress data more effectively , This means submitting to L1 when , Their “ Batch size ” smaller .OR Every transaction of will release data to Ethereum L1 On , StarkEx Only released to Ethereum L1 To reflect the balance of each account . Because of this method ,dYdX And L1 The interaction of is only Optimism Of 20%, It is equivalent to a decrease of about 90% The cost of .
The ecological system
StarkWare Ecosystems are growing . With in StarkNet No permission is required for the above deployment , Many developers have shown interest .StarkEx The open ecosystem and rich documentation make it easy for developers to implement it . stay StarkNet on DeFi Pooling it is possible that . It allows users to L2 There is , and DeFI Still in its birth L1 On , Many exciting things are being built .StarkNet There have been many games and NFT The game project .
StarkNet Will follow with Optimism A similar route : With a sequencer and finite dapp The white list starts the network as soon as possible , To control start-up and limit risks . Final ,StarkWare We hope to develop the ecosystem into a StarkNet“ The universe ”, At the same time, the network 、 Decentralization of nodes and infrastructure . Multiple L3 Will be in L2 above . Besides , Additional layers (L4 etc. ) It can be built on L3 Fractal layered solution on .
Conclusion
StarkNet It seems to solve the three dilemmas of blockchain : Extensibility 、 Decentralization and security ; The three can happen at the same time . It shows the use of ZK -rollup Expand the prospects of Ethereum . Ethereum has embraced one with rollup The future centered around , The user is in L2 Trade on ,L1 As the settlement layer .EIP-4488 Will further reduce rollup The transaction cost of . With a lot of support StarkNet It seems to be a powerful L2 Future competitors , because Cairo Is a new language that is not very popular with developers ,StarkWare How many talents can be attracted remains to be seen . about Validium, We must trust L2 Data availability for . Despite these challenges ,StarkWare It has been shown how to use STARK Provide effective solutions to expand Ethereum . This is a project worth looking forward to .
Source:https://medium.com/coinmonks/starkware-building-zero-knowledge-scaling-solution-c0b930faab6a
About
ChinaDeFi - ChinaDeFi.com It's a research driven DeFi Innovation organizations , We are also a blockchain development team . From all over the world every day 500 Close to a good source of information 900 In the content , Looking for deeper thinking 、 Sort out more systematic content , Provide decision-making assistant materials to the Chinese market at the fastest speed .
Layer 2 friends sharing same hobby - Welcome to Layer 2 Interested blockchain technology enthusiasts 、 Study and analyze people and Gavin( WeChat : chinadefi) contact , Discuss together Layer 2 Landing opportunities . Please pay attention to our official account of WeChat “ Decentralized financial community ”.
边栏推荐
- How can programmers improve their situation?
- 16. [stm32] starting from the principle, I will show you the DS18B20 temperature sensor - four digit digital tube displays the temperature
- Obj resolves to a set
- 18.[stm32] read the ROM of DS18B20 temperature sensor and realize multi-point temperature measurement
- 自己要有自己的坚持
- Find the root of the following equation by chord cutting method, f (x) =x^3-5x^2+16x-80=0
- Reduce the cost by 40%! Container practice of redis multi tenant cluster
- 英特尔第13代Raptor Lake处理器信息曝光:更多核心 更大缓存
- ES6 deep - ES6 class class
- 给自己打打气
猜你喜欢
Subclasses and superclasses of abstract classes
List de duplication and count the number
sql中set标签的使用
Verilog realizes the calculation of the maximum common divisor and the minimum common multiple
Convert obj set to entity set
Single merchant v4.4 has the same original intention and strength!
Flet教程之 11 Row组件在水平数组中显示其子项的控件 基础入门(教程含源码)
Which keywords will conflict with the abstract keyword
Example project: simple hexapod Walker
The database of the server is not connected to 200310060 "unknown error" [the service is up, the firewall is off, the port is on, and the netlent port is not connected]
随机推荐
The list set is summed up according to a certain attribute of the object, the maximum value, etc
Six common transaction solutions, you sing, I come on stage (no best, only better)
助力数字经济发展,夯实数字人才底座—数字人才大赛在昆成功举办
给自己打打气
CISP-PTE之PHP伪协议总结
不敢买的思考
Seaborn draws 11 histograms
The OBD deployment mode of oceanbase Community Edition is installed locally
数据湖(十四):Spark与Iceberg整合查询操作
2020-2022 two-year anniversary of creation
obj集合转为实体集合
清晰还原31年前现场,火山引擎超清修复Beyond经典演唱会
Cheer yourself up
HiEngine:可媲美本地的云原生内存数据库引擎
Use of RLOCK lock
Pits encountered in the use of boolean type in development
【学术相关】多位博士毕业去了三四流高校,目前惨不忍睹……
自己要有自己的坚持
Cartoon: what is the eight queens problem?
list集合根据对象某属性求和,最大值等