NEWTON

NEWTON


Popular tags

    How to generate a proof for a Cairo program and verify it?[StackOverflow]

    Asked

    4 months ago

    9

    views


    0

    In SNARKs, you can use Zokrates or snarkjs to generate a proof for a program/computation and verify it, locally or on Ethereum.

    Similar to this unanswered question, how to do the same in Cairo and STARK for, say, the 15-puzzle?

    Can cairo-run generate a proof, or only a trace?

    I can send it to SHARP with cairo-sharp, but I can't generate nor see the proof locally. Any way to generate the proof by running my own prover without SHARP?

    This question was originally posted on Triality

      cairostack_overflowstark

    1 answers

    0

    This answer was originally posted on Triality

    answered

    4 months ago

    Your answer

    NEWTON

    NEWTON