A Paradigm publicou o Solar ontem à noite, com o título «100x FASTER SOLIDITY». A publicação original de Georgios teve 57 mil visualizações e mais de 700 gostos, e a secção de reposts estava cheia de «incredible».
Não tenho nada contra a ferramenta em si: é 100 vezes mais rápida do que o solc, corrige o problema Stack Too Deep e, no Foundry v1.9, basta escrever forge --use solar numa linha para mudar. Para quem escreve contratos, é mesmo ótimo.
Mas há algumas coisas que não consigo engolir.
«Now that we've eliminated gas optimization» — vocês eliminaram a otimização de gas? Estamos a falar de um compilador acabado de lançar, que a própria publicação sobre o X diz ser experimental e não recomendado para produção.
«w/o eliding any security checks» — não foi eliminada nenhuma verificação de segurança. Quem é que disse isso? A própria Paradigm. Fazem as perguntas e corrigem as próprias provas: nota máxima.
«We use Solar in Tempo» — toda a gente sabe de quem é a blockchain Tempo. Usar o próprio compilador para dar credibilidade à própria blockchain é perfeitamente aceitável como dogfooding, mas não apresentem isso como validação independente.
E ainda houve quem perguntasse nos comentários como é que resolveram o problema. A resposta foi: «@grok, vai ler o repositório e explica-lhe». Está bem.
Quem já anda nisto há muito tempo lembra-se de como a Curve explodiu em 2023: não foi por um erro no contrato, mas por um bug no bloqueio de reentrância do próprio compilador Vyper. Quando o problema está na camada do compilador, os relatórios de auditoria analisam o código-fonte e não servem para nada.
Por isso, a minha posição é simples: brinquem à vontade na testnet, façam fuzzing e comparem o bytecode com o do solc à vontade. Se algum protocolo DeFi for o primeiro a lançar na mainnet um contrato compilado com o Solar e a colocar sob a sua gestão centenas de milhões em TVL, eu tiro o meu dinheiro antes de mais nada. Ser 100 vezes mais rápido não vale tanto como ser 100 vezes mais seguro.
#Solidity #Ethereum
Não tenho nada contra a ferramenta em si: é 100 vezes mais rápida do que o solc, corrige o problema Stack Too Deep e, no Foundry v1.9, basta escrever forge --use solar numa linha para mudar. Para quem escreve contratos, é mesmo ótimo.
Mas há algumas coisas que não consigo engolir.
«Now that we've eliminated gas optimization» — vocês eliminaram a otimização de gas? Estamos a falar de um compilador acabado de lançar, que a própria publicação sobre o X diz ser experimental e não recomendado para produção.
«w/o eliding any security checks» — não foi eliminada nenhuma verificação de segurança. Quem é que disse isso? A própria Paradigm. Fazem as perguntas e corrigem as próprias provas: nota máxima.
«We use Solar in Tempo» — toda a gente sabe de quem é a blockchain Tempo. Usar o próprio compilador para dar credibilidade à própria blockchain é perfeitamente aceitável como dogfooding, mas não apresentem isso como validação independente.
E ainda houve quem perguntasse nos comentários como é que resolveram o problema. A resposta foi: «@grok, vai ler o repositório e explica-lhe». Está bem.
Quem já anda nisto há muito tempo lembra-se de como a Curve explodiu em 2023: não foi por um erro no contrato, mas por um bug no bloqueio de reentrância do próprio compilador Vyper. Quando o problema está na camada do compilador, os relatórios de auditoria analisam o código-fonte e não servem para nada.
Por isso, a minha posição é simples: brinquem à vontade na testnet, façam fuzzing e comparem o bytecode com o do solc à vontade. Se algum protocolo DeFi for o primeiro a lançar na mainnet um contrato compilado com o Solar e a colocar sob a sua gestão centenas de milhões em TVL, eu tiro o meu dinheiro antes de mais nada. Ser 100 vezes mais rápido não vale tanto como ser 100 vezes mais seguro.
#Solidity #Ethereum