Jobs at 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.
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.
Maintainer signals as of 8/10/2026
About Argument Computer Corporation
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.
About Argument Computer Corporation
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.
No jobs published for this criteria in the past 3 months
Check back soon or explore all available positions