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 .




copyright notice
author[Q & A of Denglian community],Please bring the original link to reprint, thank you.
https://en.netfreeman.com/2022/02/202202032047525476.html

Random recommended