Introduction

What is Sindri?

Sindri Labs is a scalable, serverless platform designed for Zero-Knowledge (ZK) development teams.

Sindri aims to abstract the infrastructure and dev-ops for teams working on ZK technology, enabling builders to focus on developing applications without getting bogged down by non-core activities.

Sindri focuses on supporting the entire journey from prototype to production. It offers SDKs and tooling to help teams iterate on circuits and scale up their projects when ready for production.

What We Do:

Host Circuits

Sindri provides hosting for ZK circuits.

Optimize Frameworks

The platform accelerates zero-knowledge backends for better performance.

Generate Proofs

Sindri simplifies the process of generating proofs, making development more straightforward and cost-effective. Our coverage includes:

• DSLs

  • Serverless proof generation for Domain Specific Languages such as Circom and Noir.

• zkVMs

  • Verifiable computation for general purpose programs written in rust.

• zkEVMs

  • Seamless integration with zero-knowledge rollups.

Navigation

Here is an outline to help you navigate the docs:

• Getting Started walks you through creating a proof with the Sindri API.
• How-To Guides illustrate generating proofs with interesting use cases and in-depth commentary.
• Topic Guides describe various features of the Sindri API such as uploading your own proving keys.
• Reference provides Sindri API and Sindri CLI references.
• Getting Help contains FAQs and troubleshooting guidance.

Quick Links

Here are some commonly accessed pages:

• Getting Started with Sindri SDK Generate your first ZK proof with Sindri in just ten lines of code - 5 min ⏱️
• Supported Frameworks Circom, Gnark, Halo2, Noir, etc.
• Sindri Infrastructure An overview of the design and architecture of Sindri and the advantages it brings to you as a user.