Kakarot is an open-source, community-driven project.

Starkware is not leading the project. They do not own it. Nonetheless, Starkware has expressed a lot of enthusiasm and interest in Kakarot, the zkEVM written Cairo. 

Kakarot is an important project for the ecosystem and the community.

Elias Tazartes (Eikii)

Is Kakarot a Starkware project? 

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?

Can we deploy kakarot zkEVM on StarkEx and then run multiple solidity dapps on top of it?

Deploying kakarot evm on starkEx

Can anyone share some articles explaining SNARK/STARK concepts and rollups (Optimism)?

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

Can anyone share some articles explaining SNARK/STARK concepts and rollups (Optimism)?

Hello! This is day 14 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 “Hints”.  Perhaps you can help me?

```
// The following function uses hints to efficiently compute the square root `res`
// of the argument `n`.
// The idea is that the verifier only needs to be convinced that res * res = n,
// it doesn't really care how res was computed.
// In such cases, we don't have to compute res in pure Cairo - we can write a
// piece of Python code inside the Cairo program, which is called a "hint".
// A hint is a piece of code that the prover runs to initialize
// some memory cells. Note that it is completely transparent from the verifier's
// point of view, so the result of the hint *must* be verified using pure Cairo
// instructions (e.g., the "assert n = res * res" instruction below).
//
// 1. Comment out the line "assert n = res * res;" and run the code. Does it still output
//    the expected value? Can you explain why the assert is nonetheless essential?
//    Hint: Recall that from the verifier's point of view, the hint does not exist.
// 2. Uncomment the assert line and change the function to compute the fourth
//    root.

%builtins output

from starkware.cairo.common.serialize import serialize_word

// Computes the square root (over the integers) of `n`.
// Prover assumption: The square root exists.
func sqrt(n) -> (res: felt) {
    alloc_locals;
    local res;

    // Set the value of res using a Python hint.
    %{
        import math

        # Use the ids variable to access the value of a Cairo variable.
        ids.res = int(math.sqrt(ids.n))
    %}

    // From the verifier's point of view, the hint is completely transparent.
    // The following line guarantees that `res` is the square root
    // (either the positive or negative) of `n`.
    assert n = res * res;
    return (res=res);
}

func main{output_ptr: felt*}() {
    let (res) = sqrt(256);
    serialize_word(res);
    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)*

How to use Hints in Cairo Lang?

Starknet is using which oracle service provider?

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

Which oracle service provider is StarkNet using?

does cross-chain bridge produce its own block? or it only verify the blocks from A/B chain?

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

Does cross-chain bridge produce its own block? Or it only verify the blocks from A/B chain?

Another vanilla Cairo question, what are the sorts of references, i.e. ids that can be modified by hints? relatively important to work against an evil prover

presumably not locals or tempvars, but say, implicit references, or the two(?) kinds of let statements (expressions and references)

maybe if there's some documentation i don't know about re: all the id types, relocatable values and so on,

also maybe, is there a pattern that can be used for function pointers?

Popular tags

Is Kakarot a Starkware project?

Is Kakarot a Starkware project?

1 answers

Your answer

Related

You may find useful