swiftness_proof_parser
| Crates.io | swiftness_proof_parser |
| lib.rs | swiftness_proof_parser |
| version | |
| source | src |
| created_at | 2024-07-20 21:55:41.259027+00 |
| updated_at | 2025-01-12 08:50:32.81107+00 |
| description | Json Proof Parser for Swiftness - Rust CairoVM Verifier implementation |
| homepage | |
| repository | https://github.com/iosis-tech/swiftness |
| max_upload_size | |
| id | 1309876 |
| Cargo.toml error: | TOML parse error at line 17, column 1 | 17 | autolib = false | ^^^^^^^ unknown field `autolib`, expected one of `name`, `version`, `edition`, `authors`, `description`, `readme`, `license`, `repository`, `homepage`, `documentation`, `build`, `resolver`, `links`, `default-run`, `default_dash_run`, `rust-version`, `rust_dash_version`, `rust_version`, `license-file`, `license_dash_file`, `license_file`, `licenseFile`, `license_capital_file`, `forced-target`, `forced_dash_target`, `autobins`, `autotests`, `autoexamples`, `autobenches`, `publish`, `metadata`, `keywords`, `categories`, `exclude`, `include` |
| size | 0 |
BartolomeoDiaz (Okm165)
documentation
README
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
-
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 -
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.