Argument Computer Corporation Analysis
What is Argument Computer Corporation?
Argument builds open-source infrastructure for verifiable computing, centered on zero-knowledge cryptography, formal verification, and distributed consensus. The company describes its work as accelerating verifiable computing through a fast, safe, ergonomic, portable zero-knowledge prover and a secure proof-deployment platform. Its projects target proof-driven software, blockchain interoperability, and broader use of formal methods across the computing stack.
Location
Boston, Massachusetts, United States
Employees
1-10
Founded
2020
Product Features & Capabilities
- Lurk: minimal zero-knowledge reduction-machine, small instruction set, multiple cryptographic backends
- Yatima: certifying compiler for functional languages, provable correctness, formally verified ZK proofs
- Sphinx: open-source zero-knowledge virtual machine, RISC-V bytecode execution, Rust support
- ZK Light Clients: zero-knowledge light-clients for blockchain interoperability.
Who are the founders of Argument Computer Corporation
JB
John Burnham
CEO
GB
Gabriel Barreto
Co-Founder and Chief Architect
SB
Samuel Burnham
Co-founder and Vice President
Market Focus
Argument Computer Corporation primarily focuses on the market of verifiable computing, utilizing technologies such as zero-knowledge cryptography, formal verification, and distributed consensus to develop decentralized software solutions.
Competitors Overview
The main competitors of Argument Computer Corporation in the market of verifiable computing and zero-knowledge cryptography include:
-
Auradine: This company develops infrastructure solutions utilizing zero-knowledge proofs, which can enhance privacy and security in data transactions.
-
zkPass: An oracle protocol designed for secure data sharing, zkPass focuses on enabling privacy-preserving data exchanges, which is crucial for decentralized applications.
-
zkMe: A decentralized identity platform that leverages zero-knowledge proofs to provide secure identity verification without revealing personal information.
-
Space and Time: This company offers a decentralized platform for Web3 compute, focusing on scalable and secure data processing solutions.
-
Polyhedra Network: They provide infrastructure for Web3 interoperability, facilitating seamless interactions between different blockchain networks.
-
Manta Network: A blockchain platform that specializes in zero-knowledge applications, Manta Network aims to enhance privacy in blockchain transactions.
-
Irreducible: This company specializes in zero-knowledge proofs, focusing on providing solutions that ensure data integrity and privacy.
Notable differences and advantages include:
- Focus on Decentralization: Many competitors, like Space and Time and Polyhedra Network, emphasize decentralized solutions, which can appeal to users seeking privacy and security.
- Specialization in Identity: Companies like zkMe focus specifically on identity verification, which is a growing concern in the digital age.
- Diverse Applications: Competitors like Manta Network and zkPass are exploring various applications of zero-knowledge proofs, which may offer more tailored solutions compared to Argument Computer Corporation's broader focus.
See something that needs updating? Suggest edits to this profile.