Engenharia de protocolos só com sêniores · Lahore, em todos os fusos horários
A CodesenSys desenvolve contratos inteligentes, aplicações full-stack e agentes de IA apenas com engenheiros sênior. Você trabalha com um único time responsável.
01 · Projetos
Escrevemos Solidity, Rust, Go, TypeScript e Python, então trabalhamos desde contratos inteligentes e hooks até rollups, mensageria cross-chain, agentes de IA e o produto por cima.
Um hook do Uniswap v4 que define a taxa do pool a partir de uma média móvel exponencial da volatilidade do preço. Implantado na Sepolia e verificado no Etherscan; uma bateria controlada de swaps confirma que as taxas se ajustam como esperado.
Solidity · Foundry · fuzz tests
Um hook do Uniswap v4 que só permite a troca de um ativo tokenizado por detentores habilitados, apoiado por uma biblioteca Solidity de código aberto: um ComplianceRegistry, um IdentityBridge e os callbacks do hook que os consultam.
Solidity · Foundry · fuzz + invariant tests
Uma chain OP Stack funcionando, publicada no GitHub, que mostra a uma equipe corporativa o que envolve operar o próprio rollup: configuração, implantação e os componentes a operar.
OP Stack · Docker · runbooks
Um agente em LangGraph que recebe um endereço Ethereum, reúne sua atividade on-chain e escreve um relatório de inteligência estruturado.
Python · LangChain · LangGraph
Move uma posição na Aave v3 em uma única transação: troque o ativo da dívida ou o colateral sem fechar o empréstimo. Feito com Foundry e testado na Sepolia.
Solidity · Foundry · Sepolia
02 · Serviços
Assumimos o trabalho de protocolo de ponta a ponta: design, contratos, testes, implantação e a interface que as pessoas usam.
Hooks de AMM, integrações de empréstimo, vaults e lógica de taxas em Solidity, com Foundry e Solady. Testamos com fuzzing e invariantes antes de qualquer implantação, e os testes ficam no repositório.
Trabalhos relacionados: Hook de taxa dinâmica por volatilidade (EWMA) · Trocador de empréstimos no Aave v3
Seu próprio L2 ou L3 em OP Stack, Arbitrum Orbit ou ZK Stack, auto-hospedado ou por um provedor de rollup-as-a-service. Configuramos bridges, exploradores e o runbook de operação.
Trabalhos relacionados: Rede de demonstração OP Stack
Fluxos de tokens e mensagens via LayerZero v2, Chainlink CCIP, Wormhole, Axelar e IBC. Documentamos em que cada caminho confia e o que acontece quando um dos lados falha.
Escopo definido por projeto. Conte o que você está construindo.
Agentes em LangChain e LangGraph que leem dados on-chain, com conjuntos de avaliação que mostram se a resposta está correta antes de chegar ao usuário.
Trabalhos relacionados: Agente de inteligência on-chain
A aplicação em torno do protocolo: front-ends em Next.js e React, APIs em NestJS, PostgreSQL com Prisma e carteiras com contas inteligentes ERC-4337 e passkeys.
Trabalhos relacionados: Trocador de empréstimos no Aave v3
03 · Tokenização e RWA
Tokens de ativos do mundo real precisam das mesmas seis peças, seja qual for o ativo. O que muda é como cada peça é configurada.
Uma sociedade de propósito específico (SPV) detém o imóvel, e cada token é uma participação nela, emitido em um padrão de acesso restrito como o ERC-3643, para que só investidores habilitados possam mantê-lo.
As cotas do fundo viram tokens de acesso restrito. As regras de elegibilidade seguem a oferta: um fundo Reg D 506(c) só aceita investidores credenciados, então suas regras de transferência não podem abri-lo ao varejo.
Os tokens são lastreados em reservas custodiadas, com prova de reservas publicada on-chain por um oráculo. O resgate segue os termos e horários de corte do custodiante.
O crédito é aposentado no seu registro, e o token reflete essa aposentadoria. Queimar o token sozinho não aposenta nada.
SPV, fundo ou trust que detém o ativo.
Credenciais de identidade e qualificação on-chain.
Mint de acordo com o cap table.
Verificações que toda transferência precisa passar.
Pools em conformidade, como nosso hook v4.
Registros de detentores e exportação de eventos.
Nós construímos a tecnologia. Seu jurídico decide a estrutura legal e a jurisdição.
Trabalhos relacionados: Compliant RWA hook e biblioteca rwa-compliance
04 · Cobertura da stack
As redes e protocolos com que trabalhamos. “Publicado” significa código público, “Entregue” significa trabalho para clientes e “Sob escopo” significa que planejaríamos com você primeiro.
Interoperabilidade e app-chains
Camadas base
Rollups
App-chains sobre L2
Protocolos DeFi
As mensagens são verificadas pelas DVNs que cada aplicação escolhe e entregues por executors. Configuramos a pilha de segurança por rota e testamos os casos de falha.
Ferramentas: Solidity
Transferências de tokens e mensagens entre redes compatíveis, com limites de taxa por lane. Integramos remetentes e destinatários e tratamos entregas que falham.
Ferramentas: Solidity
As mensagens são atestadas pela rede Guardian do Wormhole; Native Token Transfers move tokens sem cópias encapsuladas.
Ferramentas: Solidity · Rust
General Message Passing para chamadas de contratos entre redes, e o Interchain Token Service para tokens.
Ferramentas: Solidity
Redes específicas de aplicação, escritas em Go sobre o consenso CometBFT, que se comunicam via IBC.
Ferramentas: Go
A camada de liquidação da maioria dos rollups EVM. Publicamos e verificamos contratos na testnet Sepolia, construídos e testados com Foundry.
Ferramentas: Solidity · Foundry · Solady
Programas escritos em Rust com Anchor. O Proof of History ordena as transações; o mecanismo de consenso é o Tower BFT.
Ferramentas: Rust · Anchor
Compatível com EVM, então contratos Solidity e as ferramentas do Foundry funcionam com configuração específica da rede.
Ferramentas: Solidity
Uma rede EVM de taxas baixas, com conjunto próprio de validadores e checkpoints no Ethereum. Contratos em Solidity são implantados com poucas mudanças.
Ferramentas: Solidity
Contratos em Solidity na TRON Virtual Machine, que difere da EVM no modelo de taxas (energia e largura de banda) e no formato de endereço.
Ferramentas: Solidity (TVM)
Redes soberanas, antes chamadas de Subnets, cada uma com seu conjunto de validadores e sua configuração EVM.
Ferramentas: Solidity
Redes construídas com o Polkadot SDK em Rust, usando XCM para mensagens entre sistemas de consenso e coretime para espaço de bloco.
Ferramentas: Rust
Validadores no modelo eUTXO, escritos em Aiken ou Plutus. Começamos com uma fase de descoberta.
Ferramentas: Aiken · Plutus
O framework por trás da Base e de muitos outros L2. Construímos e publicamos uma rede de demonstração OP Stack funcionando.
Ferramentas: Solidity · Go
Um rollup OP Stack; contratos Solidity são implantados com configurações de gas e bridge próprias da Base.
Ferramentas: Solidity
Um L2 EVM; contratos são implantados com Foundry e configurações de gas próprias da rede.
Ferramentas: Solidity
Um rollup zkEVM que executa bytecode EVM. Os contratos ainda precisam dos mesmos testes e da mesma auditoria que no Ethereum.
Ferramentas: Solidity
Uma rede EVM para jogos. Os jogadores podem ficar isentos de gas quando o jogo patrocina; o gas continua existindo.
Ferramentas: Solidity
Um validity rollup com contratos escritos em Cairo. Começamos com uma fase de descoberta.
Ferramentas: Cairo
Redes personalizadas sobre o Arbitrum Nitro. O Stylus adiciona contratos em Rust; a resolução de disputas BoLD ainda está em beta para redes Orbit.
Ferramentas: Solidity · Rust (Stylus)
O framework da ZKsync para lançar redes ZK, antes chamadas de hyperchains.
Ferramentas: Solidity
Um L2 do Ethereum que executa a Solana VM, então os programas são escritos em Rust com Anchor.
Ferramentas: Rust · Anchor
RollApps construídas com o Cosmos SDK que liquidam no hub da Dymension.
Ferramentas: Go
Hooks que adicionam lógica própria aos pools da v4, como taxas dinâmicas e a verificação de elegibilidade dos detentores.
Ferramentas: Solidity · Foundry
Contratos que operam posições na Aave v3, como trocar a dívida ou o colateral de um empréstimo em uma única transação.
Ferramentas: Solidity · Foundry
Implantamos rollups auto-hospedados ou por provedores de rollup-as-a-service.
Ferramentas
As mesmas ferramentas atravessam todas as camadas acima: Solidity e Foundry para contratos, Rust e Go para redes, TypeScript e Python para o produto e os agentes.
05 · Setores
Quatro setores em que um registro compartilhado e verificável resolve um problema real de coordenação.
Fundos e ativos tokenizados com regras de transferência aplicadas on-chain.
Um registro compartilhado para partes que precisam do mesmo dado, mas não do mesmo banco de dados.
Registros de consentimento e acesso on-chain; os prontuários continuam off-chain.
Registros de dispositivos e contratos de recompensa para redes de infraestrutura física.
06 · Contratar
Os preços são públicos para você saber em um minuto se fazemos sentido.
Preço fixo calculado a US$ 45/h
Um protocolo, conjunto de contratos ou aplicativo definido, entregue conforme uma especificação acordada e com testes. Um único preço, combinado antes de começar.
Indicado para: startups com uma primeira versão clara.
US$ 4.000 / mês
100 horas garantidas por mês de um engenheiro sênior dentro do seu time, no seu repositório e nas suas dailies, com resposta prioritária.
Indicado para: times com roadmap e poucas mãos.
US$ 45 / hora
Revisões de design, revisão de código antes da auditoria, protótipos e arquitetura de rollups ou bridges, cobrados por hora.
Indicado para: empresas que decidem antes de construir.
30 minutos com o engenheiro que construiria o projeto.
O que construímos, o que não, e o preço.
Código funcionando no seu repositório toda semana.
Testes, documentação e scripts de implantação que seu time consegue rodar.
07 · Sobre
A CodesenSys é uma equipe de engenharia só de seniores em Lahore, trabalhando em vários fusos horários. Desde 2017 nosso trabalho passou de projetos em CMS para TypeScript full-stack, protocolos EVM e Solana e, agora, agentes de IA. Os engenheiros que definem o escopo do seu projeto são os que o constroem.
08 · Perguntas frequentes
Respostas curtas e verdadeiras para o que os clientes perguntam antes da primeira conversa.
Fazemos revisão pré-auditoria e reforço de testes. Para contratos que guardam valor real, recomendamos também uma auditoria independente, e preparamos o código para ela.
Um engenheiro sênior que você conhece na primeira conversa. Não repassamos trabalho para juniores nem para terceirizados.
Sim. Assinamos seu NDA antes da primeira conversa técnica e seguimos suas políticas de acesso, revisão e gestão de segredos. Nenhum trabalho de cliente é publicado sem sua aprovação por escrito.
Não guardamos suas chaves privadas de produção. Os deploys passam pela sua multisig ou pelo seu pipeline de deploy, e mantemos só o acesso que cada tarefa exige, removido na entrega.
Sim. “Sob escopo” significa que ainda não publicamos nada ali, então começamos com uma fase de descoberta curta e paga para confirmar as ferramentas e estimar com honestidade.
Não. Construímos a tecnologia conforme a estrutura definida pelo seu jurídico, e trabalhamos junto com ele.
Estimamos as horas a US$ 45 por hora e combinamos um preço fixo único no escopo por escrito, antes de começar qualquer trabalho.
Todo projeto segue um escopo por escrito acordado antes de o trabalho começar. Faturamos em dólares americanos, com as condições de pagamento definidas nesse escopo.
Sim. No modelo dedicado, nosso engenheiro trabalha no seu repositório, nos seus tickets e nas suas dailies, dentro do seu processo de revisão.
Todo projeto mantém notas de design, runbooks e testes no seu repositório, então o trabalho nunca fica na cabeça de uma só pessoa e outro engenheiro pode assumir.
Estamos em Lahore (UTC+5) e temos sobreposição com o horário comercial do Golfo e da Europa, com chamadas agendadas para times dos EUA.
Seu, assim que a fatura desse trabalho for paga.
09 · Contato
Envie algumas linhas sobre o projeto e responderemos com os próximos passos.
