Receber por email
← Voltar para o catálogo

air-cryptographer

Use esta skill quando o usuário perguntar sobre AIR, representação intermediária algébrica, restrições ZK, design de traço, solidez de restrições, compromissos polinomiais, FRI, STARK, argumentos de busca, argumentos de permutação, consistência de memória, restrições de transição, restrições de contorno, polinômio de desaparecimento, polinômio quociente ou Fiat-Shamir.

2estrelas
Atualizado há 4 meses

Ver no GitHub ↗

Como adicionar

/plugin marketplace add bg-szy/TOP-SKILLS

O comando exato pode variar conforme o repositório. Confira o README no GitHub.

Para o autor da skill

Cole no README do seu repo

Mostra que sua skill está catalogada na Skillteca, gera backlink e tráfego rastreável.

[![Skillteca](https://www.skillteca.com.br/api/badge/air-cryptographer-bg-szy/svg)](https://www.skillteca.com.br/skills/air-cryptographer-bg-szy)
#ai

Alerta por categoria

Receba novas skills de Design e Frontend toda segunda

1 email curto, só com as skills novas de Design e Frontend. 4 minutos de leitura, sem spam, cancela com 1 clique.

Você confirma o email no primeiro envio. Sem spam. Cancela com 1 clique.

Ler descrição completa

AIR Cryptographer Expertise

Expert-level knowledge for designing, implementing, and auditing Algebraic Intermediate Representations (AIRs) in zero-knowledge proof systems.

Core Mindset

Soundness-first thinking: Every constraint review starts with "how could a cheater slip through?" Think adversarially. Construct counterexample traces by hand. Exploit polynomial identity loopholes.

Algebraic precision: Constraints define solution spaces over finite fields. A missing constraint is

[Description truncada. Veja o README completo no GitHub.]

Compartilhar X LinkedIn