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



ㅤ
_This answer was originally posted on [Stack Overflow](https://stackoverflow.com/questions/73056271/how-to-generate-a-proof-for-a-cairo-program-and-verify-it)_


In SNARKs, you can use [Zokrates](https://zokrates.github.io/gettingstarted.html#hello-zokrates) or [snarkjs](https://github.com/iden3/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 [Stack Overflow](https://stackoverflow.com/questions/73056271/how-to-generate-a-proof-for-a-cairo-program-and-verify-it)_

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

Hi team. How can I use start_prank with deploy_contract? Since get_caller_address() works in constructor now, I need a way in protostar to set caller address without having contract address. May be a 'caller' argument in deploy_contract cheatcode works best

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

How can I use start_prank with deploy_contract?

What are function argument types in starknet.js?

How do I connect my DAPP to Starknet testnet using starknetjs?

When I try to transpile my contract using warp transpiler I get an error: `JavaScript heap out of memory`

![JavaScript heap out of memory error in Nethermind's warp transpiler](https://res.cloudinary.com/varga/image/upload/v1670423892/Screenshot_2022-11-30_at_7.32.34_PM_pazqli.png)

can anyone help?

update:
I ran this command 
```
export NODE_OPTIONS=--max-old-space-size=4096
```
before transpiling
still show the same error

- Node version is v16.16.0
- warp version  2.4.1
- I tried using node 18 but still same error occured
- I'm using an M1 Mac, 8gb RAM

I'm transpiling llampay contracts : [https://github.com/LlamaPay/llamapay/tree/master/contracts](https://github.com/LlamaPay/llamapay/tree/master/contracts)

The original LlamaPay has some unsupported features in Warp. And I fixed them:
- [LlamaPay.sol](https://pastebin.com/12pSdPBJ) 
- [LlamaPayFactory.sol](https://pastebin.com/DVeuvWKd)


Nethermind's warp error: JavaScript heap out of memory

Hey, I have an Argent account and would like to use it in my python scripts. Is there any way of signing transactions in StarkNet.py with an Argent account?

How to use Argent (or any from the main providers) account in the StarkNet.py?

Why should I run a Pathfinder node?

Hello, Starknet will do Final State Reset around Q4 2022.    It means users need to create new wallet address & migrate asset to new wallet.   Old wallet address will be no longer usable after final state reset.     Is this correct?

_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?

1 answers

Your answer

Related

You may find useful