lem·ma/ˈlɛm.ə/noun
1an intermediate proposition, proved on the way to a larger theorem.
2a studio that ships them.
We prove small things. Then we compose them.
A research & development studio · Stellar-first · Ethereum & L1/L2 research
Abstract
Lemma Labs is a research and development studio. We build open financial infrastructure on Stellar — and study the ground it stands on, from Ethereum to the wider L1/L2 landscape. We work the way proofs are written: state the claim precisely, verify everything, publish the evidence. Every protocol we ship is a lemma — small, sound, composable. The theorem is the ecosystem.
— the studio method, applied to every claim we make.
Where we work
Smart contracts in Rust. Savings, yield, credit and real-world assets — on the network built for payments. This is where we believe, and where we ship.
Applied cryptography, zero-knowledge systems, protocol and market design — published as notes, prototypes, and audits of our own claims.
The work
— and one still withheld.
Yield on Stellar can run itself — deposits routed through Blend's lending pools, positions kept solvent by autonomous keepers, every step evidenced on-chain.
An organization's records already contain its policy; an agent that reads them carefully can write it — precisely, and enforceably.
Saving can be a single gesture — balances that earn by default on Stellar rails, secured by nothing more than a passkey.
Real-world assets become infrastructure when they compose — inputs and outputs, priced, split and recombined on Stellar.
The machine economy needs an auctioneer — agents discover paid APIs, read their terms, and pay per request. No accounts, no keys; settled on Stellar in seconds.
Where this is going
Savings, yield, credit, real-world assets and policy — open financial infrastructure that composes into a single ecosystem on Stellar.
Proof. By Lemmas 1–5, together with results not yet stated. In progress, 2026 —
∎ on completion
What comes next
This page is the teaser. The full site — research notes, protocol documentation, and the remaining lemmas — is in preparation at lemmalabs.space.