About

Yak Software is an independent engineering and research company in Andorra, founded and led by George Agapov. Yak builds systems that have to be right when nobody is watching — where the operator may be careless, the tooling may be wrong, and a mistake may be impossible to undo.

The fields vary: private dictation, security boundaries for autonomous agents, consensus and cryptographic protocols, financial infrastructure. What connects them is a particular view of how trustworthy software should be built.

Trust the check, not the maker

Software is becoming much cheaper to produce. That makes authorship a weaker reason to trust it, not a stronger one.

Yak tries to build systems whose important guarantees can be checked independently of whoever wrote or operates them. Sometimes that means a proof checker. Sometimes several independent operators. Sometimes a hard privilege boundary, or simply measuring the thing on real hardware instead of reasoning about it.

The amount of machinery should match the cost of being wrong. Most code needs tests. Some needs measurement. A small part deserves machine-checked proofs. Novel mechanisms are useful only when they buy a guarantee that a boring one cannot.

AI makes this more important, not less. If machines can produce code, proofs and designs quickly, the scarce part becomes deciding what must be true and arranging the system so that the answer does not depend on trusting the machine that produced it.

George Agapov

Founder and leader of Yak Software; more than a decade building protocols, cryptographic and distributed systems and leading the teams that build them. More at georgeee.com.

Yak Software SLU · Andorra