Polyhedra, Polygon, and StarkWare demand Matter Labs withdraw its trademark application for "zero-knowledge."