Lançado em 2017 e administrado pelo Horizen DAO, o ecossistema Horizen é otimizado para casos de uso de conhecimento zero (zero-knowledge). A rede Horizen 2.0 aproveita a total compatibilidade com EVM e a integração nativa com zkVerify, uma solução modular para verificação de provas, que pode reduzir os custos em 90% ou mais. Horizen é o primeiro a construir um EVM especializado otimizado para desenvolvimento de aplicativos ZK, proporcionando eficiência e rentabilidade sem precedentes para aplicações ZK. Desenvolvedores de dApps ZK frequentemente enfrentam dificuldades na escrita e auditoria de contratos verificadores, que são essenciais para a verificação de provas ZK. A necessidade de uma solução mais simplificada e segura levou ao desenvolvimento do Horizen 2.0, que oferece contratos pré-compilados integrados (também conhecidos como precompiles) para lidar com a verificação de provas, reduzindo assim a sobrecarga de desenvolvimento e aumentando a segurança. O Horizen 2.0 utiliza o framework Substrate para estruturar sua arquitetura de nó em dois componentes principais: o Cliente Core e o runtime WebAssembly (Wasm). Esta divisão permite um design modular e eficiente, onde há uma clara separação de responsabilidades. Existem uma ampla variedade de casos de uso para a tecnologia de conhecimento zero em aplicativos descentralizados, incluindo verificação de identidade, DeFi, sistemas de votação, jogos on-chain, computação verificável, aprendizado de máquina e autenticação de mídia. ZEN é o token de governança e utilidade do ecossistema Horizen.

Dr. Rob Viglione é o co-fundador e CEO da Horizen Labs. Ele possui um doutorado em Finanças, um MBA em Finanças e Marketing, e um Bacharelado em Física e Matemática Aplicada. Além disso, Rob atuou como consultor em alguns dos projetos de blockchain mais transformadores globalmente, incluindo Aave, e anteriormente trabalhou como cientista na indústria espacial. O co-fundador Rolf Versluis é um proprietário experiente no setor de TI e possui uma operação de mineração de médio porte. No passado, Rolf trabalhou na Cisco Systems, na indústria de semicondutores, e como oficial treinado em energia nuclear na força submarina dos EUA. Jane Lippencott foi membro da equipe fundadora e coautora do whitepaper original. Atualmente, ela é parceira na a16z Crypto, a unidade de ativos digitais da gigante de investimentos de risco Andreessen Horowitz, e anteriormente foi associada na Winklevoss Capital. Jane é parte da turma de 2021 do VC Cohort no All Rise, conselheira na Teller Finance, mentora na Open Web Collective, além de mentora na Celo e na Katapult Accelerator. Ela é colaboradora no Nakamoto.com. Trabalhou como mentora na Blockchain for Social Impact Coalition (BSIC), mentora na dLab, mentora na Ethereum Classic Labs, conselheira na Unbounded Capital, mentora na Techstars, e foi membro do Conselho na Cord.

Horizen é conhecido por sua especialização em tecnologia blockchain baseada em conhecimento zero. A equipe da Horizen fez diversos avanços no espaço da criptografia, incluindo o lançamento de uma das primeiras soluções de escalabilidade baseadas em conhecimento zero, chamada Zendoo. Horizen 2.0 é a primeira blockchain EVM especializada, projetada com precompilações incorporadas diretamente no EVM para verificação de provas. Isso torna o Horizen a plataforma ideal para ZK dApps, que incluem qualquer tipo de aplicação descentralizada que gera, utiliza e/ou verifica provas ZK. Horizen 2.0 é uma parachain totalmente compatível com EVM, conectada à cadeia de retransmissão zkVerify, o que possibilita o acesso a mecanismos de prova diretamente na camada de aplicação. Isso permite que desenvolvedores verifiquem provas usando o sistema de prova mais adequado à aplicação que estão construindo. Embora zkVerify possa ser utilizado de qualquer aplicação ou rede, fazê-lo dentro das estruturas seguras do Horizen 2.0 elimina a necessidade de comunicação entre cadeias e diminui ainda mais os custos. Usar o EVM da Horizen como uma rota para ambientes de conhecimento zero reduz a latência introduzida com a comunicação interchain normal, aumentando a velocidade e o desempenho geral das aplicações ZK. A rede oferece uma lista crescente de verificadores que incluem Fflonk, Risc0, Groth16 e UltraPlonk. Horizen é descentralizado no nível técnico e mudou grande parte de sua organização para uma estrutura DAO. Horizen utiliza o processo ZenIP para padronizar a sugestão de alterações significativas na base de código e ecossistema da Horizen. Atualmente, a equipe da Horizen está focada em construir uma solução moderna e escalável para liquidação que ajude a aumentar a modularidade e prepare o terreno para uma maior colaboração no Web3.

ZEN tem um fornecimento máximo de 21.000.000 de moedas, das quais pouco mais de 15.200.000 estão em circulação em julho de 2024.

A Prova de Participação Delegada (DPoS) é utilizada para garantir a segurança do Horizen 2.0, assegurando continuidade e estabilidade. No entanto, nesta nova iteração, os forjadores do Horizen são referidos como collators, refletindo seu papel dentro da estrutura de parachain. O DPoS é um mecanismo de consenso que melhora a eficiência e escalabilidade das redes blockchain ao introduzir uma camada de delegação no processo de staking. Os detentores de tokens votam para eleger um pequeno número de delegados, que são responsáveis por produzir blocos e manter as operações da rede. O Horizen 2.0 adotou um modelo de consenso híbrido inspirado no Moonbeam, que implementou com sucesso o DPoS para alcançar alto desempenho e escalabilidade. Nesse sentido, o framework Nimbus é empregado na seleção dos collators, assegurando um processo sofisticado e justo. O processo de seleção dos collators utiliza filtros para garantir que somente os participantes mais qualificados sejam escolhidos, além de usar uma fonte segura de entropia para manter a justiça e prevenir conluios. A estrutura inclui três aspectos chave: o Filtro de Staking, o Filtro de Subconjunto de Tamanho Fixo e a Fonte de Entropia. Primeiro, o Filtro de Staking determina a elegibilidade dos candidatos a collator com base na sua quantidade de stake. Apenas participantes qualificados e comprometidos estão aptos a produzir blocos e manter as operações da rede, aumentando assim a confiabilidade geral. O Filtro de Subconjunto de Tamanho Fixo refina ainda mais este pool de candidatos para um número manejável de collators ativos para cada slot de produção de bloco. Ele garante que um número predeterminado de collators seja eleito para manter a rede, proporcionando um equilíbrio entre descentralização e eficiência. Finalmente, a Fonte de Entropia introduce um elemento de aleatoriedade seguro e imprevisível para prevenir conluios e garantir uma distribuição justa das responsabilidades de validação.