DaiLambda
DaiLambda is a Kyoto-based private R&D firm that builds OCaml-based developer tools for the Tezos blockchain, including the SCaml compiler, Optz optimizer, and Plebeia storage system, funded by commissioned open-source research contracts from international nonprofit foundations.
- Company typePrivate
- Founded2018
- HeadquartersKyoto, Japan
- Headcount1–10
- GTM typeB2B
- OfferingSoftware
DaiLambda firmographics
Firmographics- Name
- DaiLambda
- Legal name
- DaiLambda, Inc.
- Website
- https://dailambda.jp
- Company type
- Private
- Founded year
- 2018
- Operating status
- Operating
- Headcount range
- 1–10 employees
- Short description
- DaiLambda is a Kyoto-based private R&D firm that builds OCaml-based developer tools for the Tezos blockchain, including the SCaml compiler, Optz optimizer, and Plebeia storage system, funded by commissioned open-source research contracts from international nonprofit foundations.
- Ownership category
- akta.pro rank
DaiLambda industry classification
Industry- Product category
- Blockchain Infrastructure / Developer Tools
- NAICS
- Computing Infrastructure Providers, Data Processing, Web Hosting, and Related Services (518), Computer Systems Design and Related Services (5415)
- akta.pro primary industry
- Smart Contract Developer Platforms & Tooling (SDKs, APIs, frameworks, indexing) (FSAPAAAH)
- akta.pro secondary industries
- Decentralized Data Availability & Storage Verification (DA layers, proofs of storage/replication, audit networks) (FSAPALAH), Testing, Simulation & Local Dev Environments (testnets, forks, fuzzing, CI) (FSAPABAG)
Keywords
Where DaiLambda is headquartered
LocationHeadquarters
- HQ city
- Kyoto
- HQ country
- Japan
- HQ region
- Asia
Markets served
DaiLambda business model
Business model- GTM type
- B2B
- Offering type
- Software
- Cost components
- Personnel, Technology or R&D, Operations, Infrastructure
Distribution channels1 record
Marketing channels4 records
DaiLambda product offering
Product offeringCore offering
DaiLambda develops and maintains open-source developer tools for the Tezos blockchain ecosystem. Its three core products are SCaml (a compiler from a strict OCaml subset to Tezos Michelson smart-contract bytecode), Optz (a Michelson program optimizer that uses rule-based rewriting and A* search to reduce bytecode size by up to 22%), and Plebeia (an append-only functional storage system based on Merkle Patricia binary trees that reduces Tezos state storage footprint and supports Merkle proofs for lightweight wallets). The company also contributes directly to the Tezos core protocol, including context flattening that delivered a 30% node speedup in the Hangzhou upgrade.
Product overview
DaiLambda is a blockchain core development company specializing in Tezos infrastructure. The product portfolio consists of development tools for the Tezos ecosystem: SCaml is a high-level smart contract programming language (OCaml to Michelson compiler); Optz is a Michelson code optimizer; and Plebeia is a Merkle Patricia tree storage system. These products form a developer toolkit for building and optimizing Tezos blockchain applications.
Differentiator
Problem solved
Functional benefit
Brands
- SCaml: An OCaml compiler targeting Michelson for Tezos smart contracts.
- Optz
- Plebeia
Products and services
- SCaml A strictly typed, purely functional programming language and compiler that compiles a strict subset of OCaml to Michelson, the stack-based VM language for Tezos smart contracts. It is designed to enable OCaml programmers to write Tezos smart contracts with minimal learning curve and free reuse of the OCaml tooling ecosystem. Targeted at Tezos smart contract developers.
- Optz Michelson Optimizer An optimizer for Michelson programs (the base language for Tezos smart contracts) that takes Michelson code as input and returns a smaller, more efficient equivalent program. Combines dozens of rule-based opcode rewrites with A* search for optimal stack manipulation, achieving up to -22% encoding size reduction. Targeted at Tezos smart contract developers.
- Plebeia An append-only style data storage system based on Merkle Patricia binary tree, implemented in OCaml, optimized for blockchain data under 40 bytes. Reduces Tezos state repository to less than 70% of Irmin2 storage size and provides Merkle proofs for lightweight wallets. Targeted at Tezos node operators and protocol engineers.
Quantifiable outcome
- 30% node speedup via context flattening in Hangzhou upgrade
- +2 more outcomes
Companies that use DaiLambda
Customer profileSegments1 record
Ideal customer profiles2 records
DaiLambda technology and API
TechnologyTechnology focussed Yes
API detail
- Has API
- No
- API docs
- API detail
Core technology
AI maturity
App detail
Feature6 records
DaiLambda partnerships and signals
Strategic signalPartnerships
Two partnerships are on record, tiered core.
- Tezos SouthEast AsiacoreTezos SouthEast Asia commissioned DaiLambda for Tezos core technology R&D and Tezos technology outreach activities in Asia. This was DaiLambda's foundational contract and entry into the Tezos ecosystem. The partnership established DaiLambda as an official Tezos core development contributor.
- TaridescoreJoint collaboration with Tarides on improving Tezos context subsystem performance. Collaborated on context flattening (achieving 30% node speedup in Hangzhou upgrade), efficient Merkle proof encoding for layer 2 solutions, and the overall optimization of Tezos context storage. DaiLambda contributed the Plebeia perspective alongside Tarides' Irmin implementation.
Recent moves9 records
Expansion highlights4 records
DaiLambda competitors and assessment
Company assessmentDirect peers
- LIGO (Marigold/LIGO): LIGO is a statically-typed Tezos smart contract language maintained by another Tezos ecosystem contributor. Like SCaml, it targets Michelson and serves developers wanting higher-level alternatives, making it a functional substitute in the same Tezos tooling category.
- TriliTech: TriliTech is a Tezos-focused R&D company building core infrastructure, including the Michelson smart contract tooling and Tezos protocol upgrades. It is the most direct corporate counterpart to DaiLambda within the Tezos ecosystem.
- Nomadic Labs: Nomadic Labs is the primary corporate contributor to the Tezos core protocol and employs many of the protocol's designers. DaiLambda competes for the same foundation R&D grants and works in adjacent areas of the same protocol stack (context, Michelson tooling).
- Tarides: Tarides is the maintainer of Irmin (the current Tezos context store) and is DaiLambda's named co-development partner on Tezos context subsystem performance. They share the same OCaml/formal-verification DNA, the same customer base (Tezos core foundations), and overlapping product surface (Irmin vs. Plebeia).
- SmartPy (SmartPy.io): SmartPy builds a high-level smart contract language (Python-based) for Tezos (Michelson) and competes with DaiLambda's SCaml for the same developer-tooling mindshare within the Tezos ecosystem.
Emerging players
- Tweag (well-typed subsidiary/Axolotl): Tweag applies formal methods and functional programming (notably Haskell) to high-assurance systems including blockchain. It is a comparable boutique firm in formal-verification R&D with adjacent client profile (foundations, protocol teams).
- MIRAI / Tezos community developers: Various individual and small-team Tezos core community developers contribute at the same protocol layer as DaiLambda. They are loose peers in the Tezos open-source contributor community bidding for foundation grants.
Others
- Cryptium Labs (now defunct/absorbed): Historically a Tezos core contributor (baker and protocol work). Comparable in being a small specialist R&D shop serving Tezos foundations, useful as a structural reference for what a Tezos-only R&D firm looks like.
- Oxide Computer Company: Oxide applies formal methods and Rust/OCaml expertise to high-assurance systems. Like DaiLambda, it leans heavily on rigorous software engineering and a small specialized team, providing a useful comparator for boutique formal-verification engineering firms.
Market position
Strengths4 records
Weaknesses4 records
Competitive moat4 records
Key risks5 records
Key highlights6 records
Customer concentration
DaiLambda social profiles
Digital presenceDaiLambda financial estimates
Financial estimateRevenue estimate
Valuation estimate
DaiLambda leadership team
Management profileNumber of profiles
Profiles1 record
DaiLambda funding detail
Funding detailFunding overview
Funding rounds
Investors
Funding detail is available on the Subscription and Enterprise plan.Contact sales →
DaiLambda M&A and investment
M&A and investmentM&A
Investments
M&A and investment is available on the Subscription and Enterprise plan.Contact sales →
Frequently asked questions about DaiLambda
What does DaiLambda do?
DaiLambda develops and maintains open-source developer tools for the Tezos blockchain ecosystem. Its three core products are SCaml (a compiler from a strict OCaml subset to Tezos Michelson smart-contract bytecode), Optz (a Michelson program optimizer that uses rule-based rewriting and A* search to reduce bytecode size by up to 22%), and Plebeia (an append-only functional storage system based on Merkle Patricia binary trees that reduces Tezos state storage footprint and supports Merkle proofs for lightweight wallets). The company also contributes directly to the Tezos core protocol, including context flattening that delivered a 30% node speedup in the Hangzhou upgrade.
Is DaiLambda a public or private company?
DaiLambda is a private company. It is classified as founder individual operated bootstrapped and is currently operating.
When was DaiLambda founded?
DaiLambda was founded in 2018. It employs 1 to 10 people.
Where is DaiLambda based?
DaiLambda is headquartered in Kyoto, Japan, in the Asia region.
Who are DaiLambda's main competitors?
Direct peers on record are LIGO (Marigold/LIGO), TriliTech, Nomadic Labs, Tarides and SmartPy (SmartPy.io). Emerging players are Tweag (well-typed subsidiary/Axolotl) and MIRAI / Tezos community developers. Others are Cryptium Labs (now defunct/absorbed) and Oxide Computer Company.
Does DaiLambda have an API?
No public API is recorded for DaiLambda.
What industry is DaiLambda in?
DaiLambda's product category is Blockchain Infrastructure / Developer Tools. Its primary akta.pro industry code is FSAPAAAH, Smart Contract Developer Platforms & Tooling (SDKs, APIs, frameworks, indexing), with a secondary code of FSAPALAH, Decentralized Data Availability & Storage Verification (DA layers, proofs of storage/replication, audit networks). Its NAICS code is 518.