current position：Home>ZK snark how to set CRS if there is cyclic logic in the circuit
ZK snark how to set CRS if there is cyclic logic in the circuit
2022-02-03 20:47:54 【Q & A of Denglian community】
In reading barryWhiteHat Of zk-rollup See in the implementation source code , In generating zero knowledge proof proof Function , Construct the circuit and generate the verification result key． Normal logic should not be a preset circuit ,genKeys Verification of generation circuit key , And then in roll-up Hard coded in the contract ？https://github.com/barryWhiteHat/roll_up/blob/master/src/roll_up_wrapper.cpp
But in that case ,coordinator The number of transactions received each time is not fixed , Therefore, the transaction will be checked circularly in the circuit , But the number of cycles is different ． Does this mean that every time the circuit logic changes , Need to generate different CRS. So in this case zk-rollup It feels unacceptable ．
So I want to know if there is cyclic logic in the circuit , How to deal with this situation
Take the answer 1：
barryWhiteHat Of zk-rollup Implementation is just a problem poc Version of , This problem does exist ．matter-lab and loop-ring Of rollup Realization CRS Is constant ．
author[Q & A of Denglian community],Please bring the original link to reprint, thank you.
The sidebar is recommended
- To learn blockchain technology, let's build a group school district blockchain technology
- Review of dimitra and Morpheus AMA, global blockchain agricultural technology platform
- Bitcoin public key principle
- Blockchain application series - did
- Bitcoin series - using docker to build BTC private chain
- Bitcoin series - BTC synchronous public chain, test chain and private chain
- Bitcoin series - BTC compilation and installation
- Ethereum series - Web3 js
- Experience - deploy Ethereum private chain (POA)
- Experience part - deploying Ethereum private chain (POW)
guess what you like
Ethereum series - Smart contract development and commissioning
Ethereum series - DAPP development three swordsman
IPFs series - combination of IPFs and blockchain
How can the Internet of things, big data, cloud computing, blockchain and artificial intelligence be combined to promote the development of digital economy?
The form of story telling tells you what is server, cloud deployment, virtualization, artificial intelligence, blockchain, cloud computing, big data and privacy computing
Open source Hongmeng, metauniverse, blockchain, open source collection | alot open source science and technology festival and openharmony technology forum are in hot registration
Bankless year-end summary: encrypted network will subvert the old power system
The other side of Dao: bribery in the chain and the rise of dark Dao
The first 3D chain game (CSC) of metauniverse concept seeks token in encrypted world and blockchain game
Metauniverse 3D [NFT] arrg mobile game of metauniverse blockchain [Curtis sword]
- It is said on the Internet that three arrows bought "Adidas and gear", which is actually a fraud
- How will the global network and metauniverse affect international politics?
- GIS + blockchain, a new application scenario of geospatial data, is expected in the future
- The demand for NFT, a clothing luxury brand, has soared, and metauniverse may provide opportunities for transformation
- Curtis sword CSC coin star "Q coin mode" will be launched in January
- Adaoracle ecology and its decentralized Oracle network promote the development of blockchain
- a16z：Web3. 0 ecological panorama
- Development and application of blockchain in food industry
- Chat blockchain (III)
- Ethereum smart contract - building the basic environment
- Founder of ENS: not only Eth, to be the domain name service provider of every digital resource in the world
- A piece of land is 32 million. Why do real estate tycoons buy land in the virtual world?
- Three minutes to understand why arbitrum TVL can lead in layer2
- 13th anniversary of bitcoin white paper, 13 key knowledge points
- From didi to bitcoin, towards a new era of zero friction economy
- Randomness in bitcoin
- Blockchain private Chain NEW
- Blockchain private chain
- Blockchain game: unsustainable or is the future coming?
- Chat blockchain (IV)
- What else does the meta universe lack? Immersive sound hasn't been customized for avatars yet
- Ethereum web3js calls smart contract and does not return transaction hash
- How is Block 0 confirmation implemented
- What are the testing tools for Ethereum smart contract?
- Why can't I display pictures in my wallet when I bind the tokenid with the hash returned from uploading to IPFs?
- TransferHelper: TRANSFER_ FROM_ FAILED
- How to solve the problem of solidness version and package?
- How can a token in Tron wave field and TRX Group LP, pair contract obtain the quantity of a token through LP?
- Using openzepplin library contract
- What was the initial POS consensus agreement?
- Introduction to blockchain
- What progress has filecoin made so far?
- What are the impacts of Libra compared with DCEP?
- What is a token in the blockchain?
- Is there any material that can make Xiaobai learn blockchain quickly?
- How to validate smart contracts?
- Can Ethereum's official wallet password be restored if you forget it?
- What is BiP
- How to convert byte type to integer uint in solidity
- Can this be used in the smart contract constructor?