No terceiro ano do ensino médio, nossa turma teve um novo professor de matemática. Na primeira aula, ele não falou sobre questões, mas pediu a cada um de nós que dissesse qual tipo de questão mais temia.
Eu disse que tinha medo de questões de prova, não porque não soubesse resolver, mas porque não sabia por onde começar.
Ele disse que a maioria das questões de prova você conhece a conclusão e as condições, mas o que bloqueia é o caminho no meio — como ir do que é conhecido até a conclusão, o caminho não está claro.
Então ele disse que, na verdade, na maioria das vezes, o caminho segue uma lógica, só que ninguém te ensinou a como encontrá-la.
@MidnightNetwork é semelhante ao problema que a linguagem Compact resolve.
A linguagem Compact é uma DSL (linguagem de domínio específico) usada para expressar lógica preditiva / mercados condicionais / estruturas de estratégia, que serve como uma expressão compacta para $NIGHT .
Nos pontos em que o desenvolvimento do ZK fica travado, não é "eu não sei o que quero fazer", nem "eu não sei qual é o resultado final" — é o caminho no meio. Curvas elípticas, compromissos polinomiais, sistemas de prova, esses detalhes técnicos são como uma parede sem fim, bloqueando a passagem entre desenvolvedores comuns e aplicações de privacidade.
A Compact transforma essa parede em um compilador. Você escreve a lógica em TypeScript, diz a ele o que quer fazer, e o compilador é responsável por encontrar aquele caminho no meio, gerando automaticamente os materiais criptográficos subjacentes.
Você não precisa saber como o caminho é percorrido, apenas precisa conhecer o ponto de partida e o ponto final.
Mas há um pré-requisito que eu acho que precisa ser esclarecido.
O compilador encontra automaticamente o caminho, o que significa que você não validou pessoalmente se esse caminho está correto. Se o compilador tiver um bug, ou se alguma condição de contorno não for tratada corretamente, a prova ZK gerada pode falhar em algumas situações.
Para aplicações financeiras de alto risco, esse custo de confiança é real — você confia no compilador, assim como confia naquele professor que te disse que o caminho segue uma lógica.
A Compact ainda está na fase de teste, o nível de sofisticação das ferramentas para desenvolvedores e o mecanismo de descoberta de bugs são fatores decisivos para quantos desenvolvedores realmente construirão aplicações.
Aquele professor de matemática me ensinou uma maneira de encontrar caminhos, e no ano do vestibular, não perdi pontos nas minhas questões de prova de matemática.
Mas eu também me lembro de ele ter dito uma vez: o método é algo que os outros te dão, validar se esse caminho é viável é uma questão sua.