starknet - How to generate and verify a STARK proof from a Cairo program locally? - Stack Overflow

Suppose I have a program in Cairo. I want to generate a STARK proof for this program with certain input, and I want this proof to be verified locally.

(Using cpp/rust...)

Suppose I have a program in Cairo. I want to generate a STARK proof for this program with certain input, and I want this proof to be verified locally.

(Using cpp/rust...)

• starknet

Share Improve this question Follow edited Jan 4 at 20:17 user16829029 asked Jan 4 at 20:06 user16829029user16829029 2866 bronze badges

Add a comment  | 

1 Answer 1

Sorted by: Reset to default 0

You can use scarb-execute and cairo-stwo