Swiftness Proof Parser CairoVM Verifier

Overview

The Swiftness Proof Parser is a JSON proof parser designed for the Stone Prover. It processes the JSON output from the Stone Prover and converts it into the StarkProof struct.

Requirements

To use this parser, ensure that the Stone Prover is executed with the --generate_annotations flag enabled. For additional details, refer to the reference code.

Configuration

Example Configuration

An example configuration for the Stone Prover is available here.

Important Notes

1. Verifier-Friendly Channel Updates Ensure that the Stone Prover is configured with the latest channel updates enabled by adding the following to your configuration:

   "verifier_friendly_channel_updates": true
   

   See example configuration.

2. First FRI Step Requirement The first element of the FRI step list must be set to zero. See the reference.

Usage

After generating the proof JSON output with proper annotations, use this parser to produce a StarkProof struct.