Ein tiefer Einblick in die Halo2 Circuits von Axiom
Über zwei Audits im Jahr 2023 überprüften wir ein Blockchain-System, das von Axiom erstellt wurde und es ermöglicht, über die gesamte Geschichte von Ethereum zu berechnen, alles verifiziert durch Nullwissenbeweise (ZKP) auf der Kette verwendend ZK-verifizierte elliptische Kurven- und SNARK-Rekursionsoperationen. Dieses System wurde mit dem Halo2-Framework erstellt - einer komplexen, aufkommenden Technologie, die viele Herausforderungen bei der Erstellung einer sicheren Anwendung mit sich bringt, einschließlich potenzieller unterbestimmter Probleme, die aus seiner niedrigstufigen API resultieren.
