
Accelerate verifiable computing
Argument combines zero-knowledge cryptography, formal verification and distributed consensus technologies to build systems for unbreakable, scalable, private, decentralized software. Argument Computer Corporation is a Y Combinator company (Winter 2022). YC-listed status: Active.