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!