This page serves as a living document to explore how a Cosmos chain (here Inco Network) can be dual-secured by using EigenLayer restaked ETH.
Context
TODO: what is Inco, what is Eigen, why dual stake. This blog post is a good intro.
Goals
Use both INCO and ETH to secure the Inco appchain.
As far as possible, use the same infrastructure for Inco's bridging.
A third consideration is that the Inco validators will additionally run a MPC network for the FHE decryption key. However, due to the current difficulties with slashing in a MPC network, we can omit this consideration in this document.