sandstorm

sandstorm copied to clipboard

Maintenance Fixes

2

neotheprogramist

Hello, is it possible to use Sandstorm proofs as input for the Cairo verifier for recursive STARK generation? Thank you.

Retamogordo

neotheprogramist

Hello, I wanted to try the example of the Bootloader. But I get a ```KeyError: hashedSupportedCairoVerifiers``` on line 89 of the bootloader when trying to run it. Is there any...

MauroToscano

I'm trying to replicate the submission of the proof to the Stark verifier. Is there a way to generate my own proofs for the Cairo Verifier as it was done...

MauroToscano

I'm trying to verify Sandstorm proofs with Stone prover to validate that they are compatible. For the same program and layout they seem to be quite different in size, and...

MauroToscano

Default ProofParams on sandstorm and Starkware Verifier expected ProofParams

3

The proof generation on sandstorm uses the following parameters listed below as default: ``` #[structopt(long, default_value = "65")] num_queries: u8, #[structopt(long, default_value = "2")] lde_blowup_factor: u8, #[structopt(long, default_value = "16")]...

tiagorvmartins

[wip] Darude mods

1

liamzebedee

## ****Executive Summary**** The **Prover** doesn't check the `folding_factor` before using it, leading to a potential infinite loop. ## Steps to Reproduce 1. Reproduce the command lines in the demo...

pventuzelo