/biz/ - Business & Finance

>>49983183
ZK-Rollups are too expensive for arbitrary smart contract execution. They are affordable when the circuits are very simple, as in the case of swaps and simple payments transactions, but they are impossibly expensive and unworkable for non-trivial smart contract execution. Even breakthroughs like PLONK don't bring them anywhere close to being able to support the types of complex contracts that can already be run on Arbitrum with no modification. Do you understand how the proofs are generated in systems like zksync? Do you know the prover pods are centralized? Do you know what challenges they must overcome to decentralize the provers? Currently the zksync team eats all the cloud compute costs associated with the prover pods. What is to stop me from asking them to generate lots and lots of very expensive proofs? They must censor me or they must find a way to make the users pay the costs of generating the proofs. And what about security? If I'm paying for and generating my own proofs, is the zksync team going to trust and store my proof in their private database? How do they decentralize that? There are some major, probably insurmountable, obstacles for zk rollups to overcome if they want to be a place where devs can execute any general purpose EVM-compatible smart contract.