Use cases
Inventory
Find every tool, owner, seat, and cost.
Savings
Catch waste, overlap, and renewals early.
Access
Onboard and offboard across your stack.
Context
Map how people, tools, spend, and agents connect.
For
Founders
Protect runway by seeing every tool and cost.
Engineering
Control AI usage, access, and provider spend.
Finance
Reconcile software spend and find waste.
Operations
Keep inventory, access, and renewals current.
Resources & company
Resources
Guides and practical software insights.
Manifesto
Why software operations need a new model.
Press
Company news and media resources.
Partners
Build and grow with ELI.
IntegrationsStacksTools
Talk to a humanDiscover my stack
IntegrationsStacksTools
Discover my stackTalk to a human

Company

  • Home
  • Manifesto
  • Talk to us
  • Partners

Help

  • Terms of service
  • Privacy policy
  • Docs

Product

  • Inventory
  • Savings
  • Access
  • Context

For teams

  • Founders
  • Engineering
  • Finance
  • Operations

Explore

  • Integrations
  • Tools
  • Stacks
  • Startup credits
  • Articles

Socials

  • LinkedIn
  • Instagram
  • TikTok
  • YouTube
Enterprise Layer Intelligence
Categories/Developer Tools/o1Labs
o1Labs

o1Labs

Founded 2021

Build zero-knowledge smart contracts and decentralized applications using TypeScript

You can use o1Labs to develop decentralized applications and smart contracts using zero-knowledge cryptography. Through its core library o1js, developers write zk-enabled smart contracts in standard TypeScript without needing deep cryptographic expertise. It generates proofs directly inside the web browser without paying gas fees for off-chain execution, only submitting verified proofs to the Mina blockchain. This allows teams to create privacy-preserving identity systems, secure gaming logic, private voting applications, and scalable financial utilities with recursive proofs.

What o1Labs does

Write smart contracts in TypeScript using o1jsGenerate zero-knowledge proofs directly in a client web browserDeploy off-chain zkApps to the Mina Protocol networkCombine multiple zk-SNARK proofs using recursive verificationInstall cryptographic development libraries through npmVerify off-chain computation states with flat transaction feesTypeScript-based domain-specific language for zero-knowledge smart contractsIn-browser proof generation without external serversOff-chain execution model with low flat fees for verificationRecursive zk-SNARK proof system via Kimchi and PicklesNo trusted setup required for proof constructionFull integration with standard npm packages and JavaScript toolingNative programmability for end-user data privacy

Frequently asked

npm, TypeScript, Mina Protocol

Want a tailored answer?

See whether o1Labs fits your stack.

Techbible weighs o1Labs against what you already pay for, your team shape, and the work that's actually happening. Free to start.

Side by side

Compare o1Labs

Search the catalog or pick a similar tool to compare pricing, features, and fit.

Or pick from similar tools

More in Developer Tools

All tools →
Selenium

Selenium

Automates web browsers for testing purposes.

Supabase

Supabase

Build backends with Postgres databases, authentication, real-time sync, and file storage

Svelte

Svelte

Build fast web applications with compiled user interface components

Algolia

Algolia

Deliver fast, relevant search results and conversational discovery experiences across websites and apps

Boxo

Boxo

Embed miniapps and digital services directly into mobile applications

Entri

Entri

Connect, buy, and monitor custom domains directly inside web applications via API

Hoppscotch

Hoppscotch

Send API requests and test endpoints directly inside your web browser

Magic UI

Magic UI

Build animated landing pages using React, Tailwind CSS, and Motion components

o1Labs, o1js, Mina Protocol, zero knowledge, zkSNARKs, zkApps, Kimchi, Pickles, TypeScript zk, smart contracts, cryptographic proofs, recursive proofs