Wir haben kürzlich ein subtiles, aber wichtiges Problem mit der Solidität in Halo2 entdeckt, das wir als Abfragekollisionsfehler bezeichnet haben. Es betrifft bestimmte Edge-Case-Schaltkreise und war in weit verbreiteten Versionen vorhanden, einschließlich der Hauptimplementierung von Zcash und des Forks von PSE. 👇🏼