yak.finance
Financial systems from Yak Software: infrastructure where being wrong is unrecoverable, and the reasoning behind it.
Yak’s work on financial infrastructure currently starts with two pieces: Molt Petit and the Ledger built on top of it.
LedgerRecords that stay correct and private even when someone inside — human or AI — has access to every server. No single authoritative operator: seven named institutions, machine-checked consensus, zero-knowledge certificates, hardware-backed authorisation, and a database-driver integration surface. Consensus core proven; ledger layer designed.yak.finance/ledgerdesignedin developmentMolt PetitThe consensus protocol beneath Ledger. Simple enough to explain in a minute, deterministic fast finality, and a thorough analysis of rotated, stolen and briefly exposed keys as distinct events. Safety proved in Lean 4. Paper and artifact.yak.finance/molt-petitprovenpreprint · machine-checked artifact