Verifiable computation is essential for scaling blockchains in the AI era. 
Nektar Network unlocks new generation of AI-enabled smart dapps by bringing Ethereum staking security to cryptoeconomic coprocessors via restaking. 🧵🐝

1/🔗 Ethereum's computational/storage constraints & fees limit on-chain execution, despite its security, open access and censorship resistance. Solutions like rollups help, but there's more to explore with off-chain verifiable compute devices!

2/⚙️ Coprocessors don't maintain state, but provide computation results with proofs, ensuring the work is done correctly & data stays private. 

They perform off-chain tasks without compromising blockchain's trust-free nature, ensuring input/output validity & method accuracy.

5/ 🪙 Different types of coprocessors have unique cost, latency, and security characteristics suitable for different computations: ZK, MPC, TEE, optimistic, and cryptoeconomic. 

The latter can be secured with restaking to provide cost-effective infrastructure solutions for high-stakes tasks.

4/ 📊 Coprocessors can tap into Ethereum's historical state for advanced blockchain applications, such as complex liquidity strategies, intelligent DeFi, and security monitoring systems.

3/🧠 Coprocessors are perfect for AI/ML use cases like verifiable training, inference, and execution. They ensure correct models, integrity of parameters, and proper execution steps.