Tópicos populares
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
CairoLang
Uma linguagem de programação que facilita a criação de programas prováveis
Cairo ficou mais fácil de provar!
Cairo é uma linguagem demonstrável, projetada para gerar provas STARK rápidas e baratas de qualquer computação.
O novo e melhorado Cairo Playground by @walnut_dev agora suporta provar e verificar seu código do Cairo, tudo sem sair da sua guia.
Sem configuração, sem CLI, apenas:
1️⃣ Escreva um pouco de Cairo
2️⃣ Selecione "Prove & Verify" e clique em "Executar"
3️⃣ Obtenha a sua prova STARK verificada em segundos
Comprove e verifique o seu código Cairo agora:
7,3K
Top
Classificação
Favoritos