Genstark: Generate and verify JavaScript STARK proofs

Understand the project

Practical overview

Use it to study or prototype STARK proof generation and verification in JavaScript. The project explicitly advises against production use.

Developers exploring STARK proof generation in JavaScript or TypeScript.
Researchers and learners examining examples of computation, hash-function and Merkle proofs.

Define a computation for which a STARK proof is needed.
Generate a proof using computation-specific inputs and assertions.
Verify a generated proof against the stated assertions.
Study example STARKs for MiMC, Rescue, Poseidon, hash preimages and Merkle proofs.

Before you choose

The repository is public and lists an MIT license. Installation is documented through npm.

Computations are described using AirScript source.
The README documents optional settings for query counts, hash algorithm and WebAssembly optimization.
The README states that WebAssembly optimization is available only for certain finite fields and hash functions.
The project warns of known and unknown bugs and security flaws and explicitly says not to use the library in production.

Check current requirements in the official documentation. Source-based guidance does not mean OpenViST has run or independently tested this project.

Source-based practical guide

Set up the library and inspect the README's example for defining, proving and verifying a computation.

Install the package with the command below.
Documented command
```
npm install @guildofweavers/genstark --save
```
Review the README example that defines a repeated-addition computation using AirScript.
Inspect how the example supplies assertions and inputs to prove, then passes the proof to verify.

A local project with the package installed and a documented example to guide proof generation and verification.

The README warns that the library is research-grade, has known and unknown bugs and security flaws, and should not be used in production.
This guide covers installation and code review; it does not establish that the example was executed.

Evidence and transparency

Source record details

Source availability: Active
Sources checked: 18 October 2026
Original website title: GuildOfWeavers/genSTARK · Official homepage title · retained in its source language