The Internet Computer is a sharded blockchain platform that can scale out by provising additional subnet blockchains. Smart contracts on one subnet can seamlessly interact with smart contracts on other subnets by X-Net messaging authenticated with threshold BLS signatures. Smart contracts are WASM modules with associated memory pages (which can store up to 404GB of data), and can interact with other smart contracts by sending asynchronous messages following the actor model. We have SDKs for Rust, TypeScript, Python and Motoko, a language purposefully designed for ICP. Furthermore developers have built smart contracts in C, C++ and Haskell.
Certain subnets are enabled with additional threshold crypto protocols. Currently, smart contracts can request ECDSA (over the Bitcoin curve secp256k10) signatures.
This allows ICP smart contracts to securely sign transactions for other chains. Further threshold crypto protocols are currently in preparation (Schnorr and EdDSA signing, as well as vetKeys).
This capability allows to send authenticated messages securly from ICP to e.g. Cosmos chains, and would be a much more efficient path than verifying BLS signatures in a Cosmos chain.
However, this does not yet help to read state from other chains.