Sindri is a platform that makes compiling Zero-Knowledge Proof circuits in any framework and generating proofs with full GPU acceleration as easy and scalable as serverless platforms like AWS Lambda. The CLI tool offers an easy and intuitive interface for circuit development and deployment that will feel very familiar to anyone who has used Docker, Git, Heroku, or NPM.
For more information about the Sindri platform, please check out sindri.app. The best way to get started with the Sindri CLI is to begin with the Sindri CLI Quickstart and to then refer to the Sindri CLI Reference Docs for more detailed information about the CLI commands and options. For the TypeScript SDK, you can similarly check out the TypeScript SDK Quickstart and the TypeScript SDK Reference Docs.
Sindri makes it easy to develop circuits in the framework of your choice, and to deploy them in a highly scalable and cost-effective way. You only pay for what you use, and you can scale up to thousands of GPUs in seconds. Our public circuit registry also makes it easy to share and reuse circuits, so you can build off of circuits that have already been audited and battle tested even if they're written in a different framework than the one you're using.
This section provides the essentials to get started with the CLI. The Sindri CLI Quickstart goes into more detail on each of these steps and is the recommended way to get started.
The Sindri CLI tool is available as an NPM package and can be installed with the following command:
npm install -g sindri@latestTo compile circuits on Sindri, you'll need to have an account and authenticate the CLI to use it.
Visit sindri.app to find more details about account creation.
You can then use the sindri login command to create a machine-local API key that will be used for subsequent commands.
sindri loginThe Sindri CLI provides a project scaffolding tool to help you get started with circuit development.
The sindri init command will initialize a new circuit project for you with everything you need to get started.
sindri init my-circuitYou can run sindri lint from within your circuit project directory to perform local checks to ensure your circuit is valid and ready for compilation.
This will not actually compile your circuit, but will perform basic checks to uncover issues that would prevent your circuit from compiling successfully.
sindri lintTo compile your circuit on the Sindri platform, you can use the sindri deploy command to upload and compile it.
If there are compilation errors, they will be reported, and the command will exit with a non-zero exit code.
sindri deployYou can use the sindri proof create command to create a new proof for your circuit.
sindri proof create --input proof-input.jsonThis section provides the essentials to get started with the TypeScript SDK. The SDK is fully compatible with both TypeScript and JavaScript, NodeJS and browser environments, and CommonJS and ES Module import systems. For more detailed information about getting started, please take a look at the TypeScript SDK Quickstart and the TypeScript SDK Reference Docs.
The TypeScript SDK is provided by the same sindri package that provides the CLI tool. You can add it to your project by running.
npm install sindri@latestWhen you run sindri login, a machine-local API key will automatically be stored in a config file in your home directory and used for authentication with both the CLI and the SDK.
You can alternatively set a SINDRI_API_KEY environment variable to override this, or specify an API key manually when authorizing the client.
Visit https://sindri.app/signup/ to create an account first and https://sindri.app/z/me/page/settings/api-keys to create an API key.
import sindri from "sindri";
sindri.authorize({ apiKey: "my-key-here" });You can use the SindriClient.createCircuit() method to compile a new version of a circuit.
import sindri from "sindri";
// Compile the circuit in the `/path/to/my/circuit/` directory.
const circuit = await sindri.createCircuit("/path/to/my/circuit/");You can use the SindriClient.proveCircuit() method to generate a proof for a circuit.
import sindri from "sindri";
const circuitIdentifier = "my-circuit";
const proofInput = JSON.stringify({ X: 5, Y: 32 });
const proof = await sindri.proveCircuit(circuitIdentifier, proofInput);Most of the project commands should be relatively easy to run natively on any system with node and npm installed, but a Docker Compose configuration is provided as a convenience.
In addition to ensuring that the proper dependencies are available, the container is also configured to install the package globally as a symbolic link with npm link and automatically rebuild it whenever files change.
This means that the sindri command inside the container should always reflect your local code changes.
You can bring the container up in the usual way.
docker compose upThis will install the latest packages and start the build process in watch mode so that it rebuilds whenever local files change.
To drop into a shell in the running container, you can run the following.
docker compose exec sindri-js bashFrom here, you can use the sindri command or run any of the npm script invocations for linting, formatting, etc.
Inside of the Docker container, you can run
sindri -d login -u http://host.docker.internal loginto authenticate against a Sindri development backend running locally on port 80.
Both your credentials and the local base URL for the server will be stored in sindri.conf.json and used in subsequent requests.
To install the project dependencies:
npm installTo run the build process in development mode and watch for file changes:
npm run build:watchThis command will run automatically in the container if you're using Docker Compose.
To perform a production build with minified outputs:
npm run buildThe test suite can be run with:
npm run testThis will first build the project and then run the tests against the build outputs using pre-recorded fixtures for network requests.
To skip the build step, you can use npm run test:fast.
In development, you can use
npm run test:watchto rebuild the project and rerun the tests whenever there are code changes. Additionally, this command will allow network requests without fixtures to go through, so this is useful when writing new tests.
This command will build the project and record new fixtures for all network requests.
npm run test:recordYou will need to have your environment authenticated with an API key for the "Sindri CLI/SDK Testing Team" organization on Sindri in order to make the necessary network requests for recording fixtures.
The credentials stored by sindri login will be used automatically for the tests.
This will fetch the latest OpenAPI schema for the Sindri API and autogenerate an updated API client in src/lib/api/.
npm run generate-apiTo develop against unreleased API features, you can use these variants to target a local development server:
# If you're not using Docker:
npm run generate-api:dev
# Or...
# If you are using Docker:
npm run generate-api:dockerYou can also generate against stage with:
npm run generate-api:stageThe Sindri Manifest JSON Schema is stored in sindri-manifest.json and needs to be manually updated and committed when the schema changes.
The file can be updated by running:
npm run download-sindri-manifest-schemaTo develop against an unreleased version of the schema, you can use these variants to target a local development server:
# If you're not using Docker:
npm run download-sindri-manifest-schema:dev
# Or...
# If you are using Docker:
npm run download-sindri-manifest-schema:dockerTo lint the project with Eslint and Prettier:
npm run lintThis check will already run on CI.
To reformat the project using Prettier:
npm run formatTo check the TypeScript types:
npm run type-checkThis check will already run on CI.