Wen fraud proofs, wen mesh security?

Hey all, I listened in on the Polygon 2.0 Twitter space this morning and they are only weeks away from what sounds a lot like mesh security. The MATIC token will soon be upgraded to POL and that can be used by stakers to secure multiple chains at the same time. I went back and read @jtremback from Informal’s beautifully detailed post about Enabling Opt-in and Mesh Security with Fraud Votes . He says, “Fraud proofs are an ongoing area of research and primarily intended for use with roll-ups, which are similar to consumer chains. A fraud proof allows you to prove that a validator signed an incorrect state transition, without needing to run a full node for the chain involved. A provider chain could accept proof that an incorrect state transition was signed by a validator and slash the stakers involved. This would enable Opt-in and Mesh security to function as intended. However, fraud proof implementations are perpetually six months from completion. It’s a very hard technical problem.” He goes on to say, “To be able to launch Opt-in and Mesh security while work continues on cutting-edge fraud proof research, we can turn to a simple mechanism: the fraud vote. This would be a…

Excerpt (1195 of 2965 characters). Read the whole post on the forum ↗

Getting fraud proofs to work with the Cosmos SDK is unfortunately not something that we have the expertise or bandwidth to take on at the Hub team, but maybe someone from the Cosmos-SDK or Rollkit teams can comment in more detail, since they are working on these things. Without fraud proofs, as I wrote in that post , we are left with fraud votes (or just running unsecure protocols). Fraud votes are extremely easy to implement, but could be tricky socially. I wrote about the challenges here: Informal Blog - 818 Post Mortem Fraud votes are even trickier from a governance perspective than voting on double signs, since just running the wrong code is a slashable offense. But anyway, once we have a use for fraud votes, deploying them is trivial. In terms of uses for fraud votes, there are two. • Mesh Security: Eigenlayer is similar to Mesh (based on it?), and I believe it is an optimal design for restaking/shared security. The Mesh Security team is working hard and we are supporting them on some of the tougher theoretical questions around slashing etc. I’ve also heard that there are teams working on connecting Mesh Security to Eigenlayer, which is exciting. • Opt-in Security:…

Excerpt (1199 of 2521 characters). Read the whole post on the forum ↗

Thanks Jehan. I appreciate your thoughtful response.