NEWTON

NEWTON


Popular tags

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

    Asked

    6 months ago

    12

    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 Stack Overflow

      ethereumstarknetcairo-lang

    1 answers

    0

    You can generate a proof locally using giza https://github.com/maxgillett/giza

    This answer was originally posted on Stack Overflow

    answered

    5 months ago

    Your answer

    NEWTON

    NEWTON