Shipping web3 infrastructure
at the speed of AI.
LFG Labs is a Swiss software company building core web3 infrastructure: identity protocols, cross-chain bridges, developer tools, with AI at the center of how we design, build, and ship.
600K+ users reached · 10+ products shipped · Trusted by
What we've built
We proved smart contracts correct before deployment.
A formal verification framework for Ethereum, built for the Ethereum Foundation.
We made Safe transactions verifiable offline.
An offline transaction verification tool for Gnosis Safe, built for the Ethereum Foundation.
We made USDC available on Bitcoin.
A Starknet-Bitcoin bridge built for Starknet with Xverse.
We built a multisig security app and got acquired.
A Gnosis Safe security app built with Nexus Mutual, later acquired by OpenCover.
Cairo fully documented for better dev UX.
8,000+ lines of Cairo documentation made for Starkware.
We automated your dev research.
An AI-powered Cairo assistant built for Starkware & the Starknet Foundation.
We gave $13,671 to the winner.
A game theory experiment designed to onboard Ethereum users to Starknet.
We brought 413K players on-chain.
A retro on-chain game sponsored by 21 web3 protocols on Starknet.
We brought 614K users to web3 apps.
A gamified quest platform built for the Starknet ecosystem.
We built the most used Cairo resource.
The comprehensive Cairo programming guide, made for Starkware & the Starknet Foundation.
We got 239K on-chain customers.
The decentralized identity protocol powering 30+ apps on Starknet.