Argument
hero image
Argument Computer Corporation ACC Proven for AllArgument Computer Corporation ACC Proven for AllArgument Computer Corporation ACC Proven for All
Argument Computer Corporation ACC Proven for AllArgument Computer Corporation ACC Proven for AllArgument Computer Corporation ACC Proven for All
peek

Our Mission

Argument accelerates verifiable computing. By combining zero-knowledge cryptography, formal verification and distributed consensus technologies, we build systems for unbreakable, scalable, private, decentralized software.

star

Next Generation Provable Computing

Lurk

Lurk is a minimal, powerful and performant zero-knowledge reduction-machine, providing a small instruction set surface across a range of cryptographic backends and language frontends.

Yatima

Yatima is a certifying compiler to compile functional languages into programs of provable correctness, enabling formally verified ZK proofs of execution.

Sphinx

Sphinx is an open-source zero-knowledge virtual machine (zkVM) that can prove the execution of RISC-V bytecode, with initial tooling support for programs written in Rust.

ZK Light Clients

Our zero-knowledge light-clients allow blockchains like Ethereum, Aptos, and more, to securely and efficiently interoperate.