exceptionally important concept from subgraph strata algebra five algebraic structures for verifiable computation. the arithmetic foundation of the cyber stack — every proof, every hash, every commitment reduces to operations in one of these five algebras. why five one algebra cannot span all…