Get started

Licensing

Free to build and test.
Commercial for production.

StateSync-GKR is source-available under the Business Source License 1.1. Research, development and testing are free. Generating proofs in production requires a commercial license from Oraclizer Labs; verifying proofs stays free, even in production.

StateSync-GKR licensing

Talk to us about production proving.

Tell us about the workload you want to prove and where it will run. We reply by email.

By sending this form, you agree that Oraclizer may process the information to respond to your inquiry. Do not include private keys, credentials, or regulated personal data. Privacy Policy

License terms in detail
BSL 1.1Source-available. Each version becomes open source under Apache 2.0 on its change date.
FreeTo research, build, test and benchmark, and to verify proofs in production.
CommercialRequired to generate proofs in production, including products that embed the prover and proving services.
3 yearsFrom a version's first public distribution to its change date.

Which license applies

Only production proving needs a commercial license.

The license draws one line: generating proofs in production, whether you run the prover, embed it or offer it to others. Everything on the free side of that line needs no agreement with us.

What you are doingLicense
Study, modify, test or benchmark the engineFree
Research, teaching and academic publicationFree
Development, staging and internal evaluation outside productionFree
Run the verifier in production solely to check proofsFree
Embed or distribute verification functionality in your product, solely to verify proofsFree
Generate proofs in productionCommercial license
Embed or redistribute the prover in a product or service used in productionCommercial license
Offer proof generation to third parties in productionCommercial license

This page summarizes the license; the LICENSE file supplied with the official distribution is the governing text. It is not legal advice.

Change date

Every version becomes Apache 2.0.

Three years after a version is first publicly distributed under the Business Source License, that version converts to the Apache License 2.0.

Source available

Read and change all of it.

The full source, tests, formal models and benchmark drivers are public. You may copy, modify and redistribute them; production use follows the terms above.

Commercial license

Agreed directly with Oraclizer Labs.

Tell us about your workload and deployment, and we will agree the terms for proving it in production.

Read the LICENSE file (opens in a new tab)More questions in the FAQ

Common questions

Where the line falls.

If the line between verifying and proving is unclear in your design, contact us before production use.

Is StateSync-GKR open source?
It is source-available. The full source is public, and you may copy, modify and redistribute it, but the Business Source License is not an open-source license. Each version becomes open source under the Apache License 2.0 on its change date.
Can a production system verify StateSync-GKR proofs without a commercial license?
Yes. The Additional Use Grant permits production use solely to verify proofs, including embedding or distributing the verification functionality in your own product for that purpose.
Can we generate proofs in development, staging or a benchmark?
Yes. Non-production use is free, and that includes generating proofs while you develop, test, evaluate or benchmark. A commercial license is needed once proofs are generated in production.
We want to run proof generation as a service for our customers. Which license applies?
A commercial license. Offering proof generation to third parties in production, and embedding or redistributing the prover in a product or service used in production, are outside the free production grant.
What about copies distributed before the license change?
Copies distributed earlier under the MIT License or the Apache License 2.0 keep the permissions they were distributed with. The current official distribution and every later version are licensed under the Business Source License 1.1.