Abdel on Nostr: Ahhh ok I guess I know why we dont understand each other now. This model is ...
Ahhh ok I guess I know why we dont understand each other now. This model is completely different thing. It's more to transform the L1 itself to a ZK L1, which is different that offloading computation to an L2 and maintain the integrity of the state root of the L2 on the L1 using ZK proofs verification.
In the model of a ZK L2 Rollup (let say Starknet on Bitcoin for the sake of the example), you would maintain the state root of Starknet L2 on Bitcoin L1, and you can move it only by submitting correct proof from moving to previous state to new state, and of course you need to submit DA as well.
But then if you submit only state diffs (which is what Starknet is doing), if you have a lot of traffic then it scales extremely well. And you can have a much bigger ratio than this.
It depends on the frequency of settlement and usage of course. But still we can achieve much bigger scale than this.
In the model of a ZK L2 Rollup (let say Starknet on Bitcoin for the sake of the example), you would maintain the state root of Starknet L2 on Bitcoin L1, and you can move it only by submitting correct proof from moving to previous state to new state, and of course you need to submit DA as well.
But then if you submit only state diffs (which is what Starknet is doing), if you have a lot of traffic then it scales extremely well. And you can have a much bigger ratio than this.
It depends on the frequency of settlement and usage of course. But still we can achieve much bigger scale than this.