ZK por que é tão difícil? Um artigo para entender a quantidade de cálculo "torturante" de zk-SNARKs.
zk-SNARKs (ZKP) soa como mágica: Permite que você prove "que eu sei", mas não revela "como eu sei".
Mas tem uma fraqueza fatal — Está muito difícil de calcular.
🧵Expandir para falar sobre:
1️⃣ O que é ZK? Vamos explicar usando ramen:
Você disse ao chefe: "Ontem comi 100 tigelas de ramen, por favor, deixe-me entrar na lista dos gulosos!"
Chefe: Traga provas!
Você disse: "Eu não forneço localização, não envio vídeos, mas posso fazer você acreditar 100%."
Esta é a essência do ZK: Não expor o processo, apenas verificar o resultado.
2️⃣ Quão difícil é calcular o ZK?
Usar zk-SNARKs é necessário: •Construir comportamentos em circuitos/funções •Construir provas matemáticas •Deixe os outros verificar em poucos segundos sem erros
Isso é como:
🔧Você escreveu 50 mil linhas de fórmulas no Excel 📦recomprimir para 2KB ✅Os outros verificam em segundos com uma calculadora
Para um computador comum? É simplesmente um nível de dificuldade infernal.
3️⃣ ZK até que vale a pena?
Claro que vale! Cada vez mais cenários estão adotando isso: cenário Por que precisamos de ZK? Rollup Compressão dos custos de transação em blockchain autenticação de identidade Verificação sem expor a privacidade votação Anônimo + Verificável Mas o problema também surgiu: cada vez que se usa ZK, é como participar de uma competição de matemática olímpica.
4️⃣ @cysic_xyz como é que isso é feito?
Os outros estão se esforçando na otimização de algoritmos, a Cysic vai direto para o hardware:
💡"ZK é muito difícil de calcular? Então vamos criar um chip, especificamente para acelerá-lo!"
A posição da Cysic é como: •Outros usam CPU para fazer zk-SNARKs •Cysic usa GPU dedicados para zk-SNARKs •Os outros sobem a colina de bicicleta •Ele é diretamente ligado ao motor de Fórmula 1.
5️⃣ ZK é muito bonito, mas para funcionar, precisa de hardware.
ZK é o Photoshop do mundo Web3, Mas sem uma placa gráfica, não consegue funcionar.
A aparição da Cysic marca a entrada oficial do ZK na "era da GPU".
Tudo para fazer:
✅ ZK mais rápido ✅ Custo mais baixo ✅ Verdadeiramente aplicável
O charme do ZK = Segurança + Privacidade + Simplicidade Mas a questão sempre foi "será que consegue correr".
E a Cysic está a fornecer uma solução real com hardware.
Esta página pode conter conteúdo de terceiros, que é fornecido apenas para fins informativos (não para representações/garantias) e não deve ser considerada como um endosso de suas opiniões pela Gate nem como aconselhamento financeiro ou profissional. Consulte a Isenção de responsabilidade para obter detalhes.
ZK por que é tão difícil? Um artigo para entender a quantidade de cálculo "torturante" de zk-SNARKs.
zk-SNARKs (ZKP) soa como mágica:
Permite que você prove "que eu sei", mas não revela "como eu sei".
Mas tem uma fraqueza fatal —
Está muito difícil de calcular.
🧵Expandir para falar sobre:
1️⃣ O que é ZK? Vamos explicar usando ramen:
Você disse ao chefe: "Ontem comi 100 tigelas de ramen, por favor, deixe-me entrar na lista dos gulosos!"
Chefe: Traga provas!
Você disse: "Eu não forneço localização, não envio vídeos, mas posso fazer você acreditar 100%."
Esta é a essência do ZK:
Não expor o processo, apenas verificar o resultado.
2️⃣ Quão difícil é calcular o ZK?
Usar zk-SNARKs é necessário:
•Construir comportamentos em circuitos/funções
•Construir provas matemáticas
•Deixe os outros verificar em poucos segundos sem erros
Isso é como:
🔧Você escreveu 50 mil linhas de fórmulas no Excel
📦recomprimir para 2KB
✅Os outros verificam em segundos com uma calculadora
Para um computador comum? É simplesmente um nível de dificuldade infernal.
3️⃣ ZK até que vale a pena?
Claro que vale! Cada vez mais cenários estão adotando isso:
cenário
Por que precisamos de ZK?
Rollup
Compressão dos custos de transação em blockchain
autenticação de identidade
Verificação sem expor a privacidade
votação
Anônimo + Verificável
Mas o problema também surgiu: cada vez que se usa ZK, é como participar de uma competição de matemática olímpica.
4️⃣ @cysic_xyz como é que isso é feito?
Os outros estão se esforçando na otimização de algoritmos, a Cysic vai direto para o hardware:
💡"ZK é muito difícil de calcular? Então vamos criar um chip, especificamente para acelerá-lo!"
A posição da Cysic é como:
•Outros usam CPU para fazer zk-SNARKs
•Cysic usa GPU dedicados para zk-SNARKs
•Os outros sobem a colina de bicicleta
•Ele é diretamente ligado ao motor de Fórmula 1.
5️⃣ ZK é muito bonito, mas para funcionar, precisa de hardware.
ZK é o Photoshop do mundo Web3,
Mas sem uma placa gráfica, não consegue funcionar.
A aparição da Cysic marca a entrada oficial do ZK na "era da GPU".
Tudo para fazer:
✅ ZK mais rápido
✅ Custo mais baixo
✅ Verdadeiramente aplicável
O charme do ZK = Segurança + Privacidade + Simplicidade
Mas a questão sempre foi "será que consegue correr".
E a Cysic está a fornecer uma solução real com hardware.