Polyhedra is the developer behind the zero-knowledge interoperability protocol zkBridge, which is, according to the company, "significantly faster" than existing proofs, both in proof generation and proof verification.