StarkWare Industries uses Stark technology to develop a full proof stack in generating and verifying proofs of computational integrity. It was founded in 2018 and is headquartered in Netanya, HaMerkaz, Israel.