feat(protocol): staking based (cryptoeconomic) prover

[Brechtpd]

Describe the feature request

Good thread: https://x.com/sreeramkannan/status/1730310412904599714

Just marking this for discussion because similar to SGX, this can achieve fast (economic!) finality which will be very important, but unlike SGX this is not free. Restaking is one way to do it, but we can also allow people to stake TKO and they can be rewarded the fees collected by the protocol or something like that.

Describe alternatives you've considered

Description of the alternatives you've considered here.

Additional context

Additional context here.

[CeciliaZ030]

can be combined with open multi-client to create some majority rule stone-aged verification?

[Brechtpd]

Yep! That way participants in this network would not have to run their own full node, they could choose to accept any zk proof that shows that a certain block hash is correct and then sign off on the correctness of that block hash.

If we have lots of potential proofs, then this could be good way to use all of them in an indirect way that doesn't depend on some strict validity rules. We cannot emulate this behavior in any other way I think.

[github-actions]

This issue is stale because it has been open for 30 days with no activity.

[github-actions]

This issue was closed because it has been inactive for a week since being marked as stale.