Kakarot zkEVM is a smart contract, deployed on Starknet, the Ethereum L2. It provides a zkEVM encapsulated inside a smart contract.

Elias Tazartes (Eikii)

# Is Kakarot zkEVM a smart contract or a blockchain?

Is Kakarot zkEVM a smart contract or a blockchain?


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?

How can I prepare my Cairo lang project for an audit?

>Hello! This is day 5 of the 17 days of the Cairo Challenge. And I have no idea how to solve the [playground](https://www.cairo-lang.org/playground/) exercise “Revoked references”. Can you run these 6 steps and write down what you see?

```
// The scope of some types of references in Cairo (e.g., return values of
// functions and temporary variables) is somewhat restricted.
// For example, a call to another function may revoke those references.
//
// 1. Try to run the following code. You should get an error that `x` was revoked
//    (this is because of the second call to `foo`).
// 2. In simple cases, like this one, the compiler can solve this automatically
//    if the "alloc_locals" keyword is used within the function's scope.
//    Add "alloc_locals;" to the beginning of main(), and make sure the code works.
// 3. To understand what happens behind the scenes, replace "alloc_locals;" with
//    "ap += SIZEOF_LOCALS;" - this command allocates memory cells for local variables
//    (you'll need them below) but doesn't enable the mechanism that
//    automatically resolves revoked references.
//    Trying to run the code now should result in the original error.
// 4. Solve the problem manually by copying the value of `x` to a local variable
//    (e.g., "local x2 = x;"). Local variables are not revoked when functions
//    are called.
//    You can read more about local variables [here](https://www.cairo-lang.org/docs/how_cairo_works/consts.html#local-vars).
// 5. You can even use the same name: "local x = x;".
//    This is called "reference rebinding", where the meaning of `x` changes:
//      Before this line, `x` refers to the return value.
//      After that, `x` refers to the local variable.
// 6. A shorter syntax is "let (local x) = foo(10);" which achieves the same goal.
//    Try it!

%builtins output

from starkware.cairo.common.serialize import serialize_word

// Returns a^3 for a != 0 and 1 otherwise.
func foo(a) -> (res: felt) {
    if (a == 0) {
        return (res=1);
    } else {
        return (res=a * a * a);
    }
}

// Outputs the value 10^3 + 5^3.
func main{output_ptr: felt*}() {
    let (x) = foo(10);
    let (y) = foo(5);
    serialize_word(x + y);
    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-Newton-550dfcda6a2d449ca468be293c776578)*



Cairo Lang / StarkNet: What are Revoked references? What is alloc_locals?

Hello guys, i was wondering what are the projects on starknet that plan to do the domain .stark  plz

I know there is starknet id, but is there any others ?

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

What are the projects on starknet that plan to do the domain .stark?


What are advantages of Cairo (vs Solidity) for Starknet?


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

Cairo v. Solidity

why there is no fee for deploying an account contract (creating account)?

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

Why there is no fee for deploying an account contract (creating account)?

### *From Newton AI*
*OpenZeppelin is a collection of reusable, secure smart contract libraries for Ethereum. It provides a set of Solidity contracts that implement common contract patterns and functions, such as ERC20 token contracts and contracts for managing and securing user accounts. By using OpenZeppelin libraries in your contracts, you can benefit from the security and functionality provided by these pre-written contracts, without having to reimplement them yourself. When transpiling your contracts, the transpiler will include the code from any imported libraries, such as OpenZeppelin, in the final transpiled output.*

Popular tags

Is Kakarot zkEVM a smart contract or a blockchain?

Is Kakarot zkEVM a smart contract or a blockchain?

1 answers

Your answer

Related

You may find useful