WIP of Fossil to Cairo 1

References

• Fossil cairo 0: https://github.com/OilerNetwork/fossil_cairo0/tree/master
• Some utils libraries that can be reused after refacto to latest cairo updates: https://github.com/HerodotusDev/cairo-lib

The repo structure and files organisation will be reviewed once all the components will be implemented

Testing

Start Anvil in a new terminal with the command anvil.

Install dependencies:

dojoup -v v1.0.0-alpha.1
 ```

```bash
cd ethereum
forge soldeer install forge-std~1.8.2

I a New Terminal Start the Katana StarkNet node:

katana --messaging anvil.messaging.json --disable-fee 

In a New Terminal Build the project and set up environment variables:

cd starknet
scarb build
source katana/katana.env

Declare the Cairo contracts:

katana/declare.sh

Deploy the Cairo contracts:

katana/deploy.sh

In a New Terminal Set up local Ethereum testing:

cd ethereum
cp anvil.env .env
source .env
forge script script/LocalTesting.s.sol:LocalSetup --broadcast --rpc-url ${ETH_RPC_URL} 

Generate the proof for the mock account and storage:

cast proof 0xCf7Ed3AccA5a467e9e704C703E8D87F634fB0Fc9 0 --block 3

The script starknet/katana/prove_sto.sh is a wrapper to store the state root and verify account first and then storage proof for the slot 0x0 in MockStorage.sol.

starknet/katana/verify_proofs.sh