Você tem estudado ZK e quer que suas perguntas sejam respondidas? Participe da próxima chamada e fale diretamente com a equipe que fez a mágica acontecer! Link a seguir.

A série Uniswap V3 continua: Reservas reais e como calculá-las O preço em um AMM muda quando os tokens entram e saem do pool durante uma troca. As reservas reais de um token são simplesmente a quantidade desse token que um trader deve trocar pelo preço para atingir o próximo tick. A reserva real de x é a quantidade de token x que deve ser trocada para atingir o tick superior - e a reserva real de y é a quantidade de token y que deve ser trocada para atingir o tick inferior. Você provavelmente aprendeu a calcular reservas reais "traduzindo" uma curva Uniswap V2 até que ela cruze os eixos x e y - e depois fazendo uma álgebra de várias etapas. Criamos uma derivação muito mais simples! E tem belas fotos e animações. Saiba mais em nossa última postagem no blog. É um prazer simplificar.

Temos o orgulho de anunciar o lançamento do RareCode .ai A IA moderna faz um ótimo trabalho explicando o código. No entanto, o aprendizado vem da escrita de código. Então combinamos os dois. Saiba Mais 👇

Se você quiser realmente aprender ZK, você deve implementar os algoritmos do zero. O ZK Book ajudará dezenas de engenheiros a completar a jornada.

@RareSkills_io Livro Conhecimento Zero | M1· C1 E se você pudesse provar que conhece uma solução sem nunca revelá-la? Descubra como P vs NP torna possíveis as provas de conhecimento zero. 👇 Vamos desvendá-lo 🧵

Estamos orgulhosos de fazer parte da jornada!

Nova postagem no blog está no ar: FFT do Círculo — Parte 1: Construindo o Domínio do Círculo A matemática em ZK geralmente é feita em um campo finito, que é um grupo sob adição. Mas uma otimização especial é usar um círculo como domínio de grupo. Um círculo é um par de elementos (x, y) que satisfazem x² + y² = 1 mod p. Este artigo mostra como esse conjunto de pontos pode ser transformado em um grupo e, ao mesmo tempo, ter as propriedades necessárias para realizar o algoritmo FFT (e, por extensão, o algoritmo STARK). De autoria de @cabrio_yugo, que recebeu uma bolsa do zkBankai para criar este trabalho. Link na resposta

O horário de expediente com o Vyper está acontecendo em pouco mais de 2 horas. Prepare-se para outro mergulho profundo do compilador, onde exploraremos: - Venom IR (representação intermediária) - Estratégias de otimização - Garantias de segurança Convide a responder.

Quando lançamos o ZK Book há mais de um ano, demos um grande passo à frente no espaço educacional ZK. Nosso livro foi pioneiro na abordagem de "matemática suficiente" para aprender ZK. Hoje fazemos isso de novo com uma nova adição ao ZK Book. "Circom e padrões de projeto de restrição" Esta nova seção se concentra em como projetar, criar e auditar circuitos ZK não triviais. Você provavelmente já viu muitos tutoriais sobre como provar que conhece a avaliação de um polinômio usando o Circom. Mas como você vai a partir daí para projetar um ZKVM ou provar que conhece o primage de uma função hash tradicional (como MD5 ou Keccak256)? A nova parte do nosso Livro ZK leva você a uma jornada desde a multiplicação de números até até: - construindo um ZKVM do zero - restrições de codificação para a função hash MD5 - Aprenda os padrões de design recorrentes no design de restrição A última parte foi interessante porque alguns dos "padrões de design" estabelecidos nem mesmo têm nomes para eles. Tivemos que inventar alguma terminologia! Como de costume, somos extremamente atenciosos sobre como apresentamos ao leitor novas ideias para evitar sobrecarregar alguém novo. Temos o cuidado de garantir que ensinamos os pré-requisitos em uma ordem sensata e com muitos exemplos. Cada capítulo mostra como construir um circuito para uma aplicação cada vez mais complexa. A cada capítulo, vocês dois revisam o que aprenderam anteriormente e aprendem um novo padrão de design. Depois de criar uma coleção desses padrões de design, você pode compô-los juntos para criar aplicativos mais complexos, como o ZKVM ou uma função de hash não trivial. Fazemos um grande esforço para garantir que o material seja fácil de entender e corrigir, sem omissões importantes. Gostaríamos de agradecer a @ChainLight_io, @VeridiseInc, @PrivacyScaling e @zksecurityXYZ por alocar tempo para revisar este trabalho e fornecer sugestões. Somos particularmente gratos a @marcobesier de @zksecurityXYZ por trabalhar em várias revisões para realmente colocar os capítulos em um estado polido. Um agradecimento especial a @cal_nix por ser coautor dos primeiros sete capítulos desta nova parte do livro! Os tópicos que abordamos aqui são extremamente fundamentais. Se você não entender os materiais aqui, aprender os componentes internos do cliente ZKVM ou ZK L2 mais moderno será bastante desafiador. Até agora, a ausência de explicações orientadas para os recém-chegados para tais conceitos fundamentais impediu o espaço ZK. Este novo corpo de trabalho não é simplesmente uma "explicação melhor" dos materiais existentes, mas a primeira explicação - fora dos trabalhos acadêmicos. Usamos o Circom como idioma de instrução, pois o consideramos o mais amigável para iniciantes. No entanto, o que você aprende aqui se generaliza para outros frameworks como Plonky3, Halo2, o1js e Gnark. Os novos artigos agora tornam o Livro ZK com mais de 38.000 palavras mais longo. Você não precisa saber como funciona um ZK-SNARK para ler esta seção do livro, mas existem alguns pré-requisitos. Eles estão listados no capítulo "Introdução ao Circom". Como de costume, o material é totalmente gratuito, sem necessidade de login.

No início de sua jornada de auditoria? Criamos um novo recurso de aprendizagem: Buggy ERC-20s Buggy ERC-20s é um repositório de 20 (sim, isso é intencional) implementações de contrato ERC-20, mas com um bug. Tanto quanto possível, tentamos fazer com que esses bugs refletissem o tipo de erros que os desenvolvedores realmente cometem. Este é um exercício de aprendizagem que usamos em nosso Solidity Bootcamp, mas como você sabe, tornamos todos os nossos recursos de aprendizagem gratuitos. Você vai aguçar seu olho para pegar linhas ausentes, compilar código, mas com comportamento incorreto, e casos de canto importantes. Este não é um CTF normal, não fornecemos testes de unidade para você verificar sua resposta, pois isso não é realista. Você terá que resolver os problemas da maneira que um auditor normalmente faz! Fizemos uma coleção bastante grande de problemas porque queremos que você tenha alguma repetição em sua prática. Praticar não é um e pronto. Embora existam alguns bugs semelhantes entre os tokens, nenhum dos repositórios tem bugs idênticos. Cada repositório tem um bug, e o bug é sério e não hipotético. Alguns dos bugs são óbvios e alguns são sutis. Considera-se experiente? Então você deve ser capaz de detectar o bug em menos de um minuto por base de código. Saltar para a auditoria de uma grande base de código pode ser intimidante, então fizemos isso como um trampolim. Este repositório foi criado por @degenshaker. Link a seguir.