Il prossimo ZK Prover di Cysic: Graph-First 🔥 I sistemi di prova ZK condividono per lo più assunzioni architettoniche comuni che non sono mai state messe in discussione. Trattano la funzione Prove() come un completo black box. L'hardware non può mai vedere l'intera operazione in una volta, ma solo un kernel alla volta. Il nome di questa assunzione è HAL. Vi spiegherò perché Cysic ha sostituito HAL!