FuzzingLabs / thoth

Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)
https://fuzzinglabs.com/
GNU Affero General Public License v3.0
245 stars 21 forks source link

New format for JSON Artifacts with Cairo 1.0 #125

Closed Rog3rSm1th closed 1 year ago

Rog3rSm1th commented 1 year ago

The JSON artifact format of Cairo 1.0 contracts slightly differs from the old format. Therefore when we try to parse a JSON artifact generated with Cairo 1.0 we get a NotImplementedError due to this.

To be able to fix this issue we need to modify the ABI Parser to handle the new format.

An example of Cairo 1.0 JSON Artifact: https://raw.githubusercontent.com/starkware-libs/cairo/1fe2c3368262ee579cc7e58703217407d41b4514/crates/cairo-lang-starknet/test_data/erc20.json