StarkWare builds tools for proving that programs ran correctly. Its Cairo programming language and proof systems are used to verify computations for blockchain applications, including Starknet.
Former members 1
Related organizations
Based on public sources. If accuracy is important, verify details using the links or references.
For corrections, updates, or requests to remove information, contact us.