# Lambda Class > We build software that is fast and provably correct. Lambda builds cryptographic and blockchain solutions using zero-knowledge proofs, focusing on Rust implementations of critical infrastructure for secure and scalable blockchain systems. Lambda is a deep tech venture studio working at the intersection of research and engineering, specialized in developing cryptographic tools and blockchain infrastructure. Their focus includes zero-knowledge proofs, Starknet infrastructure, Cairo VM implementation, and computational integrity. Lambda's tools enable developers to build secure, efficient, and trustless blockchain applications with minimal technical barriers. - Type: Company - Sector: Developer Tooling - Status: Active - Profile: https://thegrid.id/profiles/lambda_class ## Products - [Lambdaworks](https://thegrid.id/profiles/lambda_class): Lambdaworks implements cryptographic primitives used to build proof systems like SNARKs and STARKs, with comprehensive backends for various proving systems, field extensions, and compatibility with different frontends. (Developer Tooling, Live, Main Product) - [Cairo-VM](https://thegrid.id/profiles/lambda_class): Cairo-VM is a Rust implementation of the Cairo virtual machine, supporting the execution of Cairo programs that can generate proofs of execution. It provides significant performance improvements over the original Python implementation. (Developer Tooling, Live) - [STARK Platinum](https://thegrid.id/profiles/lambda_class): A Rust implementation of the STARK proving system, compatible with Starknet's Stone prover. It enables the creation of zero-knowledge proofs of computational integrity with high performance. (Developer Tooling, Live) - [Cairo Native](https://thegrid.id/profiles/lambda_class): A compiler that converts Cairo's Sierra code to machine code via MLIR and LLVM, enabling much faster execution of Cairo programs through native compilation. (Developer Tooling, Live) ## Links - [Main](https://lambdaclass.com) - [Blog](https://blog.lambdaclass.com) - [YouTube](https://www.youtube.com/@lambdaclass) - [GitHub](https://github.com/lambdaclass) - [Twitter / X](https://x.com/class_lambda) ## Legal This data is provided under two licensing models. Model 1 - open data. The open data core is licensed under the Open Database License (ODbL) — a copyleft/share-alike license allowing free use, modification, and sharing for any purpose. Attribution is required: include "Powered by The Grid" linking to https://thegrid.id wherever the data is used. Derivative databases must be shared under ODbL terms. Trademarks, logos, and brand names (marked "Special TPIP") are not covered by the ODbL. For ML/AI use: training datasets that substantially extract ODbL data are Derivative Databases and must be shared under ODbL if publicly used; models must be attributed in documentation. Model 2 - commercial licenses. The Grid Data Service (TGDS) is also available as a commercial license. See [Web Services Terms](https://about.thegrid.id/legal/web-services-terms) for commercial use that is not covered by the open data service. The following applies to both licensing models. - All data is provided AS IS with no guarantees of accuracy. - The Grid does not provide investment, legal, or tax advice, and - a project's presence in The Grid's data does not imply endorsement. - [Data Licensing & Disclaimers](https://about.thegrid.id/legal/data-licensing-and-disclaimers): Licensing models and disclaimers - [Open Data (ODbL)](https://about.thegrid.id/legal/open-data): Open Database License terms and scope for The Grid's open data service. - [Attribution Guidelines](https://about.thegrid.id/legal/open-data-attribution-guidelines): How to attribute The Grid's data when using the open data service. - [Web Services Terms](https://about.thegrid.id/legal/web-services-terms): commercial Terms for using data services. - [All Legal Documents](https://about.thegrid.id/legal): Full index of terms, policies, and disclosures ## Optional - [TGS Field Descriptions](https://github.com/The-Grid-Data/workspace-public/blob/main/references/tgs-field-descriptions.md): Schema field definitions for The Grid's data model - [TGS JSON Structure](https://github.com/The-Grid-Data/workspace-public/blob/main/references/tgs-json-structure.md): Data model structure and relationships - [Product Type Definitions](https://github.com/The-Grid-Data/workspace-public/blob/main/references/product-type-definitions.md): Definitions for each product type - [Product Type Classification](https://github.com/The-Grid-Data/workspace-public/blob/main/references/product-type-classification.md): Guide for classifying products into types - [Grid MCP Guide](https://github.com/The-Grid-Data/workspace-public/blob/main/grid-search/skills/grid-query/references/grid-mcp-guide.md): How to query The Grid programmatically via MCP