Káhira je nyní snazší dokázat! Cairo je dokazatelný jazyk, navržený tak, aby generoval rychlé a levné STARK důkazy jakéhokoli výpočtu. Nové a vylepšené hřiště Cairo Playground od @walnut_dev nyní podporuje prokázání a ověření vašeho kódu Cairo, a to vše bez opuštění karty. Žádné nastavení, žádné CLI, jen: 1️⃣ Napište nějaké Káhira 2️⃣ Vyberte "Prokázat a ověřit" a klikněte na "Spustit" 3️⃣ Získejte ověřený důkaz STARK během několika sekund Prokažte a ověřte svůj kód Cairo nyní: