admin 
[ad_1]
É sempre emocionante ouvir sobre novos subsídios conforme eles são concedidos, mas o que acontece após o anúncio? Nesta série, veremos alguns projetos que estão em desenvolvimento ou em fase de conclusão. Continue lendo para saber mais sobre alguns dos marcos e conquistas recentes dos beneficiários!
GASOL (kit de ferramentas de otimização de GÁS)
o COSTA o grupo trabalha com métodos formais, simulações e implementações relacionadas à verificação e otimização de programas. Membros Elvira Albert, Pablo Gordillo e Albert Rubio aplique essa experiência em contratos inteligentes Ethereum com GASOL, uma estrutura para otimizar o consumo de gás. Cada contrato inteligente Ethereum executa uma sequência de instruções EVM chamadas opcodes; A técnica de “otimização excessiva” do GASOL procura uma sequência que dê os mesmos resultados que o original, usando menos gás.
Em fevereiro de 2021, a equipe GASOL recebeu uma bolsa para um maior desenvolvimento estudos preliminares e experimentos com a otimização de contratos inteligentes Ethereum. Eles já tinham um protótipo para computar sequências EVM otimizadas para um subconjunto de opcodes, especificamente operações de pilha. O objetivo da doação é expandir o protótipo de pesquisa em um kit de ferramentas de superotimização para desenvolvedores de contratos inteligentes e, eventualmente, tornar o otimizador adequado para integração com o compilador Solidity.
A versão 0.1.3 da ferramenta de superotimização GASOL e as instruções para seu uso estão disponíveis em GithubGenericName. Em sua versão atual, o GASOL é capaz de computar sequências otimizadas e gerar o bytecode executável correspondente. Outros recursos e conquistas incluem:
- Otimização de operações de memória e armazenamento e operações de pilha
- Testes para comparar os ganhos de eficiência do GASOL vs. otimizador de Yulebem como GASOL em combinação com o otimizador Yule.
- Criando um arquivo de log para verificar se o bytecode carregado no Etherscan foi gerado pelo GASOL
- Estendeu o modelo SMT para determinar a ordem dos acessos à memória e funções para manter o mesmo estado de memória do original
- Alguns componentes do otimizador foram generalizados para incluir critérios de otimização de tamanho de byte
Para quem quiser se aprofundar nos detalhes técnicos, a equipe publicou relatórios estágio 1 e estágio 2 projeto. Siga mais GASOL GithubGenericName para acompanhar os próximos lançamentos!
L2BEAT
Soluções de escalonamento de nível 2 expandiram ao longo do ano passado, prometendo benefícios como transações mais rápidas, custos drasticamente reduzidos e maior privacidade. Cada abordagem L2 faz diferentes compensações que afetam a segurança, a descentralização, o desempenho e a usabilidade. Para o usuário, isso significa liberdade para decidir o que é mais importante para ele e escolher a solução que melhor se adapta às suas necessidades, mas manter-se no topo da lista cada vez maior de opções pode ser avassalador.
O L2BEAT ajuda os usuários a fazer escolhas informadas, oferecendo comparações lado a lado de recursos, estatísticas de uso e riscos potenciais de projetos L2 ativos. A equipe do site pesquisa cada protocolo listado, examinando várias fontes de dados e documentação do projeto para compilar as principais informações em uma fonte clara e acessível.
Quando o L2BEAT recebeu financiamento pela primeira vez na primavera de 2021, o painel listou as tecnologias de dimensionamento e bloqueou as estatísticas de valor para cada um dos 10 protocolos. Desde então, o site cresceu significativamente junto com o ecossistema L2. Hoje, o visitante pode alternar entre dados financeiros detalhados e uma breve explicação dos fatores técnicos de risco para os 20 protocolos, juntamente com uma página dedicada à análise das características e compensações de cada protocolo.
Em dezembro, a L2BEAT recebeu uma segunda doação para ajudar a expandir sua equipe, automatizar processos e expandir esforços. As melhorias planejadas incluem:
- Construindo um servidor de back-end e um banco de dados robustos o suficiente para lidar com a complexidade dos recursos atuais e planejados
- Adicionando métricas ao vivo adicionais, incluindo volume de transações, tempo de atividade e produção de blocos
- Adicionando logs de atualização para informar os usuários sobre as alterações nos protocolos que estão usando
Partida L2BEAT.com fique atento para um tesouro de informações L2, com mais por vir @L2beatcom no Twitter ou junte-se à comunidade Discórdia. A equipe também dá as boas-vindas contribuições!
Você está trabalhando em algo que acha que pode mudar o Ethereum para melhor? Vá para o nosso página de concessões para saber mais sobre o que buscamos nos projetos que financiamos.
[ad_2]
Source link
