A startup à prova de conhecimento zero (ZKP), Succinct Labs, anunciou o lançamento da primeira competição de auditoria de máquina virtual de conhecimento zero (zkVM) totalmente de código aberto. O objetivo é melhorar a transparência e a segurança em sua tecnologia por meio do envolvimento da comunidade.
De acordo com as regras da competição, os indivíduos que conseguirem quebrar a testnet SP1 receberão US$ 110.000. A competição de auditoria, que é apenas por convite, começou às 20h UTC do dia 3 de junho e continuará até as 20h UTC do dia 24 de junho. Os convites podem ser obtidos no mercado de soluções de segurança Web3, Cantina, no prazo de 24 horas a partir do início da competição. Os participantes são incentivados a retuitar todas as postagens de anúncio na plataforma de mídia social X para serem convidados.
A auditoria concentra-se nos programas principais do SP1. Recentemente, o principal provador, restrições e sistema de recursão do SP1 foram submetidos a auditorias conduzidas por dois importantes auditores de conhecimento zero (ZK). Esta competição atua como um processo de verificação secundário para garantir que o SP1 esteja livre de possíveis explorações ou vulnerabilidades.
Para ajudar os participantes a compreender cada programa, um passo a passo do código do SP1 está disponível no servidor Cantina Discord.
SP1 representa um zkVM de alto desempenho, totalmente de código aberto e fácil de contribuir, projetado para verificar a execução de programas Rust ou quaisquer programas compilados com LLVM.
É de código aberto sob licenças MIT/Apache 2.0, sem ofuscação de código com todo o desenvolvimento conduzido publicamente. Ao contrário dos zkVMs existentes com lógica de restrição imutável e de código fechado, o SP1 apresenta uma arquitetura modular projetada para personalização desde o início. Essa personalização permite que indivíduos adicionem “pré-compilações” à lógica central do zkVM, levando a melhorias notáveis de desempenho.
Anunciando a primeira competição de auditoria para um zkVM 100% de código aberto. Recompensa de US$ 110.000 se você conseguir quebrar o SP1. Coloque suas habilidades à prova pic.twitter.com/V3YEIKYrZV
– Sucinto (@SuccinctLabs) 3 de junho de 2024
O que são laboratórios sucintos?
A Succinct Labs está desenvolvendo uma rede de provadores descentralizada para facilitar a criação de aplicações e infraestrutura blockchain protegidas por verificação criptográfica. Unificando a cadeia de fornecimento de provas, oferece infraestrutura de geração de provas altamente disponível com preços competitivos para rollups, coprocessadores e outras aplicações que utilizam ZKPs.
Recentemente, a startup levantou US$ 55 milhões em financiamento inicial e Série A, liderada pela Paradigm Capital, com a participação da Robot Ventures, Bankless Ventures, Geometry e outros investidores proeminentes.
A postagem Succinct Labs lança competição de auditoria ZkVM de código aberto com prêmio de US$ 110 mil apareceu pela primeira vez no Metaverse Post.