Autor: yyy Fonte: X, @y_cryptoanalyst
Em comparação com @SuccinctLabs, @boundless_xyz não recebeu a atenção e o reconhecimento que o mercado deveria, mas assim como a Succinct, possui o potencial para se tornar um líder na infraestrutura geral de zk. Este também é o motivo pelo qual escrevi este artigo, que é atualmente o mais detalhado sobre o assunto na internet chinesa.
Atualmente, o protocolo com maior apelo no mercado de provas zk é, sem dúvida, @SuccinctLabs, cuja atividade de estrelas por convite para jogadores finais fez com que a Succinct rapidamente ganhasse destaque. Mas, ao mesmo tempo, a rede de provas zk @boundless_xyz, apoiada pela @RiscZero, está emergindo, e considero que é o maior concorrente da Succinct no nicho em que se posiciona.
Este tweet é para conversar rapidamente sobre as semelhanças e diferenças entre @SuccinctLabs e @boundless_xyz, e as vantagens competitivas, quem sairá vencedor nesta corrida ainda é incerto.
zkVM que não pode ser ignorado
Quer se trate de @SuccinctLabs ou @boundless_xyz, a sua implementação técnica não pode evitar o zkVM. O ponto de diferenciação é que o Succinct utiliza a máquina virtual SP1, enquanto o Boundless utiliza a máquina virtual R0VM desenvolvida em RISC?
O que é zkVM?
zkVM é uma máquina virtual de prova de conhecimento zero, que permite aos desenvolvedores provar a execução de qualquer programa baseado em Rust( ou em outras linguagens de programação LLVM).
Em linguagem simples, os desenvolvedores, com base no zkVM, não precisam executar o processo de geração de provas zk, que é intensivo em cálculos (construção manual e otimização de circuitos), a geração de provas é concluída automaticamente em segundo plano, o que reduz significativamente o tempo de desenvolvimento das provas zk.
Succinto: SP1 vs. Ilimitado: R0VM
A zkVM virtual machine torna a geração de provas tão simples quanto a computação tradicional, ao criar um ambiente objetivo que abstrai a complexidade das provas de conhecimento zero.
SP1 da Succinct e R0VM da Boundless são ambos baseados no conjunto de instruções RISC-V, suportam a programação em Rust e a geração automatizada de provas ZK. Ambos são adequados para cenários de computação geral.
Diferenciação:
1）Originalidade da tecnologia subjacente;
O sistema de prova subjacente do @SuccinctLabs SP1 pega emprestado do kit de ferramentas modular de prova ZK Plonky3 desenvolvido pela equipe Polygon, e é iterativamente atualizado pelo Plonky2 já no início de 2022, com um nível mais alto de maturidade técnica, e Succinct é equivalente a ficar nos ombros dos gigantes da Polygon.
O R0VM da @boundless_xyz é baseado na tecnologia de pesquisa própria da sua empresa-mãe RISC. Após o lançamento da versão 1.0 do R0VM em junho de 2024, passou por várias iterações tecnológicas (1.1.0-1.1.2) e atualmente está na versão mais recente, R0VM 2.0.
2）Grau de abertura;
@SuccinctLabs SP1 afirma ser o primeiro zkVM 100% open source. Fiz uma pesquisa sobre o assunto e descobri que o R0VM da RISC foi parcialmente open source quando lançado no início, e em agosto de 2024 também anunciou que seria 100% completamente open source.
3）Desempenho；
Desempenho é um dos principais indicadores do zkVM, geralmente referindo-se ao tempo de geração e verificação das provas zk. Como esses dados são bastante sensíveis, a Succinct e a Boundless são concorrentes diretos, e os dados que eles divulgam podem não ser muito justos (como dados de teste para um ambiente específico, etc.). Além disso, não encontrei dados comparativos de uma terceira parte neutra e confiável, por isso, para garantir dados objetivos e específicos, não os divulgarei.
Atualmente, a opinião predominante na indústria é que o @SuccinctLabs SP1 se destaca em tarefas de trabalho intensivas em hash (como a validação de clientes leves do Tendermint), refletindo-se em um tempo de geração de provas mais rápido; o R0VM da @boundless_xyz é mais adequado para cenários de computação geral, com vantagens claras na gestão de memória.
O suporte a pré-compilação do SP1 reduziu o número de ciclos de instruções RISC-V que precisam ser executados para gerar provas, acelerando assim o tempo de geração de provas e reduzindo os custos de geração de provas. Mas com o lançamento da versão R0VM 2.0, foram adicionadas duas principais pré-compilações, BN254 e BLS12-381, que também trarão um aumento significativo no desempenho.
O que é o mercado de provas zk?
A geração de zk provas é a base para a comercialização em larga escala da @SuccinctLabs e da @boundless_xyz, cujo objetivo final é se tornar um mercado de zk provas mais eficiente e descentralizado, transformando a computação verificável em uma mercadoria universal e sem necessidade de confiança.
O mercado desempenha o papel de intermediar compradores e vendedores, o mercado de zk proofs pode ser entendido como um mercado que conecta fornecedores e demandantes de zk proofs. Os fornecedores de zk proofs são os geradores das provas, geralmente operadores que executam GPU ou outros dispositivos de hardware; os demandantes de zk proofs são principalmente usuários do lado B que têm necessidades de validação.
O mecanismo de correspondência de oferta e demanda do mercado de provas da @SuccinctLabs não é complexo. A rede Succinct é composta por 2 tipos de participantes principais: solicitantes (os demandantes de zk provas) e provedores de provas (os fornecedores de zk provas).
Succinct atua como intermediário de liquidação de fundos: os provadores depositam garantias na cadeia para obter a qualificação para participar da competição de provas, o protocolo Succinct primeiro custodia a taxa do serviço de prova solicitada; os provadores competem através de um leilão de provas, e o vencedor final do leilão entrega a prova zk ao solicitante e recebe a correspondente receita da taxa. Todo o processo de intermediação é, assim, fechado.
Uma descrição mais detalhada do mecanismo de implementação da arquitetura técnica pode ser encontrada na documentação oficial da @SuccinctLabs:
@boundless_xyz acabou de lançar um white paper há pouco tempo, atuando como mecanismo de implementação do mercado de provas zk, que é bastante semelhante ao @boundless_xyz. Não vou entrar em mais detalhes aqui, os detalhes técnicos de implementação podem ser vistos no link do white paper da Boundless anexado ao final.
Alinhamento de usuários B
Como protocolos de infraestrutura genérica que atraem capital, @SuccinctLabs e @SuccinctLabs têm seus próprios grupos principais de usuários do lado B, formando facções Pró-Succinct e Pró-RISC(Boundless).
Querido Succinct:
Como o Cosmos, a integração nativa do IBC Eureka fornece serviços de geração de provas zk, permitindo a interoperabilidade IBC em uma rede global de cadeias heterogêneas. Incluindo, mas não se limitando a: suporte técnico inicial da Polygon, camada DA @celestia, @AvailProject, entre outros;
Querido RISC( Boundless)派：
como o protocolo de re-staking ETH @eigenlayer, o protocolo de interoperabilidade zk cross-chain @union_build, Bitcoin zk-Rollup @citrea_xyz, etc.
Resumo
@boundless_xyz e @SuccinctLabs têm uma forte semelhança em suas posições centrais, e a sobreposição de seus campos de negócios é também muito alta. Na minha opinião, a competição entre os dois não é tanto uma competição em inovação tecnológica, mas sim uma disputa pelos usuários principais do lado B e do lado C.
A competição no lado B é acirrada, enquanto o lado C tem uma vantagem clara com o Succinct. A Boundless precisa corrigir suas deficiências e provavelmente lançará atividades semelhantes de pontos ou um sistema de convites para conquistar usuários do lado C.
Escrito no final
Se você não consegue imaginar o quão grande é o mercado potencial sob a superfície da prova universal zk, você não consegue imaginar quão alto é o teto potencial da @SuccinctLabs e da @boundless_xyz.
Mas tudo isso terá um rastro. Se você não consegue entender ou reconhecer o valor do mercado de provas zk agora, basta continuar prestando atenção.
Eu acho que acabaremos por nos envolver nesta grande revolução zk, e agora, esta revolução está apenas a começar.
