Wir haben kürzlich ein subtil, aber wichtiges Soliditätsproblem in Halo2 entdeckt, das wir den Query-Kollisionsfehler genannt haben. Es betrifft bestimmte Randfall-Schaltungen und war in weit verbreiteten Versionen vorhanden, einschließlich der Hauptimplementierung von Zcash und dem Fork von PSE. 👇🏼