HAL->Propozycja przejścia na system oparty na grafach 🔥 W pierwszej części trylogii zkVM, stwierdziliśmy, że warto zmienić istniejący HAL (warstwę abstrakcji sprzętowej) na system dowodowy oparty na grafach. I mamy już rzeczywiste dane na ten temat. Testowaliśmy Venus (system backendowy oparty na grafach) na Zisku z użyciem GPU i FPGA (specjalnych chipów). Ponownie przeanalizowaliśmy pierwotny pomysł dotyczący sprzętu ZK. Oto, co pokazują wyniki.