Argument Computer Corporation · Sep 2024
Compares the advantages of RISC-V zkVMs with their security and performance drawbacks, including non-deterministic bugs, reproducibility issues, and compiler mis-optimization risk.
Accelerate verifiable computing
Company research
Public company, workplace, funding, and market signals
Updated Jul 29, 2026
Overview
Small, remote, research-heavy software company building verifiable-computing infrastructure. Public materials center on zero-knowledge cryptography, formal verification, and distributed consensus, with products around Lurk, Yatima, Sphinx, and ZK light clients.
Primary product
Lurk and the broader verifiable-computing platform around it
Founded
2020
Headquarters
Boston, Massachusetts, United States
Team size
1-10
Work style
Remote
Industry
Software Development
Sub-industry
Verifiable computing / zero-knowledge infrastructure
Offices
Open Positions
0 jobs at Argument Computer Corporation
No open positions
Check back later for new openings