# Argument

- **Website:** <https://yatima.io>
- **Primary alias:** `yatima.io`

## Description

Yatima is a pioneering brand under Argument Computer Corporation, focused on advancing the field of verifiable computing. By leveraging cutting-edge technologies such as zero-knowledge cryptography, formal verification, and distributed consensus, Yatima delivers powerful solutions for decentralized software that ensures unbreakable privacy and scalability. At the heart of Yatima’s offerings is its certifying compiler, which expertly compiles functional languages into programs with provable correctness, facilitating the creation of formally verified zero-knowledge proofs of execution. Complementing this is Sphinx, an open-source zero-knowledge virtual machine (zkVM) designed to validate RISC-V bytecode execution, currently supporting programming in Rust. Additionally, Yatima provides zero-knowledge light clients that promote secure and efficient interoperability among blockchains, including Ethereum and Aptos. Through innovative products and a commitment to enhancing digital verification, Yatima is driving the next generation of provable computing, enabling developers and organizations to build trust in their digital frameworks.

## Industries

- 🖥 Computers Electronics and Technology
- 🖥 Blockchain and Cryptocurrency _(under Computers Electronics and Technology)_

## Links

- [github](https://github.com/argumentcomputer)
- [twitter](https://twitter.com/argumentxyz)

## Logos & icons

- logo _(primary)_ — SVG, PNG — [download](https://cdn.brandfetch.io/idGp85YHFw/theme/light/logo.svg?c=1bxid64Mup7aczewSAYMX&t=1762718405264)
- icon _(primary)_ — PNG — [download](https://cdn.brandfetch.io/idGp85YHFw/w/328/h/328/theme/dark/icon.png?c=1bxid64Mup7aczewSAYMX&t=1762718405400)

## Colors

| Name | Hex | Theme |
| --- | --- | --- |
| White | #ffffff | light |
| Black | #000000 | dark |
| Sunflower | #e8e623 | accent |

## Imagery

- banner _(primary)_ — JPEG — [download](https://cdn.brandfetch.io/idGp85YHFw/w/1500/h/500/idCGr4mVjj.jpeg?c=1bxid64Mup7aczewSAYMX&t=1762718405620)

---

_Source: <https://brandfetch.com/yatima.io>_
_See [/llms.txt](/llms.txt) for a full list of agent-readable pages, and [/auth.md](/auth.md) for how agents authenticate._