The short answer is probably no.

StarkEx is not general purpose and currenty doesn't support executing Kakarot or any complex StarkNet contract, as is. 

See a [list of current StarkEx features](https://starkware.co/starkex/)

What is more probable is for Kakarot zkEVM to be implemented as a Layer 3 over StarkNet (e.g. using [slush](https://slush.dev/)).
This is worth discussing in the [Kakarot channels](https://www.kakarot.org/).


0xDE8D

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

Deploying kakarot evm on starkEx

I'm trying to run the contract example from https://pkg.go.dev/github.com/dontpanicdao/caigo#section-readme
```
cd examples/contract
go mod tidy
go run main.go
```
and i get 
```
./main.go:28:34: undefined: contracts.CounterCompiled
```

So i tried to compile the counter.cairo file and got
```
counter.cairo:17:5: Unknown identifier '__main__.counter.write'.
    counter.write(0);
    ^***********^
```
the code looks fine [https://github.com/coburn24/caigo/blob/main/contracts/src/counter.cairo](https://github.com/coburn24/caigo/blob/main/contracts/src/counter.cairo)
not sure why im getting this error
`cairo-compile v0.10.3`


caigo error: undefined: contracts.CounterCompiled

# I have a Solidity Smart contract like this:
```solidity
// SPDX-License-Identifier: GPL-3.0

pragma solidity >=0.7.0 <0.9.0;

/**
 * @title Storage
 * @dev Store & retrieve value in a variable
 */
contract Storage {

    uint256 number;

    /**
     * @dev Store value in variable
     * @param num value to store
     */
    function store(uint256 num) public {
        number = num;
    }

    /**
     * @dev Return value 
     * @return value of 'number'
     */
    function retrieve() public view returns (uint256){
        return number;
    }
}
``` 
## Which steps should I follow if I want to use kakarot?

How to use Kakarot for my Solidity Contracts?

Hey everyone!

I am trying to unpack nested tuples into felts t pass as calldata to a contract via a proxy call.

await signer.send_transaction(admin, proxy_contract.contract_address, 'createSyntheticAsset', [
       *test_synthetic_asset.to_tuple() 
    ])

But this fails with this error: TypeError: '<' not supported between instances of 'tuple' and 'int' 

does anyone have an Idea about this?

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

A TypeError while unpacking nested tuples into felts

What is Starknet.js?

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

```
// The following code implements a Pedersen hash chain.
// Given the [Pedersen hash](https://docs.starkware.co/starkex-docs/crypto/pedersen-hash-function) function `H`, which
// takes two field elements and returns one representing their hash,
// a hash chain on inputs x_0, x_1, ..., x_n is the result of
// H(H(...H(H(x_0, x_1), x_2), ...,x_{n-1}), x_n)
// For example, the hash chain of (1, 2, 3, 4) is H(H(H(1, 2), 3), 4).
//
// Fix the function `hash_chain` to correctly implement the
// hash chain. Run your code to test it.
//
// Note: Don't use starkware.cairo.common.hash_chain (it computes the chain differently).

// Use the Pedersen builtin.
%builtins pedersen

from starkware.cairo.common.alloc import alloc
from starkware.cairo.common.cairo_builtins import HashBuiltin
from starkware.cairo.common.hash import hash2

// Computes the Pedersen hash chain on an array of size `length` starting from `data_ptr`.
func hash_chain{hash_ptr: HashBuiltin*}(data_ptr: felt*, length: felt) -> (result: felt) {
    if (length == 2) {
        let (result) = hash2(x=[data_ptr], y=[data_ptr + 1]);
        return (result=result);
    } else {
        // Fix here:
        return (result=123456);
    }
}

func main{pedersen_ptr: HashBuiltin*}() {
    alloc_locals;
    // Allocate a new array.
    let (local data_ptr: felt*) = alloc();
    // Fill the new array with field elements.
    assert [data_ptr] = 314;
    assert [data_ptr + 1] = 159;
    // Run the hash chain.
    let (result) = hash_chain{hash_ptr=pedersen_ptr}(data_ptr=data_ptr, length=2);
    // Check the result.
    assert result = 307958720726328212653290369969069617958360335228383070119367204176047090109;

    // Fill two more cells in the array.
    assert [data_ptr + 2] = 265;
    assert [data_ptr + 3] = 358;
    // Compute the hash chain on all four cells.
    let (result) = hash_chain{hash_ptr=pedersen_ptr}(data_ptr=data_ptr, length=4);
    assert result = 1828757374677754028678056220799392919487521050857166686061558043629802016816;
    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 Pedersen Hash in StarkNet / Cairo Language?

Why do I need to fund an account before deploying it?


ApeWorX: Why do I need to fund a Starknet account before deploying it?

Is there any other way to do 2**n without using `pow.cairo`?

Popular tags

Deploying kakarot evm on starkEx

1 answers

Your answer

Related

You may find useful