By expanding the programmability of crypto, Kannan says Eigencloud could make "virtually anything" verifiable on-chain, ...