Práce s ERC-1155 smart kontrakty: jeden zkontrolovaný rozdíl po druhém

Co umí WaveClamp

• Souboryread_file, write_file, append_file, edit_file, delete_file, make_dir, move_file, copy_file, list_dir, grep a glob fungují uvnitř pracovní složky chatu, kde jsou vaše soubory .sol a testy, a počítadlo ukazuje, kolik souborů bylo vytvořeno, upraveno a přečteno.
• Shellspouští váš vlastní příkaz pro kompilaci a příkaz pro testy na Windows, ve WSL nebo přes SSH na server, který vlastníte, a hodnotí úspěch podle skutečného kódu návratové hodnoty. Nebezpečné příkazy jsou blokovány před jejich spuštěním.
• Webweb_search najde stránky a http_get stáhne jednu stránku, takže agent může číst veřejný text EIP a dokumentaci k Solidity, zatímco pracujete. Vyhledávání na webu může volitelně běžet přes anonymizační síť.
• Snímky obrazovky a obrázkyocr čte text ze uloženého snímku obrazovky, například dialogu s chybou nebo zprávy o testu, a gen_image ukládá skutečné soubory s obrázky, například placeholder artwork, na který může odkazovat váš metadata JSON.
• Orchestracetask spustí paralelní sub-agenty, aby mohly být samostatné kontrakty kontrolovány současně, run_on_model pošle jeden náročný krok většímu modelu a skill znovu použije sadu postupů, například skill pro verzování pro větve a commity.
• Režimy schvalováníAuto-run jedná okamžitě, Ask first se před akcemi, které něco mění, pozastaví a zobrazí rozdíl k přijetí, a Plan only napíše plán a nic nespustí, dokud režim nepřepnete. Plány přežijí restarty.
• Cronspouští prompt podle rozvrhu, například denní požadavek na spuštění příkazu pro testy a výpis selhávajících testů, takže se regresní chyba objeví v chatu bez ručního spuštění.
• Modelypřipojte poskytovatele AI z cloudu prostřednictvím standardního koncového bodu API, spusťte model na vašem PC nebo použijte vestavěný model, který je připraven bez vašeho vlastního koncového bodu. Tlačítko Test zobrazuje dobu odezvy a okno kontextu.

Čtyři úkoly s kontraktem od začátku do konce

Návrh kontraktu na herní předměty

Chcete meče, lektvary a klíče v jednom kontraktu. Agent použije read_file k prohlédnutí existujících souborů .sol, write_file k vytvoření nového kontraktu s komentářem SPDX a řádkem pragma solidity a edit_file k přidání zůstatků, funkce pro mintování a hromadných převodů. To, že jsou tokeny modovatelné pro hru, znamená přemýšlet o tom, jak jsou předměty popsány, a metadata JSON za uri(id) je část, kterou by modder upravil. Každá změna edit_file přijde jako rozdíl. Shell spustí váš příkaz pro kompilaci a příkaz pro testy na lokálním řetězci a rozdíl přijmete až po přečtení kódu návratové hodnoty a názvů selhávajících testů, pokud nějaké jsou.

Porovnání dvou standardů

Průzkum návrhu začíná jednou otázkou: jedna kolekce unikátních tokenů, nebo mnoho typů tokenů v jednom kontraktu? Agent použije web_search a http_get k přečtení veřejného textu EIP, pak grep a read_file k porovnání s funkcemi ve vašich souborech. Umístěte soubor Solidity ERC 721 vedle multi-tokenového a požádejte o tabulku rozdílů, uloženou pomocí write_file do souboru s poznámkami. Otázky o tom, jak detekovat tokeny, které vyžadují reset povolení, patří k ERC-20, protože ERC-1155 používá setApprovalForAll, což uděluje nebo zruší operátora pro každý token id najednou. Přezkoumejte poznámky před jakoukoli změnou kódu.

Kontrola mintingu a řízení přístupu

Kdokoli může zavolat funkci pro mintování, rozhoduje o tom, kolik tokenů existuje, takže řízení přístupu je první věc, kterou je třeba zkontrolovat. Agent použije glob k nalezení všech souborů .sol a grep k výpisu volání _mint a _mintBatch s jejich čísly řádků. Poté otevře každou funkci pomocí read_file a nahlásí ty, které může zavolat jakýkoli účet. Ask first se pozastaví před edit_file přidávajícím modifikátor a rozdíl ukáže přesné řádky. Nástroj task spustí sub-agenty, aby byly samostatné kontrakty kontrolovány paralelně. Kontrola není zárukou. Spusťte svůj příkaz pro testy, přečtěte výsledek a získejte nezávislou bezpečnostní revizi před jakýmkoli použitím s reálnou hodnotou.

Testování na lokálním řetězci

Mince na lokálním řetězci nebo na testovací síti nemají hodnotu, takže tohle je místo pro cvičení a každý, kdo chce postavit vlastní dapp pro tokenový faucet ERC20, může tam začít. Agent použije Shell k spuštění příkazu, který spustí lokální testovací řetězec, pak příkaz pro kompilaci a příkaz pro testy a nahlásí každý skutečný kód návratové hodnoty na kartě. Pokud test selže, ocr může přečíst uložený snímek obrazovky chyby a grep najde zapojenou událost nebo funkci. Přečtete si rozbalenou kartu, přijmete nebo zamítnete navrhovaný rozdíl a spustíte testy znovu, než půjdete dál.