`warp transpile a.sol b.sol c.sol` will solve it

Newton

How to transpile multiple contracts at once using [Nethermind's warp](https://github.com/NethermindEth/warp)?

How to transpile multiple contracts at once using warp?


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?

following this page from the docs https://starknet.io/docs/hello_starknet/intro.html
I copied the code, compiled it using starknet compile, and when I go to declare it using starknet declare Im getting 
Status code: 500; text: {"code": "StarknetErrorCode.ENTRY_POINT_NOT_FOUND_IN_CONTRACT", "message": "Entry point <address>caed693fa4008dcdb4963b3 not found in contract with class hash <address>975148f6af3e9abddfdc701."}
Any help would be appreciated.

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

StarknetErrorCode.ENTRY_POINT_NOT_FOUND_IN_CONTRACT error in Cairo. Can anyone help?

i get thrown this error when deploying with v0.3.3
```[WARNING] alpha-goerli is a legacy network name parameter and it won't be supported in future versions```

Will alpha-goerli not be supported in future updates?

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

Error when deploying Cairo: [WARNING] alpha-goerli is a legacy network name parameter and it won't be supported in future versions

I am currently running this code

```
func main() {

    let x = [ap];
    [ap] = 1, ap++;

    [ap] = 2, ap++;

    [ap] = x, ap++;
    jmp rel -1;  // Jump to the previous instruction.
}

And what is happening is that "x" is alternating between 1 and 2 and I couldn't figure out why.

Also, it wasn't very clear to me what a "Revoked Reference" means. Is it when you cannot access a certain [ap] when running a specific function?

This is the link to the exercise:
https://www.cairo-lang.org/docs/how_cairo_works/consts.html#revoked-references

Revoked References exercise from Cairo-lang

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?

Hey, I'm using StartkNet.py to make a transaction and it gets rejected. 
How to solve it?

What does this error means? (AssertionError: assert_not_zero failed: 0 = 0.)

What are function argument types in starknet.js?

Popular tags

How to transpile multiple contracts at once using warp?

1 answers

Your answer

Related

You may find useful