liamzebedee / quark-blockchain

Horizontally scalable blockchain using STARK's and partitioned transactional memory
56 stars 2 forks source link

Client-side generated STARK proofs #3

Open liamzebedee opened 2 years ago

liamzebedee commented 2 years ago

Maybe we could make this even more performant for users by introducing client-side generated proofs.

This is a blockchain most useful for data-heavy stuff. if you can get the stark proofs down to 0.01ms, you can do a lot more

If you control all of your storage leaves, then you can generate the proof yourself and include it in the sequencer submission.

Then optimistically assume that the leaves are the right ones, else pay a sequencing cost.

This has the benefit of naturally decentralizing the execution layer, since everything can be done client-side.