Accelerate verifiable computing
Modern software and distributed systems are difficult to verify for correctness, privacy, and trust without relying on centralized intermediaries.
The company builds verifiable computing systems using zero-knowledge cryptography, formal verification, and distributed consensus to enable scalable, private, decentralized software.
Developers and organizations building decentralized applications and distributed systems that require verifiable, privacy-preserving computation.
CEO @ Argument Computer Corporation
Co-Founder and Chief Architect at Yatima Inc.
Co-founder and Vice President at Argument

