Argument Computer Corporation
YC W22Boston, US · Founded 2020 · 8 employees · 1 known investors
Argument builds zero-knowledge cryptography, formal verification, and distributed consensus systems for private and decentralized software. The company develops tools including Lurk (a ZK reduction-machine), Yatima (a certifying compiler for provably correct programs), Sphinx (a ZK virtual machine), and ZK light clients for blockchain interoperability.
AI & Machine LearningCrypto & Web3Developer ToolsEnterprise SoftwareCrypto / Web3SecurityCryptographyin /company@argumentxyz
