Ecosystem Vision Logo
Argument Computer Corporation

Argument Computer Corporation

Argument Computer Corporation specializes in advanced cryptography and formal methods. They are developing tools like the Yatima compiler to compress formal proofs into succinct zero-knowledge proofs, targeting applications within the blockchain and crypto space.
Distributed

Description

Argument Computer Corporation (ACC) focuses on accelerating verifiable computing. They combine zero-knowledge cryptography, formal verification, and distributed consensus technologies to build systems for unbreakable, scalable, private, and decentralized software. Their projects include Lurk, a zero-knowledge reduction-machine; Yatima, a certifying compiler for formally verified ZK proofs; Sphinx, a zero-knowledge virtual machine (zkVM) for RISC-V bytecode; and ZK light clients that enable interoperability between blockchains like Ethereum and Aptos.