Argument Computer Corporation

Argument Computer Corporation accelerates verifiable computing by integrating zero-knowledge cryptography, formal verification, and distributed consensus to build private, decentralized software. They offer components like a zkVM, certifying compiler, and zero-knowledge light clients aimed at provable execution and interoperability with blockchains.

The company develops: (1) Lurk, a minimal, powerful zero-knowledge reduction-machine with a small instruction set and multiple cryptographic backends and language frontends; (2) Yatima, a certifying compiler that translates functional languages into programs with provable correctness to enable formally verified ZK proofs of execution; (3) Sphinx, an open-source zero-knowledge virtual machine that can prove execution of RISC-V bytecode with Rust tooling support; (4) ZK Light Clients that enable secure, efficient interoperation between blockchains such as Ethereum and Aptos. These components collectively enable provable, private, scalable software through zk proofs, formal verification, and distributed consensus.

Who it’s for: Organizations building verifiable, privacy-preserving, decentralized software and blockchain interoperability solutions; researchers and developers needing provable execution and formal verification for distributed systems.

Product-focused cryptography and verification tooling with multiple open-source components; no explicit funding or hiring data provided