Argument Computer Corporation
Accelerate certified computing
Argument Computer Corporation develops ix, a protocol for producing cryptographic certificates that attest a computer program was built correctly. The certificates are intended to show that software does what it claims to do, addressing trust in software whose behavior may otherwise be difficult to verify.
ix compresses Lean 4 formal proofs into succinct zero-knowledge certificates. Certificates are portable and trustless, built on formally verified infrastructure, and can be generated efficiently, including for large formal mathematics libraries such as Mathlib. They support privacy-preserving disclosure, allowing theorems to be shared while proofs remain secret. The project is open source and permissively licensed, with participation welcomed through GitHub and Zulip.
12 alternatives to Argument Computer Corporation
Ranked by how well each tool replaces Argument Computer Corporation: shared features, audience, price and popularity.
Open source innovation. Mission critical reliability.
Covers 6 of 7 key features.
Free planOpen source59 out of 100 matchFreeOpen-source electronic prototyping platform enabling users to create interactive objects.
Covers 2 of 7 key features.
Open source57 out of 100 match—- 57 out of 100 matchFree
- 57 out of 100 matchFree
Open source virtualization for systems that demand isolation and control.
Covers 6 of 7 key features.
Open source57 out of 100 match—- 56 out of 100 matchContact sales
A free operating system built by a volunteer association of individuals, distributed as a
Covers 4 of 7 key features.
Free planOpen source56 out of 100 matchContact salesA flexible, source-based Linux distribution
Covers 3 of 7 key features.
Free planOpen source56 out of 100 matchContact sales- 56 out of 100 matchContact sales
- 55 out of 100 matchFree
- 55 out of 100 match—