Anaxi Labs e CyLab da Universidade Carnegie Mellon lançam sistema revolucionário de prova, pavimentando o caminho para aplicativos do mundo real escaláveis e seguros
Anaxi Labs e CyLab, o instituto de segurança cibernética e privacidade da Universidade Carnegie Mellon, anunciaram uma estrutura de compilador criptográfico revolucionária que resolve um problema de longa data na indústria - a construção de aplicativos escaláveis de conhecimento zero requer compromissos em um nível básico. Antes disso, escalabilidade, segurança de encriptação e descentralização eram consideradas impossíveis de serem implementadas ao mesmo tempo, o que era uma barreira para a aplicação em larga escala - até agora.
Sem compromissos na quebra criptográfica
A blockchain, como o Ethereum, é considerada o futuro da infraestrutura de Descentralização, e a tecnologia de conhecimento zero (ZK) é vista como capaz de elevar a segurança e escalabilidade do Ethereum para mais de 120 transações por segundo. No entanto, a realidade é bem diferente. O desenvolvimento da Prova de conhecimento zero é complexo e demorado, exigindo dezenas de desenvolvedores e milhares de horas de trabalho. Para otimizar a velocidade de geração de provas, muitas vezes é necessário projetar manualmente o protocolo, o que traz grandes riscos de segurança devido à codificação manual e dezenas de milhares de linhas de código. Isso torna a criação de aplicativos de Descentralização sensíveis à segurança complexa e torna a auditoria e a Conformidade um pesadelo - tudo isso dificulta a ampla aplicação dessa tecnologia em setores regulamentados, como finanças, saúde e inteligência artificial.
A equipe de pesquisa da Universidade Carnegie Mellon está trabalhando com Anaxi Labs para superar esse desafio
Um artigo recente da Universidade Carnegie Mellon propõe um método revolucionário para compilar automaticamente software avançado em uma forma mais simples (representação de baixo nível) exigida por sistemas de prova. Esse processo é totalmente automatizado, repetível e auditável, eliminando o trabalho manual e melhorando significativamente o desempenho, ao mesmo tempo em que garante a segurança criptográfica do processo. O estudo analisa programas avançados, decompondo-os em unidades pequenas e indivisíveis, e cria uma representação de baixo nível para cada unidade, que pode ser facilmente inserida em vários sistemas de prova.
O assistente do Departamento de Engenharia Elétrica e de Computação da Universidade Carnegie Mellon, Riad Wahby, afirmou: "A abordagem automatizada de decompor cálculos em blocos muito concretos para substituir a CPU é uma abordagem completamente nova, e é a primeira vez que alguém tenta esse método de compilação que evita a representação completa do programa. Estamos muito entusiasmados com isso."
Iniciar nova aplicação Descentralização
Esta investigação e o framework desenvolvido pela Anaxi Labs com base nesta investigação irão alterar radicalmente o panorama da indústria Web3 e de outros setores. No setor financeiro tradicional e regulamentado, a melhoria de desempenho mantendo a auditabilidade torna possível a Liquidação em tempo real (como pagamentos imediatos em dólares) entre bancos. No setor da saúde, face aos desafios enfrentados pela 23andMe, as ferramentas de encriptação seguras e protetoras suportadas pelos produtos em desenvolvimento da Anaxi Labs podem agora resolver questões críticas, assegurando a posse legítima do ADN pessoal e apoiando simultaneamente investigações valiosas. No campo da inteligência artificial empresarial e infraestruturas físicas críticas, soluções de Descentralização de alta disponibilidade e baixa latência (como ajuste rápido e raciocínio ágil através de múltiplos recursos de dados e computação) também se tornam realidade.
Recentemente, os produtos baseados nesta pesquisa ofereceram às empresas Web3 que enfrentam questões de escalabilidade, segurança e descentralização, a solução mais eficaz, fornecendo novos paradigmas de design para rollups e produtos de interoperabilidade.
A co-fundadora da Anaxi Labs, Kate Shen, afirmou: "Esta pesquisa e o produto que estamos construindo, que integra os resultados desta pesquisa, terão um impacto significativo em muitas aplicações importantes da indústria atual que exigem soluções auditáveis para lidar com gargalos de desempenho, como ZK e EVM, levando-nos mais perto de alcançar a visão de encriptação segura de descentralização com capacidade de liquidação em tempo real."
Shen added: "We also appreciate the cross-lingual capabilities of this research, which means that various projects can benefit without modifying the code. This allows us to build an open and collaborative framework instead of adopting the increasingly static and monolithic approach. This enables all developers to automatically select and combine the advantages of the latest proof systems, such as lookup tables, coprocessors, and hardware acceleration, maximizing the performance benefits of each computation."
Anaxi Labs e CyLab: Uma colaboração que muda as regras do jogo
A CyLab da Universidade Carnegie Mellon tem sido um centro de pesquisa de ponta em desenvolvimento de blockchain (incluindo tecnologia de conhecimento zero). Entre os renomados professores e pesquisadores do CyLab estão Bryan Parno, que é um contribuidor importante na história do desenvolvimento da tecnologia de conhecimento zero, e seu laboratório produziu a amplamente citada série de artigos Nova; e o professor assistente Riad Wahby, cujas pesquisas levaram ao desenvolvimento de uma nova tecnologia criptográfica que realiza a visão da Ethereum Foundation (recentemente, também houve a implementação revolucionária do Jolt zkVM da a16z crypto, departamento de encriptação da Andreessen Horowitz).
Os resultados da investigação deste quadro de compiladores são provenientes do segundo projeto de investigação resultante da parceria simbiótica estabelecida entre Anaxi Labs e CyLab no âmbito do programa de segurança blockchain da CMU. Esta colaboração permite que os académicos da Universidade Carnegie Mellon colaborem com a Anaxi Labs, ganhando insights e aprendendo com a sua implementação comercial de pesquisa em blockchain em aplicações Web3 e Web 2.0. Isso permite que eles encontrem soluções comerciais para os principais problemas existentes na blockchain e diminua a lacuna entre as vantagens conhecidas da tecnologia blockchain e a sua aplicação em larga escala. Isso também serve como um trampolim para os estudantes da Universidade Carnegie Mellon iniciarem suas carreiras na área de Web3.
O diretor de relações colaborativas da CyLab, Michael Lisanti, afirmou: "A colaboração entre a Anaxi Labs e a CyLab aumentou a capacidade dos pesquisadores da Universidade Carnegie Mellon de trabalhar em projetos com aplicação direta na vida real, garantindo que seu trabalho tenha correlação e impacto potencial."
Para obter mais informações sobre Anaxi Labs, visite o site oficial.
Para saber mais sobre os últimos trabalhos da Anaxi Labs e CyLab, visite aqui.
Para obter mais informações sobre a colaboração entre CyLab e Anaxi Labs, visite aqui.
Sobre Anaxi Labs
Anaxi Labs é um novo laboratório de pesquisa e desenvolvimento que constrói uma ponte entre teorias acadêmicas avançadas e aplicações em grande escala. Estamos empenhados em realizar pesquisas inovadoras, construir infraestruturas empresariais, seguras e escaláveis de Descentralização e impulsionar o desenvolvimento de aplicações Descentralização de próxima geração impulsionadas pela criptografia.
Trabalhamos com os melhores especialistas em criptografia do mundo e engenheiros de nível mundial, que construíram e operaram com sucesso produtos conhecidos com centenas de milhões de usuários. Seu conhecimento especializado e experiência fornecem um suporte técnico sólido para o nosso projeto. Somos parceiros da Carnegie Mellon University e outras instituições acadêmicas líderes em criptografia. Estamos comprometidos em mudar o futuro da Internet liberando o potencial científico para a humanidade, a sociedade e o planeta.
Sobre o CyLab
CyLab da Universidade Carnegie Mellon é o seu instituto de pesquisa em segurança e privacidade. Reunimos especialistas de todos os departamentos da universidade, abrangendo engenharia, ciência da computação, políticas públicas, sistemas de informação, negócios, finanças e gestão de risco, humanidades e ciências sociais. Nossa missão é catalisar, apoiar, promover e fortalecer a pesquisa e educação colaborativa em segurança e privacidade, transcendo departamentos, disciplinas e fronteiras geográficas, para gerar um impacto significativo em pesquisa, educação, políticas públicas e práticas.
Este artigo é de uma contribuição e não representa uma opinião.
O conteúdo é apenas para referência, não uma solicitação ou oferta. Nenhum aconselhamento fiscal, de investimento ou jurídico é fornecido. Consulte a isenção de responsabilidade para obter mais informações sobre riscos.
Anaxi Labs e CyLab da Universidade Carnegie Mellon lançam sistema revolucionário de prova, pavimentando o caminho para aplicativos do mundo real escaláveis e seguros
Anaxi Labs e CyLab, o instituto de segurança cibernética e privacidade da Universidade Carnegie Mellon, anunciaram uma estrutura de compilador criptográfico revolucionária que resolve um problema de longa data na indústria - a construção de aplicativos escaláveis de conhecimento zero requer compromissos em um nível básico. Antes disso, escalabilidade, segurança de encriptação e descentralização eram consideradas impossíveis de serem implementadas ao mesmo tempo, o que era uma barreira para a aplicação em larga escala - até agora.
Sem compromissos na quebra criptográfica
A blockchain, como o Ethereum, é considerada o futuro da infraestrutura de Descentralização, e a tecnologia de conhecimento zero (ZK) é vista como capaz de elevar a segurança e escalabilidade do Ethereum para mais de 120 transações por segundo. No entanto, a realidade é bem diferente. O desenvolvimento da Prova de conhecimento zero é complexo e demorado, exigindo dezenas de desenvolvedores e milhares de horas de trabalho. Para otimizar a velocidade de geração de provas, muitas vezes é necessário projetar manualmente o protocolo, o que traz grandes riscos de segurança devido à codificação manual e dezenas de milhares de linhas de código. Isso torna a criação de aplicativos de Descentralização sensíveis à segurança complexa e torna a auditoria e a Conformidade um pesadelo - tudo isso dificulta a ampla aplicação dessa tecnologia em setores regulamentados, como finanças, saúde e inteligência artificial.
A equipe de pesquisa da Universidade Carnegie Mellon está trabalhando com Anaxi Labs para superar esse desafio
Um artigo recente da Universidade Carnegie Mellon propõe um método revolucionário para compilar automaticamente software avançado em uma forma mais simples (representação de baixo nível) exigida por sistemas de prova. Esse processo é totalmente automatizado, repetível e auditável, eliminando o trabalho manual e melhorando significativamente o desempenho, ao mesmo tempo em que garante a segurança criptográfica do processo. O estudo analisa programas avançados, decompondo-os em unidades pequenas e indivisíveis, e cria uma representação de baixo nível para cada unidade, que pode ser facilmente inserida em vários sistemas de prova.
O assistente do Departamento de Engenharia Elétrica e de Computação da Universidade Carnegie Mellon, Riad Wahby, afirmou: "A abordagem automatizada de decompor cálculos em blocos muito concretos para substituir a CPU é uma abordagem completamente nova, e é a primeira vez que alguém tenta esse método de compilação que evita a representação completa do programa. Estamos muito entusiasmados com isso."
Iniciar nova aplicação Descentralização
Esta investigação e o framework desenvolvido pela Anaxi Labs com base nesta investigação irão alterar radicalmente o panorama da indústria Web3 e de outros setores. No setor financeiro tradicional e regulamentado, a melhoria de desempenho mantendo a auditabilidade torna possível a Liquidação em tempo real (como pagamentos imediatos em dólares) entre bancos. No setor da saúde, face aos desafios enfrentados pela 23andMe, as ferramentas de encriptação seguras e protetoras suportadas pelos produtos em desenvolvimento da Anaxi Labs podem agora resolver questões críticas, assegurando a posse legítima do ADN pessoal e apoiando simultaneamente investigações valiosas. No campo da inteligência artificial empresarial e infraestruturas físicas críticas, soluções de Descentralização de alta disponibilidade e baixa latência (como ajuste rápido e raciocínio ágil através de múltiplos recursos de dados e computação) também se tornam realidade.
Recentemente, os produtos baseados nesta pesquisa ofereceram às empresas Web3 que enfrentam questões de escalabilidade, segurança e descentralização, a solução mais eficaz, fornecendo novos paradigmas de design para rollups e produtos de interoperabilidade.
A co-fundadora da Anaxi Labs, Kate Shen, afirmou: "Esta pesquisa e o produto que estamos construindo, que integra os resultados desta pesquisa, terão um impacto significativo em muitas aplicações importantes da indústria atual que exigem soluções auditáveis para lidar com gargalos de desempenho, como ZK e EVM, levando-nos mais perto de alcançar a visão de encriptação segura de descentralização com capacidade de liquidação em tempo real."
Shen added: "We also appreciate the cross-lingual capabilities of this research, which means that various projects can benefit without modifying the code. This allows us to build an open and collaborative framework instead of adopting the increasingly static and monolithic approach. This enables all developers to automatically select and combine the advantages of the latest proof systems, such as lookup tables, coprocessors, and hardware acceleration, maximizing the performance benefits of each computation."
Anaxi Labs e CyLab: Uma colaboração que muda as regras do jogo
A CyLab da Universidade Carnegie Mellon tem sido um centro de pesquisa de ponta em desenvolvimento de blockchain (incluindo tecnologia de conhecimento zero). Entre os renomados professores e pesquisadores do CyLab estão Bryan Parno, que é um contribuidor importante na história do desenvolvimento da tecnologia de conhecimento zero, e seu laboratório produziu a amplamente citada série de artigos Nova; e o professor assistente Riad Wahby, cujas pesquisas levaram ao desenvolvimento de uma nova tecnologia criptográfica que realiza a visão da Ethereum Foundation (recentemente, também houve a implementação revolucionária do Jolt zkVM da a16z crypto, departamento de encriptação da Andreessen Horowitz).
Os resultados da investigação deste quadro de compiladores são provenientes do segundo projeto de investigação resultante da parceria simbiótica estabelecida entre Anaxi Labs e CyLab no âmbito do programa de segurança blockchain da CMU. Esta colaboração permite que os académicos da Universidade Carnegie Mellon colaborem com a Anaxi Labs, ganhando insights e aprendendo com a sua implementação comercial de pesquisa em blockchain em aplicações Web3 e Web 2.0. Isso permite que eles encontrem soluções comerciais para os principais problemas existentes na blockchain e diminua a lacuna entre as vantagens conhecidas da tecnologia blockchain e a sua aplicação em larga escala. Isso também serve como um trampolim para os estudantes da Universidade Carnegie Mellon iniciarem suas carreiras na área de Web3.
O diretor de relações colaborativas da CyLab, Michael Lisanti, afirmou: "A colaboração entre a Anaxi Labs e a CyLab aumentou a capacidade dos pesquisadores da Universidade Carnegie Mellon de trabalhar em projetos com aplicação direta na vida real, garantindo que seu trabalho tenha correlação e impacto potencial."
Para obter mais informações sobre Anaxi Labs, visite o site oficial.
Para saber mais sobre os últimos trabalhos da Anaxi Labs e CyLab, visite aqui.
Para obter mais informações sobre a colaboração entre CyLab e Anaxi Labs, visite aqui.
Sobre Anaxi Labs
Anaxi Labs é um novo laboratório de pesquisa e desenvolvimento que constrói uma ponte entre teorias acadêmicas avançadas e aplicações em grande escala. Estamos empenhados em realizar pesquisas inovadoras, construir infraestruturas empresariais, seguras e escaláveis de Descentralização e impulsionar o desenvolvimento de aplicações Descentralização de próxima geração impulsionadas pela criptografia.
Trabalhamos com os melhores especialistas em criptografia do mundo e engenheiros de nível mundial, que construíram e operaram com sucesso produtos conhecidos com centenas de milhões de usuários. Seu conhecimento especializado e experiência fornecem um suporte técnico sólido para o nosso projeto. Somos parceiros da Carnegie Mellon University e outras instituições acadêmicas líderes em criptografia. Estamos comprometidos em mudar o futuro da Internet liberando o potencial científico para a humanidade, a sociedade e o planeta.
Sobre o CyLab
CyLab da Universidade Carnegie Mellon é o seu instituto de pesquisa em segurança e privacidade. Reunimos especialistas de todos os departamentos da universidade, abrangendo engenharia, ciência da computação, políticas públicas, sistemas de informação, negócios, finanças e gestão de risco, humanidades e ciências sociais. Nossa missão é catalisar, apoiar, promover e fortalecer a pesquisa e educação colaborativa em segurança e privacidade, transcendo departamentos, disciplinas e fronteiras geográficas, para gerar um impacto significativo em pesquisa, educação, políticas públicas e práticas.
：