Как сгенерировать доказательство для программы Cairo и проверить его?

Question

В SNARK вы можете использовать Zokrates или snarkjs , чтобы сгенерировать доказательство для программы/вычисления и проверить его локально или на Ethereum.

Подобно этому оставшемуся без ответа вопросу , как сделать то же самое в Каире и СТАРКЕ, скажем, для головоломки с 15 ?

Можетcairo-runсгенерировать доказательство или только след?

Я могу отправить его в SHARP сcairo-sharp, но я не могу сгенерировать и увидеть доказательство локально. Есть ли способ сгенерировать доказательство, запустив мой собственный прувер без SHARP?

Answer 1

Вы можете сгенерировать доказательство локально, используя giza https://github.com/maxgillett/giza .