Cryptographic proofs, like storage proofs, can be quite large and complex for computers to verify, making them difficult for space-constrained blockchain networks to handle. Previously, “what really made storage proofs economically unfeasible, is the fact that all the computation had to happen on the blockchain,” said Kacper Koziol, co-founder of Herodotus.