Proposta de transição do sistema baseado em gráficos do HAL 🔥 No primeiro parte da trilogia zkVM, argumentamos que seria melhor mudar o HAL (Camada de Abstração de Hardware) para um sistema de prova centrado em gráficos. E agora temos dados reais sobre isso. Testamos o Venus (sistema de backend centrado em gráficos) em cima do Zisk com GPU e FPGA (chips especiais) e revisamos a ideia original de hardware ZK. Os números resultantes mostram o seguinte:

O próximo ZK Prover da Cysic: Graph-First 🔥 Os sistemas de prova ZK compartilham, na sua maioria, suposições arquitetônicas comuns que nunca foram questionadas. Trata-se de tratar a função Prove() como uma caixa-preta completa. O hardware nunca vê toda a operação de uma vez, apenas um kernel de cada vez. O nome dessa suposição é HAL. Deixe-me explicar por que a Cysic substituiu o HAL!

Em comemoração ao Dia dos Namorados, estamos realizando um evento de impulsionamento do $CGT 🔥 Você pode fazer staking de $CGT e obter um APY aumentado em +50% (máximo de 30%) 📅 Período de impulso: 15 de fevereiro às 11h (KST) ~ 3 de março às 11h (KST) Link para staking: