I am so happy to see StarkNet’s swift support for EIP-4844 and the significant reduction in costs. However, as someone with a background in mathematics (and not in development) who understands the details of Rollup technology to some extent, I find this quite puzzling:
ZK Rollups require proof verification on L1, where a large part of the gas consumption is due to computation rather than storage. The computational part should not benefit from the Blob’s advantages, especially since STARK proofs are larger than SNARK proofs. It seems a considerable portion of gas is spent on zkProof verification rather than state storage.
I roughly verified this by looking at the transaction records of StarkNet: Operator—the gas limit for proofs did not significantly decrease after EIP-4844.
My guess is that the L1DA costs for zk might be higher than I imagined, so moving DA into Blobs resulted in sufficient cost reduction. I hope the community can provide more information:
Question 1: What is the approximate ratio of DA costs to proof verification costs (Before and After EIP-4844)?
Question 2: Is the data currently put into Blobs state diff? Only this approach would have a sufficient reason for the significant cost reduction.
Question 3: If the answer to question 2 is yes, it means that after the Blob expires, the data obtained on L1 cannot be used to reconstruct the L2 World state through Replay , Correct?
Additionally, I discovered the SHARP system (Shared Proving and Verifying System), which seems to be a verification system shared by StarkNet mainnet and StarkEX. From what I observed, they perform four actions:
- Verify Merkle
- Verify FRI
- Register Continuous Memory Page every one to two minutes, which happens very frequently and seems like writing data needed for verification to L1, but it’s unclear if it’s related to state diff or state-related.
- Verify Proof And Register, which happens every ten minutes to a couple of hours, likely verifying a batch of transactions after accumulating them. Starkware: SHARP Verifier | Address 0x47312450b3ac8b5b8e247a6bb6d523e7605bdb60 | Etherscan
Among these, Register Continuous Memory Page seems the most likely way to write L2 STATE into L1. However, it did not significantly decrease after EIP-4844, so it might also be providing space for zkproof verification data rather than layer 2 state?
Question 4: What exactly is Continuous Memory Page used for?
Old SHARP Blockchain Writer:
New SHARP Blockchain Writer: