- You can build your own prover-verifier pair using STARK construction, which is open knowledge, but then you will need to generate AIR yourself. Check out <https://github.com/novifinancial/winterfell>﻿


- If you write a Cairo program to be proven, currently only SHARP can prove it i.e. the Cairo prover is yet to be open sourced.


- For verifying proof (generated by SHARP) in Cairo, check out <https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/stark_verifier/air/layouts/recursive/verify.cairo> which is the recursive verifier program released with Cairo 0.10.0


ㅤ
_This answer was originally posted on [Triality](https://triality.org/question/1138)_

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](https://github.com/starkware-libs/cairo-lang/issues/2), how to do the same in Cairo and STARK for, say, [the 15-puzzle](https://www.cairo-lang.org/docs/hello_cairo/puzzle.html)?


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


I can send it to [SHARP](https://www.cairo-lang.org/docs/sharp.html) 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](https://triality.org/question/1138)_

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

hi,guys

QUESTION, where can i get test tokens?

_This question was originally posted on [StarkNet Discord](https://www.newton.so/view?tags=discord)_

Where can i get test tokens in StarkNet?

Hello everyone. Does anyone happen to know if there's a way to get the block hash in cario? I found out about `get_block_number` and `get_block_timestamp`, but is there something similar for block hash?

_This question was originally posted on [StarkNet Discord](https://www.newton.so/view?tags=discord)_

How to get the block hash in Cairo lang?

Hi, I was deploying contracts with `Contract.deploy`, but since the last version this method is gone :/

What should I do to deploy contracts now?

How to deploy a contract through starknet.py?

Can you help how to change the code so that it outputs 400 as well?

```
// The following code outputs the numbers 100, 200, 300.
// 1. Click on "Run" to see the output.
// 2. Change it to output 400 as well.

// Use the output builtin.
%builtins output

// Import the serialize_word() function.
from starkware.cairo.common.serialize import serialize_word

func main{output_ptr: felt*}() {
// Output 100 by calling serialize_word.
serialize_word(100);
// Output 200.
serialize_word(200);
// Output 300.
serialize_word(300);
// Return.
return ();
}
```

---

> Answers to this question are a part of the ✨ **17 days of Cairo Lang with Playground & Newton.** ✨ 

*Vote for your favorite answer - the best answer will win a $10 award. A new day – a new reward! During the next 17 days, our goal is to attract more developers to the Cairo language and to systematize the knowledge of Cairo lang. [Read rules](https://www.notion.so/17-days-of-Cairo-Lang-with-Playground-Newton-550dfcda6a2d449ca468be293c776578)*

How to make output like "hello world" in Cairo Language (StarkNet)?

In writing my Cairo program I have the following code:


currNumber is a storage variable:


`@storage_var`


`func currNumber() -> (res : felt):`


`end`


And we have code that calls this value and uses the currNum in a subsequent function:


`...` 


 `let currNum = currNumber.read()`


 `let (res) = findSumDigits(currNum, 0)`


`...`


﻿  



And I am getting the following error:


Expected expression of type 'felt', got '__main__.getCurrNumber.Return'.


 let (res) = findSumDigits(currNum, 0)


 ^*****^


ㅤ
_This question was originally posted on [Triality](https://triality.org/question/835)_

Cairo Error: Getting Expected expression of type 'felt', got '__main__.getCurrNumber.Return'

How do I create my own account abstraction using starknetjs?

Hey everyone, is it possible to use argentx to sign in/authenticate user to a off-chain api/db

What I want to do is store some data off chain for each user(wallet)

I have seen that metamask/etherem has 'personal_sign' rpc method that can be used for something like this

Is there anything like this available in starknet ecosystem?

_This question was originally posted on [StarkNet Discord](https://www.newton.so/view?tags=discord)_

Popular tags

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

1 answers

Your answer

Related

You may find useful