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.
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.