Tópicos em alta
#
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.
ATUALIZAÇÃO: OpenMath
Com Shentu v2.17.0, o OpenMath agora separa as recompensas para as provas Rocq e Lean.
Atualmente, colaboradores submetem provas usando sistemas como:
• Rocq
• Inclinação
Sistemas de prova diferentes, fluxos de recompensa independentes e atribuição clara para o trabalho formal de verificação.
Melhores
Classificação
Favoritos
